Esquemas parciales de actualización en redes boolenas

Abstract

Las redes Booleanas, originalmente introducidas por Kau man [16, 17], son el modelo más simple para representar redes regulatorias génicas. A pesar de su simplicidad ellas proveen un marco teórico en el cual diferentes fenómenos pueden ser reproducidos y estudiados. Muchos modelos regulatorios publicados en la literatura del área de la biología calzan dentro de este marco [26]. Las redes cuentan con un esquema de actualización, que determina cuál es el orden en que se activan o inhiben los genes. En relación a esto, en ocasiones se estará en presencia de etiquetados parciales que indican un orden parcial. En estos casos interesa determinar los esquemas de actualización que cumplen con dicho orden. En esta tesis se pretende estudiar analítica y algorítmicamente el conjunto de extensiones de un etiquetado parcial que hacen que el digrafo resultante sea de actualización. Esto representa un importante avance hacia la búsqueda de esquemas que preservan una propiedad dinámica; como, por ejemplo, un ciclo límite dado, pero no necesariamente todo el comportamiento dinámico de una red.