Кіріспе

Комбинаторлық математикада Леви графигі немесе инциденттік графигі – инциденттік құрылыммен байланысты екіжақты граф. Инциденттік геометриядағы немесе проективтік конфигурациядағы нүктелер мен түзулер жиынтығынан, әр нүктеге бір төбе, әр түзуге бір төбе және нүкте мен түзудің кездесуіне сәйкес жиектері бар граф құрастырылады. Олар 1942 жылы олар туралы жазған Фридрих Вильгельм Левидің құрметіне аталған. Нүктелер мен түзулер жүйесінің Леви графигінің ұзындығы кем дегенде алтыға тең: кез келген 4 цикл бірдей екі нүкте арқылы өтетін екі түзуге сәйкес келеді. Керісінше, ұзындығы кем дегенде алты болатын кез келген екіжақты графты абстрактілік инциденттік құрылымның Леви графигі ретінде қарастыруға болады. Леви графтары Евклид кеңістігіндегі нүктелер мен жазықтықтар арасындағы кездесулер сияқты, басқа да инциденттік құрылым түрлері үшін де анықталуы мүмкін. Кез келген Леви графигі үшін эквивалентті гиперграф бар, және керісінше.

Мысалдар

Десарг графигі – Десарг конфигурациясының Леви графигі, 10 нүкте мен 10 сызықтан тұрады. Әр сызықта 3 нүкте бар, әр нүктеден өтетін 3 сызық бар. Десарг графигін жалпыланған Петерсен графигі G(10,3) немесе 5,2 параметрлері бар екіжақты Кнезер графигі ретінде де қарастыруға болады. Ол 3-ретті және 20 төбесі бар. Хевуд графигі – Фано жазықтығының Леви графигі. Ол (3,6) тор деп те аталады, 3-ретті және 14 төбесі бар. Мёбиус-Кантор графигі – Мёбиус-Кантор конфигурациясының Леви графигі, 8 нүкте мен 8 сызықтан тұратын жүйе, оны Евклид жазықтығында түзу сызықтармен жүзеге асыруға болмайды. Ол 3-ретті және 16 төбесі бар. Паппус графигі – 9 нүкте мен 9 сызықтан тұратын Паппус конфигурациясының Леви графигі. Десарг конфигурациясындағыдай, әр сызықта 3 нүкте бар және әр нүктеден өтетін 3 сызық бар. Ол 3-ретті және 18 төбесі бар. Грей графигі – 27 нүктеден тұратын тор және олар арқылы өтетін 27 ортогональды сызықтар түрінде жүзеге асырылатын конфигурацияның Леви графигі. Тютте сегіздік торы – Кремона-Ричмонд конфигурациясының Леви графигі. Ол (3,8) торы деп те аталады және 3-ретті, 30 төбесі бар. Төрт өлшемді гиперкуб графигі – екі өзара келісетін тетраэдрлердің нүктелері мен жазықтықтарынан құралған Мёбиус конфигурациясының Леви графигі. 112 төбесі бар Любляна графигі – Любляна конфигурациясының Леви графигі.