Niech solsolG będzie cyfrą (niekoniecznie DAG) i niech . Co jest złożoność zliczania liczby prostych ścieżek . s , t ∈ V.( G )s,t∈V.(sol)s,t \in V(G) s - ts-ts-tsolsolG Spodziewałbym się, że problemem będzie # -kompletny, ale nie udało mi się znaleźć dokładnego odwołania. P.P.{\mathsf P} Zauważ...
Wykonaj ukierunkowany wykres gdzie krawędzie są ozdobione naturalną liczbą. Chcemy zestawu wszystkich ścieżek między dwoma wierzchołkami v 1 i tak aby każda kolejna krawędź ścieżki była ozdobiona liczbą naturalną, która jest większa niż liczba naturalna dekorująca poprzednią krawędź.GGGv...
Liczenie trójkątów na ogólnych wykresach można trywialnie wykonać w czasie i myślę, że znacznie szybsze wykonanie jest trudne (mile widziane referencje). Co z grafami płaskimi? Poniższa prosta procedura pokazuje, że można tego dokonać w czasie O ( n log n ) . Moje pytanie jest...
Czytając blog Dicka Liptona, natknąłem się na następujący fakt pod koniec jego posta Bourne Factor : Jeśli dla każdego istnieje relacja formy ( 2 n ) ! = M - 1 Σ k = 0 k b c k k , gdzie m = p O l r ( n ) , a każdy z k , b k i c k są s O l y ( n ) na długości bitowej, a następnie faktoring ma...
Interesuje mnie sortowanie tablicy dodatnich wartości liczb całkowitych w czasie liniowym (w modelu pamięci RAM z jednolitą miarą kosztów, tj. Liczby całkowite mogą mieć wielkość logarytmiczną, ale przyjmuje się, że operacje arytmetyczne na nich przyjmą czas jednostkowy). Oczywiście nie jest to...
Co powinienem przeczytać, aby zrozumieć ten problem? B Q P= B PP.B Q NdobQP.=bP.P.bQN.doBQP = BPP^{BQNC}B Q PbQP.BQPB P.P.B Q NdobP.P.bQN.doBPP^{BQNC}, ale pytanie brzmi, czy istnieje jakaś konkretna funkcja „inicjująca” taką wyrocznię. - Scott Aaronson
Czy następujący manuskrypt jest publicznie dostępny? Dana Scott, 1969, Teoria funkcji obliczeniowych wyższego typu . Niepublikowane notatki z seminarium, 7 stron, University of Oxford. Omówienie tego artykułu znajduje się w rozdziale 8.1.2, Typy jako zbiory , w Cardone i Hindley, 2006 Historia...
Przedstawię mój problem na przykładzie. Powiedzmy, że projektujesz egzamin, który składa się z pewnego zestawu niezależnych pytań (że kandydaci mogą mieć rację albo dobrze). Chcesz zdecydować o wyniku dla każdego pytania, z tą regułą, że kandydaci z całkowitą liczbą punktów powyżej pewnego progu...
Wiadomo, że przecięcie trzech ogólnych matroidów jest NP-twarde ( źródło ), co odbywa się poprzez redukcję z cyklu Hamiltona. Redukcja wykorzystuje jedną matroidę graficzną i dwie matroidy łączności. Specjalny przypadek problemu, nad którym pracuję, można rozwiązać, przecinając wiele matroidów...
Każdy płaski odpowiednio outerplanar wykres spełnia , odpowiednio | E ′ | ≤ 2 | V ′ | - 3 dla każdego podgrafu G ' = ( V ' , E ' ) z G . Również (zewnętrzne) wykresy płaskie można rozpoznać w czasie wielomianowym.G=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le...
Jest tylko bardzo mało informacji na temat kompletnego NP rozwiązania problemu liniowego równania diofantyny w liczbach całkowitych nieujemnych. To znaczy, czy jest to rozwiązanie w nieujemne x1,x2,...,xnx1,x2,...,xnx_1,x_2, ... , x_n do równania , gdzie wszystkie stałe są dodatnie? Jedyną godną...
Czy istnieją teraz prostsze algorytmy / dowody do triangulacji płaskiego wielokąta w czasie liniowym? Co jest dobrym źródłem wiedzy na temat najnowszego znanego
Czytając artykuł „ Teoria aplikacyjna dla FPH ”, można natknąć się na następujący fragment: Biorąc pod uwagę teorie charakteryzujące klasy złożoności obliczeniowej, istnieją trzy różne podejścia: w jednym funkcje, które można zdefiniować w teorii, są „automatycznie” w ramach pewnej klasy...
Jak wszyscy wiedzą, słynna książka Garey i Johnsona (i wiele innych) stanowi doskonałe odniesienie do techniki redukcji w scenerii klasycznej. Czy są jakieś ankiety lub książki na temat techniki redukcji w sparametryzowanym algorytmie, powiedzmy redukcja
Jest to zapisane we wpisie wiki dotyczącym Symbolic Execution , ale nie mogę znaleźć żadnego odniesienia do niego. Czy ktoś może mi pokazać wskaźnik? Dziękuję
Edycja: Ponieważ od tygodnia nie otrzymałem żadnych odpowiedzi / komentarzy, chciałbym dodać, że cieszę się, że słyszę cokolwiek o problemie. Nie pracuję w okolicy, więc nawet jeśli jest to prosta obserwacja, mogę tego nie wiedzieć. Pomocny byłby nawet komentarz typu „Pracuję w okolicy, ale nie...
Używam tytułowego terminu w bardzo luźnym znaczeniu. Dużo pracy poświęcono ewolucyjnej teorii gier, w tym jej matematycznym fundamentom. Polecono mi „Gry ewolucyjne i dynamika populacji”, ale jeszcze się w to nie zagłębiłem. Istnieje również znaczna ilość pracy nad algorytmiczną teorią gier,...
Biorąc pod uwagę zbiory i B , relacja difunkcyjna ( ∼ ) ⊆ A × B między nimi jest zdefiniowana jako relacja spełniająca następującą właściwość:AAABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Jeżeli oraz a ′ ∼ b ′ i a ∼ b ′ , to a ′ ∼ b . a∼ba∼ba \sim ba′∼b′a′∼b′a' \sim b'a ∼ b′za∼b′a \sim b'za′∼...
Niech oznacza zbiór a C (n, k) oznacza zbiór wszystkich kombinacji elementów z bez powtórzeń. Niech będzie liczbą w . Mówimy, że permutacja zestawu pozwala uniknąć jeśli nie ma k-krotki liczb całkowitych taki, że { 1 , . . . , n } k [ n ] p = p 1 p 2 . . . p k k C ( n , k ) π : [ n ] → [ n ] [ n...
Kategoria ma dwuprodukty, gdy te same obiekty są zarówno produktami, jak i koproduktami. Czy ktoś badał teorię kategorii produktów dwubiegunowych? Być może najbardziej znanym przykładem jest kategoria przestrzeni wektorowych, w których bezpośrednia suma i bezpośrednie konstrukcje produktu dają tę...