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!


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?


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


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
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.