Theoretische Informatik

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

6
Funktionen, die mit Lambda berechnet wurden, können nicht berechnet werden
Ich möchte nur einige Beispiele für die Funktionen kennen, die mit dem untypisierten Lambda-Kalkül berechnet werden können, aber nicht mit typisierten Lambda-Kalkülen. Da ich ein Anfänger bin, wäre eine Wiederholung der Hintergrundinformationen wünschenswert. Vielen Dank. Edit: Mit getippten Lambda-Kalkülen wollte ich etwas über System F und die einfach getippten Lambda-Kalküle …
3
Eine „einfache“ Sprache außerhalb von
Ich suche eine Sprache L mit folgenden Eigenschaften: L sollte nicht kontextfrei sein. Ls Komplement sollte nicht kontextfrei sein. (Alles, was Sie in Lehrbüchern als Paradebeispiele für nicht kontextfreie Sprachen sehen, scheint diese zweite Anforderung nicht zu erfüllen.) L sollte nicht zu schwer sein. Zum Beispiel weiß ich, dass unentscheidbare …
1
Monotone Schaltungskomplexität von Rechenfunktionen an spärlichen Eingängen
Das Gewichteiner binären Zeichenkette ist die Anzahl der Einsen in der Zeichenkette. Was passiert, wenn wir daran interessiert sind, eine monotone Funktion an Eingängen mit wenigen zu berechnen?x ∈ { 0 , 1 } n|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n Wir wissen, dass die Entscheidung, ob ein Graph eine Klasse hat, für monotone Schaltkreise schwierig …
2
Gibt es so etwas wie einen schwachen Homomorphismus der Kohlegebra?
Wenn ein Endofunktor F:Set→SetF:Set→SetF : Set \rightarrow Set , können wir Beobachtungsfunktionen als Funktionen definieren, die für jede Kohlegebra polymorph sind, dh für jede Kohlegebra definiert ist . Eine andere Art, Beobachtungsfunktionen zu betrachten, sind die Funktionen der endgültigen Kohle, falls vorhanden . Wir erhalten den Polymorphismus automatisch, indem wir …
2
Hierarchiesatz für Approximationsverhältnisse?
Bekanntlich können NP-harte Optimierungsprobleme viele verschiedene Approximationsverhältnisse aufweisen, die von PTAS bis hin zur Unannäherbarkeit innerhalb eines Faktors reichen. Dazwischen haben wir verschiedene Konstanten, , usw.O(logn)Ö(Log⁡n)O(\log n)poly(n)pÖly(n)poly(n) Was ist über die Menge der möglichen Verhältnisse bekannt? Können wir irgendeine Art von "Annäherungshierarchie" beweisen? Für welche Funktionen und können wir formal …
2
Komplexität von Mitgliedschaftstests für endliche abelsche Gruppen
Betrachten Sie das folgende Problem beim Testen der Mitgliedschaft von Abelian-Untergruppen . Eingänge: Eine endliche abelsche Gruppe G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} mit beliebig großem didid_i . Ein Generatorsatz {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace eine Untergruppe H⊂GH⊂GH\subset G . Ein Element b∈Gb∈Gb\in G . Ausgang: ‚Ja‘ , wenn b∈Hb∈Hb\in H und ‚Nein‘ an anderer Stelle‘. Frage: Kann …
4
Master Equations und Operator Sum Form
Ich bin eher ein Typ für Quantenoptik als ein Typ für Quanteninformation und beschäftige mich hauptsächlich mit Master-Gleichungen. Ich interessiere mich für das Operator-Summen-Formular und möchte die Fehler in diesem Formular für ein kleines Quantensystem ableiten, das ich simuliere. Der Haken: Das Quantensystem wird durch ein externes (klassisches) Feld angetrieben, …
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.