Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

4
Können Tests das Fehlen von Fehlern zeigen?
( n + 1 )(n+1)(n + 1) Punkte sind erforderlich, um ein Polynom des Grades eindeutig zu bestimmennnn; Beispielsweise bestimmen zwei Punkte in einer Ebene genau eine Linie. Wie viele Punkte sind erforderlich, um eine berechenbare Funktion eindeutig zu bestimmen f: N→ Nf:N→Nf : N \rightarrow N, angesichts der Länge …
4
Direkte SAT- bis 3-SAT-Reduzierung
Hier besteht das Ziel darin, ein beliebiges SAT-Problem in Polynomzeit unter Verwendung der geringsten Anzahl von Klauseln und Variablen auf 3-SAT zu reduzieren. Meine Frage ist von Neugierde motiviert. Weniger formal möchte ich wissen: "Was ist die 'natürlichste' Reduzierung von SAT auf 3-SAT?" Die Reduktion, die ich in Lehrbüchern immer …
3
Kompromiss zwischen Zeit und Abfragekomplexität
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 dauert und Berechnungen zwischen Abfragen als frei gezählt werden, ist die Zeitkomplexität …
1
Wie ist der Status der Fuzzy-Logik für TCS im Jahr 2011?
Ich überprüfe das Handbuch für naturinspiriertes und innovatives Computing für SIGACT News. Es ist eine sehr interessante Lektüre. Jedes Kapitel hat jedoch den Geschmack: "Dies ist mein Forschungsgebiet, und verdammt, es ist großartig!" Ich versuche also, den Hype zu beseitigen und den Inhalt des Buches nüchtern zu beurteilen. Ein Kapitel …
3
Klassifikation typisierter / untypisierter Lambda-Kalküle
Kann jemand kurz erklären (wenn das möglich ist!) Oder mich auf eine Referenz verweisen, in der die Unterschiede zwischen untypisiertem Lambda-Kalkül und den gebräuchlicheren typisierten Lambda-Kalkülen zusammengefasst sind? Ich suche insbesondere nach Aussagen über ihre Ausdruckskraft, Äquivalenzen zu logischen / arithmetischen Systemen oder Berechnungsmethoden und Analogien zu Programmiersprachen, falls zutreffend. …
2
Lösen eines Number-Hopper-Labyrinths
Mein 8-Jähriger hat sich gelangweilt, konventionelle Labyrinthe zu erstellen, und hat Varianten entwickelt, die so aussehen: Die Idee ist, mit x zu beginnen und über die normalen Regeln nach o zu gelangen. Außerdem können Sie von einer beliebigen Ganzzahl zu einer beliebigen anderen Ganzzahl "springen" , müssen jedoch bezahlen Dollar …
4
Was ist der Sinn der
Ich glaube, ich verstehe es nicht, aber Konvertierung erscheint mir als eine β- Konvertierung, die nichts bewirkt, ein Sonderfall der β- Konvertierung, bei der das Ergebnis nur der Begriff in der Lambda-Abstraktion ist, weil nichts zu tun ist. Art einer sinnlosen β- Umwandlung.ηη\etaββ\betaββ\betaββ\beta Vielleicht ist -conversion etwas sehr Tiefes und …
6
Welche Rechenmodelle können durch Grammatiken ausgedrückt werden?
Dies ist eine Neuformulierung von Sind Grammatikprogramme? vorher von Vag gefragt und mit vielen Vorschlägen der Kommentatoren. Inwiefern kann eine Grammatik als Spezifizierung eines Rechenmodells angesehen werden? Nehmen wir zum Beispiel eine einfache kontextfreie Grammatik wie G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> …
1
Beweis der Irrelevanz in Coq?
Gibt es eine Möglichkeit, den folgenden Satz in Coq zu beweisen? Theorem bool_pirrel : forall (b : bool) (p1 p2 : b = true), p1 = p2. BEARBEITEN : Ein Versuch, eine kurze Erklärung für "Was ist der irrelevante Beweis" zu geben (korrigiere mich, wenn ich falsch oder ungenau bin) …
3
Integritätslücke und Approximationsverhältnis
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). Tatsächlich gibt es viele Probleme, deren bestes Näherungsverhältnis mit der Integritätslücke übereinstimmt. Einige Algorithmen haben möglicherweise ein besseres Approximationsverhältnis als …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.