Theoretische Informatik

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

7
Quantenberechnung - Postulate des QM
Ich habe gerade angefangen, (unabhängig) etwas über Quantenberechnung im Allgemeinen aus dem Nielsen-Chuang-Buch zu lernen. Ich wollte fragen, ob jemand versuchen könnte, Zeit zu finden, um mir zu helfen, was mit dem Messpostulat der Quantenmechanik los ist. Ich meine, ich versuche nicht, das Postulat in Frage zu stellen; Es ist …
2
Gibt es einen schnellen Algorithmus für ein Problem mit minimalen Kostenrückkopplungen?
In einem gerichteten Graphen ist , , wenn eine DAG (gerichteter azyklischer Graph) ist, wird als Rückkopplungsbogenmenge bezeichnet. F ⊂ E G ∖ F F.G = ( V., E.)G=(V,E)G=(V,E)F.⊂ E.F⊂EF\subset EG ∖ F.G∖FG\setminus FF.FF Wenn jede Kante einem Gewicht , besteht das Problem des Rückkopplungsbogens für minimale Kosten darin, ein …
3
Zwei Varianten von NP
Hier sind zwei Variationen der Definition von NP. Sie definieren (mit ziemlicher Sicherheit) unterschiedliche Komplexitätsklassen, aber meine Frage ist: Gibt es natürliche Beispiele für Probleme, die in diese Klassen passen? (Meine Schwelle für das, was hier als natürlich gilt, ist etwas niedriger als gewöhnlich.) Klasse 1 (eine Superklasse von NP): …
2
Beispiel für etwas, das sich für generische und zufällige Orakel unterscheidet?
Sei GGG ein generisches Orakel im Sinne der Kategorie Cohen / Baire. Sei RRR ein zufälliges Orakel. Gibt es Komplexitätsklassen A und B mit AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^R oder umgekehrt, AG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Die Frage wurde von einem Kommentar von Scott Aaronson inspiriert .
2
Sind soziale Netzwerke normalerweise gute Expander?
Ich interessiere mich für die kombinatorischen Eigenschaften sozialer Netzwerke als Grafiken. Die Leute haben sich Dinge wie die Verteilung der Grade, den Clustering-Koeffizienten und die Kompressibilität dieser Graphen angesehen. Eine grundlegende Frage lautet: Sind diese Diagramme normalerweise gute Expander-Diagramme? Hat jemand beispielsweise die spektrale Lücke des Facebook-Graphen überprüft? Oder die …
1
Ist MLTT effektiv pCiC ohne Prop?
Ist die Martin-Löf-Typentheorie im Grunde die prädikative Berechnung induktiver Konstruktionen ohne Impredikativ ?PropProp\mathtt{Prop} Wenn sie eng miteinander verwandt sind, aber mehr Unterschiede aufweisen als nur , was sind diese Unterschiede?PropProp\mathtt{Prop}
2
Probleme ohne bekannten Quantenvorteil
Ich habe mich gefragt, was die Liste der aktuellen natürlichen Rechenprobleme ist, für die es keinen bekannten Komplexitätsvorteil bei der Verwendung eines Quantencomputers gibt. Zunächst einmal denke ich, dass die Berechnung der Bearbeitungsentfernung eine ist, für die der schnellste bekannte Quantenalgorithmus der schnellste bekannte klassische zu sein scheint. Vorläufiger würde …
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.