Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Wie sieht ein greifbares Quantentor aus?
Ich habe veröffentlichte Bücher, Artikel und Artikel über Quantum-Computing gelesen. Ich fand heraus, dass alle Materialien, die ich gesehen habe, anstatt das Quantentor von der Grundphysik bis zur Abstraktion zu beschreiben, sich bemühen , nicht über die Implementierungsdetails von Quantentoren zu sprechen . Ich habe mich zuerst gefragt: Suche ich …
1
Wie heißt eine Funktion
Let eine Sprache und sein eine Funktion von zwei Parametern mit der Eigenschaft , dass für alle und , kehrt ein Element der genau dann, wenn sowohl als auch Elemente von :f : & Sigma; ⋆ × & Sigma; ⋆ → & Sigma; ⋆ x y f L x y …
1
vs
Ist ? Oder allgemeiner: Ist N P P P ⊆ P P P / p o l y ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}
1
Wie dienen Zeitschriften der TCS-Community?
In der Vergangenheit waren Zeitschriften die Hauptmethode für die Verbreitung und Überprüfung wissenschaftlicher / mathematischer Entdeckungen. In einigen Bereichen sind sie es immer noch. In der (theoretischen) Informatik wird diese Rolle jedoch fast ausschließlich von Konferenzen und offener webbasierter Verbreitung (z. B. arxiv oder persönliche Homepages) wahrgenommen. Es gibt immer …
1
Kleinste achsenausgerichtete Box, die
Eingabe: Eine Menge von Punkten in R 3 und eine ganze Zahl k ≤ n .nnnR.3R3\mathbb{R}^3k ≤ nk≤nk \le n Ausgabe: Der kleinste an der Volumenachse ausgerichtete Begrenzungsrahmen, der mindestens dieser n Punkte enthält.kkknnn Ich frage mich, ob Algorithmen für dieses Problem bekannt sind. Das Beste, was ich mir vorstellen …
1
Abhängige Typen über kirchencodierten Typen in PTS / CoC
Ich experimentiere mit reinen Typsystemen in Barendregts Lambda-Würfel, speziell mit dem mächtigsten, dem Calculus of Constructions. Dieses System hat Sorten *und BOX. Nur zur Veranschaulichung: Im Folgenden verwende ich die konkrete Syntax des MorteTools https://github.com/Gabriel439/Haskell-Morte-Library, das dem klassischen Lambda-Kalkül nahe kommt. Ich sehe, wir können induktive Typen durch eine Art …
3
Komplexität der Berechnung der Parität der zweimal gelesenen entgegengesetzten CNF-Formel ( )
In einer zweimal gelesenen entgegengesetzten CNF-Formel erscheint jede Variable zweimal, einmal positiv und einmal negativ. Ich interessiere mich für das Problem , das darin besteht, die Parität der Anzahl zufriedenstellender Zuweisungen einer zweimal gelesenen entgegengesetzten CNF-Formel zu berechnen.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Ich konnte keinen Hinweis auf die Komplexität eines solchen Problems finden. Die …
2
Folge von PIT über
Gegeben , so dass Koeffizienten p , q ist begrenzt B , ist p ≡ q hold ?p ( x1, … , X.n) , q( x1, … , X.n) ∈ Z [ x1, … , X.n]]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qB.BBp ≡ qp≡qp\equiv q Das Schwartz-Zippel-Lemma gilt hier, da es für …
2
Bestimmen, was durch eine Permutation von Elementen einer nichtkommutativen Gruppe erreicht werden kann
Fix eine endliche Gruppe . Ich interessiere mich für das folgende Entscheidungsproblem: Die Eingabe besteht aus einigen Elementen von G mit einer Teilreihenfolge, und die Frage ist, ob es eine Permutation der Elemente gibt, die die Reihenfolge erfüllt und so ist, dass die Zusammensetzung der Elemente darin besteht Ordnung ergibt …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.