Teoretyczne informatyka

Pytania i odpowiedzi dotyczące teoretycznych informatyków i badaczy w pokrewnych dziedzinach

2
Warunki dla uniwersalności NFA
Rozważ niedeterministyczny automat skończony A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) i funkcję f(n)f(n)f(n) . Dodatkowo definiujemy Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Teraz przeanalizujmy następujące oświadczenie: Jeżeli Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A) , to L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* . Łatwo jest wykazać, że dla f(n)=2n+1f(n)=2n+1f(n) = 2^n+1 jest to …
2
Ciasne dolne granice twierdzenia Savitcha
Przede wszystkim z góry przepraszam za wszelką głupotę. W żadnym wypadku nie jestem ekspertem od teorii złożoności (a nawet daleko! Jestem studentem, który bierze moją pierwszą klasę z teorii złożoności). Oto moje pytanie. Teraz Twierdzenie Savitcha stwierdza, że Teraz jestem ciekawy, czy ta dolna granica była ścisła, tj. Czy jest …
4
Jaki jest najpotężniejszy parser?
Jako poboczny projekt piszę język przy użyciu Pythona. Zacząłem od użycia klonu Flex / Bison o nazwie Ply, ale zbliżam się do krawędzi tego, co mogę wyrazić za pomocą tego stylu gramatyki, i nie jestem zainteresowany zhakowaniem mojego języka z powodu niedopasowania impedancji z narzędzie. Dlatego nie jestem przeciwny pisaniu …
4
Maksymalne klasy, dla których największy niezależny zbiór można znaleźć w czasie wielomianowym?
W ISGCI listy ponad 1100 klas grafów. W przypadku wielu z nich wiemy, czy można ustalić niezależny zestaw w czasie wielomianowym; nazywane są czasem klasami IS-easy . Chciałbym skompilować listę maksymalnych klas IS-easy. Klasy te razem tworzą granicę (znanej) podatności na rozwiązywanie tego problemu. Ponieważ do dowolnej nieskończonej klasy IS-easy …
6
Maksymalna moc obliczeniowa implementacji C.
Jeśli przejdziemy do tej książki (lub innej wersji specyfikacji języka, jeśli wolisz), ile mocy obliczeniowej może mieć implementacja języka C? Należy zauważyć, że „implementacja C” ma znaczenie techniczne: jest to szczególna instancja specyfikacji języka programowania C, w której udokumentowano zachowanie zdefiniowane w implementacji. Implementacja AC nie musi być w stanie …
3
Ile wystąpień 3-SAT jest zadowalających?
Rozważ problem 3-SAT na n zmiennych. Liczba możliwych odrębnych klauzul wynosi: C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Liczba przypadków problemem jest ilość wszystkich podzbiorów zestawu możliwych punktach: . Trywialnie, dla każdego n ≥ 3 istnieje co najmniej jeden przypadek satysfakcjonujący i jeden …
1
Czy istnieją kanoniczne techniki nierelatywizujące?
W wielu domenach istnieją techniki kanoniczne, które każdy specjalista w tej dziedzinie powinien opanować. Na przykład, w przypadku redukcji przestrzeni logicznej, „sztuczka bitowa” dla kompozycji polega na tym, że nie konstruuje się pełnego wyniku złożonej funkcji, ale zawsze prosi o ponowne obliczenie wyniku dla każdego bitu wyjściowego, co pozwala zachować …
2
Ograniczenia wejściowe nieskończonych sekwencji
Oto łamigłówka, której nie udało mi się rozwiązać. Chciałbym wiedzieć, czy ten problem jest już znany, czy ma łatwe rozwiązanie. Możliwe jest zdefiniowanie biosekcji przy użyciu właściwości dwuczęściowych kategorii zamkniętych. Andrej Bauer zamieścił wyjaśnienie, co to znaczy na swoim blogu jako „ Konstruktywny klejnot: żonglerka wykładnicza ”.3N≅5N3N≅5N 3^\mathbb{N} \cong 5^\mathbb{N} …
3
Problem decyzyjny, o którym nie wiadomo, że występuje w PH, ale będzie w P, jeśli P = NP
Edycja : Jak Ravi Boppana słusznie wskazał w swojej odpowiedzi, a Scott Aaronson dodał również inny przykład w swojej odpowiedzi , odpowiedź na to pytanie okazała się „tak” w sposób, którego w ogóle się nie spodziewałam. Najpierw pomyślałem, że nie odpowiedzieli na pytanie, które chciałem zadać, ale po pewnym zastanowieniu …
3
Jak stworzyć losowy wykres, który nie ma cyklu hamiltonowskiego?
Niech klasa A oznacza wszystkie wykresy wielkości które mają cykl hamiltonowski. Z tej klasy łatwo jest utworzyć losowy wykres - weź n izolowanych węzłów, dodaj losowy cykl hamiltonowski, a następnie losowo dodaj krawędzie.nnnnnn Niech klasa B oznacza wszystkie wykresy wielkości które nie mają cyklu hamiltonowskiego. Jak możemy wybrać losowy wykres …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.