Chciałbym wiedzieć, czy w (niedeterministyczny obszar logów) można rozstrzygnąć następujący problem :N L.NL\mathsf{NL} Biorąc pod uwagę ukierunkowany wykres z dwoma wyróżnionymi wierzchołkami s i t , czy istnieje unikalna ścieżka od s do t w G ?solGGssstttssstttsolGG Czuję, że to może być w...
Załóżmy, że mamy półgrupę z elementami . Naszym celem jest obliczanie produktów .(S,∘)(S,∘)(S,\circ)S={s1,s2,…,sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesi∘si+1∘⋯∘sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j W swoim artykule „Optymalne przetwarzanie wstępne dla odpowiedzi na...
Antyłańcuch w DAG jest podzbiorem wierzchołków, które są parami nieosiągalny, czyli, nie ma taki sposób, że jest dostępne z w . Z twierdzenia Dilwortha w teorii częściowego porządku wiadomo, że jeśli DAG nie ma antychainu o rozmiarze , wówczas może zostać rozłożony na połączenie co najwyżej...
Problem podziału na 3 kliki polega na określeniu, czy wierzchołki wykresu, powiedzmy , można podzielić na 3 kliki. Problem ten jest trudny do wyeliminowania przez proste zmniejszenie z 3-kolorowego problemu. Nietrudno dostrzec, że odpowiedź na ten problem jest łatwa, gdy diam ( G ) = 1 lub diam ( G...
Według książki Topological Graph Theory autorstwa Grossa i Tuckera, biorąc pod uwagę komórkowe osadzenie wykresu na powierzchni (przez „powierzchnię” rozumiem tutaj kulę z pewnymi uchwytami , a poniżej odnosi się do kuli o dokładnie uchwyty), można zdefiniować podwójny multigraf, traktując twarze...
W przypadku wykresu z ważonymi krawędziami, jak możemy znaleźć cykl ujemny, który zawiera co najmniej jeden wierzchołek w danym zestawie wierzchołków ? Dzięki.{V1,V2,…,Vk}{V1,V2,…,Vk}\{V_1, V_2, \ldots,
Szukam sposobu generowania wykresów, aby znana była optymalna osłona wierzchołków. Nie ma ograniczeń co do liczby węzłów lub krawędzi, tylko to, że wykres jest całkowicie połączony. chodzi o wygenerowanie wykresu, który nie jest łatwy do znalezienia optymalnej osłony wierzchołków, aby móc...
Twierdzenie Courcelle'a stwierdza, że każdą właściwość grafu definiowaną w monadycznej logice drugiego rzędu można rozstrzygać w czasie liniowym na wykresach ograniczonej szerokości . Jest to jedno z najbardziej znanych algorytmicznych meta-twierdzeń. Zmotywowany twierdzeniem Courcelle,...
To mnie dezorientuje. Jednym z łatwych przypadków liczenia jest sytuacja, gdy problem decyzyjny występuje w i nie ma rozwiązań.PPP Wykład pokazuje, że problem zliczania liczby idealnych dopasowań na grafie dwustronnym (równoważnie, zliczanie liczby okładek cykli na ukierunkowanym wykresie) jest...
Co obecnie wiadomo na temat zbliżenia problemu rodzaju? Wstępne wyszukiwanie mówi mi, że stałe przybliżenie współczynnika jest trywialne dla wystarczająco gęstych wykresów, a algorytm aproksymacji został wykluczony. Czy te informacje są aktualne, czy są znane lepsze
Rozluźnijmy trochę kolorystykę, tzn. Pozwalamy niewielkiej liczbie sąsiadujących wierzchołków na przypisanie tego samego koloru. Składnik monochromatyczny jest zdefiniowany jako składnik połączony w podsgrafie wywołany przez zestaw wierzchołków, które otrzymują ten sam kolor, a pytanie polega na...
Niech d ( G ) jest średnią odległość podłączonego wykresie G .ad(G)ad(G)\rm{ad}(G)G.G.G. Jeden sposób obliczenia jest przez sumowanie elementów D ( G ) , macierz na odległość G i skalowanie sumę odpowiednio.ad(G)ad(G)\rm{ad}(G)D(G),D(G),D(G),GGG Jeśli grafem wyjściowym jest drzewo, to wiadomo,...
Częścią trudności w znalezieniu więcej informacji na temat tego problemu jest to, że problem z dopasowaniem wykresu różni się od jego znacznie bardziej znanego kuzyna, problemu z dopasowywaniem, ale trudno go od niego odróżnić podczas korzystania z wyszukiwarek. Biorąc pod uwagę dwa wykresy i...
Jak wspomniano @Marzio, następująca gra jest znana jako Geografia uogólniona . Biorąc pod uwagę wykres i początkowy wierzchołek v ∈ V , grę definiuje się w następujący sposób:G = ( V, E)G=(V,E)G=(V,E)v ∈ Vv∈Vv \in V W każdej turze (dwóch graczy na przemian) gracz wybiera , a następnie dzieje się...
Przypomnijmy, średnica grafu oznacza długość najdłuższego najkrótszej ścieżce G . Biorąc pod uwagę wykres, oczywisty algorytm obliczania diam ( G ) rozwiązuje problem wszystkich par najkrótszej ścieżki (APSP) i zwraca długość najdłuższej znalezionej ścieżki.solGGsolGGśrednica ( G...
Interesują mnie kombinatoryczne właściwości sieci społecznościowych w postaci grafów. Ludzie patrzyli na takie rzeczy, jak rozkład stopni, współczynnik grupowania i ściśliwość tych wykresów. Jedno podstawowe pytanie brzmi: czy te wykresy są zazwyczaj dobrymi wykresami ekspanderów? Czy ktoś...
za´za´\acute{\rm a}H ∈ P T I M EH.H.HH.H.H∈ P.T.jaM.mi∈P.T.jaM.mi\in PTIME Definicje itp. Świetny przegląd standardowych rozkładów drzew i ich szerokości znajduje się tutaj (Dziękujemy z góry, JeffE!). Niech H.H.H będzie hipergrafatem. Następnie dla hipergraph H.H.H i mapowania γ: E( H) → [ 0 ,...
Powiedz, że mam wykres ważony G=(V,E,w)G=(V,E,w)G = (V,E,w) taki, że w:E→[−1,1]w:E→[−1,1]w:E\rightarrow [-1,1] jest funkcją ważenia - zwróć uwagę, że dopuszczalne są wagi ujemne. Powiedzieć, że f:2V→Rf:2V→Rf:2^V\rightarrow \mathbb{R} definiuje właściwość każdego podzbioru wierzchołków S⊂VS⊂VS...
Podczas mojej pracy wpadłem na następujący problem: Usiłuję znaleźć macierz n × nn×nn \times n M dla dowolnego n > 3 o następujących właściwościach:( 0 , 1 )(0,1)(0,1)M.M.Mn > 3n>3)n > 3 Wyznacznik M.M.M jest parzysty. Dla niepustych podzbiorów ja, J⊆ { 1 , 2 , 3...
Definicje Niech i niech d , r i g będą dodatnimi liczbami całkowitymi (z g > 2 r + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 Niech są proste, d -regular, nieukierunkowane skończonej wykres z obwodu co najmniej g .G=(V,E)G=(V,E)G = (V,E)dddggg Niech być całkowity porządek...