1

INTEGRACION IV INTEGRACION IV
UTN - Facultad Regional Rosario
Ingeniera Qumica
2011
Sistemas de elevada dimensin.
Algoritmos de particionado,
rasgado y ordenamiento.
A it t d l Arquitectura modular
secuencial.
2
Modelo del proceso
El modelo matemtico consiste de una serie de
relaciones quese establecen paracada equipo que
Sistema de ecuaciones
No lineales
Acopladas
Solucin
Directa o
Bastante complicada
relaciones quese establecen paracada equipo que
formapartedel sistema:
Balance de cantidad de movimiento
Balance de materia
Balancedeenerga
Estado estacionario
Estado no estacionario
cop adas
Balance de energa
Ecuaciones de diseo
Relaciones termodinmicas y cinticas
Especificaciones de variables o restricciones
F
V
E1
E2
E3
FLOW SHEET
Diagrama de flujo o de
proceso
F
L
Q
Diagrama de flujo de
informacin
E1
E2
E3
Se supone conocida L
3
Definiciones
Nodo:
E1
E2
E3
Predecesores (antecesores): El nodo 3 es
antecesor del 2
Sucesores: El nodo1essucesor del 2
Ciclo:
A
3
Ciclo:
conjunto de nodos que determinan un camino
cclico, es decir un camino que comienza y
terminaenel mismonodo
A
2
A
1
Aspectos
estructurales
Mtodo de resolucin
eficiente
Topologa del sistema
de ecuaciones
eficiente.
Para sistemas
de alta
dimensin
Particionado en subsistemas
independientes.
Al ser resueltos cada uno de ellos en un orden
particular se obtiene la solucin global del
sistema de ecuaciones dado
4
Preprocesamiento
Particionado: Deteccin de tramos que
contienen reciclos y reduccin a pseudonodos
quelosalmacene
Rasgado: definicin de la(s) corriente(s)
iteradora(s) decadapseudonodo iteradora(s) decadapseudonodo
Ordenamiento: determinacin del orden de
precedenciadelosmdulos
ANLISIS ESTRUCTURAL ANLISIS ESTRUCTURAL
DE SISTEMAS DE
ELEVADA DIMENSIN ELEVADA DIMENSIN
5
Especificaciones de Variables y
Grados de Libertad de un Sistema de
Ecuaciones
Anlisis y Diseo de procesos
Modelo
Sistema de ecuaciones
N variables
M ecuaciones
independientes
Existen tres alternativas
M > N(el sist. esta sobre
especificado y no tiene
solucin)
Debe
realizarse un
nuevomodelo solucin)
M = N(el sist. esta
completamente definido
y tiene solucin)
nuevo modelo
Sist lineal: sol.
nica
Sist no lineal:
l i l l
M < N(para definir el sist.
se deben realizar N M
especificaciones
adicionales
mltiples sol.
Valores establecidos
a las variables de
diseo
6
Ejemplo 1: Tanque de mezclado
Balance de materia:
A + B = C
Especificaciones de diseo
K = B/A
CASO A:
Balance de materia:
A+B=C
4 variables
5 ecuaciones
independientes
Problema
A + B = C
Especificaciones de diseo
K = B/A
Restricciones:
A=1000
No tiene solucin
el problema
Problema
sobreespecificado
Inadecuado planteo del
modelo
Eliminar una ecuacin
A 1000
C= 2000
K = 4
7
CASO B:
Balance de materia:
A+B=C
4 variables
4 ecuaciones
independientes
A + B = C
Especificaciones de diseo
K = B/A
Restricciones:
A=1000
Tiene solucin
nica el problema
B = 4000
C = 5000
A 1000
C= 2000
K = 4
CASO C:
Balance de materia:
A+B=C
4 variables
3 ecuaciones
independientes
A + B = C
Especificaciones de diseo
K = B/A
Restricciones:
A=1000
Tiene infinitas
soluciones.
Existen infinitas
combinaciones de
valores de B, C y K que
satisfacen las 3
ecuaciones
A 1000
K = 4
8
S l i i i d i Sea el siguiente sistema de ecuaciones:
f
1
(x
1
, x
2
, x
3
, x
4
) = 0
f
2
(x
3
, x
4
, x
5
) = 0
f
3
(x
5
, x
6
, x
1
) = 0
El sistema anterior puede ser representado segn el
siguiente esquema
f
1
f
3
f
2
x
1
x
2
x
3
x
4
x
5
x
6
f
f
x
x
Funciones
Variables
Existe relacin entre las variables y las ecuaciones
9
Dado que existen:
6 variables y
3ecuaciones 3 ecuaciones,
Se deben especificar 3 variables para lograr un
sistemacompatible.
Existenvariasopcionesparaasignar lasvariables.
Por ejemplo, seael conjuntoespecificado:
(X
6
, X
5
, X
4
)
Parael sistemadeecuaciones: Para el sistema de ecuaciones:
f
1
(x
1
, x
2
, x
3
, x
4
) = 0
f ( ) 0 f
2
(x
3
, x
4
, x
5
) = 0
f
3
(x
5
, x
6
, x
1
) = 0
10
El sistema luego de la asignacin de (X
6
, X
5
, X
4
)
como variables especificadas queda reducido a:
f
1
f
2
f
3
x x x x
1
x
2
x
3
f
3
x
5
x
x
1
Orden de resolucin
f
1
f
2
x
6
x
4
x
5
x
3
x
4
x
2
x
5
Existe una secuencia acclica de resolucin, sin
necesidad de iterar, ya que conocidas las variables
especificadas se puede resolver en dicha forma
11
El conjunto de asignaciones anteriores no es el nico que
puederealizarse.
Si el conjunto especificado fuera (X
3
, X
4
, X
6
), se tendra el
siguiente esquema de resolucin y de asignaciones de
variables:
f
2
f
3
f
1
x
2
x
5
x
1
f
1
(x
1
, x
2
, x
3
, x
4
) = 0
f
2
(x
3
, x
4
, x
5
) = 0
f
3
(x
5
, x
6
, x
1
) = 0
2 5 1
f
2
x
4
x
3
x
5
f
3
f
1
x
1
x
2
x
6
x
3
x
4
3 5 6 1
Si el conjunto especificado es (X
1
, X
2
, X
6
), se tendra el
siguienteesquemaderesolucin:
f
3
x
4
x
3
x
5
f
2
f
1
Aqu resulta en una secuencia cclica de resolucin, esto es:
Deberresolversesimultneamentef
1
yf
2
, o
Suponerse un valor para x
4
o x
3
e iterar secuencialmente
hastalograr laconvergencia
12
Conclusin
Laeleccindeunconjuntodevariables aser especificadas
noes neutra, sinoquesegncomoselarealice, el sistema
resultantepodronoser resueltosecuencialmente resultantepodronoser resueltosecuencialmente,
Existe un grado de dificultad inherente que depende
estrictamente del modo en que se han realizado las
asignaciones.
En sistemas de elevada dimensin es muy difcil deducir
cmo especificar dicho conjunto de manera tal de cmo especificar dicho conjunto, de manera tal de
minimizar el esfuerzo para resolver luego el sistema, por lo
que se han propuesto numerosos algoritmos para realizar
dichatarea.
En general, un sistema de ecuaciones tiene la forma:
f
i
(x
1
, x
2
, .......x
n
) = 0 ; i =1, .... , M
Los grados de libertad del sistema se definen como la
dif i l d i bl l d diferencia entre el nmero de variables menos el de
ecuaciones:
Gl = (n M)
Se puede fcilmente demostrar que el nmero de
posible combinaciones para asignar los Gl grados de
libertad responde a la siguiente expresin:
! G m!
n!
=
G
n
=
C
= NA
n
G

13
ARQUITECTURA MODULAR ARQUITECTURA MODULAR
SECUENCIAL
PARTICIONADO, RASGADO Y
ORDENAMIENTO. ALGORITMOS
Arquitectura modular secuencial
Se define un diagrama de flujo de
informacin(DFI) querepresentaalaplanta,
identificando subunidades de proceso o
subsistemasomdulosespecficos
Se define una estrategia de resolucin Se define una estrategia de resolucin
secuencial, mediante el particionado del
sistemadeecuacionesdelaplantacompleta
14
Al forzar laparticindel sistemaglobal ensubsistemas, se
pierde gran parte de la flexibilidad original, sacrificando
seguramentealternativasptimasdeparticionado.
Es el precio a pagar por utilizar una gua no matemtica,
pero conveniente desde el punto de vista fsico o de pero conveniente desde el punto de vista fsico o de
ingeniera.
conocemos las variables (generalmente asociadas a las
corrientes fsicas) deentrada, siendoel objetivoel clculo
lasvariables(corrientes) desalida.
x
e
x
s
F(x
e
)
x
e
= variables de entrada x
s
= variables de salida
Cada mdulo debe resolverse por el mtodo ms
conveniente, fijadoslosx
e
.
D b t t l b l d Debe tenerse en cuenta que en los balances de
materia y energa, generalmente deben utilizarse
mtodos para estimar propiedades fisicoqumicas,
para el clculo por ejemplo de las constantes de
equilibrio, oentalpas.
Estoagregaunnmeroimportantedeecuaciones y
nolinealidades.
15
Dada una planta, compuesta por diversos equipos
conectados entre s, todos representados por su
correspondiente sistema de ecuaciones, se puede obtener
unesquema (DFI):
E
3
E
1
x
3
x
2
x
5
E
E
2
x
1
x
4
x
6
Al proceso de identificar los
i l l ll ti i d
E
4
x
7
E
i
= equipos
x
i
= variables de entrada o salida
o corriente
Rasgado: Corriente o grupo
de variable de iteracin
ciclos selollamaparticionado.
unaposiblesecuenciaderesolucinsera(seconoce x
1
, y
se supone conocido adems el valor de la corriente x
3
-
valor supuestoocorrienteiteradora):
3 E
se comparan los valores x
3
y x
3
*
en cada
iteracin hasta lograr que el error satisfaga un
6
3
3 5 4
4
4 7
1
E
, x x x
E
, x x x
E

criterioespecificado, por ejemplo:

-8 *
3 3
- < x x
10
El orden de resolucin se llama orden de
procedencia o de resolucin Las secuencias no 1
1 2
2
*
6 2 3
E
x x
E
, x x x

procedencia o de resolucin. Las secuencias no

necesariamente son nicas. A las corrientes
iteradoras se las llama tambin corrientes de
corte (enestecasox
3
).
16
Como vimos, la estructura modular secuencial surge
como consecuencia de una asignacin que se orienta
segn los mdulos de equipos o bien las relaciones
fsicas en el proceso, contrariamente al flujo de
informacin matemtico inherentealas relaciones entre
las variables y funciones, segn la estructura del
sistema.
Estrategias:
el problema global se resuelve simultneamente y
para ello se particiona en subsistemas con un
it i d i id d l t t ( i t d criterio que da prioridad a la estructura (orientado a
ecuaciones)
Resolver los equipos o mdulos segn una
secuencia guiada por las interacciones fsicas,
(aplicar uncriterio modular secuencial)
Algoritmo de Algoritmo de
particionado de
Kehamy Shacham Keham y Shacham
17
Matriz de
adyacencia (A)
3 1
8
2
6 4 5
1 2 8
6
11
4
3
5
7
8 6 4
7
5
9
10
1 2 3 4 5 6 7 8
1
2
3
NODOS
Para completar la
matriz en la posicin
a
ij
:
1 i i t
1
1
1
10
4
5
6
7
8
1, si existe un arco
que nace en el nodo i
y termina en el j
0, en caso contrario
1
1
1
1
1 1
h
a
m

y

S
h
a
c
h
a
m
Introducelamatriz de ndices I.
Esta se definecomo una matriz de m filas (siendo
m el nmero de elementos no nulos de A) y dos
columnas
a
r
t
i
c
i
o
n
a
d
o

d
e

K
e
h
columnas.
Paraunafiladada:
Contienetodos los nodos quedispongande
sucesor inmediato
La columna de la derecha contiene dicho
i di t
A
l
g
o
r
i
t
m
o

d
e

p
a
sucesor inmediato.
Keham y Shacham propusieron un algoritmo
basadoenlamatriz de ndices quelograubicar los
ciclos
18
La matriz de ndices correspondiente a la matriz de
adyacencias(oal grafo) anterior, eslasiguiente
1 4
2 3
Unasegundareduccinselograeliminando
losnodos:
2 3
3 6
4 5
5 1
5 2
I =
losnodos:
de entrada: aquellos que no tienen
antecesores inmediatos (en la matriz
figuran en la columna de la izquierda y no
enlacolumnadeladerecha)
de salida: aquellos que no tienen
5 2
6 5
6 7
8 4
q q
sucesores y figuran en la columna de la
derechaperonoenlaizquierda
Este paso permite la eliminacin de
informacin irrelevante y la creacin de
la matriz reducida I
r

A continuacin se computan las sucesivas

potencias de I
r
(por ejemplo, I
r
2
) , de la siguiente
manera:
Se toma cada elemento de la columna izquierda
de la matriz anterior y se lo escribe nuevamente
enlacolumnaizquierdadelamatriz potencia
Enlacolumnadeladerechadelamatriz potencia
se ubica el nodo sucesor inmediato del que se
encontraba en la columna derecha en la matriz
anterior.
19
1 4
2 3
1
2
5 1
2 6
I
r
2
contienen la
3 6
4 5
5 1
5 2
I
r
1
=
3
4
5
5
I
r
2
=
3
4
4
5
5
4
1
2
Se debe agregar
una fila para
repetir el 4 en la
r
informacin de
todos los
caminos de
longitud dos
que se
encuentran en
6 5 6 5
6
6
3
2
1
repetir el 4 en la
columna de la
izquierda
el grafo
(por ejemplo,
1 4 5).
Para obtener I
r
3
se procede tomando, por ejemplo, el primer
valor en I
r
2
(primer fila = 1) y se recorren los correspondientes
sucesores (en la matriz I
r
) del nodo colocado a la derecha, en
este caso 5.
1 1
*
Cuandoseobtienenenunafilavalores
1 2
2 5
3 1
3 2
4 4
*
Cuando se obtienen en una fila valores
iguales en las dos columnas, existe un
camino que nace y termina en el nodo en
cuestin
Aqu obtenemos, adems de los caminos de
longitud 3, tres nodos (*) que pertenecen a
i li d l it d3
4 4
5 5
*
5 3
6 3
6 4
un camino cclico de longitud 3.
El algoritmo prosigue asignando los nodos a
un pseudonodo (1) que los engloba . Luego
se reemplazan en Ir por 1 para luego iniciar
nuevamente el proceso (a partir de I
r,2
).
20
2
3
4
3
6
1 11
Los valores iguales en ambas
columnas se eliminan porque no
aportan informacin adicional
2 3
3
6
I
r
=
6
2
5
1
5
5
5
4 1
1
1
1
1
1
3 6
1 2
6 1
I
r,2
=
6 5
Los nodos 1, 4y5 se
reemplazan por el
pseudonodo 1
1
Se comienza eliminando los
nodos de entrada y salida. En
este caso no existen. Luego, se
obtienen las sucesivas
potencias:
2 6 2 1 2 2
*
I
r,2
2
I
r,2
3
I
r,2
4
3 1
1 3
6 2
3 2
1 6
6 3
3 3
*
1 1
*
6 6
*
Luego, encontramos en I
r,2
4
un ciclo de longitud 4. Si se
reemplazan los nodos por un pseudonodo (2), se tendr
un slo nodo en la matriz I
r,3
, por lo que el mismo ser
de entrada / salida y el proceso habr finalizado.
21
Grficamente
3
7 8
1,
4, 5
2
6
3
Sepuedeobservar queseobtienenlosciclosyunordende Se puede observar que se obtienen los ciclos y un orden de
resolucin.
No obstante, se sabe que para resolver cada ciclo hay que
designar una corriente iteradora. El criterio para decidir cada
una de ellas no se obtiene de este algoritmo.
En sntesis, el procedimiento
aplicado por el algoritmo es:
Eliminar losnodosdeentradaysalida(obtener I
r
). a os odosdee adaysa da(obe e
r
)
Calcular las sucesivas potencias de I
r
. Para ello se
reemplazan los sucesores de los nodos en la matriz a
elevar por los sucesores de los mismos (en el grafo, o
en I
r
), colocndolos en la matriz resultado. Si hubiese en I
r
), colocndolos en la matriz resultado. Si hubiese
msdeunsucesor, sedebeproceder paracadaunode
ellos.
22
RASGADO DEL
DIAGRAMA DE FLUJOS
O GRAFO
El resultadodeaplicar los algoritmos departicionadoes detectar
los ciclos, detal maneradetransformar el grafo original enuna
secuencialineal. Estasecuenciapuedetener subgrafos cclicos.
Luego, sedeberresolver cadasubproblema(linealizar ungrafo
cclico).
La tcnica de rasgado consiste en detectar las corrientes de
cortequepermitanquecadasubgrafocclicopuedaser resuelto,
esto es, detectar las corrientes decortequepermitanquecada
subgrafo cclico pueda ser solucionado mediante una tcnica
iterativa.
Asignar una corriente de corte es similar a definir una nueva
corriente de entrada a la planta, slo que sus valores son
supuestos y sirven para generar una secuencia que permita
resolver todas las ecuaciones del sistema, tantas veces como
seanecesariohastalograr convergencia
23
3 1 2
1 2 8
6
11
4
3
5
7
Por ejemplo: para
realizar el rasgado se
toman como corrientes
de corte (una por cada
ciclo) las indicadas
como 2 y 8
8 6 4
7
5
1 2 8 11
9
A partir de los valores iniciales x
2
i
y x
8
i
,se pueden calcular:
x
3
1
y x
5
1
del nodo 5 ya que se conoce x
2
i
y x
8
i
x
4
1
del nodo 1, ya que se conoce x
3
1
x
1
1
del nodo 8, ya que la corriente 11, es de entrada.
x
6
1
del nodo 2 ya que se dispone de x
1
10
x
6
del nodo 2, ya que se dispone de x
5
.
x
7
1
del nodo 3, ya que se dispone de x
6
1
.
x
9
1
del nodo 6, ya que se conoce x
7
1
.
x
10
1
del nodo 7, ya que se conoce x
9
1
.
Y recalcular
x
8
1
del nodo 6, ya que se conoce x
7
1
x
2
1
del nodo 4, ya que se conoce x
4
1
y x
4
1
Si bienobtuvimos todos los valores asociados alas variables de
todas las corrientes, stos pertenecenalaprimeraiteracin.
Sedebeverificar si los valores calculados x
2
1
yx
8
1
coincidencon
los supuestos x
2
i
yx
8
i
dentrodel margendeerror especificado.
Si lohacen, finalizael clculo.
De lo contrario, y aplicando sustitucin directa, se
proponen nuevos valores, generando una secuencia
tal que finaliza cuando se obtieneel criterio de error
deseado.
si bien es simple identificar las corrientes de corte en un grafo
sencillo no resulta equivalente con cientos de nodos y/o sencillo, no resulta equivalente con cientos de nodos y/o
corrientes.
Luego, se necesita un mtodo sistemtico, implementable en
computadora, quepermitatal seleccin.
24
Dado que se trata de un particionado de
ecuaciones, lo lgico resultara pensar en un
criterio que minimice el esfuerzo de clculo.
Pero, no existen tales criterios o lineamientos
sinconocer endetalleel problemaaresolver.
El problema es que el algoritmo debe tratar
casos generales, por loquedebiramos obtener
criteriosuniversales.
Si sesuponequetodas lacorrientes poseenlamisma
cantidad de variables, es lgico pensar que se deben
buscar el mnimo nmero de corrientes de corte para
linealizar el ciclo (debido aqueello implicael mnimo
nmerodevariables iteradoras).
Sin embargo, no est demostrado que un nmero
mayor decorrientes decorteimpliquemayor esfuerzo
decmputo. Noobstante, sepuedeasumir queas ser
enlamayoradelos casos.
El algoritmo debera permitir que el usuario le El algoritmo debera permitir que el usuario le
introduzca pesos penalizando ciertas corrientes y
favoreciendo otras, de tal manera de recorrer las
alternativas considerandotales criterios
25
ALGORITMO DE ALGORITMO DE
BARKELEY Y MOTARD
(1972)
El algoritmo propuesto por Barkeley y Motard tiene como
objetivo el rasgado de los subgrafos cclicos para obtener
un conjunto de corte con el menor nmero de corrientes
iteradoras.
Estealgoritmosebasaenel conceptodegrafodecorrientes
(S) f d l t l i t bi d l l t (S) ografodual. steselograintercambiandolos roles, esto
es, los nodos ahora son las corrientes y los arcos se
obtienenatravs del flujodeinformacinenel DFI.
Para obtener el grafo S correspondiente a un diagrama de
flujodeinformacin:
El primer paso es incorporar tantos nodos como
i t i t corrientesexistan.
Luego, se vinculan stos segn el sentido de la
informacinquecirculaentrelas corrientes enel grafo
original.
26
3 1
8
2
6 4 5
1 2 8
6
11
4
3
5
7
9
Grafo S
Dado el DFI:
Construimos el Grafo S
7
10
3
1
2
6
7
5
Construimos el Grafo S
1
8 4
7
11
10
9
Grafo S
Es evidente que al manipular el grafo S ahora se Es evidente que al manipular el grafo S ahora se
lo hace sobre las corrientes (nodos), y dado que
se buscan las corrientes de corte, se
comprende la utilidad de la transformacin del
algoritmo propuesto por Barkeleyy Motard
27
Nodo dominado.
Se dice que un nodo cualquiera n
i
en Ses dominado
por otron
J
si n
J
esel nicoantecesor inmediatoden
i
.
Los autores proponen un proceso de reduccin de S Los autores proponen un proceso de reduccin de S
mediante el procedimiento de englobar (engullir o
fundir) los nodos dominados por sus dominantes sin
perder lainformacinenel grafoS.
Por ejemplo,
el nodo 1 esdominadopor el 11,
el 4 loespor el 3 y
el 7 por el 6.
Reduccin del
grafo S
3 2
6
5
3
1
8
2
4
7
11
9
6
3
6
10
28
Se puede observar que no puede reducirse ms el
grafoS, yaque:
el nodo2tienems deunantecesor, el 11y el
3.
Ylomismosucedecon5yel 3.
Aqu se introduce un nuevo concepto, el de
autociclo, que es precisamente la particularidad que
presentael nodo5que estnenciclocon l mismo,
al ser antecesor y sucesor de s mismos
simultneamente.
Este hecho est ntimamente relacionado con la
definicin derasgado o corrientedecorte, yaquepor
definicin, cada corriente puede ser calculada slo si
seconocenlas entradas al equipo(nodo) del cual sale;
ysi unacorrienteformaunautociclo, esto implicaque ysi unacorrienteformaunautociclo, esto implicaque
no puede calculrsela en el DFI si no se conoce su
valor previamente, o lo que es lo mismo, si no se
procedeal rasgadodel cicloal cual pertenece.
Para este ejemplo, las corriente 2 y 5 conforman un
conjuntodecorrientes decortedetamaomnimo. j
Como se puede deducir en funcin del proceso de
reduccin, no necesariamente el conjunto (2,5) es el
nicoresultado, yaquesepodranobtener otros.
29
Previamente se haba propuesto el conjunto (2,8),
que a los efectos prcticos (asumiendo que todas
las corrientestienenlamismacantidaddevariables,
y no disponiendo de ninguna otra informacin del y no disponiendo de ninguna otra informacin del
problema especfico), resultar equivalente al
conjunto(2,5).
Ob i t h l d l Obviamente una vez que se han logrado las
corrientes iteradoras se puede proponer una
secuenciaderesolucin(ordenamiento).
Hay situaciones especiales o particulares que se deben
contemplar.
i k j l
Aqu, no existen nodos en los cuales se encuentre un
nicoantecesor, por loquenopuedeser reducido. Aeste
caso selo llamaciclo dedos corrientes y slo puedese
puederesolver (reducir)cortandounadelas corrientes puederesolver (reducir)cortandounadelas corrientes.
Si sepresentaunasucesindevarios ciclos, engeneral,
es convenientecortar corrientes intermedias quepermitan
rasgar ms deunciclosimultneamente.
30
Resumiendo
El algoritmoconsisteenlossiguientespasos:
Reduccin de los nodos del grafo hasta
detectar autociclos ociclosdedoscorrientes.
Eleccin del conjunto de corrientes de corte,
segnel criterioexpuesto.
Grafo S
3 2
6
5
3
1
8
2
4
7
11
9
Algoritmo de procesamiento
10
Algoritmo de procesamiento
31
Para la implementacin computacional es conveniente trabajar con
una lista que contenga la informacin de los nodos y sus
antecesores inmediatos.
Nodo
Antece
sor
1 11
2 1, 4
3 2, 8
4 3
5 2, 8
6 5
Nodos con un
slo antecesor
inmediato
Se eliminan de
la lista esos
nodos y se los
reemplaza por
sus
6 5
7 6
8 7
9 7
10 9
sus
dominantes
Nodo Antecesor
2 11, 3
3 2, 5
5 2, 5
existen en la lista de
nodos un autociclo?
En la tabla figuran a la izquierda y
derecha en la misma fila
Se selecciona el nodo como
corriente de corte y luego
se lo elimina de la tabla.
(nodo 5)
Nodo Antecesor
2 2
(nodo 5)
Al eliminar 2
(autociclo), queda la
lista vaca
Dos corrientes de corte
2 y 5
32
ETAPA DE ETAPA DE
ORDENAMIENTO
Una vez que se han obtenidos los ciclos y se han
rasgado, debeordenarseel conjuntodenodos enla
formaenquesernresueltos.
En general, con la informacin que proveen los
algoritmos ya vistos (los subgrafos cclicos y las
corrientesdecortequeloslinealizan), esposiblepor
inspeccin en las listas disponibles (pasos
intermedios en cada algoritmo) ordenar los nodos intermedios en cada algoritmo) ordenar los nodos
segn la secuencia de resolucin que imponen las
corrientesiteradorasseleccionadas.
33
Ejercicio de Aplicacin 1
R1 D1
D1 R1
D1 A1
A1 A2
A2 A3
A3 C
C D2
D2 S1
D2 D3
D3 S2