Tesis doctoral de Montaña Arnaiz José Luis
La tesis versa sobre la obtencion de cotas inferiores en teoria de complejidad algebraica. Utilizando modelos de computacion decisionales se han mostrado cotas inferiores del tipo (n) para problemas de optimizacion finita sobre el conjunto de los numeros reales. Se han obtenido cotas inferiores para la complejidad no escalar que proporcionan cotas inferiores del tipo (nlog2n) para ciertos problemas de proximidad. se ha analizado un modelo de computacion uniforme sobre los reales: las maquinas de blum, shub y smale, mostrando una interpretacion geometrica de la clase de lenguajes reconocidos por maquinas cuya funcion de tiempo esta definida. Se han demostrado teoremas de jerarquia de tiempo dentro de dicha clase. se ha establecido un modelo de computacion uniforme para la computacion paralela sobre los reales, obteniendose cotas inferiores topologicas para este modelo. finalmente se ha estudiado la influencia de la teoria de complejidad algebraica en topología y teoria de la aproximacion.
Datos académicos de la tesis doctoral «Cotas inferiores para problemas decisionales en teoria de complejidad algebraica«
- Título de la tesis: Cotas inferiores para problemas decisionales en teoria de complejidad algebraica
- Autor: Montaña Arnaiz José Luis
- Universidad: Cantabria
- Fecha de lectura de la tesis: 01/01/1992
Dirección y tribunal
- Director de la tesis
- Tomas Recio Muñiz
- Tribunal
- Presidente del tribunal: José Luis Balcazar Navarro
- Von Zur Gaten Joachim (vocal)
- Joos Heintz (vocal)
- Felipe Cucker Farkas (vocal)