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...
In diesem Artikel wird vorgeschlagen , dass es Kombinatoren gibt (die symbolische Berechnungen darstellen), die vom Lambda-Kalkül nicht dargestellt werden können (wenn ich die Dinge richtig
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...
Sei ein ungerichteter einfacher Graph und sei s , t ∈ V ( G ) verschiedene Eckpunkte. Die Länge eines einfachen Pfades sei die Anzahl der Kanten auf dem Pfad. Ich bin daran interessiert, die maximale Größe eines Satzes einfacher st-Pfade so zu berechnen, dass jeder Pfad eine ungerade Länge hat und...
Ich interessiere mich für eine explizite Boolesche Funktion f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}mit der folgenden Eigenschaft: wenn auf einem affinen Unterraum von konstant istfff , dann ist die Dimension dieses Unterraums o ( n ) .0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Es ist...
Welche Universitäten haben einen starken Lehrplan für Quantencomputer und bieten irgendeine Art von Quantencomputer / Informationskursen / Forschung an? Das Ziel hier ist es, eine nützliche Liste für jemanden zu sammeln, der ein Studium in diesen Bereichen in Betracht zieht, und nicht zu...
In einer klassischen Arbeit untersuchen Munro und Paterson das Problem, wie viel Speicher erforderlich ist, damit ein Algorithmus den Median in einem zufällig sortierten Array findet. Insbesondere konzentrieren sie sich auf das folgende Modell: Die Eingabe wird P-mal von links nach rechts gelesen....
Wenn man in Beweissystemen für die klassische Aussagenlogik zeigen will, dass eine bestimmte Formel nicht ableitbar ist, zeigt man einfach, dass ¬ ψ abgeleitet werden kann (obwohl andere Techniken durchaus möglich sind). Die Nichtableitbarkeit ergibt sich im Wesentlichen aus der Richtigkeit und...
Kennt jemand ein NP-Vollständigkeitsergebnis für das DOMINATING SET-Problem in Graphen, die auf die Klasse der planaren zweigeteilten Graphen mit maximalem Grad 3 beschränkt sind? Ich weiß, dass es NP-vollständig ist für die Klasse der planaren Graphen mit maximalem Grad 3 (siehe das Buch von Garey...
Kürzlich haben Watrous et al. Bewiesen, dass QIP (3) = PSPACE ein bemerkenswertes Ergebnis ist. Das war, gelinde gesagt, ein überraschendes Ergebnis für mich und hat mich zum Nachdenken angeregt ... Ich fragte mich, was wäre, wenn Quantencomputer durch klassische Computer effizient simuliert werden...
Die Komplexitätstheorie scheint etwas Grundlegendes über die Struktur des Universums zu erfassen, indem sie die intuitive Vorstellung formalisiert, dass einige Probleme schwieriger sind als andere. Scott Aaronson prognostizierte : "Die NP-Härteannahme wird letztendlich als analog zum zweiten...
Wenn die Laufzeit eines Algorithmus ein komplizierter Ausdruck ist, ist der Algorithmus selbst sehr oft auch kompliziert und unpraktisch. Jeder der Kubikwurzel- und -Faktoren in der asymptotischen Laufzeit führt dazu, dass der Algorithmus komplexer wird und die Laufzeit konstant
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...
Stimmt es, dass es ein Forschungserfolg ist, ein Problem NP vollständig zu beweisen? Wenn ja
Diese Seite behauptet das Viele Sprachen verwenden keine implizite Subtypisierung (strukturelle Äquivalenz), sondern bevorzugen eine explizite / deklarierte Subtypisierung (Deklarationsäquivalenz). Ich habe hauptsächlich Programmiersprachen verwendet, die explizite Untertypen verwenden . Was sind...
Es ist bekannt, dass es Unmengen von Amateuren gibt - ich selbst eingeschlossen -, die sich für das P vs. NP-Problem interessieren. Es gibt auch viele Amateure - ich bin immer noch dabei -, die versucht haben, das Problem zu lösen. Ein Problem, unter dem die TCS-Community zu leiden hat, ist meines...
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...
Ich habe gerade die Frage " Ist die Faktorisierung von Ganzzahlen ein NP-vollständiges Problem? " Gelesen, also habe ich mich entschlossen, einen Teil meines Rufs auszugeben :-) und eine andere Frage gestellt: mit :P ( Q ist trivial ) ≈ 1Q.QQP( Q ist trivial ) ≈ 1P(Q is trivial)≈1P(\text{Q is...
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...
Wenn wir einen Näherungsalgorithmus für ein Minimierungsproblem betrachten, ergibt die Integritätslücke einer IP-Formulierung für dieses Problem eine Untergrenze eines Näherungsverhältnisses für bestimmte Klassen von Algorithmen (wie beispielsweise Rundungs- oder Primal-Dual-Algorithmus)....