Votación impar: cómo la diferencia simétrica acelera los autómatas ✛ ✎
En la sala del tribunal se presenta la cadena de entrada. Doce jurados (caminos computacionales) la examinan símbolo a símbolo. Cada uno puede declarar «culpable» (aceptar) o «inocente». Para el autómata no determinista (NFA) basta con un voto a favor. Pero en el tribunal con diferencia simétrica (XNFA) el veredicto se dicta por paridad: si el número de votos «culpable» es impar, la palabra se acepta. Este extraño tribunal, donde la decisión depende de la aritmética de los votos y no de la unanimidad, cambia toda la estrategia algorítmica.
El paso del semianillo booleano (OR/AND) al campo GF(2) (XOR/AND) parece un formalismo, pero traslada los problemas a otra clase de complejidad. La aceptación de palabras en NFA es completa para la clase NL, y en XNFA, para ⊕L. La cuestión de si estas clases coinciden es un problema abierto, similar a preguntarse: ¿se puede transformar un tribunal de un tipo en el del otro sin perder justicia? La ganancia práctica la brinda el análisis detallado del tiempo: para autómatas k-ambiguos (donde una palabra tiene como máximo k caminos de jurado) se ha desarrollado un algoritmo dinámico que rastrea los estados realizando solo k|Q| operaciones por símbolo. Aquí |Q| es el número de estados y k, el grado de ambigüedad.
Lo más sorprendente es la reducción entre modelos. Un NFA se puede convertir en un conjunto de k XNFA paralelos usando pesos aleatorios sobre el campo GF($2^k$). El análisis probabilístico garantiza: si el NFA original acepta una palabra, al menos uno de los XNFA del conjunto emitirá un veredicto impar con un error de a lo sumo 1/2. Este truco se apoya en el lema de Schwartz–Zippel, un clásico del álgebra lineal sobre campos finitos. Resulta que un NFA polinomialmente ambiguo no es más difícil que un XNFA: si se encuentra un algoritmo de aceptación para XNFA con tiempo O((|δ||w|)^{1-ε}), entonces el NFA se resolverá casi con la misma rapidez. Esto es un contrajuego a la hipótesis de Bringmann et al., que afirmaba que NFA es intrínsecamente más difícil.
En definitiva, se borra la frontera entre anillos «fáciles» y semianillos «difíciles». La estructura del autómata y su ambigüedad estocástica resultan ser la clave para acelerar los algoritmos y para las cotas inferiores: intentar probar la optimalidad del tiempo cúbico ($n^3$) para estos problemas mediante SETH requeriría refutar NSETH, otra hipótesis no demostrada. El tribunal autómata, donde el jurado vota por paridad, no es solo una excentricidad, sino una herramienta que nos acerca a entender la fina frontera entre los cálculos polinómicos y los ultrarrápidos. Queda el principal desafío: eliminar el requisito de ambigüedad polinomial. Entonces, cada desplazamiento del exponente ω de 3 a 2 acercará el momento en que la verificación de cualquier veredicto sea casi cuadrática, y la sala del tribunal quedará vacía, dejando solo el cálculo instantáneo.
Al reducir NFA a un conjunto de XNFA, la probabilidad de omitir erróneamente una palabra aceptada cae como |w|/$2^k$: basta tomar k = log|w| + 1, y el error se vuelve menor que 1/2.
La idea de la paridad del número de caminos recuerda la interferencia cuántica en los mundos everettianos: la partícula recorre todos los caminos a la vez, y el detector solo se activa si sus amplitudes se suman constructivamente.