Theoretische Informatik

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

2
Gibt es einen offiziellen Namen für den Begriff „wiederverwendbar universell“?
Es gibt verschiedene (wahrscheinlich nicht äquivalente) Begriffe der rechnerischen Universalität (siehe zum Beispiel die letzten Seiten von http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ), und es besteht kein Konsens zwischen diesen Experten, welche Begriffe am zutreffendsten sind (siehe zum Beispiel http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Ich versuche etwas über ein bestimmtes Modell der biomolekularen Berechnung zu sagen. Ich …
3
Ein intuitiverer Beweis des Zonensatzes?
Der Zonensatz besagt, dass, wenn wir eine Anordnung von n Linien mit einer anderen Linie erstechen, die Gesamtkomplexität ihrer Zone , die Menge aller angrenzenden 0-, 1- und 2-Flächen, O (n) ist. Die tatsächliche Konstante ist ungefähr 6n, zumindest wie in verschiedenen Lehrbüchern angegeben, und der Beweis erfolgt durch Induktion …
1
Verallgemeinerung der FFT
Kann die Teilung und Eroberung der FFT automatisch auf andere Transformationen (z Transformation, Chirp usw.) verallgemeinert werden? Gibt es einen Algorithmus, der eine Beschreibung der Transformation enthält (ich weiß nicht, welche Informationen benötigt werden) und eine schnelle FFT-ähnliche Funktion erzeugen kann?
5
Was sind gute Referenzen zum Verständnis des Online-Lernens?
Insbesondere bitte ich um Ressourcen, um mehr über maschinelle Lernsysteme zu erfahren, die ihre jeweiligen Glaubensnetzwerke (oder gleichwertige) während des Betriebs aktualisieren können. Ich bin sogar auf einige gestoßen, obwohl ich sie nicht mit einem Lesezeichen versehen konnte. Wie Sie sich vorstellen können, ist es ein ziemlich herausforderndes Thema, im …
1
Was ist die „Frage“, die die Programmiersprachentheorie zu beantworten versucht?
Ich habe mich eine Weile für verschiedene Themen wie kombinatorische Logik, Lambda-Kalkül und funktionale Programmierung interessiert und sie studiert. Im Gegensatz zur "Theorie der Berechnung", die versucht, die Frage der "Berechenbarkeit" zu beantworten, dh Dinge, die mit verschiedenen Einschränkungen berechnet werden können / nicht, habe ich Schwierigkeiten, das Analogon für …
1
Natürliche Kandidaten für NP-E und E-NP
Es ist seit den frühen 70er Jahren bekannt, dass NPNP{\bf NP} und E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) nicht gleich sind (weil EE{\bf E} im Gegensatz zu NPNP{\bf NP} nicht unter polynomialen Mehrfachreduktionen geschlossen ist ). . Soweit ich weiß, ist jedoch noch offen, ob eine Klasse eine Teilmenge der anderen ist oder ob …
1
Welche Beziehung besteht zwischen den Sprachen P (PTime) und Typ 1 (kontextsensitiv)?
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 Automaten bestimmt werden.NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) Bei vielen offenen Fragen besteht die Tendenz zu einer Antwort ( …
1
Ist die Kolmogorov-Komplexität der Wahrheitstabellen des Halteproblems asymptotisch bekannt?
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, und eine TM mit dieser Zeichenfolge hartcodierte der Lage wäre …
1
Polynomkern für
Das parametrisierte Problem mit k-FLIP SAT ist wie folgt definiert: Input: eine 3-CNF Formel mit n Variablen und einer Wahrheits Zuordnung σ : [ n ] → { 0 , 1 } Parameter: k Frage: kann man die Zuordnung Transformation σ in eine satifying Zuordnung σ ' für φ Flipping …
1
Die Univalenz einer Kateogrie-Theorie mit dem Skelett-Konzept in Beziehung setzen
Angenommen, ich arbeite in der Homotopietypentheorie und meine einzigen Studienobjekte sind konventionelle Kategorien. Äquivalenzen werden hier durch die Funktoren und , die Äquivalenzen der Kategorien liefern . Es gibt natürliche Isomorphismen und so dass dieser Funktor und "inverse" Funktor werden in Einheitsfunktor umgewandelt.F:D⟶CF:D⟶CF:{\bf D}\longrightarrow{\bf C}G:C⟶DG:C⟶DG:{\bf C}\longrightarrow{\bf D} C≃DC≃D{\bf C} \simeq …
1
Warum ist komplementäre Schlaffheit wichtig?
Komplementäre Schlaffheit (CS) wird häufig gelehrt, wenn über Dualität gesprochen wird. Es stellt eine gute Beziehung zwischen der ursprünglichen und der doppelten Einschränkung / Variablen aus mathematischer Sicht her. Die zwei Hauptgründe für die Anwendung von CS (wie in Kursen und Lehrbüchern für Hochschulabsolventen gelehrt): Um die Optimalität der LP …
1
Mehrsprachige DFA-Minimierung
Ich interessiere mich für eine leichte Verallgemeinerung von DFA. Wie üblich wir state-Satz haben , finite Alphabet Σ , a Σ * -action definiert auf Q durch δ : Q × Σ → Q und Anfangszustand q 0 ; aber statt der üblichen Endapparat, nehmen wir eine Familie ( T …
2
Nicht konstruierbare Funktionen und anomale Ergebnisse
Im Arora-Barak-Buch wird bei der Definition von zeitkonstruierbaren Funktionen gesagt, dass die Verwendung von Funktionen, die nicht zeitkonstruierbar sind, zu "anomalen Ergebnissen" führen kann. Hat jemand ein Beispiel für ein solches "anomales Ergebnis"? Ich habe insbesondere gehört, dass es Funktionen geben könnte, die so gelten, dass der Zeithierarchiesatz nicht gilt. …
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.