Ich lese diese . Es sagt ... Sie werden nicht so hungrig nach Geldern wie Pure Mathematics sein. (Sie werden immer noch hungern nach Geld.) ... Warum brauchen reine Mathematiker finanzielle Unterstützung? Warum sollte jemand, der theoretische Forschung betreibt, Finanzmittel benötigen? Ich denke,...
Ist ein deterministischer Polynom-Zeit-Algorithmus für das folgende Problem bekannt: Eingabe: eine natürliche Zahl (in binärer Kodierung)nnn Ausgabe: eine Primzahl .p > np>np > n (Laut einer Liste offener Probleme von Leonard Adleman war das Problem 1995 offen.)
Im Zusammenhang mit dem Slither-Link- Puzzle habe ich mich gefragt: Angenommen, ich habe ein Gitter aus quadratischen Zellen, und ich möchte einen einfachen Zyklus von Gitterkanten finden, der unter allen möglichen einfachen Zyklen gleichmäßig zufällig ist.n×nn×nn\times n Ein Weg, dies zu tun,...
Ich habe heute beim Spielen mit meinem GPS das folgende Problem formuliert. Hier ist es : Sei ein gerichteter Graph, so dass, wenn dann , dh eine Orientierung des zugrunde liegenden ungerichteten Graphen ist. Betrachten Sie die folgenden Operationen:e = ( u , v ) ≤ E ( v , u ) ≤ E GG ( V,...
Ich habe viel über Typsysteme und dergleichen gelesen und verstehe ungefähr, warum sie eingeführt wurden (um Russels Paradoxon zu lösen). Ich verstehe auch in etwa deren praktische Relevanz in Programmiersprachen und Proofsystemen. Ich bin jedoch nicht ganz sicher, dass meine intuitive Vorstellung,...
Da es bei Lambda the Ultimate keine Antwort gab, versuche ich es hier noch einmal: Term Rewriting-Systeme werden beispielsweise in automatisierten Theoremen verwendet, um eine symbolische Berechnung zu beweisen und natürlich formale Grammatiken zu definieren. Es gibt einige Programmiersprachen, die...
Frage: Was ist die bekannteste untere Grenze der Formelgröße für eine explizite Funktion in AC 0 ? Gibt es eine explizite Funktion mit einem Ω ( n2)Ω(n2)\Omega(n^2) unteren Grenze von ? Hintergrund: Wie die meisten Untergrenzen sind auch Untergrenzen für die Formelgröße schwer zu bekommen. Ich...
Ich habe kürzlich den Earley-Parser gelesen und denke, er ist einer der elegantesten Algorithmen, die ich bisher gesehen habe. Der Algorithmus im herkömmlichen Sinne ist jedoch ein Erkenner und kein Parser. Dies bedeutet, dass er erkennen kann, ob eine Zeichenfolge mit einer bestimmten CFG...
SAT-Löser sind sehr wichtig bei algebraischen Angriffen , z. B. Walksat und Minisat . Bei der Lösung der hier zur Verfügung stehenden Benchmark-Probleme besteht jedoch ein enormer Leistungsunterschied zwischen den beiden - Walksat ist für diese Probleme viel schneller als Minisat. Warum ist das?...
Wie im Titel angegeben, frage ich mich, ob es einen Zusammenhang und Unterschied zwischen CIC und ITT gibt. Könnte mir jemand eine Literatur erklären oder zeigen, die diese beiden Systeme vergleicht? Vielen
Das Ergebnis von Robertson und Seymour demonstriert einen -Algorithmus zum Testen, ob ein fester Graph G ein kleinerer Teil von H ist . Ich habe zweieinhalb Fragen zu diesem Thema:O(n3)O(n3)O(n^3)GGGHHH 1) Es scheint, dass seitdem Verbesserungen an diesem Algorithmus vorgenommen wurden. Was ist...
Ich habe in mehreren Artikeln gelesen, dass die Existenz von Einwegfunktionen weithin angenommen wird. Kann jemand Aufschluss darüber geben, warum dies der Fall ist? Welche Argumente haben wir für die Existenz von
Ich werde an meiner ersten Konferenz über Informatik teilnehmen und nachdem ich die Ratschläge zur Verbesserung von Konferenzen gelesen hatte , stellte ich fest, dass einige Vorschläge über Studenten kamen, die an ihrer ersten Konferenz teilnahmen. Welchen Rat haben Sie für einen Doktoranden, der...
Angenommen, wir haben eine Klasse von Objekten (z. B. Graphen, Zeichenfolgen) und eine Äquivalenzbeziehung für diese Objekte. Bei Diagrammen kann dies ein Isomorphismus sein. Für Zeichenfolgen können zwei Zeichenfolgen als äquivalent deklariert werden, wenn sie Anagramme voneinander sind. Ich...
Was ist bei einem ungerichteten und ungewichteten Graphen und einer geraden ganzen Zahl k die rechnerische Komplexität beim Zählen von Knotenmengen S ⊆ V, so dass | S | = k und der auf die Scheitelmenge S beschränkte Teilgraph von G lässt eine perfekte Übereinstimmung zu? Ist die Komplexität #...
Diese Frage ergibt sich aus purer Neugier (sie tauchte auf , als ich darüber nachdachte, eine Saite zu mischen , aber ich bin mir nicht sicher, ob sie tatsächlich verwandt ist), also hoffe ich, dass sie angemessen ist. Es gibt verschiedene Grafikprodukte, und ich interessiere mich für eines davon...
Band III von Knuth The Art of Computer Programming (Kapitel 5, Vers 3.2) enthält die folgende Tabelle die Auflistung genaue Mindestanzahl der Vergleiche erforderlich , um das wählen th kleinste Element aus einem unsortierten Satz von Größe , für all . Diese Tabelle, zusammen mit der bekannten...
Was ist über die Komplexität des folgenden Problems bekannt: Gegeben: rationale Zahlen .x1<x2<…<xnx1<x2<…<xnx_1 < x_2 < \dotso < x_n Ausgabe: Ganzzahlen .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Ziel: minimiere wobei∑1≤i<j≤ne(i,j),∑1≤i<j≤ne(i,j),\sum_{1 \le i < j...
Szemeredis Regelmäßigkeits-Lemma besagt, dass jeder dichte Graph als Vereinigung von vielen zweigeteilten Expandergraphen angenähert werden kann . Genauer gesagt gibt es eine Aufteilung der meisten Scheitelpunkte in -Sätze, sodass die meisten Paare von Sätzen zweiteilige Expander bilden (die Anzahl...
Kürzlich hat Ryan Willams bewiesen, dass Konstruktivität in natürlichem Beweis unvermeidbar ist, um eine Trennung der Komplexitätsklassen abzuleiten: und . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} Die Konstruktivität in Natural Proof ist eine Bedingung, die alle kombinatorischen Beweise...