Кіріспе
Алгебралық граф теориясы – математиканың бір саласы, онда алгебралық әдістер графтар туралы мәселелерді шешуге қолданылады. Бұл геометриялық, комбинаторлық немесе алгоритмдік тәсілдерден өзгеше. Алгебралық граф теориясының үш негізгі бағыты бар: сызықтық алгебраны пайдалану, топтар теориясын пайдалану және граф инварианттарын зерттеу.
Algebraic graph theory is a branch of mathematics in which algebraic methods are applied to problems about graphs. This is in contrast to geometric, combinatoric, or algorithmic approaches. There are three main branches of algebraic graph theory, involving the use of linear algebra, the use of group theory, and the study of graph invariants.
Сызықтық алгебраны қолдану
Алгебралық граф теориясының бірінші саласы сызықтық алгебрамен байланысты графтарды зерттеуді қамтиды. Атап айтқанда, ол графтың жапсарлас матрицасының немесе Лаплас матрицасының спектрін зерттейді (алгебралық граф теориясының бұл бөлігі спектральдық граф теориясы деп те аталады). Мысалы, Петерсен графигі үшін жапсарлас матрицаның спектрі (−2, −2, −2, −2, 1, 1, 1, 1, 1, 3) болып табылады. Көптеген теоремалар спектрдің қасиеттерін графтың басқа қасиеттерімен байланыстырады. Мысалы, диаметрі D болатын байланысты графтың спектрінде кем дегенде D+1 түрлі мән болады. Граф спектрлерінің кейбір аспектілері желілердің синхрондалуын талдау үшін қолданылған.
Топ теориясын қолдану
Алгебралық граф теориясының екінші саласы графтарды топ теориясымен байланысты зерттеуді қамтиды, әсіресе автоморфизм топтары мен геометриялық топ теориясы. Назар симметрияға негізделген графиктердің әртүрлі отбасыларына (симметриялық графиктер, төбелік транзитивті графиктер, қабырғалық транзитивті графиктер, қашықтық транзитивті графиктер, қашықтық реттелген графиктер және күшті реттелген графиктер) және осы отбасылар арасындағы кіріктіру қатынастарына түседі. Мұндай графиктердің кейбір санаттары соншалықты сирек кездеседі, олардың тізімдерін жасау мүмкін. Фрухт теоремасы бойынша, кез келген топты байланысқан графиктің (іс жүзінде, кубтық графиктің) автоморфизм тобы ретінде бейнелеуге болады. Топ теориясымен тағы бір байланыс – кез келген топ үшін Кейли графигі деп аталатын симметриялық графиктер құруға болады, және олардың қасиеттері топтың құрылымымен байланысты.
Граф инварианттарын зерттеу
Ақырында, алгебралық граф теориясының үшінші саласы графтардың инварианттарының алгебралық қасиеттерін, әсіресе хроматикалық полиномды, Тютте полиномды және түйін инварианттарын зерттейді. Мысалы, графиктің хроматикалық полиномы оның дұрыс түстің берілуімен боялатын тәуелсіз түйіндерінің санын есептейді. Петерсен графигі үшін бұл полиномды атап айтуға болады, яғни Петерсен графигін бір немесе екі түспен дұрыс бояу мүмкін емес, бірақ оны 3 түспен 120 түрлі тәсілмен бояуға болады. Алгебралық граф теориясының осы саласындағы көптеген жұмыстар төрт түс теоремасын дәлелдеу әрекеттерімен шақырылды. Дегенмен, әлі де көптеген шешілмеген мәселелер бар, мысалы, бірдей хроматикалық полиномға ие графтарды сипаттау және қандай полиномдар хроматикалық екенін анықтау.