Nach (unbestätigter) historischer Darstellung hat Kolmogorov angenommen, dass jede Sprache in PP\mathsf{P} eine lineare Schaltungskomplexität hat. (Siehe die frühere Frage Kolmogorovs Vermutung, dass PPP lineare Schaltkreise hat .) Beachten Sie, dass dies impliziert P≠NPP≠NP\mathsf{P}\neq...
Während ich über die Komplexität des Testens der Isomorphie asymmetrischer Graphen nachdachte (siehe meine verwandte Frage zur Theorie), kam mir eine ergänzende Frage in den Sinn. Angenommen, wir haben eine Polynomzeit-Turing-Maschine , die am Eingang 1 n einen Graphen G M , n mit n Knoten...
In Quantum Computation und Quantum Information von Nielsen und Chuang heißt es, dass viele der Algorithmen, die auf Quanten-Fourier-Transformationen basieren, auf der Coset-Invarianz-Eigenschaft von Fourier-Transformationen beruhen, und dass Invarianzeigenschaften anderer Transformationen...
Ich habe vor langer Zeit über dieses Problem nachgedacht, aber keine Ahnung davon. Der Erzeugungsalgorithmus ist wie folgt. Wir nehmen an, dass es nnn diskrete Knoten gibt, die von 000 bis nummeriert sind n−1n−1n - 1. Dann machen wir für jedes iii in das übergeordnete Element {1,…,n−1}{1,…,n−1}\{1,...
Was ist die bekannteste Komplexität für die Berechnung des genauen Bearbeitungsabstands zwischen zwei Zeichenfolgen gleicher Länge unter Verwendung des Arbeitsraums, der in der Größe der Eingabe sublinear ist? Ich gehe davon aus, dass die Eingabe in einem schreibgeschützten Format gespeichert ist....
Vor kurzem schlug Dana Scott den stochastischen Lambda-Kalkül vor, einen Versuch, probabilistische Elemente in den (untypisierten) Lambda-Kalkül einzuführen, der auf einer Semantik basiert, die als Graph-Modell bezeichnet wird. Sie finden seine Folien online zum Beispiel hier und seinen Artikel im...
Wikipedia listete vier Probleme auf, die in jedoch vermutet wird, dass sie außerhalb von : Ganzzahlfaktorisierung; Diskreter Logarithmus; Simulation von Quantensystemen; Berechnung des Jones-Polynoms an bestimmten Wurzeln der Einheit.BQPBQPBQPPPP Gibt es noch andere solche
Haupt / Allgemeine Frage Sei eine Sprache. Definieren Sie die Sprachen mit und für . Betrachte . Wir haben also wiederholt in sich "eingebettet" , um .L i L 0 = L L i = { x w y : x y ∈ L i - 1 , w ∈ L } i ≥ 1 L = ⋃ L i L LLLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy...
USTCONN ist das Problem, bei dem entschieden werden muss, ob es in einem Graphen einen Pfad vom Quellscheitelpunkt zum Zielscheitelpunkt gibt, der alle als Teil der Eingabe angegeben wird.ssstttGGG Omer Reingold hat gezeigt, dass USTCONN in L ist (doi: 10.1145 / 1391289.1391291 ). Der Proof...
Gegenwärtig erfolgt die Berechnung von Real in den meisten gängigen Sprachen immer noch über Gleitkommaoperationen. Andererseits haben Theorien wie die Typ-2-Effektivität (TTE) und die Domänentheorie lange Zeit eine genaue Berechnung der Realzahlen versprochen. Das Problem der Fließkommapräzision...
In seiner Arbeit von 1995 über Polynomialzeitalgorithmen für die Faktorisierung von Primzahlen und diskrete Logarithmen auf einem Quantencomputer erörtert Peter W. Shor eine Verbesserung des Teils der Ordnungsfindung seines Faktorisierungsalgorithmus. Die Standardalgorithmus Ausgänge r′r′r' , einen...
Ich möchte einen mathematischen Vortrag über das Git Revisionskontrollsystem halten. Es ist heute weit verbreitet in der Mathematik sowie in der Informatikindustrie. Zum Beispiel wird es von der HoTT-Community (Homotopy Type Theory) verwendet und ist das Go-to-System für die gemeinsame Bearbeitung...
Das Entscheidungsproblem CNF-SAT kann wie folgt beschrieben werden: Eingabe: Eine Boolesche Formel ϕϕ\phi in konjunktiver Normalform. Frage: Gibt es eine Variablenzuordnung, die erfüllt ϕϕ\phi? Ich überlege mir verschiedene Ansätze, um CNF-SAT mit einer nicht deterministischen...
Sei eine ganzzahlige Funktion, so dass in . Folgt daraus, dass in ? Gibt es Gründe zu der Annahme, dass dies wahrscheinlich nicht immer zutrifft? Gibt es Referenzen, über die ich Bescheid wissen sollte?2 F # P F # PFFF2 F2F2F# P#P\#PFFF# P#P\#P Etwas überraschend kam diese Situation (mit einer viel...
Im Folgenden bezeichnet MSO die monadische Logik zweiter Ordnung von Graphen mit Quantifizierungen für Vertex- und Edge-Sets. Sei eine kleine geschlossene Familie von Graphen. Aus der Graph-Minor-Theorie von Robertson und Seymour folgt, dass durch eine endliche Liste verbotener Minderjähriger...
Es ist allgemein bekannt, dass das Äquivalenzproblem für allgemeine kontextfreie Sprachen nicht zu entscheiden ist. Alle Beweise für diese Tatsache, die mir bekannt sind, scheinen jedoch nicht eindeutige kontextfreie Grammatiken zu enthalten. Aus diesem Grund möchte ich fragen, ob bekannt ist, ob...
Ich bin Doktorandin und arbeite in der theoretischen Informatik. Ich habe die Forschungsarbeiten vieler Forscher gelesen und ich habe viele Werkzeuge und Mathematik gesehen, die sie zum Entwerfen eines Algorithmus verwenden. Siehe zum Beispiel dieses Forschungspapier [Primality in P] . Ich würde...
Pierce (2002) führt die Typisierungsrelation auf Seite 92 folgendermaßen ein: Die Typisierungsrelation für arithmetische Ausdrücke, geschrieben "t: T", wird durch eine Reihe von Inferenzregeln definiert, die den Begriffen Typen zuweisen und in der Fußnote steht: Das Symbol ∈∈\in wird häufig...
Parity-P ist die Menge von Sprachen, die von einer nicht-deterministischen Turing-Maschine erkannt werden und die nur zwischen einer geraden oder ungeraden Anzahl von "Akzeptanz" -Pfaden unterscheiden kann (anstelle einer Null- oder einer Nicht-Null-Anzahl von Akzeptanzpfaden). So Parity-P ist im...
Definieren Sie die Gaußsche Komplexität einer Matrix als die minimale Anzahl elementarer Zeilen- und Spaltenoperationen, die erforderlich sind, um die Matrix in die Form eines oberen Dreiecks zu bringen. Dies ist eine Größe zwischen 0 und n 2 (über die Gaußsche Elimination). Der Begriff ist in...