Teoretyczne informatyka

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

4
Jakie właściwości grafów płaskich uogólniają się na wyższe wymiary / hipergrrafy?
Płaska wykres przedstawia wykres, który może być osadzony w płaszczyźnie, bez konieczności przekraczania krawędzie. Niech będzie - jednolitym hipergraphem, tj. Hipergraphem takim, że wszystkie jego hipergezy mają rozmiar k.kG = ( X, E)G=(X,E)G=(X,E)kkk Wykonano już pewne prace związane z osadzaniem hiperrafatów w płaszczyźnie (w kontekście klastrowania lub innej aplikacji), ale …
1
Konsekwencje
Mam część próbnej próby ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}. Próba dowodowa polega na zmniejszeniu karpu z⊕P⊕P\oplus \mathbf{P}-kompletny problem ⊕⊕\oplus3-REGULARNA POKRYWA VERTEX do SAT. Biorąc pod uwagę sześcienny wykres GGG, redukcja generuje wzór CNF FFF posiadający obie następujące właściwości: FFF ma co najwyżej 111 spełniające zadanie. FFF jest zadowalający tylko i tylko …
5
Lista algorytmów inspirowanych kwantem
Postępy w dziedzinie obliczeń kwantowych doprowadziły do ​​opracowania nowych klasycznych algorytmów. Godne uwagi ostatnie przykłady to inspirowane kwantem algorytmy algebry liniowej: Klasyczny algorytm inspirowany kwantem dla systemów rekomendacji Klasyczne algorytmy inspirowane kwantem do analizy głównych komponentów i nadzorowanego grupowania Inspirowana kwantem regresja stochastyczna niskiej rangi z logarytmiczną zależnością od wymiaru …
2
Dziedziczna substytucja z hierarchią wszechświata
Czytałem o dziedzicznej zamianie na prosty rachunek Lambda i na logiczną strukturę z odrębnymi terminami i typami. Zastanawiam się, czy są jakieś przykłady dziedzicznej substytucji w systemie o typie zależnym i hierarchii wszechświata? tzn. gdzie True:Set0:Set1:Set2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 itd. Zastanawiam się w szczególności, jak ustalić miarę indukcyjną …
1
Czy DSPACE (n) = DSPACE (1,5n)?
Z twierdzenia o hierarchii przestrzeni wiadomo, że jeśli faff można konstruować w przestrzeni, to DSPACE ( 2 f( n )2f(n)2f(n) ) nie jest równe DSPACE ( fa( n ) )f(n))f(n)) . Tutaj przez DSPACE ( fa( n ) )f(n))f(n)) mam na myśli klasę wszystkich problemów, które można rozwiązać w przestrzeni …
1
Nieporównywalne liczby naturalne
„Nazwa największej gry liczbowej” wymaga od dwóch graczy potajemnego zapisania numeru, a zwycięzcą jest osoba, która zapisała większą liczbę. Gra zazwyczaj pozwala graczom zapisywać funkcje ocenione w danym momencie, więc byłoby również do przyjęcia.2)2)2)2)2)2)2)2)2^{2^{2^{2}}} Wartości funkcji Busy Beaver, , nie można ustalić (w ZFC lub w żadnym rozsądnym spójnym systemie …
1
Czy twierdzenie o hierarchii przestrzeni generalizuje się do obliczeń niejednorodnych?
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 f(n)f(n)f(n)jest DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Dla jakich funkcji h(n)h(n)h(n) wiadomo, że: dla wszystkich możliwych do zbudowania przestrzeni f(n)f(n)f(n) , …
1
Sparametryzowana złożoność włączenia zwykłych języków
Interesuje mnie klasyczny problem REGULARNE WŁĄCZENIE JĘZYKA. Biorąc pod uwagę wyrażenie regularne , oznaczamy przez L ( E ) powiązany z nim język regularny. (Wyrażenia regularne są na stałej alfabetu Ď z unii operacji, Kleene-gwiazdkowe i konkatenacji).miEEL ( E)L(E)L(E)ΣΣ\Sigma Dane wejściowe: dwa wyrażenia regularne i E 2 Pytanie: Czy to …
2
Najnowocześniejszy w klasie Monadic?
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 rozwiązania, pomimo teoretycznych ograniczeń. Zastanawiam się, czy istnieją badania analogiczne …
5
Reprezentowanie powiązanych zmiennych za pomocą funkcji od zastosowań do segregatorów
Problem reprezentowania zmiennych powiązanych w składni, a zwłaszcza podstawiania unikania przechwytywania, jest dobrze znany i ma wiele rozwiązań: zmienne nazwane z równoważnością alfa, wskaźniki de Bruijna, lokalna bezimienność, zbiory nominalne itp. Ale wydaje się, że istnieje inne dość oczywiste podejście, którego jednak nigdzie nie widziałem. Mianowicie, w podstawowej składni mamy …
2
Czy dany język regularny zawiera nieskończony podzbiór bez prefiksów?
Zestaw słów nad skończonym alfabetem nie zawiera prefiksu, jeśli nie ma dwóch odrębnych słów, w których jedno jest prefiksem drugiego. Pytanie brzmi: Jaka jest złożoność sprawdzania, czy zwykły język podany jako NFA zawiera nieskończony podzbiór bez prefiksów? Odpowiedź (z powodu Michaiła Rudoya, tutaj poniżej) : Można to zrobić w czasie …
2
Czy teoria pierwszego rzędu struktury skończonej ograniczyła rangę kwantyfikatora?
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} qr(φ)>qqr(φ)>q qr(\varphi) > q φ′∈Tφ′∈T \varphi'\in\mathfrak{T} qr(φ′)≤qqr(φ′)≤q qr(\varphi')\leq q φ′≡φφ′≡φ \varphi'\equiv\varphi
3
Rachunek konstrukcji: skompresuj wyrażenie do jego najmniejszej postaci
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 niektórych przypadkach normalizacja może zredukować małe wyrażenie do …
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.