W przeszłości czasopisma były głównym sposobem rozpowszechniania i weryfikacji odkryć naukowych / matematycznych. W niektórych obszarach nadal są. Jednak w (teoretycznej) informatyce rolę tę pełnią prawie w całości konferencje i otwarte rozpowszechnianie internetowe (np. Arxiv lub osobiste strony...
Niech być skierowany acykliczny wykres i pozwolić λ być funkcją znakowania mapowanie każdego wierzchołka v ∈ V do naklejania Î ( v ) w pewnym skończonym alfabetu L . Zapisywanie n : = | V | , A topologiczna sortowania z G jest bijection σ z { 1 , ... , N } do V (tj zamawianiaG=(V,E)G=(V,E)G = (V,...
Czy ? Lub, bardziej ogólnie, czy ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq
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ś...
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...
Niech będzie językiem if : Σ ⋆ × Σ ⋆ → Σ ⋆ funkcja na dwóch parametrach z właściwością, która dla wszystkich x i y , f zwraca element L wtedy i tylko wtedy, gdy oba x i y są elementami L :LL.Lf:Σ⋆×Σ⋆→Σ⋆fa:Σ⋆×Σ⋆→Σ⋆f\colon
Czytałem opublikowane książki, artykuły i artykuły na temat obliczeń kwantowych. Odkryłem, że wszystkie materiały, które widziałem, zamiast opisywać bramę kwantową od podstawowej fizyki do abstrakcji, starają się unikać mówienia o szczegółach implementacji bram kwantowych . Najpierw zadałem...
Rozważmy następujący problem: biorąc pod uwagę macierz M∈{−m,…,0,…,m}n×nM∈{−m,…,0,…,m}n×nM\in\{-m,\dots,0,\dots,m\}^{n\times n} , indeksy i,j∈{1,…,n}i,j∈{1,…,n}i,j\in\{1,\dots,n\} i liczbę całkowitą aaa . Wymienić M[i,j]M[i,j]M[i,j] przez i wywołać nowa macierz M . Czy p e r ( M ) > paaaM^M^\hat...
Patrząc na modele polimorfizmu parametrycznego, jestem ciekawy, dlaczego stosowane są kategorie wykresów refleksyjnych ? W szczególności dlaczego nie zawierają składu relacyjnego? Patrząc na modele, wszystkie wydają się potwierdzać naturalne pojęcie składu
W artykule konferencyjnym, w celu udowodnienia -completeness problemu, napisałem zdanie głupiego „Jest oczywiste, że problem jest w N P . Więc będziemy udowadniać, że jest N P -hard”. W rzeczywistości nie było wcale jasne. Wydaje się nawet, że jest to otwarty problem. Dla grupy docelowej, nie jest...
Programuję od kilku lat, ale nie znam teoretycznej CS. Niedawno próbowałem uczyć się języków programowania, a w ramach tego sprawdzania i wnioskowania. Moje pytanie brzmi: jeśli spróbuję napisać program wnioskowania i sprawdzania języka programowania i chcę udowodnić, że mój program do sprawdzania...
Próbuję zrozumieć logikę liniową, aby lepiej zrozumieć systemy typu liniowego. Jednak kiedy czytam zasady, nie rozumiem za tym intuicji, jak to zrobiłem w logice modalnej - oznacza, że A jest wymagane, ponieważ w ramkach Kripke A jest wymagane dla każdego osiągalnego świata [ ◊ A to A jest możliwe...
Niech będzie dowolną skończoną strukturą. Czy jego teoria pierwszego rzędu ograniczyła rangę kwantyfikatora w tym sensie, że istnieje taki, że dla wszystkich z jest z i ?AA\mathfrak{A} T:=TH(A)T:=TH(A) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) q∈Nq∈N q\in\mathbb{N} φ∈Tφ∈T \varphi\in\mathfrak{T}...
Niech będzie ogólną wyrocznią w sensie kategorii Cohen / Baire. Niech będzie losową wyrocznią.GGGRRR Czy istnieją klasy złożoności A i B z lub na odwrót, AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne
Wiem, że Rachunek Konstrukcji jest silnie normalizujący, co oznacza, że każde wyrażenie ma normalną wartość, która nie może być beta, a jeszcze bardziej zmniejszona eta. W rzeczywistości jest to najbardziej wydajne wyrażenie, które oblicza tę samą wartość, co oryginalne wyrażenie. Ale w...
Monadyczna logika pierwszego rzędu, znana również jako monadyczna klasa problemu decyzyjnego, jest miejscem, w którym wszystkie predykaty biorą jeden argument. Został rozstrzygnięty przez Ackermanna i jest NEXPTIME-complete . Jednak problemy takie jak SAT i SMT mają szybkie algorytmy do ich...
Zasadniczo podejmowanie decyzji, czy równanie diofantyczne ma jakieś rozwiązania liczb całkowitych, jest równoznaczne z problemem zatrzymania. Uważam, że podjęcie decyzji, czy kwadratowe równanie diofantyczne ma jakieś rozwiązanie, jest NP-kompletne. Czy istnieje dodatkowe ograniczenie...
Mam zestaw wektorów binarnych i wektor docelowy który to wektor wszystkich.n nnS = { s 1 , … , s n } ⊆ { 0 , 1 } k ∖ { 1 k } S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t = 1 kt=1kt = 1^k Przypuszczenie: Jeśli można zapisać jako liniową kombinację...
Pytanie ogólne Czy twierdzenie o hierarchii przestrzeni generalizuje się do obliczeń niejednorodnych? Oto kilka bardziej szczegółowych pytań: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Czy dla wszystkich funkcji f (n) możliwych do zbudowania w przestrzeni...
Dobrze wiadomo, że w przypadku klasy koncepcyjnej CC\mathcal{C} o wymiarze VC wystarczy uzyskać przykłady oznaczone PAC learn . Nie jest dla mnie jasne, czy algorytm uczenia się PAC (który wykorzystuje tak wiele próbek) jest właściwy, czy niewłaściwy? W podręcznikach Kearnsa i Vazirani oraz...