Theoretische Informatik

1

Name für "einheitlich polynomielle" Unterklasse von XP?

Angenommen, ist eine parametrisierte Sprache in Bezug auf ein Alphabet . Die Scheibe von ist , die Menge von Instanzen in , die den Parameter . Die Komplexitätsklasse enthält die parametrisierte Sprachen , so dass für jedes , möglicherweise mit einem anderen Algorithmus und Polynom Laufzeit für jeden gebunden . …

10 cc.complexity-theory reference-request parameterized-complexity

1

Ist SAT mit begrenzter Breite im Logspace entscheidbar?

Elberfeld, Jakoby und Tantau 2010 ( ECCC TR10-062 ) erwiesen sich als platzsparende Version des Satzes von Bodlaender. Sie zeigten, dass für Graphen mit einer Baumbreite von höchstens eine Baumzerlegung der Breite k unter Verwendung des logarithmischen Raums gefunden werden kann. Der konstante Faktor im gebundenen Raum hängt von k …

10 cc.complexity-theory sat treewidth space-complexity

1

Komplexitätsklassen für Zufälligkeit und kleine Schaltkreise

Lassen eine Komplexitätsklasse und BP- C die randomisierten Pendant sein C definiert BPP mit Bezug auf P . Formal stellen wir polynomiell viele Zufallsbits bereit und akzeptieren eine Eingabe, wenn die Wahrscheinlichkeit zu akzeptieren über 2 liegtC.C\mathcal{C}BP- CBP-C\textrm{BP-}\mathcal{C}C.C\mathcal{C}BPPBPP\textrm{BPP}P.P\textrm{P} .2323\frac{2}{3} Es ist bekannt, dass für ungleichmäßige Schaltungsklassen :BPAC0= AC0BPAC0=AC0\textrm{BPAC}^0=\textrm{AC}^0 Miklós Ajtai, …

10 circuit-complexity randomized-algorithms

2

Höherrangiger Polymorphismus gegenüber Typen ohne Box

Ich habe eine Sprache, in der Typen standardmäßig deaktiviert sind, wobei die Typinferenz auf Hindley-Milner basiert. Ich möchte einen höherrangigen Polymorphismus hinzufügen, hauptsächlich für die Arbeit mit existenziellen Typen. Ich glaube, ich verstehe, wie man diese Typen überprüft , bin mir aber nicht sicher, was ich beim Kompilieren tun soll. …

10 type-theory type-inference polymorphism

1

Tippfehler in der Konstruktionsrechnung Papier?

Im klassischen Papier der Konstruktionsrechnung gibt es eine Regel, die besagt (Seite 7 des PDF, Seite 101 des Originaldokuments) Diese Regel würde bedeuten, dass jeder Kontext auf ein Mitglied dieses Kontexts reduziert werden kann. Dies scheint nicht korrekt zu sein, wie es bedeuten würde 1 ≅ Nat 3 ≅ Nat …

10 lo.logic calculus-of-constructions sequent-calculus

1

Beispiele für die Verwendung von voreingenommenen Schätzern

Voreingenommene Schätzer sind in der Statistik nützlich, da sie den mittleren quadratischen Fehler mehr optimieren können als ein unverzerrter Schätzer . Ich habe mich gefragt, ob es in der Theorie CS sehr bemerkenswerte Beispiele für den effektiven Einsatz von voreingenommenen Schätzern gibt. Mir ist klar, dass diese Liste lang werden …

10 randomized-algorithms

1

EXP-vollständige Probleme gegen subexponentielle Algorithmen

Bedeutet die Tatsache, dass ein Problem EXP-Zeit vollständig ist, dass A nicht in D T I M E ( 2 o ( n ) ) ist ?EINAAEINAAD T.ichM.E.( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Mir ist bewusst, dass nach dem Zeithierarchiesatz nicht in E = D T I M E ( 2 …

10 exp-time-algorithms complexity

1

Kann echte Zufälligkeit (nachweislich) durch Kolmogorov-Zufälligkeit für RP ersetzt werden?

Gab es irgendwelche Versuche zu zeigen, dass Kolmogorov Zufälligkeit für RP ausreichen würde ? Wäre die Wahrscheinlichkeit, die in der Aussage "Wenn die richtige Antwort JA lautet, dann gibt sie (die probabilistische Turing-Maschine) mit Wahrscheinlichkeit JA zurück ..." in diesem Fall immer gut definiert? Oder würde es für diese Wahrscheinlichkeit …

10 randomized-algorithms randomness pseudorandomness

1

Status der PP-Vollständigkeit von MAJ3SAT

KURZE FRAGE: Ist MAJ-3CNF ein PP-vollständiges Problem bei vielen Reduzierungen? LÄNGERE VERSION: Es ist bekannt, dass MAJSAT (Entscheidung, ob die Mehrheit der Zuweisungen des Satzsatzes dem Satz entspricht) unter vielen Reduzierungen PP-vollständig und #SAT unter sparsamen Reduzierungen # P-vollständig ist. Es ist auch offensichtlich, dass # 3CNF (dh #SAT, beschränkt …

10 counting-complexity complexity probabilistic-complexity

2

Beibehalten des Werts eines Polynoms über eine dynamisch aktualisierte Eingabe

Sei ein Polynom über einem festen endlichen Feld. Angenommen, wir erhalten den Wert von P für einen Vektor y ∈ { 0 , 1 } n und den Vektor y .P(x1,x2,…,xn)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n)PPPy∈{0,1}ny∈{0,1}ny \in \{0,1\}^nyyy Wir wollen nun den Wert von auf einem Vektor y ' ∈ { 0 …

10 polynomials dynamic-algorithms

3

Wann ist die Dualitätslücke der semidefiniten Programmierung (SDP) Null?

Ich konnte in der Literatur keine genaue Charakterisierung des Verschwindens der SDP-Dualitätslücke finden. Oder wann gilt "starke Dualität"? Wenn man zum Beispiel zwischen dem Lasserre und dem SOS SDP hin und her geht, hat man im Prinzip eine Dualitätslücke. Irgendwie scheint es jedoch einen "trivialen" Grund zu geben, warum diese …

10 approximation-hardness convex-optimization semidefinite-programming sum-of-squares primal-dual

3

Problem der kürzesten Entfernung mit der Länge als Funktion der Zeit

Motivation Neulich war ich mit öffentlichen Verkehrsmitteln in der Stadt unterwegs und habe mir ein interessantes Grafikproblem ausgedacht, das das Problem modelliert, die kürzeste Verbindung zwischen zwei Orten zu finden. Wir alle kennen das klassische "Problem des kürzesten Weges": Gegeben ist ein gerichteter Graph mit Kantenlängen und zwei Eckpunkten finden …

10 graph-algorithms shortest-path

1

Wann entspricht BPP mit einer voreingenommenen Münze dem Standard-BPP?

Lassen Sie eine probabilistische Turing-Maschine Zugriff auf eine unfaire Münze haben, die mit der Wahrscheinlichkeit auftaucht (Flips sind unabhängig). Definieren Sie B P P p als die Klasse von Sprachen, die von einer solchen Maschine in Polynomzeit erkannt werden. Es ist eine Standardübung, um Folgendes zu beweisen:pppB P.P.pBPPpBPP_p A) Wenn …

10 cc.complexity-theory randomized-algorithms probabilistic-complexity

1

Komplexität der Erreichbarkeit in linearen dynamischen Systemen über endliche Felder

Sei AAA eine Matrix über dem endlichen Feld F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} und xxx , yyy Vektoren des Raumes Fn2F2n\mathbb{F}_2^n . Ich interessiere mich für die rechnerische Komplexität der Entscheidung, ob t∈Nt∈Nt \in \mathbb{N} so dass Atx=yAtx=yA^t x = y , dh für das Erreichbarkeitsproblem für lineare dynamische Systeme über endliche …

10 cc.complexity-theory reference-request linear-algebra

1

Unvollständige Basis von Kombinatoren

Dies ist von dieser Frage inspiriert . Sei die Sammlung aller Kombinatoren, die nur zwei gebundene Variablen haben. Ist C kombinatorisch vollständig?CC\mathcal{C}CC\mathcal{C} Ich glaube, die Antwort ist negativ, aber ich konnte keine Referenz dafür finden. Ich würde mich auch für Referenzen zum Nachweis der kombinatorischen Unvollständigkeit von Mengen von Kombinatoren …

10 lo.logic lambda-calculus combinatory-logic