Jestem zainteresowany tym problemem: Biorąc pod uwagę undirected wykres , Czy istnieje podział na wykresach i takie, że i są izomorficzne?
Tutaj jest podzielony na dwa rozłączne zestawy i . Zestawy i niekoniecznie są rozłączne. i .
Ten problem jest co najmniej tak trudny jak problem z izomorfizmem grafów. Wydaje mi się, że jest trudniejszy niż Graph Isomorphism, ale nie NP-trudny.
Czy ten problem z partycją twardy?
EDYCJA 3-3-2012: Wysłano na MathOverflow .
EDYCJA 3-5-2012: Okazuje się, że odniesienie w odpowiedzi Diego jest jednym z niepublikowanych wyników. Po kilku kopaniach znalazłem odniesienie do niego w kolumnie NP-Completeness Column: The On Guide autorstwa Davida JOHNSONA (strona 8). Znalazłem inne prace, które cytują wynik zupełności NP Grahama i Robinsona jako niepublikowane.
źródło
Odpowiedzi:
Odkryłem, że ten problem jest trudny do NP, nawet ograniczony do drzew. Odniesieniem jest Graham i Robinson, „Czynniki izomorficzne IX: nawet drzewa”, ale nie mogłem tego zrozumieć.
źródło