FEEDBACK VERTEX

SET
OPTIMIZACIÓN
 DEFINICIONES PREVIAS
DIGRAFO CICLO FVS
MODELO MATEMATICO
01 G=(V,E) un digrafo donde V es el conjunto de vértices y E es el
conjunto de arcos.

02 F⊆V el conjunto de vértices que forman el feedback vertex set.

03 G′=(V′,E′) el digrafo resultante después de eliminar los vértices en

F, donde V′=V ∖ F y E′={(U,V) ∈ E : U,V ∈ V′}

04 El objetivo es encontrar F de tamaño mínimo tal que G′ sea un

DAG.
RESTRICCION
ES
Cada arco en el grafo original
G debe estar presente en el
grafo resultante G′ después
de eliminar los vértices en F.
El grafo resultante G′ debe
ser acíclico, es decir, no debe
contener ciclos.

CONSERVACION DE
ARCOS

ACICLISMO
FORMULACION Min imi zar ∣ F ∣

MATEMATICA
suj et o a:
Minimizar el tamaño d e F, es
decir, minimizar el número de
∀(u,v) ∈ ,u,v ∈ V′
vértices necesarios para el i mi n ar
(Conservación de arcos)
l os ciclos del digrafo o ri gi nal G.

Grafo G′ es acíclico
(Acicli smo)
EXPERIMENTO
COMPUTACION
ALEn este código, la función fee dba ck_verte x_set_dp
utiliza programa ción dinámica para encontrar una
aproximación al conjunto mínimo de vértices de
retroalimentación en un grafo dado.

Luego, se aplica esta función a un ejemplo de

grafo definido en e l código para e ncontrar una
aproximación al conjunto mínimo de vértices de
retroalimentación en ese gra fo.
RESULTADO

Esto significa que, según el algoritmo de

programa ción dinámic a utilizado, los vértices 'A' y 'B'
forman un conjunto mínimo de vértic es de
retroalimentación en el gra fo. Es decir, si eliminas los
vé rtices 'A' y 'B' del grafo, ya no habrá ciclos en é l.
IMPLEMENTACI
ON EN AMPL
• E l arch iv o .m o d d efine el m o delo
m atem ático del p rob lema del Feedb ack
Vertex Set, d ond e el o bjetivo es
encon trar el co njunto m ín im o de
vértices en u n g rafo q ue al ser
elim inado s h acen qu e el grafo
resultante sea acíclico .

• E l arch iv o .ru n p rop orcion a lo s d atos

del grafo y resu elve el mo delo
utilizando el solv er CPLE X, m ostrand o
el co nju nto m ín im o d e vértices de
retroalim entació n co mo resultado .
 RESULTADO

• Sig nifica q ue si eliminam os los vértices 'A' y 'B' del

grafo , ya n o h abrá ciclo s en él.

• Este resultado in dica q ue 'A' y 'B' form an u n con ju nto

m ín im o d e vértices de retro alim entación en el g rafo
dad o.