Ich lese gerade " Lambda-Kalkül und Kombinatoren " von Hindley und Seldin. Ich bin kein Experte, habe mich aber immer für Lambda-Kalkül interessiert, weil ich mich mit funktionaler Programmierung befasst habe (angefangen mit Lisp und SICP, und jetzt mit R und Haskell). In " Binary Lambda Calculus...
Gibt es in irgendwelche natürlichen Probleme , die in nicht vorhanden sind (von denen bekannt ist, dass sie es sind) ?NP∩ c o NPNP∩cONPNP \cap coNPUP∩ c o UPUP∩cOUPUP \cap coUP Offensichtlich ist die große, die jeder in kennt, die Entscheidungsversion des Factorings (hat n einen von höchstens k),...
Es ist bekannt , dass gerichtet st-Konnektivität ist NLNLNL -komplette. Das bahnbrechende Ergebnis von Reingold zeigte, dass die ungerichtete st-Konnektivität in . Es ist bekannt, dass planar gerichtete st-Konnektivität in . Cho und Huynh definierten ein parametrisiertes Rucksackproblem und zeigten...
Nehmen wir an, wir lösen das Problem des Zählens der richtigen Farben, indem wir die gewichteten Farben wie folgt zählen: Jede richtige Farbe wird mit 1 gewichtet, und jede falsche Farbe wird mit gewichtet, wobei c eine Konstante ist und v die Anzahl der Kanten mit identischen Endpunkten ist. Wenn...
Ist das folgende Problem NP-schwer? Wenn Sie eine Kartenkonfiguration für internationale Entwürfe haben , finden Sie einen einzigen legalen Schritt.n × nn×nn\times n Das entsprechende Problem für amerikanische Kontrolleure (auch englische Entwürfe genannt) ist in der Polynomzeit trivial lösbar. Es...
Was wären die Konsequenzen von #P = FP? Ich interessiere mich sowohl für praktische als auch für theoretische Konsequenzen. Aus praktischer Sicht interessieren mich insbesondere die Konsequenzen für die künstliche Intelligenz. Hinweise auf Papiere oder Bücher sind ausdrücklich erwünscht. Bitte...
Ich kann mir kein solches Modell vorstellen, vielleicht irgendeine Form von typisierter Lambda-Rechnung? ein elementarer zellularer Automat? Dies würde Wolframs "Prinzip der rechnerischen Äquivalenz" beinahe widerlegen: Fast alle Prozesse, die nicht offensichtlich einfach sind, können als...
A PHPHPH Maschine Oracle Zugriff auf eine zufällige Boolesche Funktion gegeben f: { 0 , 1 }n→ { - 1 , 1 }f:{0,1}n→{-1,1}f:\{0,1\}^n \to \{ -1,1 \} , und zwei Fourier - Spektren GGg und hhh . Die Fourier-Spektren einer Funktion fff sind definiert als F: { 0 , 1 }n→ RF:{0,1}n→RF:\{0,1\}^n \to R :...
Für eine 3CNF Formel lassen in beliebiger Zuordnung zur maximalen Anzahl der Klauseln erfüllt sein . Es ist bekannt, dass Max-3SAT schwer zu approximieren ist (abhängig von P ≠ NP), dh es gibt keinen Polyzeitalgorithmus, dessen Eingabe eine 3CNF-Formel ist und dessen Ausgabe die Zahl so dass...
Kennen Sie ein aktuelles Wiki, das sich mit NP-Optimierungsproblemen befasst und deren bestes Näherungs- und Härteergebnis liefert? Aufgrund des Feedbacks scheint es sicher zu sein, dass es keine solche Ressource gibt (siehe das Ende dieser Frage für zwei nahe Optionen). - hinzugefügt am 8....
Gibt es in Anbetracht der Tatsache, dass die Curry-Howard-Korrespondenz so weit verbreitet / erweitert ist, einen Unterschied zwischen Beweisen und Programmen (oder zwischen Aussagen und Typen)? Können wir sie wirklich
Gibt es etwas über die Klasse der Graphen mit der Eigenschaft, dass alle maximalen unabhängigen Mengen dieselbe Kardinalität haben und daher maximale ISs sind? Nehmen Sie zum Beispiel eine Menge von Punkten in der Ebene und betrachten Sie das Diagramm der Schnittpunkte zwischen allen Segmenten...
Dies ist meine erste Frage auf dem Cstheory-Stapel, sei also nicht zu unhöflich, wenn ich irgendwie gegen die Etikette verstoße. Wie wir wissen, machen in der Mathematik sogar berühmte Mathematiker, Superstars und Genies von Zeit zu Zeit schwere Fehler. Zum Beispiel liefern sowohl der 4-Farben-Satz...
Zu welchen fehlenden TCS-Themen auf Wikipedia möchten Sie am liebsten einen Artikel haben? Sie können auffällige Auslassungen sein oder nur Themen, von denen Sie denken, dass sie wirklich einen Artikel enthalten sollten. Bitte ein Thema pro Antwort, damit über die meistgesuchten abgestimmt werden...
Wie kann bei einer vorgegebenen regulären Sprache (NFA, DFA, Grammatik oder Regex) die Anzahl der akzeptierten Wörter in einer bestimmten Sprache gezählt werden? Sowohl "mit genau n Buchstaben" als auch "mit höchstens n Buchstaben" sind von Interesse. Margareta Ackerman hat zwei Artikel zum Thema...
Shiva Kintali hat gerade eine (cool!) Angekündigt führen , dass Graphisomorphie für beschränkte Baumweite Graphen der Breite heißt -hard⊕ L≥ 4≥4\geq 4⊕ L⊕L\oplus L . Informell ist meine Frage: "Wie schwer ist das?" Wir wissen, dass ungleichmäßig ist , siehe die Antworten auf diese Frage . Wir...
Die Untersuchung der prägnanten Darstellung von Graphen wurde von Galperin und Wigderson in einem Artikel von 1983 initiiert , in dem sie nachweisen, dass für viele einfache Probleme wie das Finden eines Dreiecks in einem Graphen die entsprechende prägnante Version in vollständig ist. Papadimitriou...
Ich bin kein Theoretiker der Informatik, aber denke, dass dieses Problem der realen Welt hierher gehört. Das Problem Meine Firma hat mehrere Einheiten im ganzen Land. Wir haben den Mitarbeitern die Möglichkeit geboten, an einer anderen Einheit zu arbeiten. Aber es gibt eine Bedingung: Die...
Ich bin sicher, dass jeder von Buffons Nadelexperiment im 18. Jahrhundert weiß , das ist einer der ersten probabilistischen Algorithmen, die berechnen .ππ\pi Die Implementierung des Algorithmus in Computern erfordert normalerweise die Verwendung von oder einer trigonometrischen Funktion, die,...
Es sieht so aus, als hätten George Gonthier und seine Mitarbeiter den Satz der ungeraden Ordnung fertig formalisiert . In seiner früheren Arbeit zum Vier-Farben-Theorem hat Gonthier eine Reihe neuer Algorithmen (hauptsächlich Varianten von BDDs und Graph-Algorithmen) erfunden, die sich besonders...