Графы многогранников и сводимость задач комбинаторной оптимизации(Диссертация)

. .. ...

Author: Максименко А.Н.

2 downloads 48 Views 532KB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD PDF

DOWNLOAD .DOCX DOWNLOAD .PPTX

. ..

01.01.09 -

-

: .- . , . . !

2004 .

3

1.

12

2.

23

3. !

31

1.1. & . . . . . . 12 1.2. ' . . . . . . . . . . . . . . . . . . . . . . 18

2.1. ) * . . . . . . . . . . . . . . . . . . . . . . . 23 2.2. & . . . . . . . . . . . . . . . . . . . . . 26 3.1. 3.2. 3.3. 3.4. 3.5. 3.6.

- )./) . . . . . . . . . . . . . . . . . . - 2-01./'1234 . . . . . . . . . . - 6 -67- . . . . . . . . . . . . . . . . . . - 3679'7617 21:73 /7 . . . . . - 6<)- ) 6 -!/7/7 . . . . . . . - )1''/1 =76 . . . . . . . . . . . . 3.6.1. - . . . . . . . 3.6.2. - > . . . . . . . . . 3.6.3. - &? " " 3.7. - ./7AB/A C34 . . . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

31 37 39 42 47 57 58 64

. . . . . . . 66 . . . . . . . 67

4. # !

70

& '!

81

85

4.1. - D . . . . . . . . . . . . . . . . . . 70 4.2. - &E . . . . . . . . . . . . . . . . . . . . 75

2 * * ( ) ? ?E * & && & &E H. H *D > & & & E, ?IJE * E E D . ! & , E & , * H D& DE * I *DI . 2 > IJ *. - ? X >& c : X ! R, &J& ? H x ? X c(x). 3* & H x 2 X , & >& ( ) , & E x 2 X c(x ) c(x) ( c(x ) c(x)). 2 ? E > * &I & >. /E && & * E ? X . 2 & /. I " ", | D . * & & . : ? n , E , && ? . 3* & D ? . ( &, D ? E .) H X | H ? E ?E D . )* E ? X && &, , H> jX j E E D . 3,

4

& D

jX j = (n ; 2)! P k1! , *?, k=0 (n ; 2)! jX j < e(n ; 2)! e = 2 71828 : : : n;2

/ ? & 20 E D D 1016. / H * * , J * H E, * . ) ?I, E H E ? >. , & D& ? > & ? ? & '- N33, 52], P -CD N33], ? E I . ? & & *D E * > H E . D ? ? ? D , && > &. (3& , && , ?, , ? ? * *.) & > , * , && & & D , ? & ? H . 1 H * && & , E I DI. ) &J E H . ( E & ) E H ( ) & , * E 2. ), 6. ), .. . (. I H ? N13]). Q & I & NP E *E . E E & , ,

5

&, ? "J " * >. , > & , C , > & I & : , & H x 2 X , & c(x) C ( c(x) C & ). 1 ? H ) N22] E NP -E , &&I & ? NP . ? ? D &, , && ? > &: 2J ? & , D * C ? E *DE H E D& E * E D . /, H , I*I , && & NP -&, & D . 2 , & , & &, IJ& I D , && & D , IJ& >& & D . I , ,

D E , & & & &J & ? & . E DI * * - E > . & (. . * N10]) H ? X E D ? J Rm ?, * , >& > c(x) && & : c(x) = (c x), c 2 Rm . 3& >& & & M (X ) X ,

6

&IJ * I * conv X . D & ? & E * E E (? E ) H E E > ? IJE E E E . * & E ? (, D, I* E *). / (. I ! N9]), H && & ? > ? IJ D , IJE &. C N9], H & & * , , "? " , >, &, " ", D * >. 1 * *E E . - , & D * & E ? " ?" , E D . ? & J && & & . J ? E && & ? & E E E ? . , & * &? &. 3, , N61] , & &? * & ? E *E D && & NP - . 1* IJI, *S &IJI E -

7

* . ) , & * - & E & ( E &J ), & ? . 2 , & , & E DE , E * , H> ? > H E (. * !D N4], ! N6, 9], D N11], ' N28, 30], 2T N35], !E ' ?* N42]). ? & & DE ( & E ) E ? > (. * ! N1,2], ! N5,8,9] B N7], ' N26, 27]). Q , ? & * E E E J & &. & H & * *S E I I * , " " * E DE H>. &J * & H &. 7 & E . 2 , & * > *? & IJ I* . 7 X & Y ,

, , E E E *? & , , ? E E E . 3 && & & * >. 2 , I & > | *& E E E . 1 , H & * ! N5, 6] & ? I

8

? I IJ . & I H > ? & , * | & >&. 1 &, * && & * * J & & , E . 3, JI *& ? * - E ? & E , & E I *JI . H * *? * N28] D , , , I & & > & . , ?E & , X Y * ? E E E * & I *& ? E E E . H && *? &, M (X ) & M (Y ) . 3 * & , "* ? " ? " " . , H ? & && & IJ D p(X ) p(Y ) : p(X ) p(Y ). 3, & & * > && & E I ? . E? I I , , , & J E . -, E & & * > > > . 3 & &

9

* ? &. -, &, * > D * E E E E E E . 3 * & & E * . I & & ? . )& &, & J, ? : D, D, , ? E H . E ? ? > . , I . , *S &IJ : E , ? D . H 01./'1234, &J * ? DE & &

)./) . 1E I I * , I ?& . * * ?

, E I E ? . 1 & * &J . 2 ? & * ? E , I & . &J ?I D& . ? & *

DE . & & & & *&, & * >. , * & & "H ", ? IJ * * -

10

. & & " " | > )./) . &, H D 2n, n | . D E >I. ) & & " " "J " &, & & . 3 * & & H> I H . > & H J * & E? >E &. Q & & >E & & & &,

N13]. 3 , &J * ? . 2 H * * (. . 1). )? & , &J , ?I , , E &J & >. ? "&" )./) . E I D * . E > & D , IJE N13] NP - . I & * - DE : D , &E &E . & *& D & & . &, H & &E, & > &E.

11

)./) , 76B/17 1)603/7, 7- /2/'17 '1=7231 ZZ B BB ZZ ZZ~ B B 2-01./'1234 6 -67 B BB BB BN 3-21:73 /7 )1''/1 =76

? 6<)- ), 6 -!/7/7

? ./7AB/A C34

6. 1. & DE . ) , E * & , * * * E . 3 *, &I J * I & . /, >, & & > &, & ? , I & E , *IJE & D& * & .

1. 1.1.

& & > & & * E & * ? , . * & ? ? & & Q'. Q & * , " I" & D *D > ? & E > I & D *?. / , D JI Q' IJ & "ED " : ( > , *E & D& ) ? E E E E . 2 , H> E I & "E". 1, & E & H . /, , *

D E . * *S & & H * NP . ) ? & &? ()1''/1 =76). & * D G(V E ), V = fv1 v2 : : : vng | ? D, E = feij = (vi vj ) : 1 i < j ng | ? *. ? * >& : E ! R, IJ& ? * eij 2 E cij = (eij ) 2 R.

>, E &J ? I D

1.

13

. - &? I & : 2J G >, & * * * D , C . 6 ? ? & & , I & IJ. - X & Y , , J &, & && & . N48] & &? D , * & D. ? D (-) &. 6 * D G0(V 0 E 0),

V 0 = fv10 v20 : : : vn0 +1g | ? D, D s t . , D& *J , * , s = v10 , t = vn0 +1. )? * e0ij 2 E 0 & bij = b(e0ij ) 2 R. U , J G * >, IJ & D s IJ & t, & * * * D , B . 1.1. n ! n + 1 : #$%-

/ +,. * . cmin cmax

%&$'()*

& * G &?:

cmin = min fc(e)g cmax = max fc(e)g: e2E e2E ?, cmin < cmax C > n cmin , & . 3 * G0

1.

14

D D IJ : 8 >< cij ; cmin + n (cmax ; cmin) 1 i < j n bij = > c1i ; cmin + n (cmax ; cmin ) 1 < i < j = n + 1 :0 i = 1 j = n + 1: ) , B = C ; n cmin + n2 (cmax ; cmin ). C &, C > n cmin , B > n2 (cmax ; cmin ). 1 I ,

G0 * D B , H n *. ) , * &, (v10 vi02 : : : vi0 vn0 +1) & I D& D , > (v1 vi2 : : : vi v1 ) & I D& &?. . Q & IJ . - D & n + 1 DE J &? & n DE. & * & & E . / IJ D ? 2. ) N22] 70-E

. " ? " NP 01./'1234 (0). , * ? & NP 0. Q ? J & D & . 3, * , & X && & " ? " NP , * & 0 . CD H E ? & "E ?E" , NP . , & N13], & "E" NP -E : - 3- (3-0), D (), 3- (3-2), 6 -!/7/7 )1''/1 =76. &J & ? NP -E & D E?E . / E , & n

n

1.

15

& *D , D& H E . & , E *? D & ?. 2 & H D , * NP -. , ? NP - , >. 3,

D && & >& &?, * & > . - , E &J * , *E * & ? & >. 6 & E : 1) - >: x 2 X > > c(x) . 2) - &: 1 , J x 2 X , >& >& c(x) , D , C : c(x) C W J , . / & , & "J" >. 2 , ? , D &, >& >& ? > &, ? : jc(x)j N , & E > , & D * >, & D& & *, log2 N . 3 *, E > & I & ?. ) , , ? *I E & > ? I I . & H * & D > & -

1.

16

IJE &. I >, & >I &? > D . ? . 3 E * & , , > G D G0, J D s D t.

1.2.

n

$.

(#)

. -

n + 1 : # / +,. * . 6? & H . ? , & D &? & " " I, * c0ij = c0 (eij ) I & IJ &: !

;1 c0ij 1: : * *JI H " " I, ? s X c ij c0ij = kck kck = (cij )2: 1i<j n 1 , & & * D&, ? > D ? & k1ck . IJ H " " -) -. 6*

G0 D D IJ :

8 >< cij + 2n + 1 bij = > c i + 2n + 1 :0 0

0 1

1 i < j n 1 < i < j = n + 1 i = 1 j = n + 1:

(1)

* &, G0 D ? * , &J n *. , (v10 vi02 : : : vi0 vn0 +1) | n

1.

17

D G0 , (v1 vi2 : : : vi v1) | D > G. . 1 , I* & > * & & &. Q , & "J" >. ? & * * & . H D . J & >, * & D. ) ? , > ? : . * & x 2 X , >& >& c(x ) ? X . - > , & ? ? E D X > > c0(x) = ;c(x), * , & . 2 , & & . / H H , >I *& ?&, > I & , . -& , , H & D * & E ? " ?" , E D . H "&" && & ? , &&IJ * E D , E > , >E . n

1.

18

1.2.

I E I ? &?. , ? , G(V E ) | * D n DE, * & > . 6 ? X~n E E > H . Q ? J I ! . >E E > ? > ? X~n ? Rm . & &? ? m = jE j = n(n2; 1) (2) ? * eij 2 E xij x = (xij ) 2 Rm . 3 & ? > x~ 2 X~n E x = (xij ) 2 Rm :

xij =

(

1 eij 2 x~ 0 eij 62 x~:

(3)

1* Xn ? E E . 3 &? c * * & > ? Xn > (& &): (c x) ! max

x 2 Xn :

1 ? * & . " &?" & , ! . c E E E I n * > ? Xn > (c x). 1*: & NXn c]. ' Xn E E n c.

1.

19

, * > , >, && & & *, & & ? X = Xn, I & : M (X ) = conv X . D & ? * &. 2 , & & * > (-)1) & ( , , I 7, ) )> N15]). Q * & , * & I > 70-E

. 9& N36] ( ) N56]) D& & (-.), ? H & D& DE * >. ) ?I, & , ? E ( ) * * D *J E . ) , ) N57] , * & E D * && & D . 3 , H & E &J & & (., , * N12, 14, 17, 38, 46, 59, 60, 65]. &&I & E , IJ DE . 1 & H I* , & . N14]. - , & ? && & *J & DE . 3, &? & n = 9 ? 42 104 442 * 51 043 900 866 & n = 10 (. * ) 6 N47]). ? & *-

1.

20

E E E ? IJ . 1 H & & * N9,15,25,37,66,67]. P & D. 3 x 2 M (X ) & M (X ), & c 2 Rm , & I* y 2 M (X ), x, (c x) > (c y). /, , x && & D & NX c]. / & , ? D ext M (X ) M (X ) && & ? ? X : ext M (X ) X . D * , & ? D& x 2 X & E E E c 2 Rm , H D && & & NX c]. , D& *J , D x ? I ? E D . 1 , H ? & E E ? . Q , , ? X ? D :

X = ext M (X ):

(4)

2? D ? IJ *. D x y 2 X I & ( *), & c 2 Rm, & & NX c] E D& x y, , , & ? z 2 X n fx yg (x c) = (y c) > (z c). 2 , G(X ) M (X ) ? D * . * I & E

E E D, , . . E *-

1.

21

?I I & & E E ? . &J , , & E ?

. Q , D, I* E ?. ! N9] , && & ? > ? IJ D , IJE &. ) H & & * , "? " , , >, , &, D * >. ) , * (. N9]) IJE DE : )1''/1 =76, )./) , 7- /2/'17 '1=7231, 76B/17 1)603/7, 6 -!/7/7 )./)/, 6 -!/7/7 367C1.4/)/, 3679'7617 21:73 /7, ' )2/' .40A 6 -67-, 1)603/7 ' 36/U0 * . / & E H E H> ? > . ? &, & E DE , , &E * N1,2,5,7,8] E > . 6 &, & E ? E " E" . N9] ? > P (t) = c1t+c1t2 +c3t3 +c4t4 ? T = ft1 t2 : : : tN g, t1 < t2 < < tN . , DIJ H & O(log2 N ). 2 , H , D ? xi = (ti t2i t3i t4i ) 2 R4, i = 1 2 : : : N , ? -

1.

22

>E (. . N15]), E E , > N D. 3 , && & I, ? IJ . I *J *

E I ? . J I , & ? > ? E ? " E E" . ? I & ? & H E . / , , ? & ? E & E D &? && & NP N61]. 7 & , * E & & E DE (., , N9,28,30]). / E & &&I & > . 1 &, H I >I ? , > > | * E E E .

2. 2.1.

X Rm | ? E D . 2 & N9] & ? x 2 X ? K (x) = fc 2 Rm : (c x) (c y) & I* y 2 X g , ? X , K (x) && & ? D E E , , & * . 2 E K (x), x 2 X , & ! Rm E E E ? X . / N9], * &&I & . Q , , && & IJE E. 2.1. , (4) , X , ,

K (x), x 2 X , . 2.2. x y M (X ) !, ! K (x) K (y ) 2! !

. , ! ! .

H G(X ) M (X ) * ? ! Rm ? X . 1* * , & N9] & & E *& . / " &J " E ?

2.

! ""

#

24

H && & *&. ? && & . ) , & & * E , & *& ? & E E , ? E E E I & &. I X Rm D > . 2 >I > . 6 X D ? E E E. 2 & *& & H . - , ? E E E & * > R;m = fc 2 Rm : c 0g. 3 * R;m ? X * & K ; (x) = K (x) \ R;m. 2? *& * Rm . ! , K ;(x) K ;(y) ?, & c 2 R;m, & I* z 2 X , x y, (c x) = (c y) > (c z ). , D, *& * ? > ? & . ?, 4.1 * , & H *& . && ? & H & &. 6 X Rm >, ? E E E & * ? (H ) S Rm ( S ? * D , Rm). ! * I I (X S ). H * ? S ? X * & H K (x S ) = K (x) \ S , x 2 X .

2.

! ""

#

25

GS (X ) *&

*& Rm : + 2.3. , 3 (x S ), x 2 X , ! !

GS (X ), !2! s 2 S , y 2 X , x, (x s) > (y s). & , ! , x ! ! GS (X ), s 2 S , x ! NX s]. + 2.4. GS (X ), !2 3 K (x S ) K (y S ), , s 2 S , z 2 X x y , (x s) = (y s) > (z s). ! ! , 3 K (x S ) K (y S ) . 2.5. 4 GS (X ) !, G(X ). $: GS (X ) G(X ). 6 ? , S = Qm = fx 2 Rm : ;1 xi 1 x = (x1 x2 : : : xm )g | * *, 2, > . - , & NX c], c 2 Rm , & NX s], s 2 Qm . & H & s = kcck . 2.6. ,! X Rm , X = ext M (X ) Q = Qm, GQ(X ) = G(X ). 2 H , & I* c 2 Rm , IJ ? D x y M (X ), & s = kcck , &IJ I ? H K (x Q) K (y Q).

2.

! ""

#

26

2.2.

& & * & IJ, J , *J & * >. ? , & X Rm * > Y Rn , ? NX c] & & NY b]. C &, E && & c E E E, E , * A, IJ ? Rm E E E ? Rn E E E . ) , , , & ? D& x 2 X * " " y 2 Y *, * & IJ : & I* c 2 Rm , & x 2 X && & D NX c] , " " y 2 Y && & D NY b], b = A(c). ? , * & " " & x 2 X , * * B : X ! Y . & H , * &, & * A . + . ! , (X S ) & ? E E E S Rm Y = (Y Rn), m n, & 1) ? *? A : S ! T , IJ - S ? T Rn ( *? ? t = A(s) = Ks + d, t 2 T , s 2 S , d 2 Rn K | > n m, rang K = m),

2.

! ""

#

27

2) - B : X ! Y 0 ? ? X ? Y 0 Y

, & ? s 2 S IJ :

y0 && & D NY A(s)] , y0 2 Y 0 x0 = B ;1 (y0) | D NX s]:

(5)

& E *: (X S ) /A Y . . 2.7. % T ! ! S . Q ? *?& A. 2.8. + x 2 X y = B (x) 2 Y 0 3 K (x S ) K (y T ) . 1* K (x S ) K (B (x) T ). Q ? *?& A & (5). 2.9. 5 K (x1 S ) \ K (x2 S ), x1 x2 2 X , A ! K (y1 T ) \ K (y2 T ), y1 = B (x1), y2 = B (x2). l l 2.10. T K (xi S ) T K (yi T ), xi 2 X , yi = B (xi), i=1 i=1 1 i l. Q && & **J JE

E . 3, & , & ? . 2.11. ,! (X S ) /A Y A : S ! T , GS (X ) = GT (Y ) G(Y ). 2 H 2.8 2.9. & 2.6 2.12. ,! (X Qm ) /A Y , G(X ) G(Y ). 2.13. ,! (X Qm ) /A Y , p(X ) p(Y ), p() { !2 .

2.

! ""

#

28

: * & , * & ? & D, . ?, &? (-)) & D (-). & H & & H E , * ? 1.2. 2 >I * & D ?& > *&. '? E D * * *D *. H~ n | ? E > G n DE (* E * & : Hamilton's circuit). 3, D (3) (. . 18), ? X = Hn E E E E >. Hn * ? E D > ( &?). ) * D (. (2)), X = Hn 2 Rm, m = n(n2;1) . & -, , G0 n + 1 DE. L~n+1 | ? E E * > G0 , JE D s = v10 D t = vn0 +1 (* ? E Longest path). '? Y = Ln+1 E E E &?. 3 y = (yij ) 2 Rm+n , 1 i < j n + 1, ? ? Y , & y~ 2 L~n+1, ( 1 e0ij 2 y~ yij = 0 e0ij 62 y~: , 1.2 * H . H *J& -) & " " I (X Q), ? E E E & * * Q = Qm , m = n(n2;1) . , H H "? & ? E E E" E & & &

2.

! ""

#

29

* >. / H 2.12 & & * " * " (X Q). H (X Q) & Y . ?, H . . , (1), &IJ& E E E *E , & * *? A : Q ! T . - T | * E E E & -. , ? - B , ? > (vi1 vi2 : : : vi vi1 ), i1 = 1, (vi01 vi02 : : : vi0 vn0 +1) G0 , &J n *. 3 *, ? Y 0 & | H , D , ? E E E E G0 , &JE n *, JE D v10 D vn0 +1. /, >, (5) * IJ: "(v10 vi02 : : : vi0 vn0 +1 ) | D G0 , (v1 vi2 : : : vi v1) | D > G". / , & : n

n

n

n

(Hn Q) /A Ln+1

2.14. 5 G(Hn)

! !

G(Ln+1)

!.

2.15. , p(Hn) M (Hn) p(Ln+1 ) M (Ln+1 ).

3 *, & & * & I , D ? &?.

2.

! ""

#

30

) , & D & D& ? * E , & E. 3 *,

* & > E ? * & & , )./) . H , & * , & H>I E ? &E , * , &J )./) .

3. ! "# 3.1.

6 IJ & ()./) ). - * D D G(V E ), V = fv1 v2 : : : vng | ? D, E = feij = (vi vj ) 1 i < j ng | ? *. 7 * eij cij 2 R, D vi cii 2 R. - : ? D U V , 0 jU j n, , G(V E ), & H E DE, * E &JE * D, . . & I* W V * P c P v v 2U ij v v 2W cij . 2 >I & H ? * eij xij , ? D vi xii & x Rm, m = n(n2+1) . ) G(V E ), * ? D U , x i

j

i

j

xij =

(

1 vi vj 2 U 0 E &E:

1* Cn ( Clique=)) ? E E . D M (Cn ) )./) * I * H ? Cn . H & & *. 2 E * >, & & , & . - & D * . 3, )./) ? * > E-

3.

! % & '

32

D NP - 0-1 &: max

x2f01g

X

n

1ij n

cij xi xj cij 2 R:

, ? * NCn c], c = (cij ) 2 Rm . / & * , &JE H (., , N19, 44,50,62]), J & * . 2 , & ? & , H ? ED "&> ", * N63]. H & * * (. ! N45]). H E E &J * . & * * * & * H E E ? ? * & . N14], *? *D ** . & * > ?, H * * N9], ? * > & , IJ N13] & IJ : )./) , 7- /2/'17 '1=7231 76B/17 1)603/7. 3, & )./) , G(V E ) D *, * & E &JE *, * ? ? ? E . , H ? * & NCn c],

> c = (cij ) IJ :

8> <0 ij = > 1 : ;n

2

i = j (vi vj ) 2 E i 6= j (vi vj ) 62 E i = 6 j:

& 7- /2/'17

3.

! % & '

33

'1=7231: G(V E ) * & J ? D V 0 V , D V 0 * E . & H > c *

8 >< 1 ij = > ;n :0

i = j 2 (vi vj ) 2 E i 6= j (vi vj ) 62 E i 6= j: - D I & G(V E ) J ? D V 0 V , & ? * (vi vj ) 2 E E & * D vi vj ? V 0. ' M (Cn0 ) H & * " ?" M (Cn) )./) :

M (Cn0 ) = e ; M (Cn) = fe ; x : x 2 M (Cn)g

e = (1 1 : : : 1) | >. 3 *, M (Cn) &&I & E E E E . 3 I H . ? , H

ED (., , N9,14]) && & &J * . 3 & I H . ) , & , H && & & &J * . / H ? & IJ . 6 M (Cn) )./) ?,

? Cn &&I & D H . 2 & I D ?, & I* x 2 Cn & c 2 Rm, & E y 2 Cn n fxg (x c) > (y c).

3.

! % & '

34

- x 2 Cn . Ux | ? D P x . k = jU j. * IJ . 1 jUxj = ii x 1in c:

8 >< 0 cij = > ;1 :k 1

i 6= j xii = 0 i = j xii = 1 i = j:

y 2 Cn n fxg. Uy | ? D IJ . 3 ? : 1) Uy Ux, ?, Uy = . 3 , , (y c) < (x c) = 1, 2) Uy n Ux 6= , & vi 2 Uy , vi 62 Ux. yii cii = ;1 (y c) (x c) ; 1. / , Cn = ext M (Cn) .

3.1. 7

M (Cn ) -

.

* . 2E *

N9], & & & , J " &" D*. ? ? & &I & I . x y | D (Cn). & E ? c 2 Rm , & (x c) = (y c) > (z c) (6) I* z 2 Cn nfx yg. 1* x~ y~ G, IJ x y, Ux Uy | ? E D. / kx = jUxj, ky = jUy j. 6 .

3.

! % & '

35

1) jUy \ Uxj = 0, Ux 6= , Uy 6= . ?

8 >> ;2 >< 0 cij = > >> k :k 1

x

1

y

xij = 0 = yij xij = 1 yij = 1 i 6= j xii = 1 yii = 0 i = j xii = 0 yii = 1 i = j:

. & &, (x c) = (y c) = 1. 1* Uz | ? D , IJ z 2 Cn n fx yg. ? &. ) Uz 6 Ux Uz 6 Uy . 3 & vi vj 2 Uz , vi 62 Ux vj 62 Uy ( ?, vi = vj ). zij = 1, & cij = ;2. 2 , (z c) 0 < (x c).

*) Uz Ux Uz Uy . , & , Uz

Ux. , , (x c) > (z c). / (6) .

2) jUy \ Uxj = k > 0 ? Ux Uy && & I . ?

8 >> ;2 >> 0 < cij = > k >> k >: k 1 2

1 ;k) 1 2( y ;k) 2(

x

xij = 0 = yij xij = 1 yij = 1 i 6= j xii = 1 = yii i = j xii = 1 yii = 0 i = j xii = 0 yii = 1 i = j:

& ?, , &, (x c) = (y c) = 1 (z c) < 1, z 2 Cn n fx yg. 3) 1 ? Ux, Uy && & ? jjUxj; jUy jj = 1. , & , Ux Uy ,

3.

! % & '

36

?, Ux = . 3

8 >> ;2 >< 0 cij = > >> k :0

xij = 0 = yij yij = 1 i 6= j 1 xii = 1 = yii i = j xii = 0 yii = 1 i = j: 1 , (x c) = (y c) = 1, jUxj > 0. / (z c) = 1 z = x, z = y. 7 ? jUxj = 0, jUy j = 1 (x c) = (y c) = 0 > (z c) & E z 2 Cn n fx yg. x

4) 1 ? Ux, Uy && & ? jjUxj; jUy jj > 1. , & , Ux Uy , ?, Ux = . ?

8 >> ;2 >> ; k k >> k k k >: 0

xij = 0 = yij 1 xii = 1 = yii i = j 1 xii = 0 yii = 1 i = j ; 2 xii = 0 = xjj yij = 1 i 6= j ( ; )( ;k ;1) E &E: , (x c) = (y c) = 1, kx > 0. 1* Uz | ? D , IJ

z 2 Cn n fx yg. 1 , Uz 6 Uy , (z c) < (y c). Uz Uy , Uz ? * IJE& ? Uzx = Uz \ Ux Uzy = Uz n Ux. a = jUzxj, b = jUzy j, a kx b ky ; kx. 3 x

y

y

x

x

y

x

(z c) = ka ; k ;b k + (k ;k b()(bk;1);k ;1) = ka ; (k ;b(kk )(;kk ;;kb);1) 3 z 6= x z 6= y, * a < kx, * 0 < b < ky ; kx. 1 , (z c) ka < 1, (z c) < a k 1. * & , Ux = (c x) = (c y) = 0. x

y

x

y

y

x

y

x

x

x

y

x

x

x

y

x

3.

! % & '

37

. 3.2. , p(Cn) M (Cn) ! :

p(Cn) = 2n:

3.2. 2-!"#$ $%&'

? I N13] & 2- . - ? U = fu1 u2 : : : ung *E E, ui 2 f0 1g, 1 i n. 7 u | & U ,

u u U . . u 1, u = 0, * u = 0 , u = 1. SI> U * ? u _ v, u v | U . 3& SI>& 1 , E & * E &JE >. , u = v = 0, u _ v = 0. 3 . - ? U E * D SI> U . 3* & * E U , & SI> D, IJE 1, * * . 3 U 2n, n = jU j, *J ?E SI> U 2n(n + 1) ( H E & SI> ui _ ui ui _ ui). ? m = 2n(n + 1), Rm . ) x H * * xlij , l 2 f1 2 3 4g, 1 i j n. C ? ? H E ? ?E SI> U IJ *. x1ij SI> ui _ uj W x2ij | SI> ui _ uj W x3ij | SI> ui _ uj W , >, x4ij

3.

! % & '

38

| ui _ uj . & * E U E x 2 Rm, xlij I IJE SI> . '? E E , IJE * E, * Sn ( Satis_ability= ). 1 , jSnj = 2n . 3 & ' )2/' .4 2-01./'1234 & NSn d], dlij (l 2 f1 2 3 4g, 1 i j n) d 2 Rm >, IJ& SI>& E * D, I . 1 , M (Sn) && & * *J , ? SI> dlij , > * E, & E SI> (IJE 1) . D 2- (2-0) * I . 3, * & ? * E G(Sn) G(Cn), )./) 2-0. G(V E ) | )./) , jV j = n. / cij , 1 i j n, | * D. )? G * E U IJ *. & ui = 1, D vi 2 V ? , ui = 0 . 3 * ? ? Sn Cn. D d 2-0 IJ &: d1ij = d2ij = d3ij = c3ij d4ij = ; 2c3ij : . & &, -

3.

! % & '

39

E SI> & IJ * E I . 1& ? & *?. 3 *, &

3.3. #7 2-:,: Cn /A Sn. 3.4. 5 G(Cn) #7 ! G(Sn ) 2-:,. 3.3. (()

2 . - * D G(V E ), V = fv1 v2 : : : vng | ? D, E = feij = (vi vj ) = (vj vi ) 1 i < j ng | ? *. 7 * eij cij 2 R. & . 6 ? D W V , W ? * ? . 6 R(W ) ? E E * G, & ? E > & D ? ? W , &, , ? V n W :

R(W ) = feij : vi 2 W vj 2 V n W * vj 2 W vi 2 V n W g: 1 , R(W ) = R(V n W ). U | ? D W V , * R(W ) * * E &JE *. )./) ? * eij xij x Rm , m = n(n2;1) . / ? R(W ) = R(V n W ) G x

xij =

(

1 eij 2 R(W ) 0 E &E:

3.

! % & '

40

1* CUT n ? E E M (CUT n) 6 -67- E I *. - 6 -67- ? I &J *D * . 2 >I * * & & H D & . N14], I &J H *. - ? D , * E. 9D , M (CUT n) && & . Q &: !D N4], !E ' ?* N42], ! N9]. ! , , H H , I *>, M (Cn;1) )./) . Q & * (., , 9 N55], N51], !E, < 6 N43], 2 N50]). 2 , H I & ? , ? >* D & &J * .

3.5. #7

*8*):

Cn;1 /A CUT n: * . G0 (V 0 E 0 ) | * D

& )./) , V 0 = fv10 v20 : : : vn0 ;1 g | ? D, E 0 = fe0ij = (vi vj ) 1 i < j n ; 1g | ? *. / * e0ij bij 2 R, D vi0 bii 2 R. & , ? & H & ? *IJE D. C ? ? D V 0 V n fvn g ( V

3.

! % & '

41

| ? D G & 6 -67-) IJ *. ? D vi0 , 1 i n ; 1, G0 D vi G. 3 *, ? G0 ? D W 0 = fvi01 : : : vi0 g (W 0 V 0) * R(W ), W = fvi1 : : : vi g (W V ). * &, H * H G * J. 3 *? Rm (m = n(n;1) ) E E E )./) Rm E E 2 E 6 -67-: k

k

cij = ; 21 bij j 6= n cin = bii + 21 (b1i + + bi;1i + bii+1 + + bin;1 ):

(7)

* G0 * ? D W 0 = fvi01 : : : vi0 g. 3 * k

X

v v 2W 0

i

0

j

bij :

(8)

0

2 IJ H R(W ) G * ? D W = fvi1 : : : vi g & &

X

e 2R(W ) ij

k

cij =

X

v 2W i

cin +

X

eij 2 R(W ) j
cij :

(9)

1& & (7) ? & &, (8) (9) I . 3 *, G0 G & . . 3.6. 5 M (Cn;1) #7 ! M (CUT n ) *8*).

3.

! % & '

42

3.4. &()+)($) %$,)& )

H & 3679'7617 21:73 /7, 3-2, & I N13] E NP -E . > H " E & " N18] * & &E. IJ H . 6 & G3 = G3(U V W E ), ? D * D U , V W , jU j = jV j = jW j = m (E | ? * G3, D ?). 1* D H E ? E IJ *:

U = fu1 u2 : : : um g V = fv1 v2 : : : vm g

W = fw1 w2 : : : wm g:

, 3- *

D eijl = (ui vj wl ), ?JI D ? . '? E E 3-* G3 * E . ! , D ui , vj wl . 3-* (ui vj wl ). /, * , * (ui vj wl ) . E &J D. )? 3-* G3 bijl = b(eijl ) 2 R. 6 * 3-* x~ E , ? & D > 3-* H *. * 3-* x~, &IJ H I, & , 3-. 1 , ? 3- ? m 3-*. 1* ? E 3- G3 T~m. (1 * & : Three-Matching). - * E I & 3- & x~ 2 T~m, * * * . ' H N9]. 6 Rk , k = m3, -

3.

! % & '

43

x = (xijl ) 2 Rk I & & * m m m- >. )? 3- I x~ x 2 Rk , IJ *: ( 1 eijl 2 x~ xijl = 0 eijl 62 x~: 6 ? Tm E E . / & NTm b] b = (bijl ) 2 Rk E E E x 2 Tm, IJ & (x b). / N9], p(Tm) M (Tm) > & H> : p

p(Tm ) 2

m=2;2 :

? * & > )./) > 3-2, &IJ * I > . ) >& H , N9]. (Cn Q) | )./) & n DE, ? E E E & * * Q = Qm = fx 2 Rm : ;1 xi 1 x = (x1 x2 : : : xm )g, m = n(n2+1) . 3.7. #7 (Cn Q) Tm , m = n(n2+1) : (Cn Q) /A Tm:

* . *& D E

G3(U V W E ):

U = fuij 1 i j ng V = fvij 1 i j ng W = fwij 1 i j ng:

3.

! % & '

44

& ? D uij (1 i j n) ? Dij > E 3-* IJ *: 1) 7 i = j , Dii E & 3-* (uii vii wii ) (uii v1 i wi n), D * * a0ii a+ii . 2) i 6= j Dij E & 3-* (uij vij wij ), (uij vi+1 j wij ), (uij vij wi j;1 ) (uij vi+1 j wi j;1 ), , & ?&, * * a0ij , a1ij , a2ij a+ij .

S

1* ? E E 3-* D = Dij . 1ij n = (ij ) 2 Rm | E E E & )./) . ?, ii | i- D, ij | *, &IJ i-I j -I DW I ;1 ij 1. 3 3-* a+ij D ij -? :

b(a+ij ) = cij

1 i j n:

(10)

E 3-* ? D *:

b(a0ij ) = 0 1 i j n b(a1ij ) = 0 1 i < j n b(a2ij ) = 0 1 i < j n:

(11)

3-* ? E n D D *D *I I > :

b(a) = ;n2

a 2 E n D:

(12)

;n2 , 3- * E * D ? D. C &, 3- E 3-* > -? D, ? , 3- *& E 3-* > E D

3.

! % & '

45

uii : a0ii , a+ii . ! 3-*, & 1 i n, "*IJ 3-*". ?, 3-

G3 & * E &JE *IJE 3-*. . 3.8. ,! x~ 2 T~m | 3- G3, !2 !: 1) a+ ij

2 x~ , a+ii 2 x~ a+jj 2 x~>

2) a2ij

2 x~ , a+ii 2 x~ a0jj 2 x~>

3) a1ij

2 x~ , a0ii 2 x~ a+jj 2 x~>

2 x~ , a0ii 2 x~ a0jj 2 x~. * . ? ? &.

4) a0ij

?, 3- E 3-* a+ij . - , H 3-* > D wi j;1 . 3 &

, 3- E 3-* > ? D. 6 3-*, E &J 3- > D ui j;1 . 1 , E Di j;1 ? * > D wi j;1 . ' I& E , H * 3-* a2i j;1 , * a+i j;1 . , &, * H E 3-* > D wi j;2, E ? , 3- E E 3-*: * a2i j;2 , * a+i j;2. & > , 3-*, > D uii , ? * > D wii . ? Dii E 3-* , H a+ii . / , 3- E * a+ii . & , * , a+jj E 3- , , 3-* a+ij > D vi+1 j . 3-*, E &J 3- > D ui+1 j , && & E 3-*: * a1i+1 j , * a+i+1 j . &

3.

! % & '

46

J E , 3-*, E &J 3- > D ujj , ? * > D vjj . 3 & & * a+jj . 3 ? * ? . ?, 3- E 3-* a+ii , > D wi n. 3 3-*, E &J H 3- > D ui n , ? * > D wi n. 2 , H * a2i n, * a+i n. 1* H * > D wi n;1. 2 , 3- E * a2i n;1, a+i n;1. & *, E , 3- *& E E * a2ij , a+ij . , &, 3- E 3-* a+jj , > D v1 i, & , I, H 3- *& ? E *: * a1ij , * a+ij . / , *S && E E ? , , 3- E * a+ij . & -? * & & E E ? . . . 3 *, ? Y~ T~m E ?E D 3-2 & G3 2n 3- . - ? ? C~n & )./) ? Y~ & IJ *. ) x~ 2 C~n 3- I y~ 2 Y~ , & ? i (1 i n) IJ : i-& D E x~ , * a+ii E 3- y~. / - B & , *?IJ ? Cn ? Y Tm. (x c) = (B (x) b). 2 , x~ | ,

3.

! % & '

47

IJ 3- y~ ? * , (5) & . *? A, &J c 2 Q b 2 Rm3 & & (10){(12). . 3, & I 2.12, E IJ . 3.9. 5 G(Cn) #7 ! ! G(Tm ) 3-?$)84&), m = n(n2+1) . 3, &, )./) D (. 3.2), & & > 3-2. 3.10. , p(Tm) M (Tm) . ! 3 . :

p 2m;3=2

p(Tm) > 2

:

(13)

3.5. (. (/ ) )

> I. - ? " " P = fp1 p2 : : : pm g, E "" si = s(pi) 2 R " " ci = c(pi ) 2 R & E pi 2 P . )

" I" S 2 R. 3* & ? P 0 P , D I X s(pi) S (14) p P P & c(pi) H E . p P i

i

2

0

2

0

3.

! % & '

48

1 H . 2 H >I Rm ? xi x = (xi) 2 Rm pi 2 P . & ? ? P 0 P E x 2 Rm

(

1 pi 2 P 0 xi = 0 pi 62 P 0 1 , ? E E ? Vm = fx = (xi ) : xi 2 f0 1gg D m- *. 6 s = (si) 2 Rm . 3 (14) E *&E (x s) S

x | E ? P 0. '? E x 2 Vm, &IJE H , * *

KmH = fv 2 Vm : (v s) S g

H = H (s S ) = fx 2 Rm : (x s) = S g | -

&IJ s. (1* ? E * Knapsack=6I). Q ? KmH ? E D I & s S . 3 ? KmH E E E s S , & I > , E *. E * * > * E E * "? " H . ? * , 3-21:73 /7 I. & , & H , H *, &, N13], && & I.

3.

! % & '

49

& H & , si Pm I E & ci: s = cW I S = 21 si i=1 E . ' H & & . ! , " " *& J & * E, E H * . 1 , (x), x | D , *J & && & ? , & * *S E . H ? * & IJ . & 6 -!/7/7 m = 4 D x = (1 1 0 0) E E E c1 = (0 0 2 ;1) c2 = (1 ;2 0 0). / S1 = 21 (e c1) = 12 S2 = 12 (e c2) = ; 21 . ? & &, c1 c2 2 K (x). 3 c3 = c1+2 c2 = ( 12 ;1 1 ; 12 ). 3 S3 = 21 (e c3) = 0 (x c3) = ; 12 < 0. ? & ((0 1 1 0) c3 ) = ((1 0 0 1) c3 ) = 0 , , c3 62 K (x). Q * & && & ? K (x). "?" D & & . , & * ? E E E H "", &I * ? ,

* , &IJ& *& ? I IJ . 7 , I & *D , ? *& *. H & H &J I . > & , & *& I & *. N13] & & " -

3.

! % & '

50

" E (3-2) 6 -!/7/7, &&IJ & NP - . ?, ? > H & & > 3-2 > 6<)- ). 2 H >I >I 3-2 * E &J . Rm , m = n3, I & & * n n n >, ? Tn E E >, &JE >, ? " " n n > ( * >) E H >. , & ? x = (xijl ) 2 Tn & E i j l 2 (1 n) n X n X i=1 j =1

xijl =

n X n X i=1 l=1

xijl =

n X n X j =1 l=1

xijl = 1:

/ & NTn b] > b = (bijl ) 2 Rm E E E I & H E *E > > x0 2 Tn, & E x 2 Tn (x0 b) (x b). 3 I & m + 2 . & E m y 2 Rm+2 & > * yk (k = 1 2 : : : m) * , 3-2, IJ:

yijl = yk

k = (i ; 1)n2 + (j ; 1)n + l

i j l 2 (1 n):

1* E E ym+1 ym+2 & >. / I * "* ? " . 2 H >I &IJI H . *, * H E > *, ? S = (e s) e = (1 1 : : : 1): (15)

3.

! % & '

51

& H I ? D * * & & &IJ s: Kms +2 = fy 2 Vm+2 : (y s) 21 (e s)g: (16) 6 &IJ IJ . m , ? & E * > , . 2 >, IJ ijl , * 3n "" p = N3 log2 n] + 1 * ? . n (& DE & ) & i, (n +1)- (2n)-I & j , n & l. ijl H , , , > (i)- , (n + j )- (2n + l)- 1, ijl | : ijl = 2p(i;1) + 2p(n+j;1) + 2p(2n+l;1) : H H ? , ? E ijl , * E 2p ; 1. 1* Vm(+2) Vm+2 ? E E D y, ym+1 ym+2 E I. 3 & & (y ) & y 2 Vm(+2) , , , E m & > II. 1

B=

X

3n;1

i=0

2pi:

* H & & IJ ? * & , . . 3.11. + y 2 Vm(+2) B (y ) B + 1

3.

! % & '

52

, !2

y

!

x = (xijl = yijl ) 2 Rm,

! , -

Tn

3-?. ,

(y ) = B . 3 :

m+1 =

X m ! i=1

i + B + 41

m+2 = 2

3.12.

X m ! i=1

i ; B ; 14 :

. *@#8# Km +2

(17) (Tn Q)

* . 2 &. 1*

D = 21 (e ). (17) D=2

m X i=1

i :

(18)

2 H D (16) ? Km +2 IJ . D y 2 Vm+2 ? ? Km +2 , , (y ) D:

(19)

c 2 Rm+2 & 6<)- ) ", * > b E E E & 3-2. m m X X 1 + b ijl "ijl = 2m + 1 "m+1 = "i "m+2 = 2 "i : (20) i=1 i=1 ) * *, * & E m * D >: X "i "m+1 2m2m+ 1 < 1 M f1 2 : : : mg: i2M Q , b 2 Q (, , ;1 bijl 1).

3.

! % & '

53

/ , > c = + ". 6 y 2 Km +2. , & I y, ? : 1) ym+1 = ym+2 = 0. 3

X m ! X m ! (y c) = (y ) + (y ") i + "i = D +2"m : +2

i=1

i=1

(21)

2) ym+1 = 1 ym+2 = 0. - , & (y ) & * G * 41 . & (19): G + 14 D . C &, D | , (y c) = (y )+(y ") D ; 3 + 4

X m ! i=1

"i + "m+1 = D ; 34 + "m+2: (22)

3) ym+1 = 0 ym+2 = 1. y0 = y; (0 0 : : : 0 1). 3 & y (19), & y0 (y 0 ) B + 1 : 4 6 &: 0 ) 3 x = (xijl = yijl ) 2 Rm ? ? Tn EE & 3-2. 3 , 3.11, (y0 ) = B . / (y c) D ; 1 + "m+2 : (23) 4 *) , 3.11 > B (y0 ), (y0 ) B ; 1. 2 ,

(y c) D ; 1 ; 1 + 4

X m ! i=1

"i + "m+2 < D ; 14 + "m+2 : (24)

3.

! % & '

54

4) , ym+1 = ym+2 = 1. 3 D (y ) + D > D: 2 1 , y ? ? Km +2. / , E ?E (21){(24) *D & (y c) , ym+1 = 0, ym+2 = 1 x = (xijl = yijl ) 2 Rm ? ? Tn

EE & 3-2. 1* ? E E y Ym +2. P xijl = yijl ym+1 = 0 ym+2 = 1 I - B : Tn ! Ym +2 & . *? A, *IJ > b c, *?& A0 (20). . & &, A | ? . 3 , & & (y c), y 2 Ym +2 , & * *D

X

y

ijl

"ijl :

=1

1 , *D * & E,

& E y, & E IJ - x = (xijl = yijl ) & & & (x b). / (5) & .

. 3.13. 5 G(Tn) 3-?$)84&) ), m = n3 + 2, ! ! G(Km

, ! .

3.

! % & '

55

/ , & 2.13 ? > (13) & 3-2, IJ . 3.14. , p(Km ) m (m > 2) 3 . :

p(Km ) > 2(

p 6

m;2;5)=2 :

? , ? & 6 -!/7/7. & H 3.12. H & I s = , I E ( (15)), c = + ", " & & (20):

"i 2 0 2m2+ 1

i = 1 2 ::: m

"m+1 =

m X i=1

"i

"m+2 = 2"m+1 :

'? E E c * w. , 6 -!/7/7 , , * & &, I (15). 3 *, ? > I & , ? E D Kmc +2 & 6 -!/7/7 > c. 2 , ? &, & c 2 w ? Kmc +2 & & ? Km +2 , * & (Km +2 w) I * (Kmc +2 w) 6 -!/7/7. . 3.15. + ", (20),

Km ++2e Km +2. * . ?, Km +2 Km ++2" . 2 H >I * y 2 Km +2 ?, & E " -

3.

! % & '

56

&E (20) (e + ") (y + ") < = D + "m+2 : (25) 2 && ? &, 3.12, (, ym+1 ym+2 * >): 1) ym+1 = ym+2 = 0. 3 (21): D + "m+2 < D + " : (y + ") m+2 2 / & H & (25) . 2) ym+1 = 1, ym+2 = 0. 3 , D (22), (y + ") D ; 3 + "m+2 < D + "m+2 : 4 / (25) & . 3) ? ym+1 = 0 ym+2 = 1. 6 &: 0 ) 3 x = (xijl = yijl ) 2 Rm , y0 = y ; (0 0 : : : 0 1), ? ? Tn EE & 3-2. 3 , 3.11, (y0 ) = B . C &, (e y0 ) = n, (y + ") D ; 1 + 2n + "m+2 < D + "m+2 : 4 2m + 1

*) (24): 1 (y + ") < D ; + "m+2 : 4 / , (25), H ?& Km +2 Km ++2" , .

3.

! % & '

57

? , * ? Km ++2" Km +2. 6? & , ?, & y 2 Km ++2" , y 62 Km +2. (y ) > D, &&IJ& > & (19). 6 y0 = e ; y. , (e ) = 2D, (y0 ) < D. 2 , y0 2 Km +2 & (25): (y0 + ") < D + "m+2: (y + ") = (e ; y0 + ") > D + "m+2 , y 62 Km ++2" . D I. 2 , Km ++2" = Km +2 . . .

3.16. ,

! p 6 *8B&)4&) . ! 2( m;2;5)=2 , m | .

3.6. $ !$12)(

, & ? & ? E &?. 1 & * & E * * >. Q & &E, E E & * > >. 2 & H E *?E & &?,

? * - E H N24,32,34,47,67]. H & N61] * NP- & ? D &?, *IJ & E H . ) , * & ? ! N6], IJ H>I ?II > .

3.

! % & '

58

1 H & & I & > & &? ( . . & ). , H & I , & 2.13, & & H>& > H & &?. > J & & >& & , & * ( ) & & " ".

3.6.1. &! / 2 I &?. 7 I , H H * ** ). - * D G0(V 0 A), V 0 = fv10 v20 : : : vk0 g | ? D, A = faij = (vi0 vj0 ) i = 6 j i j 2 (1 k)g | ? . ? >& d : A ! R, IJ& ? aij d(aij ) 2 R. 1* H~ k0 ? E E H (, | H , E &J ? I D ). U I & x~0 2 H~ k0 , & . : * H , ? aij xij x Rl , l = jAj = k(k ; 1). )? G0 (V 0 A) E Rl , ? > , & E IJ E & , | I. 1* Hk0 ? E E . ' M (Hk0 ) * D ).

3.

! % & '

59

(Cn Q), | E? & * D D n DE cij ? * ? D & I ;1 cij 1. 3.17. (Cn Q) Hk0 k = 2n2 ; n : (Cn Q) /A

Hk0 . * . & )./) G(V E ) c = (cij ) 2 Rm , m = n(n2+1) . / C~n | ? E ?E H , IIJ -

*& ? . *-D

G0 (V 0 A) & ) ? ? C~n ? E Y~ H~ k0 B : Cn ! Y~ , * & . 1& & & & G0 D N13] & NP - 76B/17 1)603/7 '/.4311 U/).. ) N13] D >& * & * D, E > * . -E, G0 n "*IJE" D t1 t2 : : : tn, * & * ? D U V G )./) . / ? D ti (1 i n) E , E "? " " ". "? I" , IJI& D ti, * bii, ? E E

A+ = fbii : 1 i ng. /E & & ? ? , *JE *J D: * bii, * "I". * , , E IJ D , & & * P A+ ?JE H "?-

3.

! % & '

60

E" .

6. 2. ) Fji, IJ& * eij G. - E, & ? * eij )./) G0 & Fji (. . 2). Q E D vij+ , vij0 , wij , uij , (vij+ wij ) (wij vij+ ) (vij0 wij ) (wij vij0 ) (wij uij ) (uij vij+ ) (uij vij0 ): (uij vij0 ) * * bij . Q Fji , ?, *IJ D , D & . H E : 1) 1ij | > , E &J D vij+ , 2) 2ij | > , E &J D vij0 , 3) 3ij | > , E &J D uij , 4) 4ij | , E &J D vij0 , 5) 5ij | , E &J D vij+ , 6) 6ij | , E &J D uij . G0 I , &IJ D wij ?J Fji D. Q * IJ . ?, & D vij+ , vij0 E &J& H E D "D&& & E *J

3.

! % & '

61

" . 3 ? E? & Fji (. . 3). , E &J ? E :

6. 3. : ? > E? & Fji.

) 1ij , (vij+ wij ), (wij uij ), bij , 4ij W ) 1ij , (vij+ wij ), (wij vij0 ), 4ij W 3ij , 6ij W ) 2ij , (vij0 wij ), (wij uij ), (uij vij+ ), 5ij W /) 2ij , (vij0 wij ), (wij vij+ ), 5ij W 3ij , 6ij W bij E , I 2ij 3ij . 7 * Fji & (. . 2), & ? & E E 1, 2, 3, & E 4, 5, 6, I* E E * E &JE * * E &JE. 6 Fjl , IJ * elj G, > -? D vi ( . . l = i, * j = i).

3.

! % & '

62

6. 4. 2E & E "*IJE" D. * A+i A0i &I H " & ", IJI& *IJ D ti IJI& D ti+1 W i = n " & " | D tn , > | D t1 (. 4): 1) 7 i = 1,

A+1 = f(t1 v1+2) (v102 v1+3) (v103 v1+4) : : : (v10n;1 v1+n) (v10n t2 )g A01 = f(t1 v102) (v1+2 v103) (v1+3 v104) : : : (v1+n;1 v10n) (v1+n t2 )g: 2) 7 1 < i < n,

A+i = f(ti vii+ +1 ) (vii0 +1 vii+ +2 ) (vii0 +2 vii+ +3 ) : : : + 0 0 : : : (vin ;1 vin ) (vin ti+1 )g A0i = f(ti u1i) (u1i u2i) (u2i u3i) : : : (ui;1i vii0 +1 ) + + 0 (vii+ +1 vii0 +2 ) (vii+ +2 vii0 +3 ) : : : (vin ;1 vin ) (vin ti+1 )g: 3) 7 i = n,

A+n = f(tn t1)g A0n = f(tn u1n) (u1n u2n) (u2n u3n) : : : : : : (un;2n un;1n) (un;1n t1)g:

3.

! % & '

63

(t1 v1+2), (ti vii+ +1 ), (tn t1) ( 1 < i < n), * D, * * b11, bii, bnn. C & * > Fji, D, ? , bii (1 i n) E , , E & * A+i E * A0i . 3 *, , *E &J D , & * P A+. , * D, bij Fji E , H I , E &J "" D uij vij0 , . . , ?J * A0i A0j . H ? , " IJ " * P E & bii bjj . 2 , bij E , E & bii bjj . 1* ? E bij (1 i j n) B| . D )./) & & * D U V . > & * "? E" P A+. B ? & H * IJ *. D vi G * bii G0. 3 A & & IJ : 1) d(bij ) bij 2 B| cij > c )./) . 2) d(a) a, E &J D >I, ?J ? B| *. 3) d ;n2. Q IJE , . . I ;1 cij 1.

3.

! % & '

64

1 , H & I ? *?, *IJ c E E E )./) d E E E &?. / , *? B ? *? A & . C (5) . : D k G0 Fji , 1 i < j n, I n "*IJE" D ti. . /& 2.12 3.18. 5 G(Cn ) #7 ! ! G(Hk0 ), k = 2n2 ; n, !.

, & 3.2 , H )./) 2n, * I, & N9], ?II > H & &? k DE:

p(Hk ) > 2 0

pk=2;1

:

(26)

3.6.2. &! /

3, & 3.18 , ? ? & &?, I I > (U). 7 D * . & ? E D H * & * Hn, n | , * & * &?. 3.19. 4 k , ! N;1 1], n = 2k : (Hk0 Q) /A Hn.

3.

! % & '

65

* . G0 (V 0 A) d = (dij ),

i j 2 f1 2 : : : kg, &I I ), ;1 dij 1. G(V E ) & U * c = (cij ), 1 i < j n.

2E & G * N9]. 2 &, n = 2k, * ? D G fv2i;1 v2i g, i = 1 2 : : : k. )? I I IJ * e+i = (v2i;1 v2i ). '? E E * * E +. )? * (v2i v2j;1 ) (i j 2 f1 2 : : : kg) & * * e;ij . ? E E * * E ;. C ? ? A ? * E ; IJ *. aij (i j 2 f1 2 : : : kg)

G0 * * e;ij G. , D vi0 2 V 0 * * e+i 2 E +. 3 *, B & . *? A H & IJ : 1) * e+i (i = 1 2 : : : k) 2k. 2) 6* e;ij (i j 2 f1 2 : : : kg) D , dij ; 2k ( I ;1 dij 1). 3) 1 * G * *DI *I I > I ;2k2 , IJI E > . C & , , , ? * > ? * ? : F ; E ; F + E + , jF ;j + jF +j = 2k. ?

, F + = E +. , jF +j k ; 1, jF ;j k + 1. 2 , & >, ? , * D, ;2k. ? &,

3.

! % & '

66

jF +j = k, & * & E N;k k]. 1 ,

> * IJ . / , & . . 3.20. 5 G(Hk0 ) ! ! ! G(Hn ) . , n = 2k . /, & 3.18, H>I ?II > H & > n DE: p p(Hn ) > 2 n=2;2: (27)

3.6.3. &!

" / " H I & * - *& & U IJ& , ? E E E . Q I & IJ. & ? E D vi vj vl 2 V G(V E ) U * & &:

bil bij + bjl

(28)

bij = b(eij ), D, | *, &IJ D vi vj . 1 , ? E >E b = (bij ) 2 Rm , m = n(n2;1) , &IJE E , & * D . 1* H }. 3. . & (Hn }).

3.21. . , ! N;1 1], " ! ": (Hn Q) /A (Hn }).

3.

! % & '

67

* . c = (cij ) 2 Rm | * & (H Q). 2 , ;1 cij 1. 1 *? A, &IJ c b = (bij ) 2 Rm E E E (H }). bij = cij + 3 1 i < j n: ? , *& * D& &, ? > "" D & 3n. 3 & , 2 bij 4. Q , & I* E i j l 2 f1 2 : : : ng (28). 3 *, *? & * Q , * & I ? }. . 3.22. 5 G(Hn ) . G (Hn ) ! ! " ! ".

3.7. 4 )56 5 #7&'

) ? * , & *& ?& *? * I & >. / H >I H I & D , * " " | D & E * ( ). , ? E D & *E ?, , H E . / , D ? * & , & . I * D (), I | D > (U). 2.2 " &

3.

! % & '

68

" * , &? (Hn Q) & D > Ln+1. 3 *, & & ? > M (Ln+1) & D & > (27) M (Hn) & >. 3.23. , 3 +D n 3 . : p

p(Ln) > 2

n;1=2;2 :

3 D

. 6 G(V A), V = fv1 v2 : : : vng, D , & * , H v1 vn. 1* L~0n ? E E * >, IJE& D v1 IJE& vn . )? ? , E &J v1 , E &J vn. /I & * , jAj = (n ; 1)(n ; 2) + 1. )? aij , i 2 f1 2 : : : n ; 1g j 2 f2 3 : : : ng, & cij 2 R. x~ 2 L~0n & &IJE H . U x~ 2 L~0n . 2 >I & H ? m = jAj Rm . /, ? , & ? x~ 2 L~0n E x = (xij ) 2 Rm , ?

xij =

(

1 aij 2 x~ 0 E &E

- , D & D & U U ( 1.2) & ? & & ) . & H -

3.

! % & '

69

& & E ? . 3.24. 4 n ; 1 , ! N;1 1], ! n : (Hn0 ;1 Q) /A L0n . 3.25. 5 G(Hn0 ;1 ) ! ! ! G(L0n ) !.

/, D > (26),

p(Ln) > 2 0

p(n;1)=2;1

:

4. "# 4.1. 89 :

) ? * , *J& D ( D ) && & D , , &? H (. 3.7). 3 , & D& IJ D " " & (*) I. * ' N21, 33, 49, 52, 53] I & O(n2) P -CD N21, 33] I & O(n3). )? H E & * * E , IJE & ? E E E . 3, & * '- , * (*) * > . & * P -CD * & ? E : , * (>) > . & & >* ? * E "* ? " . Q D , I > . > & H &, I E . ? , I , &J& * &J I >. H D D . 3 ? E E E , &IJ & "P -CD", * & ?-

4.

%& '

71

E E E , & "" : ? . D . G(V A) | , D s t 2 V = fv1 v2 : : : vng . & * , s = v1 t = vn . )? aij 2 A (i 6= j , i 2 f1 2 : : : n;1g, j 2 f2 3 : : : ng) H

cij = c(aij ). - G , *J D s IJ & t, * * . , ? , L0n | ? E D D , L0n Rm , m = jAj = (n ; 1)(n ; 2) + 1. 1 Rm ? E E E &IJ "" I "P -CD". 6 ? K~ E G. & ? k~ 2 K~ E k = (kij ) 2 Rm

kij =

(

1 aij 2 k~ 0 aij 62 k~

i 6= j i 2 f1 2 : : : n ; 1g j 2 f2 3 : : : ng. '? E E * K . 3 ?

S = fs 2 Rm : (k s) 0 & E k 2 K g

(29)

&& & ? E E E D . / , ? * * (L0n S ). 1 ?, D "'- " ? ? * D (L0n R;m) ? E E E , I , & * > R;m = fx = (xij 2 Rm : xij 0)g.

4.

%& '

72

? , GS (L0n) *& ? S ? L0n I . 2 H >I ? ? , IJ ? E K (x S ) K (y S ), x y 2 L0n. .

+ . 4.1. ,! ! .

, 2 2 ,

2 ! 2 2 2 ! !.

4.2. ,! x y 2 L0n. #! K (x S ) K (y S ) , !2 ! x~ y~ 2 L~0n

x~}~y = (~x n y~) (~y n x~) 2 ! ! !.

* . ? , D = x~}~y && &

, IJ K (x S ) K (y S ) ?. 2 & I 2.4 ? & H * &

, & ? c 2 S , &IJ (c x) = (c y), & zc 2 L0n, x y, (c zc ) (c x). & & x~ y~ D s D b, E &J D. 1 , H E s b I . 3 D b * & x~ & y~W * H D p. 3I ? >I y~. ! & , & b, & x~W D & * q. 7 D | , , , x~ p D t I y~ q t ( , & >& , p 6= q). E x~1 y~1 IJ *. : x~

4.

%& '

73

D s p I y~1, y~ s q I x~1. , y~1 I y~ D p t, x~1 I x~ q t. 1 , H * * >, x~ y~. &. . ?, D p q I . 3 * , E & x~ y~, * *IJE x~1 y~1. 2 , (c x) + (c y) = (c x1 ) + (c y1)

x1 y1 | E x~1 y~1. 1 , & ? c 2 S , &IJ (c x) = (c y), ? * * zc 2 fx1 y1g, & (c zc ) (c x) = (c y). / K (x S ) K (y S ) ?. 3 ?I >I, D p q I . 3 x~ D p D q y~ q p *I ? g~, D DE x~1 y~1. 3. . & I* c 2 Rm (c x) + (c y) = (c g) + (c x1) + (c y1)

(30)

g | E ? g~. 1 , g~ & * ? (? IJ &). ?, ? ? *S E . ! & x~ D p E , & y~ D r. g~1 x~ D p r y~ r pW , H * . C g~ , D D g~1, g~0, &J x~, J D r q, y~, J q r. 7 g~0 & ?, * & > & * .

4.

%& '

74

/ , ? g~ ? *S E g~k , k = 1 2 : : : l:

g~ =

l

k=1

g~k :

-&, G(V A) I ? , (c g) 0: && H (30) (c x) + (c y) (c x1) + (c y1): 3, && ? &, & & ( p = q), , K (x S ) K (y S ) I & ?. & * ? & ?, K (x S ) K (y S ) ?. ?, ? D = x~}~y | . 1 c0 ( 0 xi = 1 yi = 1 c0i = ;1 xi = yi = 0 & E i = f1 : : : mg. 1 , c0 2 S (x c0 ) = (y c0) = 0. & ? , J z 2 L0n n fx yg, & (c0 z ) 0. H ?, z x + y, x~ y~ ? z~. 2 , D | . . &!. * N9] & D* ? , E 4.2, & *& -) & . . " 3.4.1. x y Xn M (Xn) !,

4.

%& ' !2 !

x~ y~ 2 X~ n

75

-

x~}~y = (~x n y~) (~y n x~)

!2 . ."

, H ? & 4.2 I ? , & E . H ? * N9] " & ? D M (Xn) D & & p(Xn) .

3.4.2. ? p(Xn) =

(

k2 k2 + k

n = 2k n = 2k + 1:"

? , E D*E ? H

&. 3 *, H & , &

? (. N9]). 4.3. + pS (L0n) ! S ! L0n

pS (Ln) = 0

(

k2 k(k + 1)

n = 2k n = 2k + 1:

4.2. : ;

? D * E DE &E &J *D *> . 2 E , &E H ,

4.

%& '

76

& . ) N33,58] & &E ?. Q N33,53] & , IJ ? & O(n3) (2n { D ), ? & H D H E ( . ! N15,41] ?. Q N15,54]). ! & & ? E & E ? > & E D&, * * J * H , . ) ?. Q . , & DI * & H E . ) ?. Q (H * ? 1955- 1965- E, ), E J * H . *E >&E E . , * && & , ? > , , ?,

? * . : H & ? & N9] ? . 1*J& &E & IJ *. - *-D G 2n D. 3* & D ( . . * n *, IJE *JE D) . 7 G { n D ? , J & I &E. 1D , > &E. 2 ? I n n- >, ? & & ( *>) ? >. '? E E > * An Rm m = n2. ' -

4.

%& '

77

M (An) = convAn H ? ? :

(

M (An) = c = (cij ) :

n X i=1

cij =

n X j =1

)

cij = 1 cij 0

/ N9], ?. Q D& D && & &

. / H *& E&& > & IJ :

p(Mn) O(n3)

Mn { . ) , * ! N9] D &E &E : p(An) p(Mn): 3 ? & H E . !

, E & J E ?E > & H E . ?, GS (L0n+1) *& D (L0n+1 S ), J , && & G(An) M (An). / , & 4.3 ?II > p(An). ?, & , & ? S~ E ? S . & H (29) :

S~ = fs 2 Rm : (k s) < 0 & E k 2 K g

. 4.4. GS (L0n) = GS (L0n) * . 3 S~ S , GS (L0n) GS (L0n). 1 , GS (L0n) GS (L0n).

4.

%& '

78

D x 2 L0n GS (L0n). 3 , & I 2.3, & c 2 S , & ? y 2 L0n x (x c) > (y c). ?, x && & D GS (L0n). ? >. 1) 7 c 2 S~, x | D GS (L0n)W 2) c 62 S~. 3 , , ? L0n , & > 0 , & E y 2 L0n n fxg (x c) ; > (y c). 6 ;e = (;1 : : : ;1), &, , && & & ? S . 3 (;e c), I c, ? S~. ?, H & c0 6= c &, & E y 2 L0n n fxg (x c0 ) > (y c0). , c0 = c(1 ; D ) ; e D , ) D = 4n maxf1 c1 c2 : : : cm g, c = (ci ). 3 ? (xc D , (xe) (yc) (ye) 1 D , D , D * *I D 4 . 1 , (x c0 ) > (y c0 ) & E y E x. & ? , D x y ? GS (L0n), & ? GS (L0n).

. . 4.5. (L0n+1 S~) /A An. * . 2 D . G0 (V 0 A0 ) | , D s t 2 V 0 = fv10 v20 : : : vn0 +1g . & * , 6 j , i 2 f1 2 : : : ng, s = v10 t = vn0 +1 . )? aij 2 A0 (i = j 2 f2 3 : : : n + 1g) H bij = b(aij ). I H I > . - G0 , *J D s IJ & t, * * .

4.

%& '

79

1* V = fv1 : : : vn g ? E D, E &JE I G(V W E ) & &E, W = fw1 : : : wng ? E D . 6*, &IJ i-I D V j - D W , * * eij = (vi wj ), i j 2 f1 : : : ng. cij ? * eij ?. 6 ? * E 0 = E n fe22 e33 : : : enng ? ? A0

G0 . ai n+1, & i = 1 2 : : : n, * ei1, aij , & i = 1 2 : : : n, j = 2 3 : : : n, i 6= j , * eij . ) & IJE *: 8> < bi n+1 j = 1 cij = > bi j i 6= j j 6= 1 (31) :0 i = j 6= 1: & ? x~ 2 L~0n+1 G0 * z~ 2 A~n G. ? I z~ 2 A~n * y~ G0, *& ?J * x~ 2 L~0n+1 , * ? , E, IJE *JE D k~m , m = 1 2 : : : l, l < (n ; 1)=2:

y~ = (

l ~

m=1

km ) x~:

1* ? E E y~ Y~ . 1 , L~0n+1 Y~ . 3 *, &E (31) H ? Y~ E &JE . ?, ? * D . ? , y~ 2 Y~ ? E & * " " k~. I -

4.

%& '

80

G0 I > . 2 , * y~ k~, y~0 = y~ n k~ * *D , y~ , y~ 2 Y~ . D I. / , &E *, & (31), *& && & " " x~ 2 L~0n+1 . / & . . 4.6. + p(An) p(Mn)

p(Mn) p(An)

(n + 1) 2

4

N ] | . . .

%& - - & & *D , IJE& * >. ? H & , , , * - &&I & E ? IJ . ) ?I, > & *J , I * & ? E E E. 3 , ? E & *D . / H ? && > | *& E E E . Q & * - E , & E & ?. / H > & I I . 1, Y ? E E E , , *? & ? E E E . 3 && & | & * >. 1 E && & , /A Y , * E E E *? & I *& E E E . ) , G(X ) ( ) & G(Y ) . & >* & H * > ? & -

)'

82

&J * H . 3, E & , * & & )./) & 201./'1234 6 -67-. 3? & & E DE 321:73 /7, 6<)- ), )1''/1 =76 ./7AB/A C34. ) , *& & )./) *& 6 -!/7/7 &? & * ( ) " ". 1& * ? , )./) && & , * H> ? > E D : 1) & 2-01./'1234 && & . 2) 6 -67- . 3) & 3-21:73 /7 p > p(Tn) > 2 2n;3=2. & & N9] > p(Tn) > 2 2 ;2. p

n

4) & "* ? " 6<)- ) 6 > : p(Kn) > 2 22 5 . p

n; ;

5) , pn=2;1 '/.4311 )13C6 > & 2 . 6 N6] > 2 2 ;9=2. p

n

)'

83

6) '/.4311 U/). &J * > & 2 2 ;3=2. 6 N9] > 2 2 2 ;5 . p

p

n

n

p

7) & M (L0n) M (Ln) ./7AB/A C34 ./7AB U74 p H> ? > : p(L0n) > 2 (n;1)=2;1 p(Ln) > 2 2 1 ;3=2. p

n;

8) ) , * E * 6 -!/7/7 )1''/1 =76 " ". 1, & 6<)- ), & )1''/1 =76. & H , * * - E DE & D (-)), &E (-) &E (-) . 1, & -) & -. 1 I , , 2

- - >I & N (n+1) 4 ],

n | * -. *& -) & & &J * & N n42 ]. & & & E . C? & D &: 1) , & * , * "* ?-

)'

84

" . ? H ? & & DE . 2) 2 & , , I* * > D . 3) D 2.2 " & ", ? , & * E ? *?& E E E && & *E * , * *? * . Q * E .

' # N1] ! <. . 1 // ' & > E E. . 1985. 2. 95{100. N2] ! <. . 1 *E H // 3 ?&. ': 'C. 1989. 2. 263. N3] ! <. . 1* >E E // ' >E . 1996. 3. 2. 78{84. N4] !D './. ' // ' *& Q'. . 1986. 2. 12{20. N5] ! . . 2 D , ? E // *. . 1982. 2. 66{68. N6] ! . . & ?&& > ? &? //

E. 1983. 9. C. 45{50. N7] ! . ., B 7.. 1**J // ' & > E E. . 1985. 2. 105{113. N8] ! . . & E&& > * E E > // 3 ? . . "' . > ". 2&. 1987. 2. 11.

!&

86

N9] ! . . H ? * >. , 1995. 126. N10] . 2 D // . ? . '.: /.. 1959. 2. 355{362. N11] D 2.. ' m-D // & & . 1984. 5. 2. 790{793. N12] DE .. All facets of the cut cone Cn for n = 7 are known // European Journal of Combinatorics, 11. 1990. pp. 115{117. N13] H '., ? . D D . '.: ', 1982. 416 . N14] '.'., . '. & . '.: 'U'1, 2001. | 736 . N15] 7 . ., ) '.'., )> '.). ' , , >&. '.: , 1981. 344 . N16] 7> 1. ., !* 3.. ) H * > J&E // . >. E. - . . 2002. 8. . 3! C 10.06.2002, 90-C2002. N17] 7> 1.1., 6 1.., *i 2.I. i *? & iJ // C. . ?. 2003. 55, 1, . 3-11. N18] / .. 1 E & // Q . 1974. 3. 10, N 2. 2. 336{339.

!&

87

N19] / .. On the structure of the quadratic boolean problem polytope // Combinatorics and Graph Theory. Vol. 25 of Banach Center Publications. P. W. N. Warszawa. 1989. pp. 87{91. N20] ) 6.'. 2 * E * // 2*.: )* *, & &. '.: '. 1975. . 12. 2. 16{38. N21] ) . 3& . E . '.: ', 1978. 432c. N22] ) 2. . 2? > // 2*.: )* *, & &. '.: '. 1975. . 12. 2. 5{15. N23] . .. . C * // * >. 1973. 3. 9, 3. 2. 115{116. N24] . .). C * E E * // . 2226. 1976. 3. 228. 1. 2. 23{25. N25] . .). H // / E. '.: //3/, 1979, N 31. N26] ' .. ?&& > &E // 2 * : 2*. . . . 4. : C. 2001. 2. 157{161. N27] ' .. ?&& > &E // P & *&: ' 1- ? - > ( ). 3*: 3C . .6. ?. 2003. 2. 162{164. N28] ' .. )* D // 3 D- * -

!&

88

& & . : C. 2003. 2. 15{17. N29] ' .. 2 > D E H E // ' >E . : C. 2003. 3. 10. 2. 2. 3{10. N30] ' .. 2? D * // ' >, &J 200- I C . .. . / & E. : C. 2003. 2. 54{56. N31] ' .. ' I // *: 2*. . . : C. 2003. 2. 163{172. N32] ' /./., 2 2./., 2 /.9. - &?. // E. 1989. 9. 2. 3{33. N33] 9., 2 > ). )* & >&: ? . '.: ', 1985. 512. N34] 2 ./. 1 E, &E > E. '. 1977. 14 . ( / /' !226W 7). N35] 2T 6.<. ) ? D k // '? & >& " > ", *, 26 I& { 1 I&, 2000: ' >. *: /' 21 6 . 2000. 2. 156. N36] 9& ... // =' 'P. 1980. 3. 20, N 1, . 51{69.

!&

89

N37] B .. S & >: . . . . . .-. // /- . 21 6 , *, 2001, 14 . N38] Alfakih Abdo Y., Yi. Tongnyoul, Murty Katta G. Facets of an assignment problem with 0-1 side constraint // J. Combin. Optimiz. 2000. 4, 3. P. 365{388. N39] Amenta Nina, Ziegler GTunter M. Deformed propucts and maximal shadows of polytopes // Advances in Discrete and Computational Geometry: Proceedings of the AMS-IMS-SIAM Joint Summer Research Coference "Discrete and Computational Geometry: Ten Years Later". South Hadley, Mass., July 14{18, 1996. Providence (R.I.): Amer. Math. Soc. 1999. P. 57{90. N40] BaTou Mourad, Mahjoub Ali Ridha. Steiner 2-edge connected subgraph polytopes on series-parallel graphs // SIAM J. Discrete Math. 1997. 10, 3. P. 505{514. N41] Balinski M.L., Russako A. On the assignment polytope // SIAM Rev. 1974. V. 16, 4. P. 516{525. N42] Barahona F., Mahjoub A.R. On the cut polytope // Mathematical Programming, 36, 1986. pp. 157-173. N43] Barahona F., JTunger M. and Reinelt G. Experiments in quadratic 0{1 programming // Mathematical Programming, 44. 1989. pp. 127{137. N44] Boros E. and Hammer P.L. The max-cut problem and quadratic 0-1 optimization: polyhedral aspects, relaxations and bounds // Annals of Operations Research, 33. 1991. pp. 151{180.

!&

90

N45] Bool G. An Investigation of the Laws Thought on Wich Are Founded the Mathematical Theories of Logic and Probabilities. Dover Publications. New York, original edition. 1854. N46] Canovas Lazaro, Landete Mercedes, Marin Alfredo. New facets for the set packing polytope // Oper. Res. Lett. 2000. 27, 4, P.153{161. N47] Christof T. and Reinelt G. Combinatorial optimization and small polytopes // TOP (Spanish Statistical and Operation Research Society), 4. 1996. pp. 1{64. N48] Dantzig G.B., Blattner W.O., Rao M.R. "All shortest routes from a _xed origin in a graph", in Theory of Graphs: International Symposium, Gordon and Breach, NY, 1967. 85{90. N49] Deo N., Pang C. Shortest-path algorithms: taxonomy and annotation // Networks. 1984. V. 14, 2. P. 275{329 N50] De Simone C. The cut polytope and the boolean quadric polytope // Discrete Mathematics, 79. 1989{1990. pp. 71{75. N51] Deza M. Matrices des formes quadratiques non negatives pour des arguments binaires // Comptes Rendus de l'Academie des Sciences de Paris, 227(A), 1973. pp. 873-885. N52] Dijkstra E.W. A note on two problems in connexion with graphs // Numerishe Mathematik. 1959. 1. P. 269{271. N53] Edmonds J. Paths, trees and owers // Canad. J. Math. 1965. V. 17. P. 449-467. N54] Edmonds J. Maximum matching and polyhedron of 0,1-vertices // J. Res. Bur. Stand. 1965. B. 69. 1-2. P. 125{130. N55] Hammer P.L. Some network ow problems solved with pseudo-boolean programming // Operations Research, 13, 1965. pp. 388{399.

!&

91

N56] Karmarkar N.A. A new polinomial-time algorithm for linear programming // Combinatorica. 1984. 4. P. 373{395. N57] Karp R.M. and Papadimitriou C.H. On linear characterization of combinatorial optimization problem // SIAM Journal on Computing, 11, 1982. pp. 620{632. N58] Kuhn H.W. The Hungarial Method for the Assignment Problem // Naval Research Logistics Quarterly. 1955. 1,2. P. 83{97. N59] MagalhTaes Macambira Elder, Carvalho de Souza Cid. The edge-weighted clique problem: Valid inequalities, facets and polyhedral computations // Eur. J. Oper. Res. 2000. 123, 2. P. 346{371. N60] Marchand Hugues, Martin Alexander, Weismantel Robert, Wolsey Laurence. Cutting planes in integer and mixed integer programming // Discrete Appl. Math. 2002. 123, 1{3, P. 397{446. N61] Papadimitriou C. H. The adjancency relation on the traveling salesman polytope is NP-complete // Math. Prog. 1978. P. 312{324. N62] Padberg M.W. The boolean quadric polytope: some characteristics, facets and relatives // Mathematical Programming, 45. 1989. pp. 139{ 172. N63] Pitowsky I. The range of quntum probability // Journal of Mathematical Physics, 27. 1986. pp. 1556{1565. N64] Richter-Gebert JTurgen. The universality theorems for oriented matroids and polytopes // Advances in Discrete and Computational Geometry: Proceedings of the AMS-IMS-SIAM Joint Summer Research Coference "Discrete and Computational Geometry: Ten Years Later", South Hadley, Mass., July 14-18, 1996. Providence (R.I.): Amer. Math. Soc. 1999, p. 269{292.

!&

92

N65] Salazar-Gonzalez J.-J. The Steiner cycle polytope // Eur. J. Oper. Res. 2003. 147, 3, p. 671{679. N66] Sarangarajan A. A Lower bound for adjacencies on the travelling salesman polytope // SIAM J. Discrete Math. 1997. 10, 3. P. 431{435. N67] Schrijver F. Polyhedral combinatorics | some recent developments and results // Proc. Int. Congr. Math., Berkeley, California. 1986. V. 2. P. 1431{1443.

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & close