UNIVERSIDAD DE TALCA

FACULTAD DE INGENIERA

MAGSTER EN GESTIN DE OPERACIONES

SEMINARIO 3
The Maximum Weight Connected Subgraph Problems

AUTOR:

Daniela Lazo
PROFESORA: Eduardo lvarez-Miranda

CURIC - CHILE

DICIEMBRE DE 2014

Seminario 3: MWCS

The Maximum Weight Connected Subgraph Problem

Dado un grafo

con un conjunto de nodos

y un conjunto de aristas

A . Cada

nodo de V tiene una importancia o peso asociado. El Maximum Weight Connected

Subgraph Problem (MWCSP) , consiste en encontrar un subgrafo conexo en el que la suma
de los pesos de los nodos sea mxima.

Budget-Constrained Maximum Weight Connected Subgraph Problem

Para utilizar slo variables de decisin correspondientes a los nodos se realiza una
formulacin del problema basada en el trabajo de Backes et al, 2011 en el cual se asegura la
conectividad del subgrafo mediante la eliminacin de subtours dentro de ste. Antes de
presentar la formulacin, es necesario realizar las siguientes definiciones:

Sea G con un conjunto de nodos V

y un conjunto de aristas
Sea C la familia de los ciclos dirigidos en G . Cada ciclo C
de nodos tal que

( C )=
D

A .
C, es un grupo

C V .

se refiere a la cantidad de nodos entrantes al ciclo C, es decir:

( C )={i V
D

(i , v ) A , v C }

La formulacin del problema de maximizacin de pesos en un subgrafo conexo se describe

a continuacin:

Sea c ij el costo de conexin de la arista (i, j)

Las variables de decisin

xi

yi

, tal que:

x i =1 si el nodo

corresponde al nodo raz, x i =0 en

caso contrario.
y i ( 0,1) , y i =1 si el nodo

pertenece al subgrafo,

x i (0,1) ,

caso contrario.

y i =0 en

Seminario 3: MWCS

max wi y i (1)
i V

Sujeto a:
x ( V ) =1(2)

x i y i iV (3)
( i )
D

y
( C )
D
C

y (C )x ( C ) y

(5)

min { y i , y j } c ij <B (6)

xi , yi

{ 0,1 } iV (7)

(i , j) A

La funcin objetivo (1) corresponde a la maximizar la suma de los pesos (importancia) de

los nodos del subgrafo conexo.
Respecto a las restricciones del modelo de Backes et al, 2011 , (2) indica que existe slo un
nodo raz. La restriccin (3) garantiza que el nodo raz pertenezca a la solucin. Por otro
lado, las restricciones (4) y (5) se refieren a la conectividad del subgrafo, (4) quiere decir
que para todos los nodos excepto el nodo raz, debe existir al menos un nodo incidente, (5)
asegura la conectividad mediante la eliminacin de ciclos aislados.
La restriccin referente a presupuesto (6) indica que la suma de los costos asociados a las
A entonces su costo
aristas debe ser menor a un presupuesto B . Si la arista i, j
c ij

se multiplica por

min { y i , y j }

. La expresin

min { y i , y j }

es igual a 1 slo en el

Seminario 3: MWCS

caso de que los nodos

c ij

y j

estn en la solucin. De esta forma, se sumar un costo

slo en el caso de que la arista

i, j

pertenezca a A y est en la solucin, es decir,

en el subgrafo conexo.
La resticcin (7) es una restriccin de integralidad.

Budget-Constrained Maximum Weight Connected Subgraph Problem

with Terminal Nodes.

Dado un grafo G , en el que existe un subconjunto de nodos terminales P, el problema del

rbol de Steiner plantea encontrar un rbol de costo mnimo que incluya a todos los nodos
terminales.
Se puede formular MWCSP a travs del Price-Collecting Steiner Tree Model, para ello es
necesario realizar una transformacin en la que a todas las aristas se les asigna un costo
equivalente al peso menor de sus nodos (Dittrich et al, 2008).
En este sentido, se har esta transformacin, en la cual cada arista tendr un costo ficticio
a considerar en la funcin objetivo. Adems, se agrega una restriccin de presupuesto
y de la existencia de los nodos terminales en una solucin factible.

2.1 Formulacin matemtica

Se realizan las siguientes definiciones antes de presentar la formulacin:

Sea r un nodo raz artificial.

Gd
Sea
un grafo que posee un conjunto de aristas
vrtices

Vd

, donde V d =V {r } y

Ad

A d ={ A {( r , v ) v V

y un conjunto de
y

+ ( v )
}

^
Sea V ( T ) el conjunto de nodos de la solucin.

La formulacin del problema de maximizacin de pesos en un subgrafo conexo se describe

a continuacin:

Sea c ij el costo de conexin de la arista (i, j)

Seminario 3: MWCS

Sea

Las variables de decisin

el conjunto de nodos terminales, tal que

yi

z ij

y i ( 0,1) ,

y i =1 si el nodo i

z ij (0,1) ,

z ij =1 si la arista

v V

( i , j ) Ad

|P|=p .

, tal que:

max (w v ) y i

P V

V ( T^ ) , y i =0 en caso contrario.
A ( T^ ) ,

z ij =0 en caso contrario.

z ij ( 8)

( v )

( S )

(10)

+ ( r )

y ( P )= p(12)

z ij cij < B(13)

y i , z ij

(0,1)

(i , j) A

( i, j ) A d , i

V (14)

La funcin objetivo (8) la diferencia entre la ganancia existente por cada nodo (suma de
los pesos menos costo de nodos) y los costos asociados a las aristas. Se consideran los
costos de la transformacin del problema. Al utilizar los costos nodos y aristas
poseen el mismo costo, de manera que la funcin objetivo sigue siendo la maximizacin de
la suma de los pesos de los nodos.
La restriccin (9) indica que el nmero de aristas que entra a un nodo de la solucin es
igual a 1, siempre que no se trate del nodo raz. La restriccin (10) garantiza que hay un

Seminario 3: MWCS

camino para cada nodo i el que

yi

es igual a 1, es decir, para cada nodo

que

pertenece a la solucin. La restriccin (11) indica que el nodo raz (artificial) est conectado
slo a uno de los nodos de la solucin, el cual corresponde al nodo raz real.
La restriccin (12) garantiza que cada nodo terminal pertenece a la solucin. La restriccin
(13) se refiere a que la suma de los costos de conexin de nodos de la solucin debe ser
menor al umbral B (presupuesto).
La resticcin (13) es la restriccin de integralidad.

2.2 Condiciones de factibilidad

Para que exista una solucin factible en el problema anterior es necesario encontrar un
subgrafo conexo en el que se incluyan los nodos terminales que cumpla con la restriccin
de presupuesto.
En este sentido, el subgrafo conexo de cardinalidad mnima que incluye a los nodos
terminales debe tener un costo menor a B, es decir, la suma de los costos de las aristas de
este subgrafo debe ser menor a B.
Si los nodos del grafo G estuvieran conectados de tal forma que se pudiera establecer un
camino entre ellos sin requerir nodos intermedios, bastara con sumar los costos de las
aristas asociadas al conjunto P y que este costo fuera menor al costo B.
Expresado de otra forma, al menos un ciclo dirigido
conjunto

que incluya a todos los nodos del

P debe tener una suma de costos de las aristas de C

debe ser menor a B.

Bibliografa

Backes, C., Rurainski, A., Klau, G., Mller, O., Stockel, D., Gerasch, A., et al.
(2011). An integer linear programming approach for finding deregulated subgraphs
in regulatory net-works. Nucleic Acids Research , 1, 1-13.

Dittrich, M. T., Klau, G. W., Rosenwald, A., Dandekar, T., & Mller, T. (2008).
Identifying functional modules in proteinprotein interaction networks: an
integrated exact approach. Bioinformatics , 223-231.

Seminario 3: MWCS