Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ticf
Ticf
Las preguntas de este tipo pertenecen a un campo que creo que bien podríamos
llamar análisis meta numérico. el nombre parece apropiado no solo porque sugiere
el tema, es decir, la metodología de computación, sino también porque la relación
del campo con la computación es muy análoga a la de la matemática matemática.
En metamatemática, encontramos problemas relacionados con sistemas de
prueba específicos; la existencia de pruebas que tienen una determinada forma, o
la adecuación de un sistema en un contexto dado. También encontramos
problemas relacionados con la posibilidad de compra, independientemente de
cualquier sistema de prueba en particular; La indecidibilidad de las teorías
matemáticas. Por lo tanto, en el análisis meta numérico encontramos problemas
relacionados con sistemas computacionales específicos o categorías de máquinas
informáticas, así como problemas como los mencionados anteriormente que,
aunque están relacionados con la computación, son independientes de cualquier
método de computación en particular. Es este último segmento del análisis meta
numérico el que me gustaría mirar más de cerca.
Permítanme comenzar declarando dos de los muy pocos resultados que caen
directamente dentro de esta área. Ambos se extraen del trabajo de Ritchie sobre
funciones predecibles de computación, el primero es una generalización casi
inmediata de una parte de ese trabajo, el segundo es una lectura incompleta de
otra parte. Estos relacionan, quizás no de la manera más feliz, la complejidad
computacional de una función con su ubicación en la jerarquía de Grzegorczyk.
Recordemos que esta jerarquía se compone de una secuencia de clases.
Con cada máquina de Turing de cinta única Z que calcula una función de una
variable, podemos asociar dos funciones bz y tz. Suponiendo alguna codificación
estándar de números naturales, podríamos considerar que la notación decimal es
específica, definimos bz (n), donde n es un número natural, como el número de
pasos (excitaciones de instrucciones) en el cálculo en Z que comienza con n
codificado en su cinta y defina tz (n) como el número de cuadrados de cinta
distintos escaneados durante el curso de este cálculo. Restringiendo la atención a
las funciones de una variable, tenemos lo siguiente.
Teorema. Para cada k> 3, las siguientes cinco afirmaciones son equivalentes:
1)
3. existe una máquina de Turing Z que calcula f y una función tal que, para todos
Se necesita una palabra de por qué he incluido un teorema que involucra a las
máquinas de Turing en una discusión que, según dije, iba a ser sobre aspectos de
cómputo independientes del método. El hecho es que el teorema sigue siendo
correcto, incluso si se consideran clases mucho más amplias de máquinas
informáticas. En particular, es válido para máquinas Turing con más de una cinta o
con cintas multidimensionales, siempre que las celdas de esta última estén
dispuestas de manera razonablemente ordenada. También se mantiene si el
conjunto de instrucciones posibles se amplía para incluir, el borrado de una cinta
completa o el restablecimiento de un cabezal de escaneo a su posición inicial
(aunque dudo que tales operaciones se consideren pasos ya que no parece que
puedan ser ejecutadas en una cantidad limitada de tiempo).
Las cinco equivalencias del teorema anterior no son válidas para k <3. Ritchie ha
obtenido una jerarquía que descompone el rango entre s2 y s3 en clases de
funciones de diversos grados de dificultad computacional; sin embargo, en lugar
de pasar a esto, me gustaría pasar ahora al problema de clasificar las funciones
dentro de s2, donde se encuentran muchas de las funciones que se encuentran
con mayor frecuencia en el trabajo computacional, la suma y la multiplicación en
particular. Primero, con respecto a s2 en sí, tenemos lo siguiente.
Teorema. una función f pertenece a s2 si y solo si existe una máquina Z de Turing
que calcula fy las constantes c1 y c2 de modo que tz (n) <c1 l (n) + c2, para todo
n.
Este puede ser un buen punto para mencionar que, aunque hasta ahora he estado
comparando tácitamente dificultad computacional con los requisitos de tiempo y
almacenamiento, no quiero comprometerme con ninguna de estas medidas.
Puede resultar que algunas medidas relacionadas con la noción física del trabajo
conduzcan al análisis mas satisfactorio