Zliczanie liczby idealnych dopasowań na wykresie dwustronnym można natychmiast zredukować do obliczenia wartości stałej. Ponieważ znalezienie idealnego dopasowania na grafie dwustronnym występuje w NP, istnieje pewna redukcja z grafów dwustronnych do stałych, ale może to wiązać się z nieprzyjemnym wielomianowym powiększeniem poprzez zastosowanie redukcji Cooka do SAT, a następnie twierdzenia Valianta, aby zredukować do stały.
Skuteczna i naturalna redukcja z grafu dwustronnego G do macierzy A = f ( G ), gdzie perm ( A ) = Φ ( G przydałby się w rzeczywistej implementacji do policzenia idealnych dopasowań przy użyciu istniejących, mocno zoptymalizowanych biblioteki obliczające wartość stałą.
Zaktualizowano: Dodałem nagrodę za odpowiedź, w tym wydajnie obliczalną funkcję przeniesienia dowolnego wykresu na dwustronny wykres H z taką samą liczbą idealnych dopasowań i nie więcej niż O ( n 2 ) wierzchołkami.
źródło
Odpowiedzi:
Powiedziałbym, że „prosta” redukcja do dwustronnego dopasowywania jest wysoce nieprawdopodobna. Po pierwsze, dałby algorytm do znalezienia idealnego dopasowania na ogólnym wykresie przy użyciu metody węgierskiej. Dlatego redukcja powinna zawierać całą złożoność algorytmu kwitnienia Edmonda. Po drugie, da kompaktowy LP dla idealnego dopasowania politopu, a zatem redukcja nie powinna być symetryczna (co wyklucza wynik Yannakakisa) i z natury bardzo skomplikowana.
źródło
To oczywiście komentarz, a nie odpowiedź, ale nie mam tu jeszcze żadnych punktów reputacji, przepraszam za to.
W przypadku dwustronnych sześciennych wykresów bez mostków istnieje wykładniczo wiele doskonałych dopasowań, jak przypuszczali Lovàsz i Plummer w latach 70. Artykuł jest w przygotowaniu. Może to być bardzo istotne dla twojego pytania, a może wcale nie.
źródło