https://www.glc.us.es/~jalonso/LCyTM2018/index.php?action=history&feed=atom&title=Reparaci%C3%B3n_de_redes_metab%C3%B3licas 2026-09-18T10:38:11Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=Reparaci%C3%B3n_de_redes_metab%C3%B3licas&diff=143&oldid=prev 2019-02-18T09:53:19Z

<p>Página creada con «&lt;source lang = &quot;prolog&quot;&gt; %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Problema 5: Reparación de rede…»</p> <p><b>Página nueva</b></p><div>&lt;source lang = &quot;prolog&quot;&gt;<br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> % Problema 5: Reparación de redes metabólicas<br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> % Ulises Pastor Díaz.<br /> % Lógica computacional.<br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> %<br /> % Descripción del problema: Dado un grafo de influencia G = (V,E,c) con<br /> % c: E -&gt; {+,-} y un etiquetado m:V -&gt; {+,-} (parcial) de los vértices,<br /> % corregir G para que sea consistente con m con el mínimo número de<br /> % operaciones.<br /> %<br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> %<br /> %% Parte 1: Definición de los signos.<br /> %<br /> % Signos.<br /> <br /> signo(menos). signo(mas).<br /> <br /> % Predicado opuesto.<br /> <br /> opuesto(mas,menos). opuesto(menos,mas). <br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> %<br /> %% Parte 2: Construcción del etiquetado.<br /> %<br /> %% Etiquetado para vértices.<br /> <br /> 1 {m(V,S) : signo(S)} 1 :- vertice(V).<br /> <br /> % Consistecia con la observación.<br /> <br /> m(V,S) :- obs(V,S).<br /> <br /> %% Etiquetado de arcos.<br /> <br /> 1 {c(U,V,S) : signo(S)} 1 :- arco(U,V).<br /> <br /> % Consistecia con la observación.<br /> <br /> c(U,V,S) :- not error(U,V), obs(U,V,S).<br /> <br /> c(U,V,T) :- error(U,V), obs(U,V,S), opuesto(T,S).<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> %<br /> %% Parte 3: Detección de errores, competibilidad.<br /> <br /> % Generación de errores.<br /> <br /> {error(U,V)} :- arco(U,V).<br /> <br /> % Reglas de signos. (Predicado signo no necesario).<br /> <br /> resultado(V,mas) :- arco(U,V), c(U,V,S), m(U,S).<br /> <br /> resultado(V,menos) :- arco(U,V), opuesto(S,T), c(U,V,S), m(U,T).<br /> <br /> %% El etiquetado debe ser consistente.<br /> <br /> :- m(U,S), not resultado(U,S), not entrada(U).<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> %<br /> %% Parte 5: Presentación:<br /> <br /> #show error/2.<br /> #show m/2.<br /> #show c/3.<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> %<br /> %% Parte 6: Optimización. --opt-mode=optN <br /> <br /> errores(N) :- N = #count{1 : error(U,V)}.<br /> <br /> #minimize{1,U,V : error(U,V)}.<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> %% Parte 7: Problema de decisión.<br /> <br /> #const k = 2.<br /> <br /> % :- k+1 {error(U,V) : arco(U,V)}.<br /> &lt;/source&gt;</div>

Mjoseh