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 O ( n ) ) enthalten ist . Dies scheint jedoch die...
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...
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...
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...
Es sei HALTnHALTnHALT_n die Zeichenkette der Länge 2n2n2^n , die der Wahrheitstabelle des Halteproblems für Eingaben der Länge nnn . Wenn die Sequenz der Kolmogorov Komplexitäten K(HALTn)K(HALTn)K(HALT_n) waren O(1)O(1)O(1) , dann einer der Ratschläge Saiten unendlich oft verwendet werden würde,...
P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP ist die Menge aller Sprachen, die in der Polynomzeit auf einer deterministischen Turing-Maschine entscheidbar sind, und CSLCSLCSL ist die Klasse der kontextsensitiven Sprachen, die bekanntermaßen , den Sprachen, die von linear begrenzten...
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...
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-
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...
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...
Angenommen, ich habe zwei Listen positiver Ganzzahlen mit begrenzter Männlichkeit und nehme das Produkt aller Elemente jeder Liste. Wie lässt sich am besten feststellen, welches Produkt größer ist? Natürlich kann ich einfach jedes Produkt berechnen, aber ich hoffe, dass es einen effizienteren...
Wir erhalten Objektpaare (z. B. Zahlen). Jedes Objekt erscheint in höchstens qqq Paaren. Unser Ziel ist es, die Paare in gleich große Bins zu verteilen, sodass jedes Objekt in möglichst wenigen unterschiedlichen Bins vorkommt. Genauer gesagt interessiert uns eine Funktion fff mit der Eigenschaft,...
Ich programmiere seit mehreren Jahren, bin aber mit theoretischer CS sehr unbekannt. Ich habe kürzlich versucht, Programmiersprachen zu studieren und als Teil davon Typprüfung und Inferenz. Meine Frage ist, wenn ich versuche, ein Typinferenz- und Überprüfungsprogramm für eine Programmiersprache zu...
Motivation : Bei der Entwicklung von Tools für die Datenversionierung haben wir uns schließlich mit Algorithmen zum "Unterscheiden" zweier Sätze von Ganzzahlen befasst, indem wir eine Folge von Transformationen entwickelt haben, die einen Satz von Ganzzahlen zum anderen führen. Wir konnten dieses...
Sei eine endliche abelsche Gruppe und sei P das Polytop in R Γ, definiert als die Punkte x, die die folgenden Ungleichungen erfüllen:ΓΓ\GammaP.PPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈Gxg≤|G|xg≥0∀G≤Γ∀g∈Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 &...
Ich bin daran interessiert, die Komplexität des folgenden Entscheidungsproblems zu bestimmen: Wenn zwei ganze Zahlen und (jeweils mit höchstens m Bits) vorliegen, entscheiden Sie, ob das höchstwertige Bit der Multiplikation 1 ist (wobei das Ergebnis gedruckt wird 2m Bits mit möglicherweise...
Betrachten Sie das folgende Problem. nnnv1,⋯,vn∈Rv1,⋯,vn∈Rv_1, \cdots, v_n \in \mathbb{R}S⊆{1,⋯,n}S⊆{1,⋯,n}S \subseteq \{1,\cdots,n\}maxi∈Svimaxi∈Svi\max_{i \in S} v_i Dieses Problem ist einfach: Wir können die binäre Suche verwenden, um den Argmax mit -Abfragen zu finden . dh Erstellen Sie einen...
Betrachten Sie das folgende 2-Spieler-Spiel: Die Natur wählt zufällig ein Programm aus Jeder Spieler spielt eine Zahl in [0, unendlich] einschließlich als Reaktion auf die Bewegung der Natur Nehmen Sie das Minimum der Anzahl der Spieler und führen Sie das Programm für (bis zu) so viele Schritte aus...
Der Begriff Programminversion hat mehrere Bedeutungsschattierungen, wurde aber wahrscheinlich mit J. McCarthys 1956er Arbeit The Inversion of Functions Defined by Turing Machines im Kontext der KI begonnen. Inzwischen wurden viele Zusammenhänge zwischen Programminversion und anderen Bereichen...
Gibt es einen Begriff der Berechenbarkeit für andere Mengen als die natürlichen Zahlen? Nehmen wir zum Zwecke der Argumentation die Mengen SSS , die mit übereinstimmen NN\mathbb{N}. Es ist verlockend zu sagen "Ja, es sind jene Funktionen der Form g∘f∘g−1g∘f∘g−1g \circ f \circ g^{-1} wobei ggg eine...