El truco utilizado en la prueba de la complejidad doblemente exponencial de la aritmética Presburger

9

Publiqué esto en MathUnderflow pero no obtuve respuestas, así que pensé en probarlo aquí,

Estoy leyendo el viejo artículo de Rabin y Fischer [publicará un enlace cuando sea posible] donde, entre otras cosas, se prueba la doble complejidad exponencial de la aritmética de Presburger.

La prueba se basa en la existencia de una fórmula afirma informalmente " x < 2 2 k x + 1 " con | Yo n | O ( n ) . Aunque la construcción de esta fórmula no se da en el documento, ¡fue una sorpresa para mí teniendo en cuenta que es presumiblemente altamente no trivial, dado ese límite y el hecho de que solo tenemos adición a nuestra disposición!In(x)x<22kx+1|In|O(n)

Más tarde supe que la construcción de esta fórmula se basa en un "truco", previamente descubierto por Fischer, y de forma independiente por Volker Strassen, ¡pero no he logrado localizar un documento que describe este truco en detalle!

Entonces, si alguien sabe sobre el papel del que estoy hablando y puede señalarme en su dirección o incluso describirme el truco ...

Esta publicación del blog de Lipton contiene un enlace al documento y menciona [y proporciona un esbozo aproximado, lamentablemente insuficiente para mí], dicho truco, por cierto.

¹ Sé que esta es una descripción vaga. Sin embargo, una descripción suficientemente detallada sería demasiado larga para una publicación de SX, así que solo espero que alguien que ya conozca el documento en cuestión, y que por lo tanto pueda conformarse con ese breve boceto, se encuentre con esto y pueda ayudarme. .

mojado
fuente
¿Cuál es la relación entre y k ? ¿O debería ser 2 2 n x + 1 ? nk22nx+1
Shaull
3
Puede descargar el documento de Fisher & Rabin aquí .
Martin Berger
3
La construcción se da en el documento: Teorema 8 en las páginas 14-15 (la declaración real es el Corolario 9 en la página 16).
Yuval Filmus

Respuestas:

7

El comentario de Martin (y el seguimiento de Yuval) da la referencia que explica la construcción con cierto detalle.

22cnMn(x,y,z)

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

Mnn

Mn+1(x,y,z)

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

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

n

Hay un par de otros trucos involucrados, pero este es el principal. Los aspectos internos de la recursión son importantes, por supuesto, pero la similitud con el truco de Karatsuba es realmente sorprendente.

cody
fuente
1
Algunos podrían reconocer el truco cuantificador de la prueba de PAGSSPAGSUNACmi=nortePAGSSPAGSUNACmi.
Ariel