Złożoność zliczania wszystkich połączonych podgrafów

12

Niech G będzie połączonym wykresem.

Jaka jest złożoność zliczania wszystkich połączonych podgrafów, jeśli G jest następujących typów?

  • G jest ogólny.
  • G jest planarne.
  • G jest dwustronny.

Nie dbam o żadne struktury lub ..., po prostu muszę policzyć wszystkie połączone podgrupy! Interesuje mnie również złożoność zliczania wszystkich połączonych podsgrafów z dokładnie k węzłami w G.

Mile widziane są również wskaźniki do dokumentów i książek!

marjoonjan
źródło
4
Czy wiesz, że lista w pytaniu nie jest poprawnie sformatowana? meta.cstheory.stackexchange.com/questions/300/… Jeśli nie zależy ci na formatowaniu, to w porządku. Ale nie jestem pewien, czy ktoś chce poświęcić czas na udzielenie odpowiedzi na twoje pytanie, jeśli nie chcesz poświęcić czasu na prawidłowe sformatowanie pytania. (Nie twierdzę, że znam odpowiedź.)
Tsuyoshi Ito,
Ponadto, czy zależy Ci na wyliczeniu połączonych podgraphów o dowolnym rozmiarze / porządku / strukturze / ..., czy też chcesz, aby obejmowały one wszystkie inne elementy?
Anthony Labarre,
2
Nie wydaje się działać na liczenie związane obejmujących subgraphs. Strona 32 „wielowymiarowego wielomianu Tutte'a” Sokala łączy wielomian subgraficzny z wielomianem niezawodności, który ma ogromną literaturę
Jarosław Bułatow
Przepraszam, moja poprzednia odpowiedź na temat twierdzenia Kirchhoffa była błędna. Myślałem o argumencie włączenia-wykluczenia, ale może to być niemożliwe.
didest
1
Ten artykuł nie jest dokładnie tym, o co prosiłeś, ale artykuł i jego odniesienia mogą pomóc w opracowaniu niektórych pomysłów.
MS Dousti

Odpowiedzi:

14

Welsh stwierdza, że ​​problem # P-ukończony nawet w najbardziej ograniczonym przypadku (zliczanie liczby połączonych podgrup płaskiego grafu dwustronnego). Zobacz dół strony 305 w języku walijskim, Dominic (1997), „Approximate Counting”, ankiety w kombinatorykach , Bailey, RA, red., Cambridge University Press, str. 287–324.

W kontekście jednak zastanawiam się, czy on naprawdę ma na myśli połączone rozpinane podgrupy. I to prowadzi mnie do zastanowienia się, którą wersję problemu chcesz: połączonych podsystemów obejmujących, połączonych podgrafów, które nie muszą obejmować, lub połączonych indukcyjnych podsgrafów?

David Eppstein
źródło
6

To odpowiedź na odpowiedź Dawida. Nie patrząc na tę książkę, zgaduję, że problemem jest liczenie połączonych podpunktów, ponieważ jest to punkt x = 1 rok = 2 wielomianu Tutte, a autor był tym zainteresowany. Ale tak naprawdę myślę, że te trzy problemy dość łatwo zmniejszają się z liczenia połączonego problemu obejmującego podgraph. Poniższe redukcje powinny działać dla dokładnego zliczania lub przybliżania, choć myślę, że problem z przybliżeniem jest nadal otwarty.

KAA zostanie wybrane wystarczająco duże, typowe połączone wykresy podrzędne wykresu wynikowego odpowiadają N-do-1 połączonym podgraphom obejmującym w G, gdzie N jest łatwe do obliczenia.

KAA

#P

Colin McQuillan
źródło
2
Nie musisz dołączać kliki, prawda? Możesz dołączyć wszystko, co ma wiele powiązanych podgrafów, pod warunkiem, że do każdego wierzchołka podłączysz to samo. Możesz więc dokonać tych redukcji, zachowując jednocześnie płaskość i dwustronność.
David Eppstein