Pytania otagowane jako graph-algorithms

Algorytmy na wykresach, z wyłączeniem heurystyki.

2
Czy problem zestawu wierzchołków sprzężenia zwrotnego można rozwiązać w czasie wielomianowym dla wykresów ograniczonych do 3 stopni?
Sprzężenie zwrotne Zestaw wierzchołków jest NP-kompletny dla ogólnych wykresów. Wiadomo, że jest NP-kompletny dla wykresów ograniczonych do stopnia 8 ze względu na redukcję z pokrycia wierzchołków. Artykuł w Wikipedii mówi, że jest on rozwiązany w czasie wielozakresowym dla grafów związanych ze stopniem 3 i jest NP-kompletny dla grafów związanych ze …
2
Aksjomaty dla najkrótszych ścieżek
Załóżmy, że mamy niekierowany wykres ważony G=(V,E,w)G=(V,E,w)G = (V, E, w) (z wagami nieujemnymi). Załóżmy, że wszystkie najkrótsze ścieżki w GGG są unikalne. Załóżmy, że mamy (sekwencje nieważonych krawędzi), ale nie znam samegoCzy możemy wytworzyć dowolny który dałby te ścieżki jako najkrótsze w czasie wielomianowym? Wersja słabsza: czy możemy zdecydować …
2
Obliczanie stałej Cheegera: możliwe dla jakich klas?
Obliczanie stałej Cheegera na wykresie , znanej również jako stała izoperymetryczna (ponieważ jest to zasadniczo minimalny stosunek powierzchni do objętości), jest znana jako NP-zupełna. Ogólnie jest to przybliżone. Chciałbym się dowiedzieć, czy dokładne algorytmy wielomianowe są znane dla specjalnych klas grafów. Na przykład, czy nadal jest kompletny NP dla zwykłych …
2
Struktura danych dla najkrótszych ścieżek
Niech będzie nieważonym niekierowanym wykresem z wierzchołkami i krawędziami . Czy jest możliwe przetworzenie i utworzenie struktury danych o rozmiarze aby mógł odpowiadać na zapytania o formie „odległość między a ” w czasie O (n)?GGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuuvvv Problem wydaje się zbyt podstawowy, aby go rozwiązać.
2
utrzymywanie zrównoważonego drzewa opinającego rosnącego niekierowanego wykresu
Poszukuję sposobów na utrzymanie względnie zrównoważonego drzewa opinającego wykresu, gdy dodam do niego nowe węzły / krawędzie. Mam nieukierunkowany wykres, który zaczyna się jako pojedynczy węzeł, „root”. Na każdym kroku dodaję do wykresu albo nowy węzeł i krawędź łączącą go z wykresem, albo tylko nową krawędź łączącą dwa stare węzły. …
3
Co odróżnia łatwe globalne problemy od twardych globalnych problemów na wykresach ograniczonej szerokości?
Wiele trudnych problemów graficznych można rozwiązać w czasie wielomianowym na wykresach ograniczonej szerokości . Rzeczywiście, podręczniki zwykle używają np. Zestawu niezależnego jako przykładu, co jest problemem lokalnym . Z grubsza problem lokalny to problem, którego rozwiązanie można zweryfikować, badając niewielkie sąsiedztwo każdego wierzchołka. Co ciekawe, nawet problemy (takie jak ścieżka …
5
Algorytmy szybkiej prędkości
Chciałbym obliczyć szerokość wykresu. Istnieją naprawdę dobre heurystyki dla innych problemów związanych z grafem NP-twardym, takich jak VF2 dla izomorfizmu podgraficznego , z kodem dostępnym na przykład w igraph . Wypróbowałem je na moich wykresach i okazało się, że działają bardzo szybko dla moich danych. Czy są jakieś szybkie algorytmy …
5
Czy można sprawdzić, czy liczba obliczalna jest wymierna czy całkowita?
Czy możliwe jest algorytmiczne testowanie, czy liczba obliczalna jest liczbą wymierną czy całkowitą? Innymi słowy, możliwe byłoby dla biblioteki, który implementuje numery obliczalne, aby zapewnić funkcje isIntegerlub isRational? Zgaduję, że nie jest to możliwe i że jest to w jakiś sposób związane z faktem, że nie można sprawdzić, czy dwie …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
Maksymalna liczba wewnętrznych ścieżek st nieparzystych wierzchołków
Niech będzie prostym grafem bezkierunkowym i niech będą odrębnymi wierzchołkami. Niech długość prostej ścieżki st będzie liczbą krawędzi na ścieżce. Interesuje mnie obliczenie maksymalnego rozmiaru zestawu prostych ścieżek st, tak że każda ścieżka ma nieparzystą długość, a zestawy wierzchołków każdej pary ścieżek przecinają parami tylko s i t. Innymi słowy, …
1
Osiągalność DAG z przestrzenią O (n log n) i zapytaniami w czasie O (log n)?
Dla skierowanego acykliczny wykres , istnieje struktura danych zapytań, która pozwala na osiągalności bez konieczności kwadratowej przestrzeni lub czasu, liniowy? Idealnie szukam algorytmu wykorzystującego tylko przestrzeń O (log n) na wierzchołek i czas logarytmiczny,⟨ V, E⟩⟨V.,mi⟩{\langle}V,E{\rangle} gdzie .n = |V.| + |mi|n=|V.|+|mi|n=|V|+|E| Intuicyjnie wydawało mi się oczywiste, że taka struktura …
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.