Wydaje się, że strona problemu z izomorfizmem grafu w Wikipedii wskazuje, że nie, nie została rozwiązana. Jednak mój przyjaciel zwrócił uwagę na algorytm wielomianu czasowego dla izomorfizmu grafowego . Nie jestem wystarczająco wyrafinowany, aby podążać za rozumowaniem zawartym w artykule.
Mam własną bardzo trudną próbę zastosowania algorytmu wielomianowego bez żadnego dowodu, ale chciałbym wiedzieć, czy ten problem został rozwiązany przed kontynuowaniem.
Czy problem izomorfizmu wykresu został rozwiązany?
Odpowiedzi:
Nie. Ten papier wydaje się być wadliwy. Błąd został wyjaśniony w komentarzu Tracy Hall na temat MathOverflow . Kolejny komentarz twierdzi, że autor później zdał sobie sprawę, że jego algorytm ma wadę.
Jak wyjaśnia Yuval, często zdarza się, że amatorzy próbują rozwiązać te problemy; mają skłonność do wad. Jeśli chodzi o wyniki znanych słynnych problemów (np. P vs NP, izomorfizm wykresów itp.), Polecam poszukać publikacji w renomowanych recenzowanych konferencjach i czasopismach - recenzowanie nie jest idealne, ale artykuły recenzowane mają znacznie większe prawdopodobieństwo bycia poprawnym.
źródło
Nie, problem izomorfizmu grafu nie został rozwiązany. Artykuł, do którego linkujesz, pochodzi z lat 2007–2008 i nie został zaakceptowany przez szerszą społeczność naukową. (Gdyby tak było, wiedziałbym o tym.)
Wykres izomorfizm, podobnie jak wiele innych znanych problemów, przyciąga wiele prób amatorów. Prawie zawsze się mylą. Odradzałbym próbowanie rozwiązania tego problemu bez uprzedniej znajomości matematyki na poziomie badawczym.
źródło
Byłbym bardzo wątpliwy, że tak jest (w sensie dowodu na istnienie algorytmu wielomianowego czasu). Chociaż nie jest niemożliwe, aby papier był poprawny, istnieje wiele znaków ostrzegawczych:
Autor nie wydaje się być związany z instytucją akademicką.Wyjaśnia to nowa wersja artykułu.Ponownie, bez zidentyfikowania wady przez kogoś, nie są to głupie dowody. Być może autor miał unikalny błysk wglądu, a następnie przeszedł do zupełnie innego życia, ale ciężar prawdopodobieństwa jest temu przeciwny - nadzwyczajne roszczenia wymagają nadzwyczajnych dowodów.
Aby rozwinąć (4) ostatnie wiadomości, László Babai stwierdził ostatnio znaczną poprawę znanego algorytmu izomorfizmu grafowego (jeszcze nie ma przedruku, ale można tu znaleźć przyzwoity komentarz na temat jego publicznego wykładu ), dając algorytm pseudo-wielomianowy. Babai i jego koledzy są zdecydowanie bardzo inteligentnymi ludźmi, a matematyka zastosowana do uzyskania tego wyniku jest trudna, głęboka i obejmuje teorię grafów i teorię grup. Biorąc pod uwagę wagę prawdopodobieństwa, jest to oczekiwany poziom znacznego postępu w przypadku takiego problemu.
źródło
Laszlo Babai twierdził, że znalazł quasipolynomialne rozwiązanie problemu izomorfizmu grafów od 11 listopada 2015 r.
... i wycofał roszczenie wczoraj (4/1/2017):
Źródło: http://jeremykun.com/2015/11/12/a-quasipolynomial-time-alameterm-for-graph-isomorphism-the-details/
źródło