Кіріспе

Алгебралық граф теориясы – математиканың бір саласы, онда алгебралық әдістер графтар туралы мәселелерді шешуге қолданылады. Бұл геометриялық, комбинаторлық немесе алгоритмдік тәсілдерден өзгеше. Алгебралық граф теориясының үш негізгі бағыты бар: сызықтық алгебраны пайдалану, топтар теориясын пайдалану және граф инварианттарын зерттеу.

Сызықтық алгебраны қолдану

Алгебралық граф теориясының бірінші саласы сызықтық алгебрамен байланысты графтарды зерттеуді қамтиды. Атап айтқанда, ол графтың жапсарлас матрицасының немесе Лаплас матрицасының спектрін зерттейді (алгебралық граф теориясының бұл бөлігі спектральдық граф теориясы деп те аталады). Мысалы, Петерсен графигі үшін жапсарлас матрицаның спектрі (−2, −2, −2, −2, 1, 1, 1, 1, 1, 3) болып табылады. Көптеген теоремалар спектрдің қасиеттерін графтың басқа қасиеттерімен байланыстырады. Мысалы, диаметрі D болатын байланысты графтың спектрінде кем дегенде D+1 түрлі мән болады. Граф спектрлерінің кейбір аспектілері желілердің синхрондалуын талдау үшін қолданылған.

Топ теориясын қолдану

Алгебралық граф теориясының екінші саласы графтарды топ теориясымен байланысты зерттеуді қамтиды, әсіресе автоморфизм топтары мен геометриялық топ теориясы. Назар симметрияға негізделген графиктердің әртүрлі отбасыларына (симметриялық графиктер, төбелік транзитивті графиктер, қабырғалық транзитивті графиктер, қашықтық транзитивті графиктер, қашықтық реттелген графиктер және күшті реттелген графиктер) және осы отбасылар арасындағы кіріктіру қатынастарына түседі. Мұндай графиктердің кейбір санаттары соншалықты сирек кездеседі, олардың тізімдерін жасау мүмкін. Фрухт теоремасы бойынша, кез келген топты байланысқан графиктің (іс жүзінде, кубтық графиктің) автоморфизм тобы ретінде бейнелеуге болады. Топ теориясымен тағы бір байланыс – кез келген топ үшін Кейли графигі деп аталатын симметриялық графиктер құруға болады, және олардың қасиеттері топтың құрылымымен байланысты.

Граф инварианттарын зерттеу

Ақырында, алгебралық граф теориясының үшінші саласы графтардың инварианттарының алгебралық қасиеттерін, әсіресе хроматикалық полиномды, Тютте полиномды және түйін инварианттарын зерттейді. Мысалы, графиктің хроматикалық полиномы оның дұрыс түстің берілуімен боялатын тәуелсіз түйіндерінің санын есептейді. Петерсен графигі үшін бұл полиномды атап айтуға болады, яғни Петерсен графигін бір немесе екі түспен дұрыс бояу мүмкін емес, бірақ оны 3 түспен 120 түрлі тәсілмен бояуға болады. Алгебралық граф теориясының осы саласындағы көптеген жұмыстар төрт түс теоремасын дәлелдеу әрекеттерімен шақырылды. Дегенмен, әлі де көптеген шешілмеген мәселелер бар, мысалы, бірдей хроматикалық полиномға ие графтарды сипаттау және қандай полиномдар хроматикалық екенін анықтау.