Theoretische Informatik

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

2
Begrenzte Anzahl variabler Vorkommen in 1-in-3-SAT
Gibt es ein bekanntes Ergebnis für die Komplexitätsklasse 1-in-3-SAT mit einer begrenzten Anzahl variabler Vorkommen? Ich habe mir mit Peter Nightingale die folgende sparsame Reduktion ausgedacht, aber ich möchte etwas zitieren, wenn dies bekannt ist. Hier ist der Trick, den wir uns ausgedacht haben. Dies zeigt, dass 1-in-3-SAT, begrenzt auf …
4
Gibt es eine algorithmische mathematische Analyse?
Es gibt algorithmische Graphentheorie / Zahlentheorie / Kombinatorik / Informationstheorie / Spieltheorie. Gibt es eine algorithmische mathematische Analyse? Laut Wiki umfasst die mathematische Analyse die Theorien der Differenzierung, Integration, Messung, Grenzen, unendlichen Reihen und analytischen Funktionen. Es ist in Ordnung, sich auf die reale Analyse (Wiki) zu konzentrieren , die …
3
Verzweigung einer vorausschauenden Typentheorie
Die meisten mir bekannten Typentheorien sind prädikativ, womit ich das meine Void : Prop Void = (x : Prop) -> x ist in den meisten Theoremprüfern nicht gut typisiert, da dieser pi-Typ zum selben Universum gehört wie Propund es nicht so ist Prop : Prop. Dies macht sie prädikativ und …
1
Logischer Rahmen gegen Typentheorie
Was ist der Unterschied zwischen logischem Rahmen und Typentheorie? Beide haben Typen, Begriffe und basieren auf abhängig typisierten Lambda-Berechnungen. Wir haben Edinburg LF, das auf Lambda-Pi-Kalkül basiert, aber es scheint mir, dass es dort einen subtilen Unterschied gibt.
2
Spaß mit inversem Ackermann
Die inverse Ackermann-Funktion tritt häufig bei der Analyse von Algorithmen auf. Eine großartige Präsentation finden Sie hier: http://www.gabrielnivasch.org/fun/inverse-ackermann . und [Notation: [x] bedeutet, dass wir x auf die nächste ganze Zahl aufrunden, während log ∗ ist die hier beschriebene iterierte Protokollfunktion: http://en.wikipedia.org/wiki/Iterated_logarithm ]α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2⁡n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗⁡n\alpha_3(n) …
1
Fibonacci Wörter
Ich bin in meinem alten tschechischen Algorithmus-Lehrbuch auf folgendes Problem gestoßen, leider ohne Hinweise oder Lösung. "Wir definieren Fibonacci-Wörter als , F 1 = b , F n + 2 = F n F n + 1 , wobei a und b allgemeine Buchstaben sind. Wie können Sie in einer …
1
Was ist "Pseudozeit" im Vergleich zu Semaphoren?
Ich höre gerade Alan Kays 'Vortrag "Ist es wirklich komplex oder haben wir es nur kompliziert gemacht?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) wo er sagt, dass "Semaphoren eine schlechte Idee waren und es eine sogenannte Pseudozeit gab, die überlegen war" (um 51:40 im verlinkten Video). Vielleicht habe ich das Wort "Pseudozeit" falsch …
1
Gibt es einen endlichen einheitlichen Gate-Satz, der alle QFTs der Ordnung
Ich denke über Ideen zu exakten Quantenalgorithmen nach. Insbesondere betrachte ich wahrscheinliche Einschränkungen von , das aus Sprachen besteht, die durch polytime-einheitliche Quantenschaltungsfamilien über einen beliebigen endlichen Gate-Satz genau entscheidbar sind.EQPEQP\mathsf{EQP} Die Quanten-Fourier-Transformation (QFT), gegeben durch ist ein gefeierter Teil der Quantenberechnungstheorie. Im Fall von gibt es eine bekannte Zerlegung …
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.