Pracuję nad problemem związanym z kwadratami łacińskimi i chcę metody, która zasadniczo sprowadza się do problemu decyzyjnego:
Dane wejściowe : skończony, prosty wykres G. Dane
wyjściowe : YES
jeśli G ma nietrywialny automorfizm, w NO
przeciwnym razie.
W związku z tym...
Pytanie : Czy istnieje skuteczny algorytm do określania, czy wykres ma nietrywialny automorfizm?
Możemy użyć Nauty lub Bliss (i ewentualnie innych pakietów) do obliczenia całej grupy automorfizmów, ale nie potrzebuję tego; wszystko, co muszę ustalić, to czy jest to banalne.
Jest możliwe, że problem decyzyjny jest teoretycznie równorzędny pod względem złożoności w celu „obliczenia całej grupy automorfizmów” w jakiś sposób. Nie jestem pewny.
Z mojego punktu widzenia „sprawny” oznacza w zasadzie „szybszy w praktyce niż obliczanie całej grupy automorfizmów”, ale interesuje mnie również teoria.
źródło
Odpowiedzi:
Ponieważ interesuje Cię również teoria, która się za tym kryje, podałbym ci quasi-wielomianowy algorytm czasowy dla twojego problemu.
Dla każdej pary wierzchołków (tego samego stopnia) w próbujemy sprawdzić, czy można zamienić i .u≠v G u v
Aby to zrobić, zrób kopię , nazwij to . Teraz usuń z , usuń (kopię) z .G G′ u G v G′
Następnie dla każdego dołącz do niego bardzo długą ścieżkę, ale tylko wielomianowo długą .w∈N(u)
Następnie, do każdej (kopii) dołącz do niej bardzo długą ścieżkę, ale tylko wielomianowo długą .w∈N(copy of v)
Wszystkie wspomniane powyżej bardzo długie ścieżki, ale wielomianowo długie , powinny mieć tę samą długość.
Wywołaj algorytm Babai na wejściu tej nowo wytworzonej pary wykresów.
Jeśli dla dowolnej pary , mamy odpowiedź od Babai, odpowiedz i zatrzymaj się.(u,v) YES YES
Jeśli nikt nie zwróci odpowiedzi , odpowiedz i zatrzymaj się.YES NO
Oczywiste jest, że dołączenie do wszystkich wierzchołków w i wymusza na izomorfizmie grafowym wewnętrznego mechanizmu działania Babai'a jego algorytmu jedynie mapowanie wierzchołków w do . Tak więc, jeśli odpowiedź jest Babai wtedy możemy bezpiecznie podłączyć z tyłu i mają nietrywialne automorfizmem , ponieważ jest kopią .N(u) N(v) N(u) N(v) YES u v G G′ G
Złożoność w czasie wykonywania jest wciąż quasi-poli.
źródło