Prowadzę kurs na temat struktur danych i na początku przyszłego tygodnia zajmę się drzewami splay. Wiele razy czytałem artykuł na temat drzew splay i znam się na analizie i intuicji stojących za strukturą danych. Nie mogę jednak znaleźć solidnej intuicji dla potencjalnej funkcji, której Sleator i...
Mówimy, że NFA jest stale niejednoznaczny, jeśli istnieje tak że każde słowo jest akceptowane przez lub (dokładnie) ścieżek.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Jeśli automat jest stale niejednoznaczny dla , wówczas nazywa się Jednoznacznym FA (UFA).MMMk=1k=1k=1MMM Niech będzie...
Każdy język, który nie jest kompletny w Turingu, nie może napisać dla siebie tłumacza. Nie mam pojęcia, gdzie to przeczytałem, ale widziałem, że używał go wiele razy. Wydaje się, że prowadzi to do pewnego rodzaju „ostatecznego” pełnego języka Turinga; te, które mogą tylkobyć interpretowanym przez...
Niedawno rozmawiałem z przyjacielem (który jest zwolennikiem silnie pisanych języków). Skomentował: Wynalazcy Lambda Calculus zawsze zamierzali go pisać na maszynie. Teraz widzimy, że Kościół był związany z tym po prostu wpisane rachunek lambda . Rzeczywiście wydaje się, że wyjaśnił on prosty...
Potrzebuję listę pełnych językach. Istnieją dwa takie problemy wymienione w zoo złożoności , a mianowicie:Σp2Σ2p\Sigma_2^p Minimalny równoważny DNF. Biorąc pod uwagę formułę DNF F i liczbę całkowitą k, czy istnieje formuła DNF równoważna F z k lub mniejszą liczbą literałów? Najkrótszy implant....
Następujący problem pojawia się na liście Aaronsona Dziesięć pół-wielkich wyzwań dla teorii obliczeń kwantowych . Jest B Q P = B P PB Q N CbQP.=bP.P.bQN.do\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Innymi słowy, i „kwantową” część dowolnego algorytmu kwantowej być skompresowane do p o l y l o g...
Czy istnieje ogólne twierdzenie, które przy odpowiedniej dezynfekcji stanowiłoby, że najbardziej znane wyniki dotyczące użycia liczb rzeczywistych mogą być rzeczywiście wykorzystane przy rozważaniu tylko liczb rzeczywistych? Czy też istnieje właściwa charakterystyka wyników, które pozostają...
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ż...
Szukam algorytmu jednoprzebiegowego, który oblicza parzystość permutacji. Zakładam, że permutacja wejściowa jest podawana przez strumień . Wyjście powinno być parzystością permutacji. Pytanie mnie interesuje, ile pamięci powinien użyć algorytm deterministyczny. Czy istnieje jakiś losowy algorytm...
Patrząc na blog dotyczący teorii homotopii, łatwo można znaleźć wiele bibliotek formalizujących większość teorii typów homotopii w Agdzie i Coq. Czy ktoś wie, czy istnieje podobna próba sformalizowania HoTT w Idris
Czytałem, że całkowite programowanie liniowe jest rozwiązywalne w czasie wielomianowym, jeśli liczba zmiennych jest stała, tj. N ∈ O ( 1 ) . Jeśli liczba zmiennych rośnie logarytmicznie, tj. N ∈ O ( log 2 ( N ) ) dla danych wejściowych o rozmiarze N , czy problem jest nadal możliwy do rozwiązania w...
Zasada 0-1 mówi, że jeśli sieć sortująca działa dla wszystkich sekwencji 0-1, to działa dla dowolnego zestawu liczb. Czy istnieje taki, że jeśli sieć sortuje każdą sekwencję 0-1 od S, to sortuje każdą sekwencję 0-1, a wielkość S jest wielomianowa w n ?S⊂{0,1}nS⊂{0,1}nS\subset \{0,1\}^nSSSnnn Na...
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...
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...
Niech i będą podzbiorami . Interesuje nas znalezienie sumy Minkowskiego .ZAAABBB{0,…,n}{0,…,n}\{0,\ldots,n\}A+B={a+b | a∈A,b∈B}A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} χX:{0,…,2n}→{0,1}χX:{0,…,2n}→{0,1}\chi_X:\{0,\ldots,2n\}\to \{0,1\} jest charakterystyczną funkcją...
W formalnym opisie deterministycznych automatów wypychających pozwalają one na ruchy , w których maszyna może wyskakiwać lub pchać symbole na stos bez odczytywania symbolu z wejścia. Jeśli te ϵ ruchy są niedozwolone, a stos można zmodyfikować tylko raz po odczytaniu każdego symbolu, czy wynikowe...
Wykres mieszany to wykres, który może mieć zarówno skierowane, jak i nieukierowane krawędzie. Podstawowy nieukierowany wykres jest uzyskiwany przez zapomnienie orientacji skierowanych krawędzi, a w drugim kierunku orientacja mieszanego wykresu jest uzyskiwana przez przypisanie kierunku każdej...
Pytanie zadane mi przez Grega Kuperberga. Zastanawiam się, czy są jakieś prace, które definiują i badają złożoność klas języków dopuszczających różnego rodzaju dowody wiedzy . Klasy takie jak SZK i NISZK są niezwykle naturalne z punktu widzenia złożoności, nawet jeśli całkowicie zapomnieliśmy o...
Jakie są przykłady par klas złożoności i , żeAAABBB nie wiemy, czy , iA=BA=BA=B nie znamy też sprzecznych relatywizacji (tzn. nie znamy wyroczni i tak że i )?PPPQQQAP=BP.AP=BP.A^P = B^PZAQ≠BQAQ≠BQA^Q \ne B^Q Aby sformułować pytanie w inny sposób, jakie są wyjątki od heurystyki, że jeśli nie uda...
Wiele publikacji informatycznych z lat 50. i 60. XX wieku zawiera fascynujące spekulacje filozoficzne na temat natury umysłu i znaczenia informacji w odniesieniu do świata fizycznego. Słynne przykłady to „Test Turinga”, „Obliczanie przestrzeni” Zuse'a, „It from bit” Wheelera itp. Dziś takie tematy...