Relację równoważności na skończonym zestawie wierzchołków można przedstawić za pomocą nieukierunkowanego wykresu, który jest rozłącznym połączeniem klików. Zestaw wierzchołków reprezentuje elementy, a krawędź reprezentuje równoważność dwóch elementów.
Jeśli mam wykres i wykresy G 1 , … , G k , mówimy, że G jest objęty G 1 , … , G k, jeśli zbiór krawędzi G jest równy zjednoczeniu zbiorów krawędzi G 1 , … , G k . Zestawy krawędzi G 1 , … , G k nie muszą być rozłączne. Zauważ, że każdy niekierowany wykres G może być objęty skończoną liczbą relacji równoważności (tj. rozłącznym połączeniem wykresów klików).
Mam kilka pytań:
- Co można powiedzieć o minimalnej liczbie relacji równoważności wymaganych do pokrycia wykresu ?
- Jak obliczyć tę minimalną liczbę?
- Jak obliczyć wyraźne minimalne pokrycie , tj. Zestaw relacji równoważności, których rozmiar jest minimalny, a który obejmuje G ?
- Czy ten problem ma jakieś zastosowania oprócz logiki partycji ( dualność logiki podzbiorów )?
- Czy ten problem ma dobrze ustaloną nazwę?
Biorąc pod uwagę różne nieporozumienia wskazane w komentarzach, oto kilka zdjęć ilustrujących te pojęcia. Jeśli masz pomysł na łatwiejszą do zrozumienia terminologię (zamiast „pokrycia”, „relacji równoważności”, „rozłącznego połączenia kliki” i „niekoniecznie rozłącznego” połączenia zestawów krawędzi), daj mi znać.
Oto obraz wykresu i jednej relacji równoważności obejmującej go:
Oto obraz wykresu i obejmujących go dwóch relacji równoważności:
Powinno być całkiem oczywiste, że wymagane są co najmniej dwie relacje równoważności.
Oto obraz wykresu i obejmujących go trzech relacji równoważności:
Mniej oczywiste jest, że wymagane są co najmniej trzy relacje równoważności. Można użyć Lemma 1.9 z Dual of the Logic of Subsets, aby pokazać, że to prawda. Uogólnienie tego lematu na operacje nand z więcej niż dwoma danymi wejściowymi było motywacją do tego pytania.
źródło
Odpowiedzi:
Istnieją specjalne klasy wykresów, w których znana jest dokładna wartość lub dobra górna granica dla dowolnej liczby. Ogólnie, zgodnie z moją najlepszą wiedzą, najlepsze granice daje Alon [1]:
[1] Alon, Noga. „Objęcie wykresów minimalną liczbą relacji równoważności”. Combinatorica 6.3 (1986): 201-206.
[2] Blokhuis, Aart i Ton Kloks. „O równoważności obejmującej liczbę podziałów”. Listy przetwarzające informacje 54.5 (1995): 301–304.
[3] Kučera, Luděk, Jaroslav Nešetřil i Aleš Pultr. „Złożoność wymiaru trzeciego i niektóre pokrewne cechy wykresów pokrywające krawędzie”. Theoretical Computer Science 11.1 (1980): 93-106.
źródło
Chociaż nie znam nazwy takiego problemu, mogę pokazać, że jest to trudny NP.
W przypadku wykresu bez trójkąta wszystkie klasy równoważności muszą być zgodne. Minimalna liczba klas równoważności pokrywająca wykres jest równa indeksowi chromatycznemu wykresu.
Zgodnie z tym artykułem znalezienie wskaźnika chromatycznego dla grafu bez trójkąta jest NP-całkowite.
źródło