Vorbereitungszeremonie
Ich muss Ihnen sagen, ich sehe nicht, wie das Sprechen über "Beweise" des CT oder des ECT diese Diskussion beleuchtet. Solche "Beweise" sind in der Regel genau so gut wie die Annahmen, auf denen sie beruhen - mit anderen Worten, was sie als "Berechnung" oder "effiziente Berechnung" bezeichnen. Warum also nicht gleich zu einer Diskussion der Annahmen übergehen und auf das Wort "Beweis" verzichten?
Das war schon mit dem Original-CT klar, aber mit dem ECT ist es noch klarer - da das ECT nicht nur "philosophisch unbeweisbar" ist, sondern heute allgemein als falsch gilt! Für mich ist Quantencomputing das riesige, krasse Gegenbeispiel, das der Ausgangspunkt für jede moderne Diskussion über das ECT sein sollte, nicht etwas, das zur Seite gerückt ist. Das Papier von Dershowitz und Falkovich geht jedoch erst im letzten Absatz auf die Qualitätskontrolle ein:
Das obige Ergebnis deckt keine groß angelegte parallele Berechnung ab, wie beispielsweise eine Quantenberechnung, da davon ausgegangen wird, dass der Grad der Parallelität mit der Anzahl der vom Algorithmus festgelegten kritischen Terme fest verbunden ist. Die Frage der relativen Komplexität paralleler Modelle wird in naher Zukunft weiter verfolgt.
Ich fand das oben Gesagte sehr irreführend: QC ist kein "Parallelmodell" im herkömmlichen Sinne. In der Quantenmechanik gibt es keine direkte Kommunikation zwischen den "parallelen Prozessen" - nur Interferenzen von Amplituden -, aber es ist auch einfach, eine exponentielle Anzahl von "parallelen Prozessen" zu erzeugen. (In der Tat könnte man sich jedes physikalische System im Universum so vorstellen, wie wir es tun!) Was auch immer Sie über die Interpretation der Quantenmechanik (oder sogar ihrer Wahrheit oder Lüge) denken, es ist klar, dass es eines separaten Systems bedarf Diskussion!
Nun zu deinen (interessanten) Fragen!
Nein, ich kenne kein überzeugendes Gegenbeispiel zum ECT außer Quanten-Computing. Mit anderen Worten, wenn die Quantenmechanik falsch gewesen wäre (auf eine Weise, die das Universum auf der Planck-Skala immer noch "digitaler" als "analog" hielt - siehe unten), dann wäre die ECT, wie ich es verstehe, immer noch nicht so "beweisbar" (da es immer noch auf empirischen Fakten darüber ankommt, was in der physischen Welt effizient berechenbar ist), aber es wäre eine gute Arbeitshypothese.
Die Randomisierung stellt die ECT wahrscheinlich nicht in Frage, wie es herkömmlicherweise verstanden wird, da es heute starke Beweise dafür gibt, dass P = BPP. (Beachten Sie jedoch, dass die Randomisierung nachweislich einen großen Unterschied machen kann , wenn Sie sich für andere Einstellungen als für Sprachentscheidungsprobleme interessieren, z. B. für Beziehungsprobleme, Entscheidungsbäume oder die Komplexität der Kommunikation. Diese Einstellungen sind durchaus vernünftig.) diejenigen, über die man sprechen kann; sie sind einfach nicht die, die die Leute normalerweise im Sinn haben, wenn sie über das ECT diskutieren.)
Die andere Klasse von "Gegenbeispielen" zum ECT, die oft angesprochen wird, beinhaltet analoges oder "hyper" -Computing. Ich bin der Ansicht, dass nach unserem derzeitigen Kenntnisstand das analoge Rechnen und das Hypercomputing nicht skalierbar sind , und der Grund, warum dies ironischerweise nicht möglich ist, ist die Quantenmechanik! Insbesondere, obwohl wir noch keine Quantentheorie der Schwerkraft haben, deutet das heutige Wissen darauf hin, dass es grundlegende Hindernisse gibt, mehr als 10 43 Rechenschritte pro Sekunde auszuführen oder Entfernungen aufzulösen, die kleiner als 10 -33 cm sind.
Schließlich , wenn Sie die Diskussion etwas zu übernehmen wollen , die eine plausible oder interessante Herausforderung für die ECT sein könnten, und nur seriell, diskrete, deterministische Berechnung erlaubt, dann bin ich mit Dershowitz und Falkovich , dass die ECT hält! :-) Aber selbst dort ist es schwer vorstellbar, dass ein "formaler Beweis" mein Vertrauen in diese Aussage stärkt - das eigentliche Problem ist wiederum, was wir unter Worten wie "seriell", "diskret" und "deterministisch" verstehen gemein .
Wie für Ihre letzte Frage:
Quantencomputing wäre ein wahrscheinliches Gegenbeispiel, wenn es tatsächlich instanziiert werden kann, aber gibt es Möglichkeiten, die "schwächer" sind als Quanten, die auch Gegenbeispiele sind?
Heutzutage gibt es viele interessante Beispiele für physikalische Systeme, mit denen ein Teil des Quantencomputers implementiert werden kann , jedoch nicht alle (was zu Komplexitätsklassen führt, die möglicherweise zwischen BPP und BQP liegen). Darüber hinaus sind viele dieser Systeme möglicherweise einfacher zu realisieren als eine vollständige universelle Qualitätskontrolle. Siehe zum Beispiel dieses Papier von Bremner, Jozsa und Shepherd oder dieses von Arkhipov und mir.