"Complejidad de la matriz": ¿es posible?

Mientras hojeaba publicaciones antiguas de CStheory.se , me encontré con una fascinante publicación de blog sobre el problema de la mortalidad matricial . A menos que haya malinterpretado el problema, establece que dada una colección finita de 3 x 3 matrices con entradas enteras para cada valor de matriz, uno debe decidir si existe un producto finito de esas matrices que sea igual a una matriz compuesta de todos los ceros.

Sorprendentemente, este problema es indecidible, debido a una reducción del problema de correspondencia posterior. Mi pregunta es: dada la indecidibilidad del problema y su vínculo con un problema relacionado con las máquinas de Turing, ¿puede demostrar que existe una manera de caracterizar (por ejemplo) todos los idiomas, la clase P y la clase NP usando matrices?

Yo mismo he trabajado un poco en esto, pero me falta el entrenamiento para asegurarme de que mi creencia sea correcta. Creo que este problema requeriría un poco de trabajo por parte del lector para resolverlo.

No sé cómo usar LaTeX para escribir matrices en SE, pero aquí está mi primer intento de caracterizar NP:

Dado un conjunto finito de 3 x 3 matrices con entradas enteras y un entero como una "consulta" NP, deje que una matriz adicional se tome como una "estructura". La "consulta" acepta la "estructura" si existe un producto de matrices de que equivale a una matriz que consta de solo ceros. $S$ $k$ $M$ $|M|^k + k$ $S$

Este intento no está completo y no incluye ninguna prueba, como puede ver, pero quería reflexionar sobre el problema para ver si se podía hacer un intento más sofisticado para formalizar una noción de complejidad de la matriz. Esto es interesante porque, al igual que la caracterización de NP de Fagin usando la complejidad descriptiva, podría usarse para caracterizar NP de una manera independiente de la máquina.

cc.complexity-theory matrix-product Philip White
fuente

¿El uso de la terminología, "complejidad descriptiva de la matriz", tiene algo que ver con la complejidad descriptiva? Me parece que está intentando expresar clases de complejidad utilizando operaciones matriciales en lugar de aplicar la teoría de modelos finitos. Si es así, es posible que desee eliminar la etiqueta de complejidad descriptiva. También podría ser útil para nosotros si aclara la distinción o la conexión entre su idea y la complejidad descriptiva.

mdxn

No soy un experto, pero creía que la complejidad "descriptiva" se llama así porque es independiente de las máquinas de Turing. "Descriptivo" no significa "lógico" o "usando la teoría de modelos finitos". No lo creo. Agregué la etiqueta de complejidad descriptiva porque la generación de caracterizaciones alternativas e independientes de la máquina de las clases de complejidad es el objetivo de la complejidad descriptiva.

Philip White

Aunque la palabra ordinaria en inglés "descriptivo" no significa "usar la teoría de la lógica / modelo finito", el término técnico "complejidad descriptiva" significa eso.

David Richerby

Okay. Cambiaré la pregunta.

Philip White

M_{1}, . . ., M_{n}

$M_1,...,M_n$

i_{k}

$i_k$

M_{i_{1}} \cdot . . . \cdot M_{i_{m}} = 0

$M_{i_1} \cdot ... \cdot M_{i_m} = 0$

m

$m$

T

$T$

x

$x$

m = O (f (| x |)^{k})

$m = O(f(|x|)^k)$

k

$k$

f (| x |)

$f(|x|)$

T

$T$

x

$x$

"Complejidad de la matriz": ¿es posible?

Respuestas: