HAL Id: hal-00082799
https://hal.archives-ouvertes.fr/hal-00082799
Preprint submitted on 28 Jun 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
A Set-Covering Approach for SONET Network Design
Nadia Brauner, Pierre Lemaire
To cite this version:
Nadia Brauner, Pierre Lemaire. A Set-Covering Approach for SONET Network Design. 2002. �hal-
00082799�
L L L e e e s s s c c c a a a h h h i i i e e e r r r s s s
d d d u u u l l l a a a b b b o o o r r r a a a t t t o o o i i i r r r e e e L L L e e e i i i b b b n n n i i i z z z
A Set-Covering Approach for SONET Network Design
Nadia BRAUNER, Pierre LEMAIRE
Laboratoire Leibniz-IMAG, 46 av. Félix Viallet, 38000 GRENOBLE, France - n° 62
ISSN : 1298-020X Oct. 2002
http://www-leibniz.imag.fr/LesCahiers/
! " # $ % % $ & ! ' ( ! "
) * + ) , $ % - . . -
/ 0 1 2 3 4 5 2
6 7 8 9: ; < = < >? @> AB? C =D: E > = F? = < 9G < =?8:8: B 7: 7 F <? B HD > C 8 9 =8 =?:; >;
: 7 8 9 > I >;: F 7 BA J K L M N 7 >8 @ B? O; =; = J >8G P B Q>?: 7 F <? B HD> CR S> 8 9 > 7
: C <? B Q > 8 9 > F > 7> ? =D < >?AB ? C = 7T > ? =8: B BA 8 9 > U? > > I V WD F B?:8 9 C <? B Q> I
H V P 9 QX=8 =D AB ? 8 9:; < =?8: T YD =? T =; >R
Z [ \] ^ _ 3 `1a ; >8G T B Q >?: 7 Fb = < <? B c: C =8: B 7 ;b 8 >D> T B C C Y 7:T =8: B 7 7>8G
@ B? O;R
d e f g h i j k f l h e
m n o p q r st u vw x y z {| }w s ~ v v r } r u s y s t s s ~ v r ~ }t v r r st
u v w x y vw y ~ r st u v w x y t s w yt w v s t v ~ v s ut y t v }wtt v r t s
s s y v t s s } r w } rt v y w } y ~ } s o v sy v } y } s
w r }w s t s r r x s t v st sw t u v s wy y v }y t v v w } ~ ~ s } r s } r y
} w s w v t s } t v }t ~ } } w v r t y ~ ~ s v r v r s v t s s wy } ~ ~ v w r
t v vy y s } w s y q y y } s v y y s ~ v s s ~ s y ~ } s
}t s sw r v s q s y s s ~ s y } s } t s ~ } } ~t v t w s }t s rt u ~
~ v ryt w } rt y } w r t v } } r t s y ~ v s v t y } s w
u s ~ v r y sw t }t t y ~ } }~t yt s }t s }yt }y } y t s y v t s
s } r y ut r } w r
y } s ~ v yt } r r u }t v v uy u s ~ v r y s w } vt s w ~ vy t y t v
s r s s q s ~ vy t v } w r y t y t y r sw v r v s y } r t s v }
~ v yt v } }wtt v r y t s y v t s ~ v yt y v t s w r y¡ ¢ £ ¤ ¥¦ £§ ¥¨¦ © ¢ ©¨ ¤ ª¨«¬ ® ¯ °± ² ³ £ ´© ª µ© ¶·©¸¨ ¹ º¨ £¸¸ ©§± » ¼ ½ » ¾ ° ¦© ª ¥ ¤¸© ¿ © À© ¹Á ª £¬
À¨ £Á ¤¦ £ µ ª©¦ ¨ à £ ÄÁŦ± ƨ ©¦¦ ©Á¸ © à £¨¦ © ¨ à £ ÄÁ Å¦Ç È É¨Ê ¿ ¥¦¦©Ê Æ ¥ ª ÀÊ § ¥ µ ª¨ À¨¦ ©¿§¨ ¥ ª £¸ ¦¨ ª Äʱ § É £§ ¨Ê Ë É© ª £ Ì ¤ ©¦ ¨Ê À© À¨¿ £§© À § ¥ ª ¥¦ à £¸
Ë¥¦ ͱ § É © ¥§ É ©¦ ¥ ª © Ê £ ´© À Å¥¦ Å£¨¸ µ¦ © ¿ £Ê©ÊÎ § É © ª £¸¸ À© à £ ª ÀÊ Ã µÊ§ Ä ¥ £¸¸ £¦ ¥ µ ª À § É © ¦¨ ª ı
£ ª À § É©¦©Å¥¦© £ ª ¯ Ï ® à £ Ð É £´ © § ¥ À© £¸ ˨§ É § É© Ê µ à ¥Å £¸¸ À© à £ ª ÀÊ Ë É © ª § É© Ð £¦©
ʨ à µ¸§ £ ª© ¥ µÊÁ
! ! "
#
$! % & $! % ' ( ) * & ( )
* ! ' " + ! , & - .'!
+ / 0 12
/ 32 4 " 5 6 7 !
8 9 : ; < = > ? @ ; A B C D E A ? F G ; H
I # * J K & LM N'
. !
J .
N . O
P K Q RS T NMU RSU V . W
XS K RS
YZS K [ 1 \ ] RS^
O
/ _ ` a b2 cddddddeddddddf
gih
j k l XS mS & _ ` a bn ^'
on pn
gih
j k l YZS mS q 1 r \ ] N & _ ` a bn 1 '
mS ] Q ^M 1 W r RS ] P & _ ` a bn s'
P t mS !
1 RS
u & _ ` a b ^' #
" & _ ` a b 1'
v
w x ; A y ? A H z C { ; ? y < | ; } A ; ; ~ 9 G D ? A B < | H
! " + !
O $ RS # j h
j
! "
# $% % & '
( ) * +, - ./ 0 1
./ 0 2 3
45 5 6 7 8 / 0 9
:
; < = > ? = @ A BC D % # $% % & ' EF G H $IJ D K D LM L N H $MJO P L M % Q % $ RH $ K L S P %O G T L $L SJ % % R H $ E U V W
H RX Y/ 0 3Z
4 [ \ 7 8 7] 3 ^ 8 7 _ ] 3 ` 7
+ a 8 + b ] 3 ` 7
+ c d
N D % $% ] 3 e 5 f g5 f h 3i j k l
] 3
/ P R m0
! :
n > ? >oo p ? q A BrH $ s tX u / 0 6 Y/ 0 6 u/ 0 8 vi [ \ ` 5i 3 ` 5
3 [ \
6 5 wx 8 ^ y
3i
d
N D % $% u / 0 z 3
[ \ { ` v
i [ \ 8 53 8 vik l
! 2 | 4 5 5 / }0 ! 1
~ 1
:n > ? >oo p ? q B Y/ 0 + l ! ( )
! " # $%& '
( " # ) *
+
, - . . / 0 12 34 4 5 3 6788 7 9: ; < = >: ? @8 = > 7 A8 3 ? B @ ; C :4 D C E @8 F A 3G
H BI J
KL M NOP QP R N S T
N S U H FI J
KL V W TOP QP W R X M
W S U
2 34 YN A 3 @ 63 @ D: A8 3 D 78 E4: 7 ; 6 7 > H BI >3 4 E > ; 3 C A Z @ ; @8 < 7 >:4 5 ? @ ; C 8 34
A 3 " S [\ ]6 4 5 3 >3 : D @ D E ^ 5 4 5 @4G_\ W ` $& : D 63 @ D: A8 3 6 7 > H FI a R X "P Mb S Uc @ ; Cd\ T S M YN
4 5 3 ; : D @ "e @ = = > 7 f: ? @4: 7 ; 6 7 > = >7 A8 3 ? H BI a G YN X "P N 67 > @88 63 @ D: A8 3
D 78 E4: 7 ; N 7 6 H BI c\ g
h i j j k 1
N H BI l +
"P M N m nop qr st
S R N
m su qvt
S T
mrv qpwut
S M YN
) ( YN " V
x
+
H B yz { |}I H F ~ |}I
J
KL
P N
OP MP
|P N S [
N S U JKL V
W
OP MP
W X R
W S U
! ! " #
$ % "& '( % % ) *+ , -
) * . /(0 1 234 534 & ! 6 ( 7 ) *
8 ( % 9 9 6 (#
- & ! % " % ) ) )
$ ! !& ! " " : "&
! ! /( ) * ; &
) ) 7 ) & ! % . /( 1 < 5= > ? ( 2=4 5=4
; !& % / 1 / (# ( > @ % - "
% A. B
( > @ / ( 1 B
( > @ B
5= > ? ( 8C 6C
1 B
5= > ? D 8C 6C B
( > @ ( E
1 B
5= > ? 8C 6C C 6C 1 B
5= > ? 8
/ % - " F $ ! &
) G. H 6 I J . B
( > 5= /( GK 8 #
/ % - " L & M %
% G N# % 7 # : "
G N#O & P , Q +R ! ! ! ! )
) " : "S T U U V W XY Z[ 6 \ Z ] ^ Z_ Z ` Z ^[ a b Jc Y Z[ *de *fe K K K *4 5=4 \ Z [ g Z Z h i Z j k ^ 6 ^ l ` \ Z mZ h
bma ` n [ a C 6Co pk[ g mZ j q Z r[ [ a [ g Z a m h Z m a b j Z_ Z r[k a ^ \ s t mZ Z h sc u [ g Z mZ
] mZ ][ ` a j[ v w Z h i Z j a b 6 j Z_Z r [ Z h \ Z b a mZ * x yc zZ g ] { Z|
/ (} 8C 6C w v ~
3
= = = 3
! " # # $ %
& ! '
()* +)* , -. ! /
0 1 2 0 &
1 3 ! 4
5 6 7 7 8 9 : ;< =; > ? ;@ ; A ; ?< B C DE : ;< F = ; > G H =I G ;< B C JK< L % ; M N ; GEO ; L > P ;Q
RTS
U V WS X Y $
Y Z % [ \ $ [ ] % [ ^
CB _ ; P ; _ ` G B@ H<K B ? _;< H _ ? ; M = ` a _;; M `E b
dc
& 0 e &
1 f g 3 h i -.
i ! j k l 3 3
F! Fm F 1 & !n Y f h 1 3 & X i - .
i 0
! o 0 Y f h 1 3 & Y
& 1 i -.
i 0 ! " e
p 1 & Y ! j q 3
p r Fm f p 3 & p r Fmh!
j k . 3 Fm 1 p ks
3 1 t 1 &u % v kl $ k. $ ks u
w k . $ k s
[ x $ w kl $ ks
[ x v % f yh
' q z % kl u g 3
% kl $ q & Fm Fm % &
3 ! o g 3 u % k l $ q X %
u q X k l $ ! { 3 q | k. f h 1 u
k . X k l $ 1 q v k. k s v }! o
1 u k s ~ } k. k l $ f KE ;E u k. X kl h
k s v } k. X k l $
{ g 3 f yh 1 & u f k. $
s h $ f k l $
s h v % !
c 1 u
k s ~ } k. X k l f k. $
s h X () , .
s X () , .
s t
k s v } k. X k l $ k. v f k . $
s h X ()
s ! " k. %
u f k . $
s h X ()
s v () , .
s !
! " # $
% & ' ( ) ! $ # * +
+ ! $ %& , -
, . / !
0 1 -
1 2 , -
, ( 3 + 0
$ ! $ 45
& 6 7 %& , -
, 8 , -
, ' , -
, 8 9:
9:
! ; 0 <
5
& 6 7 %& /
/ = /
/ > ? @
; 0 A , -
, A +
5
& 6 7 %& , -
, B , -
, C D EF G
H
, -
, D EF G
H D EF G
H
5
& 6 7 %& /
/ I
J
K
L 0 M A 0 /A ; 0 $
N ' N / O * ( P M 0
Q R S T
5
& 6 UF % & ,5
V W E X Y
, = /
/ I ,
J ,
> Z
0 * * M 0 * [ , \ / [ + ] ( ^ / ' / ' A ! ! 0 * +
$ _ Q R S T ` R` ' ( L * * a M M
4 ' R( ^ ! 0 ' bA ; 0 c ( 3
! ! ! $ / '
5
& 6 UF %& '
, = /
/ I ,
J ,
> ' de
! " #
$% & ' ( )
* +, - ./ 0 $%0 " 1
(
2 ' 3% )
465
7 89 :5 " 2 ; 3% " 2 ; 3%
* +, - </ 0 $%0
= ' $% 3% 3 > ? @ = & 3 >
& ' A ' B @ C
1 3% ? D ' $%
E > F G9 HIJ K I G9
> F J HIB 3% 1 '
' > HI
> L G9 F IM N ? O G9 F IM P Q )
3% 45 7 89 : 5 " >4J K G9 R ?
3% S ?
T 3% 1
U ? V 3% 1
W X
2 1 Y ! @
A )Y ! @ G9 F I
4ZJ
K G [ R
1
3 > ? @ S ?
T 3 > ? @ 1
U ? V 3 > ? @ 1
W X
?
3 > S ?
T 3 > 1
U ? V 3 > 1
W X
Q \ Y ! @ A ' ]
Q @ C Y ! C C
! "# $ % & '
! "# $ % ( ) & ' *
! "+ , % -./
! "0 , % 12/ '
*
'
3
4
! "
# % 1.
% 0 56 789 + :
! "
+ ;
<
<
=
>? @ ? A B C DAA @ E F D G A ? H FA I ? H
$ % (J K I
3
4
3
4
=
L? H M N @ @ E F O A DD M @ B C A D G@ ? P J Q @
N @ B C N O E R A G C NA S ?A NA SD O A @ G @ S ? ? H J
KA @ C N S ? ? H N @O T UV V W X D I ?A H @ E @ Y M I C ?Z
@ ? Q [ \ ] S ? ED HJ ^ ? F ? @ I C ? @ ? S @@A HA@A NO
? S ? F G ? A G @ @ H E A I J_
!" # !" # $ % # & ' (# ) *
+-,
. / (0 ) % # & ' ( 1
2 3 4 4 5
0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
2 3 4 5 6 7 8 9 10
1/x 1/(x-1)
6 ( 7 8 9 : ;<=> 8 ? 8@ A BC ;< C ;> 8@ D
EF GHI JEF GH ; ? K DE LG
F LG G
H MG
N O
# $ O P Q R 6 (S
T *
/ (U VU ' (# ) *
+W,
. / (0 ) T * X Y
/ XY (U Z ( VU ' ( [ T *
/
(U
VU ' (
\] ^] % # & ' (# ) * +
, . / (0 ) % # & ' ( _
(
! "# $ "
% $ "
& ' "( ) $ ( * ' "( + ,
- . / 012 3
4 5 6 7 7 4
6 %
, $ " $ 8 6 %
, $ "
$ 8 (
8 "
% % ( ' ' "
, & ' "( ) $ ( * ' "( + ,
"
% ( % & ' "( ) $ * ' "( + , ' ' "
& ' "( ) ,
"
9 ( ' ( ' ' "
- . /
0;:
< & ' "( )- . / 0= ! > ?
? :@ : = ! >A
? B
7 8 "
% ( ' ( ' ' "( , ( ' (
5 C ( D 5
6 %
, $ " $ ( ' ( E
5 5 6 D F G 6
8 "
% ( ' ( ' ' "
' (
( ,
"
% ( ' ( '
( $ " $
( ' " ,
( ' "
$ "( ' "
( $ "( ' $ "
5 C H 5 ( D 5
E $ ( ' "( ' "
!
" #
$ % &' ( ) * &+ , - .+ - /
+ & 0 /
& 1 ( ) * &+ , - / 23
% 4
! 0 4
5 !
! 6 7 & .'
8 9 : ( (( ; +" 9 ( 7 (<
( ; / ( = > ( ; ? ; @ " $% &' A B C
( = >
ED
: " 7 7 F4 F! ( ; : " 9 : (
? ;" ? ;" ( % F4' A B C ( % F!' G " ;
( 7
! 7 ; : ; 7 9 : (
( H I J K L M N O P J KQ : R : S (T ; ( 7 < : ( "
( 7 U V W" : 7 <
" 7 ( G :
( 7 ? X Y<
( % R W Z [ \ ]' ( ( ( ;
( ; (^ ( : 7 6 7 < :
7 ( 8 ( " 7
? ( ? " <
7 ( ( ;
" ( _ L ` K J a M b c d b e b K f Og 7 ( ^ : R 7 ( : 7
" 7 (( Q ( 7 (
h 8 7 _ i J e b K N e b j P L k M l kM N b O
8 + . : ( 7 : ( 7 $" : ( ; 7 ((
: ( 7 & +
0.8 1 1.2 1.4 1.6 1.8 2 2.2 2.4 2.6
0 5 10 15 20 25
! " # $ % &
1 2 3 4 5 6 7
0 2000 4000 6000 8000 10000 12000 14000 16000 18000 20000
'
()* + , -
./
0 1
! "# $# " % " $ % " & ! ' ( ) * ! '+# ,! - . / ( ) 0 1 ' 0 2 3#+ 4 ! 5 1 ! - # -6
.7 8 9 : ; < : ; = 4> ? @
A CB
DE F G H IJK H . / LM EKJ N M O J O N P QK FJ Q M R J Q K H M N P S GT MK M DE F G H P U . / L MEV
KJ N M OW X H M E M U PE MY K H M SJ QJ S Z S . / JO E M F N H M R U P E K H M O S FTT MOK N P S GT MK M D E F G H
IJK H FK T M FO K 4 M R D M OWB N P S GT MK M DE F G H IJK H . L ME KJ N MO H F O [\ [ ] ^_` M R D MOW B Q R K H ZO . / J O K H M
O PT ZKJ P Q PUa SJ Q b . a . c de .f . g : h
> c 4 i
X HJO T M F R O K P F O M N P Q RV R M D E M M M j Z FKJ P Q I HJ N H O K E FJ D HK U PE I FE RT k DJ L M Oa
.7 8 9 : ; < : ; = 4> ? l
m
n :o p F RJ F qE F Z Q M EY r L MO s E F S FY tJ ME E M u M S FJ E MY F Q R s HEJ OK MTT Mv k Q F QK OW s P S GT M wJK xM MK F G G E P wJ S FKJ P Q G P Z E T F N P Q N M GKJ P Q R M ExM O M F Z wy z p { X | y } ~W X M N H QJ N FT M G P EK :Y u MO s F HJ M EO R Z u F P E FK PJ E M u MJ QJ V B Y > d d >W
n >o F O M s H L xFK FTW B E M M R k ~ M Z EJO KJ N U PE K H M y MKV s P LM EJ Q D t E P T M SW 0+
( ) 2 ! ' ! -Y f ha > > Y : W
n o zTJ LJ M E PT R O N H SJ RKY } P EJK yW ~ P N H F Z SY B O FU u M LJ QY F Q R {TJ W zTJ QJ N W
X H M y z p { X { R D MV t FE KJKJ P Q t E P T M SW !+ 3 ( ' -Y > d d > f K P F G G M FEhW
n o tJ ME E M u M S FJ E MY p F RJ F q E F Z Q M EY F Q R ME R J Q MW Q M SxMK H P R M K F P Z
G P Z E T F RxM N P S G P OJKJ P Q R M E xMO M F Z w y z p { X | y } ~ M Q F Q Q M F Z wW Q ( 0 5 ! ) , ( $ 1 '! - 5 ! 0 - ( ,#
! + ! )' 0 $, 0#- ! 5 ! ' !, ! ', ! ( 2
! ' 0+# ( $ $ ! ! !+
5 0# 5 ! 0 0 5
! ,# -# ( $Y t F EJ OY M E Z FE k > d d >W P F R MUW
n o X H M y z p { X ~ P S M t F D MW HKK Ga | | I I IW O P Q MKW N P SW
!
" #
$
$
$
$ !
% & ' ( ) *+ & , ' - . / ) 0 1 , ) 2 1+ , & % &+ 0 3 + 4
"
5 6
7 "
8 9
: ; <= > ? @ A B ? @ C D >= ; E
$ F G H I J
$
9 8 9
$ K 7 7 L
$ ! M N O 5 7 7 F
P Q RS T US V WX SY Q R Z [ \ T]Y X T SY Q R ^ _ T U ` a P Q b SY RcY d W US W b d e W ] T f b g]Y U TSY Q R ^ hY U Q] T X i T] T U j Wkk
l m m h ^ n o p q r s o s t r u ] T g Qd T S QYd W v WY g RY w