Simulación en tiempo constante de un modelo R-Mesh en un LR-Mesh

Se creía que el modelo LR-Mesh era computacionalmente menos poderoso que el modelo R-Mesh. Omer Reingold mostró un algoritmo para la máquina de Turing que resuelve USTCON requiriendo O(logN) unidades de espacio, implicando que las clases de complejidad L y SL son equivalentes. Los modelos LR-Mesh y...

Full description

Bibliographic Details
Author: Carlos Alberto Córdova Flores
Format: master thesis
Status:Published version
Publication Date:2007
Country:México
Institution:Centro de Investigación Científica y de Educación Superior de Ensenada
Repository:Repositorio Institucional CICESE
Language:Spanish
OAI Identifier:oai:cicese.repositorioinstitucional.mx:1007/1894
Online Access:http://cicese.repositorioinstitucional.mx/jspui/handle/1007/1894
Access Level:Open access
Keyword:info:eu-repo/classification/Autor/Modelos de Cómputo
info:eu-repo/classification/Autor/Arquitecturas reconfigurables
info:eu-repo/classification/Autor/Simulación
info:eu-repo/classification/Autor/Computing models
info:eu-repo/classification/Autor/Reconfigurable architectures
info:eu-repo/classification/Autor/Simulation
info:eu-repo/classification/cti/1
Description
Summary:Se creía que el modelo LR-Mesh era computacionalmente menos poderoso que el modelo R-Mesh. Omer Reingold mostró un algoritmo para la máquina de Turing que resuelve USTCON requiriendo O(logN) unidades de espacio, implicando que las clases de complejidad L y SL son equivalentes. Los modelos LR-Mesh y R-Mesh son capaces de resolver los problemas de las clases L y SL en tiempo constante, respectivamente. Por lo tanto, los resultados de Reingold implican que los modelos LR-Mesh y R-Mesh son computacionalmente igual de poderosos. En el presente trabajo se describe una simulación del modelo R-Mesh en el LR-Mesh en tiempo constante. La mejor simulación conocida requería de O(logN) unidades de tiempo. Se muestra cómo se puede convertir un grafo regular cualquiera en un expansor y como resolver el problema USTCON en un expansor en el modelo LR-Mesh siguiendo el algoritmo de Reingold. Con estos resultados se construye la smulación entre los modelos en tiempo constante. Finalmente se muestra un análisis de los recursos (procesadores) requeridos por dicha simulación.

Similar Items