Angenommen , wir haben Polynome vom Grad höchstens n , n > m , so dass die Gesamtzahl von Nicht - Null - Koeffizienten n ( das heißt, sind die Polynome sparse). Ich interessiere mich für einen effizienten Algorithmus zur Berechnung des Polynoms:p1,...,pmp1,...,pmp_1,...,p_mnnnn>mn>mn>mnnn...
Ich denke, dass ein Größenhierarchiesatz für die Schaltungskomplexität ein großer Durchbruch in diesem Bereich sein kann. Ist es ein interessanter Ansatz zur Klassentrennung? Die Motivation für die Frage ist, dass wir sagen müssen Es gibt eine Funktion, die nicht mit Schaltkreisen der Größe...
Gibt es eine Möglichkeit, den folgenden Satz in Coq zu beweisen? Theorem bool_pirrel : forall (b : bool) (p1 p2 : b = true), p1 = p2. BEARBEITEN : Ein Versuch, eine kurze Erklärung für "Was ist der irrelevante Beweis" zu geben (korrigiere mich, wenn ich falsch oder ungenau bin) Die Grundidee ist,...
Ich habe viele Quader im 3D-Raum, jeder hat einen Startpunkt bei (x, y, z) und eine Größe von (Lx, Ly, Lz). Ich frage mich, wie man einen größten Würfel in diesem 3D-Raum findet, der in der Vereinigung der Quader enthalten ist. Gibt es dafür einen effizienten Algorithmus? Zum Beispiel, wenn ich die...
Es ist gut bekannt , dass , wenn P=NPP=NP\mathbf{P}=\mathbf{NP} dann das Polynom Hierarchie kollabiert und P=PHP=PH\mathbf{P}=\mathbf{PH} . Dies kann mit Orakelmaschinen leicht induktiv verstanden werden. Die Frage ist - warum können wir nicht den induktiven Prozess über einen konstanten Wert von...
Kann jemand kurz erklären (wenn das möglich ist!) Oder mich auf eine Referenz verweisen, in der die Unterschiede zwischen untypisiertem Lambda-Kalkül und den gebräuchlicheren typisierten Lambda-Kalkülen zusammengefasst sind? Ich suche insbesondere nach Aussagen über ihre Ausdruckskraft,...
Ich überprüfe das Handbuch für naturinspiriertes und innovatives Computing für SIGACT News. Es ist eine sehr interessante Lektüre. Jedes Kapitel hat jedoch den Geschmack: "Dies ist mein Forschungsgebiet, und verdammt, es ist großartig!" Ich versuche also, den Hype zu beseitigen und den Inhalt des...
Freivalds hat 1979 gezeigt, dass die Überprüfung von Matrixprodukten über jedes Feld in randomisierter -Zeit durchgeführt werden kann O(n2)O(n2)O(n^2). Genauer gesagt besteht bei drei Matrizen A, B und C mit Einträgen aus einem Feld F das Problem, zu überprüfen, ob AB = C einen randomisierten...
Mein 8-Jähriger hat sich gelangweilt, konventionelle Labyrinthe zu erstellen, und hat Varianten entwickelt, die so aussehen: Die Idee ist, mit x zu beginnen und über die normalen Regeln nach o zu gelangen. Außerdem können Sie von einer beliebigen Ganzzahl zu einer beliebigen anderen Ganzzahl...
Dies ist eine Neuformulierung von Sind Grammatikprogramme? vorher von Vag gefragt und mit vielen Vorschlägen der Kommentatoren. Inwiefern kann eine Grammatik als Spezifizierung eines Rechenmodells angesehen werden? Nehmen wir zum Beispiel eine einfache kontextfreie Grammatik wie G ::= '1' -> '0'...
Dies kann als dumme Frage angesehen werden. Ich bin kein Hauptfach Informatik (und ich bin auch noch kein Hauptfach Mathematik). Entschuldigen Sie mich, wenn Sie der Meinung sind, dass die folgenden Fragen einige wichtige falsche Annahmen enthalten. Obwohl es Pläne gibt, Fermats letzten Satz zu...
Ein neuerer Ansatz zur Schaffung einer dezentralen Online-Währung namens Bitcoin stieß auf Interesse. Das Ziel ist es, eine Möglichkeit zu haben, Währung ohne eine zentrale Behörde und ohne doppelte Ausgaben oder Fälschungen zu transferieren. Ihr Ansatz besteht darin, dass alle Knoten im Netzwerk...
Hier besteht das Ziel darin, ein beliebiges SAT-Problem in Polynomzeit unter Verwendung der geringsten Anzahl von Klauseln und Variablen auf 3-SAT zu reduzieren. Meine Frage ist von Neugierde motiviert. Weniger formal möchte ich wissen: "Was ist die 'natürlichste' Reduzierung von SAT auf 3-SAT?"...
( n + 1 )(n+1)(n + 1) Punkte sind erforderlich, um ein Polynom des Grades eindeutig zu bestimmennnn; Beispielsweise bestimmen zwei Punkte in einer Ebene genau eine Linie. Wie viele Punkte sind erforderlich, um eine berechenbare Funktion eindeutig zu bestimmen f: N→ Nf:N→Nf : N \rightarrow N,...
Das direkte Arbeiten mit Zeitkomplexität oder Schaltkreisuntergrenzen ist beängstigend. Daher entwickeln wir Tools wie die Komplexität von Abfragen (oder die Komplexität von Entscheidungsbäumen), um die unteren Grenzen in den Griff zu bekommen. Da jede Abfrage mindestens einen Einheitsschritt...
Wenn es bei der klassischen Berechnung aus Neugier um Permutationsmatrizen und beim Quantencomputing um Einheitsmatrizen geht (von denen die Permutationsmatrizen eine Untergruppe sind), gibt es dann ein Rechenparadigma, das über die Einheitsmatrizen
BEARBEITEN (22. August 2011): Ich vereinfache die Frage weiter und lege ein Kopfgeld auf die Frage. Vielleicht hat diese einfachere Frage eine einfache Antwort. Ich werde auch alle Teile der ursprünglichen Frage durchstreichen, die nicht mehr relevant sind. (Vielen Dank an Stasys Jukna und Ryan...
Das Erfüllbarkeit Problem ist natürlich, ein grundsätzliches Problem in der theoretischen CS. Ich habe mit einer Version des Problems mit unendlich vielen Variablen gespielt. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Grundeinstellung. Sei eine nicht leere und...
Wie komplex ist die Berechnung der diskreten Fourier- Standardtransformation eines Vektors von ganzen Zahlen (im Standard-Ganzzahl-RAM) ?nnn Der klassische Algorithmus für schnelle Fourier-Transformationen [1] , der Cooley und Tukey unangemessen zugeschrieben wird, wird normalerweise als in -Zeit...
Ich glaube, ich verstehe es nicht, aber Konvertierung erscheint mir als eine β- Konvertierung, die nichts bewirkt, ein Sonderfall der β- Konvertierung, bei der das Ergebnis nur der Begriff in der Lambda-Abstraktion ist, weil nichts zu tun ist. Art einer sinnlosen β-