Wykres H jest rdzeniem, jeśli jakikolwiek homomorfizm z H do siebie jest bijectionem. Podgraf H dla G jest rdzeniem G, jeśli H jest rdzeniem i występuje homomorfizm od G do H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29
Biorąc pod uwagę wykres G, jaki jest najbardziej znany dokładny algorytm znajdujący jego rdzeń?
ds.algorithms
graph-theory
graph-algorithms
Prawidłowość
źródło
źródło
Odpowiedzi:
Obliczenie rdzenia wykresu jest trudne: nawet podjęcie decyzji, czy dany 3-kolorowy graf jest rdzeniem, jest wspólne dla NP, patrz Hell and Nesetril . Istnieją ustawienia, w których obliczenia rdzenia można wykonać wydajnie, zobacz Efektywne obliczenia rdzenia w wymianie danych , Georg Gottlob i Alan Nash, aby uzyskać ustawienia bazy danych; tutaj niektóre uzasadnione ograniczenia rodzajów ograniczeń w schemacie bazy danych umożliwiają wydajne obliczanie rdzeni.
Edycja: Oprócz pracy Gottlob / Nash wspomnianej powyżej, nie znam żadnych innych prób dostarczenia wydajnych algorytmów do obliczeń rdzenia. Mile widziane są wskazania do dowolnego algorytmu lepszego niż brutalna siła (dokładna lub inna).
źródło
Problem określania, czy dany wykres jest wykresem rdzenia, można łatwo dostrzec w przypadku współ-NP. W rzeczywistości jest to co-NP kompletne.
Problem z określeniem, czy dany podgraph H jest rdzeniem danego wykresu G, dotyczy większej klasy DP ( https://complexityzoo.uwaterloo.ca/Complexity_Zoo:D#dp ) i jest w rzeczywistości kompletny dla tej klasy ( archetypiczny kompletny problem dla tej klasy składa się z par wzorów boolowskich, gdzie pierwszy jest zadowalający, a drugi niesatysfakcjonujący). Ograniczenie w DP jest jasne: sprawdź, czy G mapuje homomorficznie do H (jest to zakodowane jako zadowalające) i jednocześnie, że H nie ma homomorfizmu do siebie, na co nie ma (jest to zakodowane jako niezadowalające). Twardość DP jest nietrywialna i udowodniono w pracy:
Fagin, Ronald, Phokion G. Kolaitis i Lucian Popa. „Wymiana danych: dotarcie do rdzenia”. Transakcje ACM w systemach baz danych (TODS) 30.1 (2005): 174-210.
źródło