¿Leer e interpretar los contenidos del cerebro humano es potencialmente un problema de NP?

Haré tres comentarios, que equivalen básicamente a decir 1) No sé, 2) no importa, y 3) podría estar malinterpretando lo que significa “NP”.

1) No lo sé porque “leer e interpretar los contenidos del cerebro humano” es una descripción demasiado vaga para ser interpretada como un problema de decisión, que es un requisito previo para determinar si está en NP. No puedo decir si “huele” a un problema de NP cuando no sé cuál es el problema.

2) No importa porque un problema está en NP, o en P, o en PSPACE o lo que sea que solo tiene sentido cuando el problema tiene un parámetro de tamaño, digamos n, y estamos interesados ​​en comprender la complejidad de resolver El problema cuando n tiende al infinito. Claro, podemos definir “Leer el cerebro” como un problema de decisión con n neuronas como entrada, y luego debatir cómo se comporta asintóticamente para n, pero estamos realmente interesados ​​en un valor muy particular (o rango de valores) para n que es El número de neuronas del cerebro humano. Esto podría ser increíblemente difícil, fácil, factible o inviable, independientemente de si la clase infinita de problemas está en cualquier clase de complejidad.

3) Parece que tiene la impresión de que “ser un problema de NP” es algo negativo, lo que dificulta el problema. Por el contrario, si un problema no está en NP, entonces es mucho más difícil que si lo está. Estar en NP significa que hay un procedimiento de tiempo polinómico para verificar si una solución propuesta del problema es correcta; no estar en NP significa que ni siquiera tiene una manera de verificar una solución propuesta, lo que hace que el problema de encontrar una solución sea mucho más desalentador.

Volviendo a mi primer punto, no tengo idea de lo que podría significar “verificar una solución para el problema de interpretar el cerebro”, no lo que significaría que sea “tiempo polinomial” (¿polinomio en qué? neuronas? ¿Por qué debería importarnos?)

Bueno, aquí hay un ejercicio para que pienses antes de emocionarte demasiado. Escriba este problema como un problema con la entrada y la salida primero. También tenga en cuenta lo que significa exactamente NP. ¿Es este un problema de decisión? ¿Qué es exactamente la pregunta “sí / no”?

Los problemas que se encuentran en estas clases de complejidad son concretos y no son vagas nociones de cosas “interpretativas”. También tenga en cuenta que un problema puede no ser difícil en el sentido que está tratando de discutir porque las instancias son grandes. Puede ser que los problemas sean difíciles porque son grandes, y no que el problema en sí sea difícil de resolver; Hay una gran diferencia entre los dos. Por ejemplo, consideremos dos problemas de optimización teórica de gráficos. Si le doy un gráfico simple ponderado con mil millones de vértices, y desea encontrar un recorrido de menor peso (es decir, un ciclo hamiltoniano con menor peso) resolviendo una instancia de TSP frente a una instancia del problema del árbol de expansión mínima: la primera será significativamente más difícil de resolver intuitivamente que este último.

Centrémonos en cosas concretas que podemos estudiar científicamente en oposición a lo que yo llamaría “masturbaciones matemáticas”. Quiero decir, ¿es esto pragmático para discutir en primer lugar si ni siquiera podemos precisar un problema?