Mam pytanie dotyczące redukowalności SERF impagliazzo, Paturi i Zane'a oraz algorytmów podwykładniczych. Definicja SERF-redukowalności daje następujące: Jeśli jest redukowalne przez SERF do P 2 i istnieje algorytm O ( 2 ε n ) dla P 2 dla każdego ε > 0 , wówczas istnieje algorytm O ( 2 ε n )...
Interesuje mnie modelowanie obiektów, od programowania obiektowego, w teorii typów zależnych. Jako możliwą aplikację chciałbym mieć model, w którym mogę opisać różne cechy imperatywnych języków programowania. Znalazłem tylko jeden artykuł na temat modelowania obiektów w teorii typów zależnych, a...
Raz za Parallel twierdzenie pretition to ważny wynik w PCP, inapproximation, itd. Twierdzenie jest fomalized następująco. Gra , gdzie S , T , A , B są zestawami skończonymi, π jest rozkładem na S × T i predykatem V : S × T × A × B → { 0 , 1 } . Określ wartość gry v ( G ) = max hG = ( S, T, A, B,...
Definicja liczb Ramseya jest następująca: Niech jest dodatnią liczbą taką, że każdy wykres zamówienia na przynajmniej R ( , b ) obejmuje albo klika w ciągu wierzchołków lub zestaw się na stałym b wierzchołków.R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb Pracuję nad jakimś rozszerzeniem Ramsey...
Szukam porady i opinii. Wstęp: Jestem studentem matematyki na studiach pierwszego stopnia, zainteresowanym informatyką teoretyczną (złożoność obliczeniowa, teoria grafów, kombinatoryka). Chcę kontynuować doktorat z informatyki i skupić się na teorii. Moje doświadczenie obejmuje matematyczne...
Interesuje mnie złożoność problemu dominującego zestawu (DSP) w niektórych określonych klasach grafów, które są podklasami grafów akordowych . Wykres jest nieukierowanym wykresem ścieżki, jeśli jest to wykres przecięcia wierzchołków rodziny ścieżek w jakimś niekierowanym drzewie. Niech UP będzie...
Biorąc pod uwagę wykres płaski, można go osadzić w liniowym czasie przechodzącym swobodnie w siatkę . Interesuje mnie, czy znane są efektywne algorytmy linii prostej osadzającej płaski wykres przecinający się swobodnie w siatce n c × n c , dla jakiegoś małego c , tak, że minimalny kąt między dwiema...
Jeden z moich znajomych pyta mnie o następujący problem z planowaniem na drzewie. Uważam, że jest bardzo czysty i interesujący. Czy jest na to jakieś odniesienie? Problem: Istnieje drzewo , każda krawędź ma symetryczny koszt podróży 1 . Dla każdego wierzchołka v I nie jest to zadanie, które musi...
W 1973 r. Weiner przedstawił pierwszą konstrukcję drzewek z przyrostkami. Algorytm został uproszczony w 1976 r. Przez McCreighta, aw 1995 r. Przez Ukkonen. Niemniej jednak uważam, że algorytm Ukkonen jest stosunkowo zaangażowany koncepcyjnie. Czy istnieją uproszczenia algorytmu Ukkonen od 1995...
Mam problem algebraiczny związany z wektorami w dziedzinie GF (2). Niech będą wektorami wymiaru , a . Znaleźć wielomianowej algorytm czasową znajdzie (0,1)-wektor tego samego wymiaru tak, że nie jest sumą każdy wektory między . Dodawanie wektorów odbywa się ponad polem GF (2), które ma dwa elementy...
Czy istnieje dowód, że emulacji maszyny Turinga na nieświadomej maszynie Turinga nie można wykonać w mniej niż gdzie jest liczbą kroków, które wykonuje maszyna Turinga ? Czy to tylko górna granica?O ( m logm )O(mlogm)\mathcal{O}\left(m\log m\right)mmm W artykule Paula Vitányi o relatywizowanych,...
Chciałbym wiedzieć o historii tych dwóch terminów: „ skuteczny ”, „ wykonalny ”. Kto zastosował je po raz pierwszy w obliczeniach / algorytmach? (w nowoczesnym znaczeniu tych terminów, tj. XX wieku). Jak stały się głównym nurtem? Jak te dwa terminy zaczęły być używane jako synonimy? Wiem, że...
Czy ktoś sformalizował związek między technikami analizy składniowej redukującej przesunięcie a ograniczonymi kontynuacjami? Podczas konstruowania analizatora składniowego typu oddolnego (np. Parserów LR) bierzemy gramatykę, a następnie reprezentujemy stany analizy jako zestawy elementów :...
Czy wiadomo, czy problem z ustawieniem wierzchołka sprzężenia zwrotnego na niekierowanych grafach płaskich o ograniczonym stopniu jest
Ustawiona funkcja jest monotoniczna podmodularna, jeśli dla wszystkich A , B , f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .faffA , BA,BA,Bfa( A ) + f( B ) ≥ f( A ∪ B ) + f( A ∩ B ) .f(A)+f(B)≥f(A∪B)+f(A∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Silniejszą właściwością jest Biorąc C =...
Czy ktoś może wymienić niektóre dobrze znane problemy, które spełniają następujące warunki: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.
I przypisany Moi studenci problem znalezienia trójkąt spójne z kolekcją punktów w R 2 , oznaczonego ± 1 . (Trójkąt T jest zgodny z próbką oznaczoną, jeśli T zawiera wszystkie punkty dodatnie i żaden z punktów ujemnych; z założenia próbka przyjmuje co najmniej 1 spójny...
ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * Gdy piszę losowy wielomian o stopniu ≤d≤d\le d a n zmiennych, można myśleć o każdy...
Aby uczcić 100. urodziny Alana Turinga, chcę obejrzeć film dokumentalny o jego życiu. Istnieje jednak kilka dokumentów do wyboru. Który dokument o Alanie Turingu jest twoim ulubionym? Podaj tylko jeden dokument na
Istnieje wiele dobrze znanych C 0 wielkości obwód dolny związanego wyniki w oparciu o losowe ograniczeń i przełączania lematu .AC0AC0\mathsf{AC^0} Czy możemy opracować wynik zamiany lematu, aby udowodnić niższą wielkość dla obwodów TC0TC0\mathsf{TC^0} (podobnie do dolnej granicy dla...