Im "letzten Absatz" der "ersten Seite" des folgenden Papiers: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Wenn NP polynomgroße Schaltkreise hat, dann ist MA = AM", Theoretical Computer Science, 1995. Ich bin auf eine etwas kontraintuitive Behauptung gestoßen:...
Ich habe das Buch Pairwise Independence and Derandomization zu diesem Thema gefunden, aber es ist eher forschungsorientiert als tutorialorientiert. Ich bin neu im Thema "Derandomisierung", und als solches wollte ich wissen, von welchem Verweis ich ausgehen soll? Ich bevorzuge eine, die sich mit...
Ich interessiere mich für Eigenschaften von zufallsgerichteten Graphen mit festem Grad ddd . Ich stelle mir ein Zufallsgraphenmodell vor, in dem jeder Scheitelpunkt die Nachbarn auswählt (z. B. mit Ersetzung) Frage : Ist etwas über die stationäre Verteilung und Mischzeiten von Zufallsläufen in...
Sei 0 ≤ p ≤ 10≤p≤10\le p\le 1 und betrachte das Entscheidungsproblem CLIQUE p Input: Ganzzahl s , Graph G mit t Eckpunkten und Kanten Frage: hat enthält eine Clique auf mindestens Vertices?pp_p sssGGGtttGs⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Eine Instanz von CLIQUE enthält einen...
Sei ein CCC . Lassen ein Produkt bifunctor auf sein . Da Cat CCC ist, können wir curry :CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Die Funktorkategorie...
Eine Distribution soll -fool eine Funktion wenn . Und es wird gesagt, dass es eine Klasse von Funktionen täuscht, wenn es jede Funktion in dieser Klasse täuscht. Es ist bekannt, dass durch voreingenommene Räume die Klasse der Paritäten über Teilmengen täuschen. (siehe Alon-Goldreich-Hastad-Peralta...
Diese Frage ist vom T-Shirt des Georgia Tech Algorithms and Randomness Center inspiriert, in dem die Frage gestellt wird: " Zufällig oder nicht ?!" Es gibt viele Beispiele, in denen Randomisierung hilfreich ist, insbesondere wenn Sie in einer widrigen Umgebung arbeiten. Es gibt auch einige...
Beim Lesen einer Abhandlung über die Verwendung algebraischer Methoden zur Erkennung einiger induzierter Teilgraphen scheint das Kantenideal ein wichtiges Werkzeug zu sein, das kommutative Algebra und Graphentheorie verbindet. Gibt es gute Referenzen oder Bücher zu diesem Thema, da ich mit...
In der Vergangenheit habe ich Koordinationsmodelle implementiert, bei denen SAT und die reguläre Beschränkungszufriedenheit das zentrale Arbeitspferd in ihren Motoren waren. In diesem Arbeitsbereich möchte ich die Modelle interaktiver gestalten. Der beste Weg, dies zu tun, besteht darin, den...
Soweit ich weiß, haben alle bekannten deterministischen Pivot-Regeln für Simplex-Algorithmen bestimmte Eingaben, für die der Algorithmus exponentielle Zeit (oder zumindest kein Polynom) benötigt, um das Optimum zu finden. Nennen wir diese Instanzen "pathologisch", da der Simplex-Algorithmus...
Angenommen, Sie bauen einen Computer, der den Zustand aller Atome im Universum zu einem bestimmten zukünftigen Zeitpunkt berechnet. Da das Universum per Definition alles ist, was existiert (und alles, was mit dem Rest interagiert), beinhaltet es auch den Computer, den Sie bauen. Können Sie mit...
Eine lineare Ausdehnung eines poset P ist eine lineare Ordnung auf die Elemente P , derart , daß x ≤ y in P bedeutet , x ≤ y in L für alle x , y ∈ P .LLLPP\mathcal{P}PP\mathcal{P}x ≤ yx≤yx \leq yPP\mathcal{P}x ≤ yx≤yx \leq yLLLx , y∈ Px,y∈Px,y\in\mathcal{P} Ein linearer Erweiterungsgraph ist ein...
Bei einer zufälligen Bewegung in einer Grafik ist die Bedeckungszeit das erste Mal (erwartete Anzahl von Schritten), dass jeder Scheitelpunkt von der Bewegung getroffen (bedeckt) wurde. Für verbundene ungerichtete Graphen ist bekannt, dass die Überdeckungszeit durch . Es gibt stark miteinander...
Es ist leicht zu erkennen, dass jedes Problem, das im deterministischen Lograum ( ) entscheidbar ist, höchstens zur Polynomzeit ( P ) auftritt . Viele bekannte logspace Algorithmen (zum Beispiel: ungerichteten st-Konnektivität, planar Graphisomorphie) laufen in O ( n k ) , wobei k irrsinnig groß...
Ich möchte herausfinden, ob es allgemeine Ergebnisse oder Beispiele zur NP-Vollständigkeit des Problems gibt, eine zweite Lösung für ein NP-vollständiges Problem zu finden. Genauer gesagt interessieren mich Probleme in folgender Form: Gibt es bei einer gegebenen Lösung für eine Instanz I eines...
Ich bin neu in der Theorie der Programmiersprachen und suche nach einer guten Ressource für die formale Semantik von Programmiersprachen. Speziell auf der Suche nach struktureller operativer Semantik. Ich habe einige Buchempfehlungen erhalten. Aber ich suche eine Ressource in einer einleitenden...
Das Problem, das wir hier betrachten, ist die Erweiterung des bekannten Intervallfarbproblems. Anstelle von Intervallen betrachten wir Rechtecke mit achsenparallelen Seiten. Ziel ist es, die Rechtecke mit einer minimalen Anzahl von Farben so einzufärben, dass zwei überlappenden Rechtecken...
Es scheint viel Arbeit für einige NP-harte Probleme zu geben, schnelle exponentielle zeitgenaue Algorithmen zu entwickeln (dh Ergebnisse der Form: Algorithmus A löst das Problem in O (c ^ n) Zeit mit c klein). Es scheint eine Menge Arbeit in diese Richtung für einige NP-schwierige Probleme zu geben...
Ich lese Simon Peyton Jones ' Die Implementierung funktionaler Programmiersprachen und es gibt eine Aussage, die mich ein wenig überrascht hat (auf Seite 39): Funktionale Sprachen sind in viel stärkerem Maße als imperative Sprachen syntaktische Variationen voneinander mit relativ wenigen...
Ich habe versucht, " Pearls of Functional Algorithm Design " und anschließend " The Algebra of Programming " zu lesen , und es gibt eine offensichtliche Korrespondenz zwischen rekursiv (und polynomiell) definierten Datentypen und kombinatorischen Objekten mit derselben rekursiven Definition und...