Der Trick zum Beweis der doppelt exponentiellen Komplexität der Presburger-Arithmetik


9

Ich habe dies auf MathUnderflow gepostet, aber keine Antworten erhalten. Ich dachte, ich würde es hier versuchen.

Ich lese die alte Arbeit von Rabin und Fischer [wird nach Möglichkeit einen Link veröffentlichen], wo unter anderem die doppelt exponentielle Komplexität der Presburger-Arithmetik bewiesen wird.

Der Beweis beruht auf der Existenz einer Formel informell " " mit behauptet . Obwohl die Konstruktion dieser Formel in der Arbeit nicht angegeben ist, war es für mich eine Überraschung, da sie angesichts dieser Bindung und der Tatsache, dass wir nur über Addition verfügen, vermutlich höchst nicht trivial ist! ¹In(x)x<22kx+1|In|O(n)

Ich habe später erfahren, dass die Konstruktion dieser Formel auf einem "Trick" beruht, der zuvor von Fischer und unabhängig von Volker Strassen entdeckt wurde, aber ich habe es nicht geschafft, ein Papier aufzuspüren, das diesen Trick im Detail beschreibt!

Wenn also jemand etwas über das Papier weiß, über das ich spreche, und mich entweder in seine Richtung weisen oder mir sogar den Trick beschreiben kann ...

Dieser Beitrag aus Liptons Blog enthält einen Link zum Artikel sowie Erwähnungen [und liefert eine grobe, für mich leider unzureichende Skizze] des genannten Tricks, übrigens.

¹ Ich weiß, dass dies eine vage Beschreibung ist. Eine ausreichend detaillierte Beschreibung wäre jedoch viel zu lang für einen SX-Beitrag, daher hoffe ich nur, dass jemand, der bereits über das betreffende Papier Bescheid weiß und daher mit dieser kurzen Skizze auskommen kann, darauf stößt und mir helfen kann .


Wie ist die Beziehung zwischen und ? Oder sollte es ? nk22nx+1
Shaull

3
Sie können das Fisher & Rabin-Papier hier herunterladen .
Martin Berger

3
Die Konstruktion ist in der Arbeit angegeben: Satz 8 auf den Seiten 14-15 (die eigentliche Aussage ist Korollar 9 auf Seite 16).
Yuval Filmus

Antworten:


7

Martins Kommentar (und Yuvals Follow-up) enthält die Referenz, die die Konstruktion ausführlich erklärt.

Ich werde ein wenig näher darauf eingehen, weil ich denke, dass es ein großartiger Beweis ist: Im Grunde genommen führt es den "üblichen" Beweis der Unentscheidbarkeit von PA durch (Arithmetik mit Addition und Multiplikation), aber relativiert auf22cn ! Das heißt, es gibt eine (kurze) Formel, die die Multiplikation bis zu dieser Zahl ausdrückt, dh eine Formel so dass Mn(x,y,z)

Mn(x,y,z)x×y=z x<22n

Jetzt bauen Sie durch Induktion auf , mit einem entscheidenden Trick, der an den Karatsuba-Algorithmus zum Multiplizieren von Binärzahlen oder bestimmte Tricks für die Matrixmultiplikation erinnert:Mnn

In der Definition für Sie eine Konjunktion der Form Mn+1(x,y,z)

Mn(x1,y1,z1)Mn(x2,y2,z2)Mn(x3,y3,z3)

Sie können dies jedoch durch ersetzen

uvw,(u=x1v=y1w=z1)(u=x2v=y2w=z2)(u=x3v=y3w=z3)Mn(u,v,w)

Dieser Trick ermöglicht eine lineare Vergrößerung anstelle einer exponentiellen (als Funktion von ).n

Es gibt noch ein paar andere Tricks, aber dies ist der wichtigste. Die Interna der Rekursion sind natürlich wichtig, aber die Ähnlichkeit mit dem Karatsuba-Trick ist wirklich bemerkenswert.


1
Einige erkennen den Quantifizierertrick möglicherweise am Beweis von . PSPACE=NPSPACE
Ariel
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.