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...
Wykres automorfizmem jest permutacją węzłów wykres indukuje bijection na zestawie krawędź EEE . Formalnie jest to permutacja fff węzłów takich jak (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Zdefiniuj naruszoną krawędź dla pewnej permutacji jako krawędź odwzorowana na...
Motywacja: W standardowych algorytmach maksymalnego przepływu ścieżki augmentacyjnej wewnętrzna pętla wymaga znalezienia ścieżek od źródła do zatonięcia na ukierunkowanym, ważonym wykresie. Teoretycznie dobrze wiadomo, że aby algorytm nawet zakończył działanie, gdy istnieją nieracjonalne pojemności...
To pytanie pojawiło się w mojej głowie po przeczytaniu wkładów Andrása Salamona i Colina McQuillana w moje poprzednie pytanie. Liczenie rozwiązań formuł Monotone-2CNF . EDIT 30 th mar 2011 Dodano Pytanie nr 2. EDIT 29 th Paź 2010 Pytanie rephrased po wniosku András sformalizowania go poprzez...
Biorąc pod uwagę silnie połączony wykres G z ważonymi krawędziami, chciałbym zidentyfikować krawędzie, które prawdopodobnie nie są częścią żadnego minimalnie silnie połączonego podgrupy (MSCS) G. Jedną z metod znajdowania takich krawędzi jest zmodyfikowany algorytm Floyda-Warshalla. Korzystając z...
Czy jest jakieś narzędzie, w którym można dowiedzieć się, czy dwie osoby są współautorami, czy nie? Jak narzędzie, w którym można znaleźć czyjąś Erdos
Uproszczoną klasyczną transakcję bazy danych można wyświetlić jako: czytanie M. pozycji wykonanie pewnych obliczeń na podstawie tych odczytów zapisywanie niektórych wyników N na podstawie tych obliczeń, które mogą obejmować pierwotnie odczytane elementy. Podczas wykonywania tych transakcji...
Mam następujący LP: /* Funkcja celu */ min: 1 w + 2 x + 0,5 y + z; / * Zmienne granice * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; W tym przypadku U1 + U2> T1, a optymalnym rozwiązaniem jest y = 70 i z = 25. Chcę wymusić warunek, aby zmiennym w i x były...
Mam pytanie wykonalności, które można sformułować w następujący sposób. Ja dany punkt w -wymiarowej przestrzeni wektorowej i chcę, aby znaleźć najbliższy punkt do że spełnia zestaw „ ograniczeń” formularzadpppreddp ℓ 0qqqpppℓ0ℓ0\ell_0 Biorąc pod uwagę zestaw , co najwyżej jeden z może być...
Hiroimono jest popularną łamigłówką . Interesuje mnie złożoność obliczeniowa powiązanej układanki.N.P.NPNP Problemem jest: Dane wejściowe : Biorąc pod uwagę zestaw punktów na siatce kwadratowej x i liczbie całkowitejn knnnnnnkkk Pytanie : Czy istnieje wielokąt prostoliniowy (jego boki...
Niech będzie permutacją. Zauważ, że chociaż działa w nieskończonej domenie, jego opis może być skończony. Przez opis rozumiem program, który opisuje funkcjonalność . (Jak w złożoności Kołmogorowa.) Zobacz wyjaśnienia poniżej. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to...
W Universal Blind Quantum Computation autorzy opisują protokół oparty na pomiarach, który pozwala prawie klasycznemu użytkownikowi wykonać dowolne obliczenia na serwerze kwantowym bez ujawniania prawie niczego na temat treści obliczeń. W opisie protokołu autorzy wspominają o „zestawach zależności”...
Czy ktoś zna zestaw problemów, które różnią się równomiernie i obejmują jedną z „interesujących” hierarchii złożoności i obliczalności? Przez interesujące rozumiem na przykład Hierarchię Wielomianową, Hierarchię Arytmetyczną lub Hierarchię Analityczną. A może (N) P, (N) EXP, 2 (N) EXP, ……\ldots 0...
Pytanie : Czy przewidywanie (jak zdefiniowano poniżej) sekwencji obliczalnych jest tak trudne, jak problem zatrzymania? Opracowanie : „Przewidywanie” oznacza pomyślne przewidywanie, co oznacza popełnienie tylko skończonej liczby błędów w zadaniu próby przewidzenia n-tego bitu sekwencji, który ma...
Po pierwsze, wciąż nie jestem pewien, czy cstheory jest dobrze przystosowana do tego pytania, więc nie obrażę się, jeśli tłum uzna, że tak nie jest ... W marketingu w wyszukiwarkach interesujących jest kilka problemów. Zaprojektowanie uczciwych (i rentownych) mechanizmów aukcyjnych oraz...
Harvey Friedman wykazał, że istnieje dokładny wynik punktu stałego, którego nie można udowodnić w ZFC (zwykła teoria mnogości Zermelo-Frankela z Axiom of Choice). Wiele współczesnych układów logicznych opiera się na operatorach stałoprzecinkowych, więc zastanawiałem się: czy są znane konsekwencje...
Rozwiązanie to program mający na celu wykazanie niezadowalającej wartości CNF. Dowodem na rozwiązanie jest logiczne odjęcie pustej klauzuli dla klauzul początkowych w CNF. W szczególności każdy punkt początkowy można wywnioskować, i dwóch punktach ∨ x i B ∨ Kontakty x klauzula ∨ B można...
Kiedy mam do czynienia z kategoriami teorii domen (powiedzmy CPO i CPO), często życzę sobie słownika języka teorii kategorii w teorii domen.ωω\omega To znaczy, biorąc pod uwagę koncepcję, powiedzmy moniczną strzałkę, mógłbym sprawdzić ją w słowniku i zobaczyć, jakie są jej znane cechy w różnych...
Próbuję opracować systematykę algorytmów do przekształcania wyrażeń regularnych w automaty, aby przeprowadzić pewne testy empiryczne ich właściwości złożoności w określonych domenach. Znam kilka „większych” nazw, np. Thompson „Algorytm wyszukiwania wyrażeń regularnych”, Thompson,...
Rozdział Smytta w podręczniku logiki w informatyce i inne źródła opisują, w jaki sposób przestrzeni metrycznych można użyć jako domen. Rozumiem, że pełne przestrzenie metryczne dają unikalne stałe punkty, ale nie rozumiem, dlaczego przestrzenie metryczne są ważne. Byłbym wdzięczny za wszelkie...