Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

5
Historische Gründe für die Einführung von Turing Machine als primäres Berechnungsmodell.
Ich verstehe, dass Turings Modell zum "Standard" bei der Beschreibung von Berechnungen geworden ist. Ich möchte wissen, warum dies der Fall ist - das heißt, warum das TM-Modell weit verbreiteter ist als andere theoretisch äquivalente Modelle (meines Wissens nach), zum Beispiel Kleenes μ-Rekursion oder der Lambda-Kalkül (ich verstehe) dass erstere …
12
Gröbner setzt auf TCS?
Kennt jemand interessante Anwendungen von Gröbner-Grundlagen in der theoretischen Informatik? Gröbner-Basen werden verwendet, um Polynomgleichungen mit mehreren Variablen zu lösen, ein NP-hartes Problem im Allgemeinen. Ich habe mich gefragt, ob mit Hilfe einiger praktikabler Sonderfälle effiziente Algorithmen / Konstruktionen / Beweise in TCS- oder TCS-verwandten Bereichen (Kombinatorik, Codierungstheorie) bereitgestellt wurden.
1
Voraussetzung für das Erlernen von GCT
Es scheint, dass die Theorie der geometrischen Komplexität viel Wissen über reine Mathematik wie algebraische Geometrie und Darstellungstheorie erfordert. Während ich ein CS-Student bin und KEINEN sehr abstrakten und reinen Mathematikunterricht habe, interessiere ich mich für dieses Programm. Gibt es eine Liste mit "Mindestkenntnissen" zum Erlernen dieser Theorie? Diese Liste …
9
Referenzen für TCS-Proof-Techniken
Gibt es Referenzen (online oder in Buchform), die TCS-Theoreme nach Beweisverfahren organisieren und diskutieren? Garey und Johnson tun dies für die verschiedenen Arten von Widget-Konstruktionen, die für NP-Vollständigkeits-Proofs benötigt werden (insbesondere in Kapitel 3 ihres Buches), aber ich frage mich, ob es etwas gibt, das die Proof-Techniken in TCS umfassender …
5
Ergebnisse in Theoretischen CS unabhängig von ZFC
Ich werde eine ziemlich vage Frage stellen, da die Grenze zwischen theoretischer Informatik und Mathematik nicht immer leicht zu unterscheiden ist. FRAGE: Ist Ihnen ein interessantes Ergebnis in CS bekannt, das entweder unabhängig von ZFC (dh von der Standardsatztheorie) ist oder das ursprünglich in ZFC (+ ein anderes Axiom) und …
6
Geometrische Probleme, die in
Eine Reihe von geometrischen Problemen ist in einfach , in für jedoch NP-vollständig (einschließlich eines meiner Lieblingsprobleme, Einheitsplattenabdeckung).R d d ≥ 2R1R1R^1RdRdR^dd≥ 2d≥2d\geq2 Kennt jemand ein Problem, das für und R 2 polyzeitlösbar , für R d jedoch NP-vollständig ist , d ≥ 3 ? R1R1R^1R2R2R^2Rd, d≥ 3Rd,d≥3R^d,d\geq3 Gibt es …
7
Was wissen wir über nachweislich korrekte Programme?
Die ständig zunehmende Komplexität von Computerprogrammen und die immer wichtigere Position von Computern in unserer Gesellschaft lassen mich fragen, warum wir immer noch keine Programmiersprachen gemeinsam verwenden, in denen Sie einen formalen Nachweis erbringen müssen, dass Ihr Code ordnungsgemäß funktioniert. Ich glaube, der Begriff ist ein "zertifizierender Compiler" (ich habe …
3
Gibt es ein Backup / Ersatz für den Complexity Zoo?
Dies ist eine nicht-technische Frage, aber sicherlich relevant für die TCS-Community. Wenn Sie dies für unangemessen halten, können Sie es jederzeit schließen. Die Complexity Zoo- Webseite (http://qwiki.stanford.edu/index.php/Complexity_Zoo) hat der TCS-Community im Laufe der Jahre zweifellos gute Dienste geleistet. Anscheinend ist es schon eine ganze Weile her. Ich habe mich gefragt, …
5
Komplexität des Testens eines Werts im Vergleich zum Berechnen einer Funktion
Im Allgemeinen wissen wir, dass die Komplexität des Testens, ob eine Funktion an einem bestimmten Eingang einen bestimmten Wert annimmt, einfacher ist als die Bewertung der Funktion an diesem Eingang. Beispielsweise: Das Auswerten der bleibenden Zahl einer nichtnegativen Ganzzahlmatrix ist # P-schwer, aber es gibt Aufschluss darüber, ob eine solche …
3
Komplexität des größten gemeinsamen Divisors (gcd)
Betrachten Sie das folgende Zählproblem (oder das damit verbundene Entscheidungsproblem): Berechnen Sie bei zwei binär codierten positiven Ganzzahlen ihren größten gemeinsamen Divisor (gcd). Was ist die kleinste Komplexitätsklasse, in der dieses Problem enthalten ist? Können Sie eine Referenz angeben? In dieser Frage geht es mir nicht primär um asymptotische Grenzen …
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.