Eine Matrix heißt total regular, wenn alle ihre quadratischen Submatrizen den vollen Rang haben. Solche Matrizen wurden verwendet, um Superkonzentratoren zu konstruieren. Wie komplex ist es, zu entscheiden, ob eine gegebene Matrix über die Rationen hinweg völlig regelmäßig ist? Über endliche...
Was ist die Zeitkomplexität (nicht die Abfragekomplexität) von Grovers Algorithmus? Es scheint mir klar , dass es , da es Iterationen und jede Iteration erfordert die Verwendung des Reflexionsbetrieb wiederum die Zeit in Anspruch nimmt Verwendung eines beliebigen Standardsatzes von...
Die Berechnung der Cheeger-Konstante eines Graphen , auch als isoperimetrische Konstante bekannt (da es sich im Wesentlichen um ein Mindestverhältnis von Fläche zu Volumen handelt), ist bekanntermaßen NP-vollständig. Im Allgemeinen ist es angenähert. Ich bin daran interessiert zu erfahren, ob...
Diese Frage wurde von Physics Stack Exchange migriert, da sie über Theoretical Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Bei der adiabatischen Quantenberechnung (AQC) wird die Lösung eines Optimierungsproblems im Grundzustand eines [problem] Hamiltonian . Um...
Ich interessiere mich für das folgende Problem: Wenn eine Menge X und Teilmengen X_1, ..., X_n von X gegeben sind, finde eine Färbung der Elemente von X mit k Farben, so dass die Elemente in jedem X_i alle unterschiedlich gefärbt sind. Insbesondere betrachte ich den Fall, in dem alle X_i die Größe...
Was die bekannten effiziente Algorithmen zur Berechnung einer Determinante einer Matrix mit ganzzahligen Koeffizienten sind , modulo der Ring aus den Resten m . Die Zahl m ist möglicherweise keine Primzahl, sondern zusammengesetzt (Berechnungen werden also im Ring und nicht in einem Feld...
Problem: Wir erhalten eine Reihe von Sticks, die alle eine ganzzahlige Länge haben. Die Gesamtsumme ihrer Längen beträgt n (n + 1) / 2. Können wir sie in polynomielle Zeit um Stäbe der Größe zu erhalten? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Überraschenderweise ist der einzige Hinweis, den ich für...
Ich würde gerne etwas über parametrisierte Komplexität lernen (sowohl auf der algorithmischen Seite als auch auf der Härteseite). Welche Bücher / Vorlesungsunterlagen kann ich zu diesem Thema
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...
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...
Ist die automatische Beweis- und Beweisrecherche für Theoreme in linearen und anderen aussagenbezogenen substrukturellen Logiken, denen die Kontraktion fehlt, einfacher? Wo kann ich mehr über das automatische Beweisen von Theoremen in diesen Logiken und die Rolle der Kontraktion bei der Beweissuche...
Angenommen, ist ein Baum konstanten Grades, dessen Struktur wir nicht kennen. Das Problem besteht darin, den Baum durch Fragen des Formulars auszugeben : "Liegt der Knoten auf dem Pfad von Knoten zu Knoten ?". Angenommen, jede Abfrage kann von einem Orakel in konstanter Zeit beantwortet werden. Wir...
Brzozowskis Methode der Ableitungen ist eine sehr hübsche Technik, um deterministische Automaten aus regulären Ausdrücken auf eine schön algebraische Weise zu erstellen. Ich habe einige nette Verallgemeinerungen dieser Technik ausgearbeitet, um einige größere Grammatikklassen zu behandeln, aber die...
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...
Ich würde gerne wissen, ob es Vermutungen gegeben hat, die in TCS seit langem nicht mehr bewiesen wurden und die später durch eine Implikation aus einem anderen Theorem bewiesen wurden, was möglicherweise einfacher zu beweisen war.
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...
Das Stopp-Problem für Turing-Maschinen ist möglicherweise die kanonische, unentscheidbare Menge. Trotzdem beweisen wir, dass es einen Algorithmus gibt, der über fast alle Fälle entscheidet. Das Stopp-Problem gehört daher zu der wachsenden Sammlung von Personen, die das Phänomen der...
2 Fragen an die Rechengeometer oder Algebraisten: Ich fange gerade an, mich mit Computergeometrie zu beschäftigen, und ich liebe sie =) Ich versuche, den berühmten Artikel von Guibas und Stolfi mit dem Titel "Primitive für die Manipulation allgemeiner Unterteilungen und die Berechnung von...
Trifft es zu, dass es Probleme in dem Polynom Hierarchie auflösbar in Zeit (durch eine alternierende Turingmaschine in einem bestimmten Ebene der Polynom Hierarchie) , die nicht auflösbar ist in in irgendeine Ebene der Polynom-Hierarchie? Mit anderen Worten - gibt es einen Zeithierarchiesatz für...
Ich sehe in den neunziger Jahren viel Forschung über Hypercomputing , aber in den letzten Jahren scheint es wenig Arbeit zu diesem Thema zu geben. Stimmt es, dass die Forschung in diesem Bereich zum Erliegen gekommen ist? Wenn ja, woran könnte das liegen? Hat sich dieser Bereich überzeugend als...