Theoretische Informatik

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

1
Was sind die theoretischen Grenzen der Stratego-Programmiersprache?
Stratego ist eine Programmiertransformationssprache / Rewriting DSL. Anthony Sloane hat einige Arbeiten an einer Implementierung durchgeführt, die auf Scala ausgeführt wird . Was sind die theoretischen Grenzen von Stratego als funktionale Sprache? (unabhängig von der Implementierung). Könnte man in Stratego einen Ycombinator für die Anwendungsbestellung schreiben?
5
Komplexitätsklassen für andere Fälle als den „schlimmsten Fall“
Haben wir Komplexitätsklassen beispielsweise in Bezug auf die durchschnittliche Fallkomplexität? Gibt es zum Beispiel eine (benannte) Komplexitätsklasse für Probleme, deren Entscheidung die erwartete Polynomzeit benötigt? Eine andere Frage berücksichtigt die Best-Case- Komplexität, die im Folgenden beispielhaft dargestellt wird: Gibt es eine Klasse von (natürlichen) Problemen, deren Entscheidung mindestens exponentielle Zeit …
2
Konsequenzen der Untergrenzen für Netze bei der Approximation
Viele hier kennen wahrscheinlich Alons jüngste superlineare Untergrenzen für Netze in einer natürlichen geometrischen Umgebung [PDF] . Ich würde gerne wissen, was, wenn überhaupt, eine solche Untergrenze für die Annäherung der damit verbundenen Set-Cover- / Hitting-Set-Probleme bedeutet. ϵϵ\epsilon Um etwas genauer zu sein, betrachten Sie eine Familie von Bereichsräumen, zum …
2
NP-vollständige Varianten unentscheidbarer Probleme?
Beispiele für begrenzte -vollständige Varianten unentscheidbarer Mengen:NPNPNP Problem mit begrenztem Anhalten = { | NTM-Maschine M hält an und akzeptiert x innerhalb von t Schritten}(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Begrenzte Kacheln = { | Es gibt eine Kachelung eines Quadrats der Fläche t 2 durch Kacheln aus T }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Problem der …
1
Härte des Problems des eingeschränkten Sternensystems?
Ein Sternsystem ist eine Familie von n Teilmengen von n-Elementen eingestellt . Ein Sternensystem ist grafisch, wenn es einen Graphen so dass die Familie der Scheitelpunktnachbarschaften in . Es ist vollständig zu entscheiden, ob ein bestimmtes Sternensystem grafisch ist.FFFSSSG(V,E)G(V,E)G(V,E)FFFGGGNPNPNP Was ist das minimale Auftreten jedes Elements, so dass das Problem …
1
Wurde die Derandomisierung leicht ungleichmäßiger Klassen, z. B. BPP / linear, untersucht?
Mit BPP / linear beziehe ich mich auf BPP-Maschinen mit linearen Ratschlägen, die das Versprechen erfüllen, wenn sie den "richtigen" Rat geben, und die Derandomisierung sollte uns beispielsweise einen P / linearen oder (SUBEXP / linearen) Algorithmus geben. Wenn wir uneinheitliche Annahmen verwenden, sollten klassische Ergebnisse funktionieren, da wir ungleichmäßige …
2
Untergrenzen für lineares Erfüllbarkeitsproblem
In SODA 1995 zeigte Jeff Erickson Untergrenzen für die lineare Erfüllbarkeit (Überprüfung, ob eine Teilmenge von reellen Zahlen eine lineare Gleichung für Variablen erfüllt ). Die Beweismethode verwendet Infinitesimale und das Übertragungsprinzip von Tarski .n rrrrnnnrrr Könnte jemand die Intuition hinter dem Weg erklären, der genommen wurde, um diese Bindung …
3
Welche Beweise gibt es dafür, dass
Welche Beweise gibt es dafür, dass ?coRP≠NPcoRP≠NPcoRP \neq NP ist die Klasse von Sprachen, für die es eine probabililistische Turing-Maschine gibt, die in Polynomzeit läuft und bei einer Eingabe, die zur Sprache gehört, immer mit Ja und bei einer Eingabe, die nicht zur Sprache gehört, mit mindestens der Hälfte mit …
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.