Modelos en programación dinámica paralela para el caso discreto

Resum

EN ESTE TRABAJO SE INTRODUCEN MODELOS FORMALES BASADOS EN LA TEORIA DE AUTOMATAS PARA LA PROGRAMACION DINAMICA PARALELA, TANTO PARA LOS CASOS MONADICO Y MULTIETAPA COMO PARA LAS FORMULACIONES QUE DAN LUGAR A PROBLEMAS POLIADICOS Y CON GRAFO DE DEPENDENCIAS ACICLICO, DE ESTOS MODELOS FORMALES SE DERIVAN UN CONJUNTO DE ESQUEMAS ALGORITMICOS PARA TOPOLOGIAS SIMPLES: SEGMENTOS Y ANILLOS DE PROCESADORES. SE RESUELVE ADEMAS EL PROBLEMA DE INTRODUCIR FUNCIONES DE RAMIFICACION Y ACOTACION DENTRO DE LA ESTRUCTURA DE SEGMENTACION PARALELA DERIVADA PARA LA PROGRAMACION DINAMICA. SE PRUEBAN TEOREMAS DE OPTIMALIDAD PARA LAS CLASES DE AUTOMATAS INTRODUCIDAS. TODOS LOS ESQUEMAS ALGORITMICOS PROPUESTOS SE APLICAN A PROBLEMAS EJEMPLO SOBRE LOS QUE SE PRESENTAN RESULTADOS Y SE DISCUTE LA EFICIENCIA.