To pytanie dotyczy złożoności czasowej algorytmu maksymalnego przepływu Forda-Fulkersona podczas korzystania z DFS w celu znalezienia ścieżek rozszerzających. Istnieje dobrze znany przykład pokazujący, że przy użyciu DFS można potrzebować liniowej liczby iteracji w maksymalnym przepływie, patrz na...
Właśnie zdałem sobie sprawę, że zakładam, że odpowiedź na moje pytanie brzmi „tak”, ale nie mam dobrego powodu. Wyobrażam sobie, że może istnieje śmieciarz, który prawdopodobnie wprowadza tylko spowolnienie w najgorszym przypadku. Czy istnieje ostateczne odniesienie, które mogę zacytować? W moim...
Czy istnieją problemy w CS, w których nie są znane wydajne algorytmy, pomimo twierdzeń o istnieniu dowodzących, że takie wydajne algorytmy muszą istnieć? Jak nazywają się te problemy? Gdzie mogę dowiedzieć się
Szukam odwołania do następującego wyniku: Dodanie dwóch liczb całkowitych do reprezentacji faktoryzowanej jest tak trudne, jak dodanie dwóch liczb całkowitych do zwykłej reprezentacji binarnej. (Jestem prawie pewien, że tam jest, ponieważ zastanawiałem się nad tym, a potem byłem...
Napinacz jest uogólnieniem wektorów i matryc do większych rozmiarów i stopnia z tensora uogólnia również rzędu macierzy. Mianowicie, ranga tensora jest minimalna liczba rangi jeden tensory tej kwoty . Wektor i macierz są odpowiednio tensorami stopnia 1 i 2.TT.TTT.TT Elementy w pochodzą z pola ....
Podczas projektowania algorytmów aproksymacyjnych czasami rozwiązuje się program półfinałowy, po którym następuje etap zaokrąglania. Często ilustrowanym przykładem jest Max-Cut. (Zobacz np. Algorytmy aproksymacji Vijay Vazirani.) Czy istnieją dobre źródła edukacyjne lub ankiety wykraczające poza...
Niech będzie wykresem. Przez wierzchołek , określa za (otwarty) sąsiedztwie w . To znaczy, . Zdefiniuj dwa wierzchołki w aby były bliźniakami, jeżeli i mają ten sam zestaw sąsiadów, to znaczy, jeśli .G=(V,E)G=(V,E)G=(V,E)x∈Vx∈Vx\in VN(x)N(x)N(x)xxxGGGN(x)={y∈V|{x,y}∈E}N(x)={y∈V|{x,y}∈E}N(x)=\{y\in...
Zastanawiam się, czy jest jakieś uzasadnienie, by wierzyć, że czy wierzyć, że N L ≠ L ?NL=LNL=LNL=LNL≠LNL≠LNL\neq L Wiadomo, że . W literaturze derandomization z R L jest dość przekonanie, że R, L = L . Czy ktoś wie o niektórych artykułach lub pomysłach przekonujących, że N L ≠ L ?NL⊂L2NL⊂L2NL...
Czy istnieje dobra ankieta, która porównuje różne ekstraktory, koncentratory i superkoncentratory i określa najlepsze metody pod względem kompromisu między losowością, czasem i przestrzenią?
Widziałem (i słyszałem), że twierdził, że można bezpiecznie dodać klasyczny aksjomat wykluczonego środka do Coq, ale nie mogę znaleźć dokumentu potwierdzającego to twierdzenie. Artykuły, które widzę na liście na wiki Coq o wykluczonym środku, wykazują niespójność z impredykatywnym...
Szukam języków, które „prawdopodobnie nie są wolne od kontekstu”, ale nie jesteśmy w stanie (nie) udowodnić tego przy użyciu znanych standardowych technik. Czy jest ostatnia ankieta na ten temat lub otwarta sekcja problemowa z ostatniej konferencji? Prawdopodobnie nie ma wielu języków, o...
Istnieje wiele miejsc, w których pojawiają się liczby i . Ciekawi mnie algorytmy, których czas działania zawiera złoty współczynnik lub w
rejestruje ideę skutecznie parallelizable i jeden interpretacja jest to, że problem można rozwiązać w czasie O ( log C n ) za pomocą O ( n k ) równoległych procesorów dla niektórych stałych c , k . Moje pytanie brzmi, czy istnieje analogiczna klasa złożoności, w której czas wynosi n c, a liczba...
Kiedy uczę ograniczeń ogona, używam zwykłego postępu: Jeśli twoje Rv jest dodatnie, możesz zastosować nierówność Markowa Jeśli masz niezależność, a także ograniczoną wariancję, możesz zastosować nierówność Czebyszewa Jeśli każdy niezależny rv ma również ograniczone wszystkie chwile, możesz użyć...
Podczas moich badań spotkałem następujący wynik. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 gdzie m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) i a1,⋯,ama1,⋯,ama_1,\cdots,a_m są wybierane...
Ostatnio pracowałem nad problemem obliczania przybliżonej sumy listy posortowanych liczb nieujemnych. Dla każdego ustalonego opracowano schemat aproksymacji czasu , który daje przybliżenie dla sumy. Artykuł opublikowano na stronie http://arxiv.org/abs/1112.0520 , który nie został jeszcze...
Tło: Niech będą dwoma wierzchołkami niekierowanego wykresu G = ( V , E ) . Zestaw wierzchołek S ⊆ V jest U , V -separator jeżeli U i V , należą do różnych połączonych składników G - S . Jeśli żaden odpowiedni podzbiór separatora u , v S nie jest separatorem u , v, wówczas S jest minimalnym u , vu...
Rozważ następujące uzasadnienie: Niech oznacza złożoność Kołmogorowa ciągu . Twierdzenie Chaitina o niekompletności tak mówiK(x)K(x)K(x)xxx dla jakiejkolwiek spójnej i wystarczająco silny system formalny , istnieje stała (zależnie tylko od formalnego systemu i jego języka) tak, że dla każdej...
(Jest to kontynuacja tego pytania i odpowiedzi ). Mam następujący całkowicie nieimodularny (TU) całkowity program liniowy (ILP). Tutaj są dodatnimi liczbami całkowitymi podanymi jako część danych wejściowych. Określony podzbiór zmiennych x i j jest ustawiony na zero, a reszta może przyjmować...
Łańcuch dodatek jest ciągiem liczb naturalnych , gdzie x 1 = 1 , a każdy wskaźnik i ≥ 2 mamy x ı = x j + x k kilku wskaźników 1 ≤ j , k < i . Długość łańcucha addycji N ; docelowej sieci addycji x( x1, x2), … , Xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n)x1= 1x1=1x_1 = 1i ≥ 2i≥2i\ge 2xja= xjot+...