• Non ci sono risultati.

Totale Totale Totale

N/A
N/A
Protected

Academic year: 2021

Condividi "Totale Totale Totale "

Copied!
15
0
0

Testo completo

(1)

Totale Totale Totale

Totale Unimodularit Unimodularit Unimodularit Unimodularità à à à

““““SapienzaSapienzaSapienza”””” UniversitSapienza UniversitUniversitUniversitààà di Roma à di Roma di Roma ---- Dipartimento di Ingegneria Informatica, Automatica e Gestionaledi Roma Dipartimento di Ingegneria Informatica, Automatica e GestionaleDipartimento di Ingegneria Informatica, Automatica e GestionaleDipartimento di Ingegneria Informatica, Automatica e Gestionale

Questa sezione Questa sezione Questa sezione

Questa sezione èèèè tratta dal materiale del prof. A. tratta dal materiale del prof. A. tratta dal materiale del prof. A. tratta dal materiale del prof. A. SassanoSassanoSassanoSassano Corso di: Ottimizzazione Combinatoria

Docente: Renato Bruni

bruni brunibruni

bruni@dis.uniroma1.it@dis.uniroma1.it@dis.uniroma1.it@dis.uniroma1.it

(2)

Oppure che ogni verticevertice di P ha componenti 0componenti 0--11

z*=z*= min min {{ccTTxx :: xxSS}}

Problema di PL01:

Abbiamo P = {x∈∈Rn: Dx < d} formulazione di S

Sarà P = PS = {x∈∈Rn: Ax < b} = Conv(S) ??

Oppure che argmin {cTx : x∈∈P }∈∈S per ogniper ogni c∈∈R n

Ogni disequazione del sistema Ax < b è implicataimplicata dal sistema Dx < d; 3x1+2x

2+ x

3−2x4 ≤ 2

(1/2)

(1/2) 2x

1−2x2-2x

3+2x

4 ≤ 2 Si può rispondere dimostrando che :

Si può rispondere dimostrando che :

4x1+x

2 -x

4 ≤ 3

Iniziamo da quest’ultimo caso ...

Come vedere se la Formulazione è Ottima?

(3)

Definizione 1: Una matrice A (m××××n) è detta unimodulareunimodulare se se e solo se

e solo se, per ogni sotto-matrice quadrata B (m××××m) di A

(base) si ha detdet(B(B)){{0,1,0,1,--11}}

Definizione 2: Una matrice A (m××××n) di è detta totalmentetotalmente unimodulare

unimodulare se e solo se, per ogni sotto-matrice quadrata di se e solo se A B (p××××p) con p>0 (=1,…,m) si ha detdet((BB))∈{{0,1,0,1,--11}}

1 0

1

1 1

0

0 1

1 1

1

2 3

unimodulare unimodulare

det(A)=3x1-1x2=1 ma non

totalmente totalmente unimodulare unimodulare det(B)=3,2,1,1

Non unimodulareunimodulare det(A)=1(1x1-0x1) -0(1x1-0x0)

+1(1x1-1x0)=2)

1 0

1

1 1

0

unimodulare unimodulare e totalmente totalmente unimodulare unimodulare det(B)∈{0,1,-1}

Definizioni di Unimodularità

(4)

TEOREMA 1: Sia A una matrice a componenti intere con

rank(A)rank(A)=m=m. Allora le seguenti affermazioni sono equivalenti:

1.1. AA è unimodulare;unimodulare;

2. I vertici2. vertici di PP = = {{xxRRnn:: Ax=bAx=b , x, x≥≥≥≥≥≥≥≥00n n }} sono interiinteri per ogni vettore b∈∈Zm (intero)

3. Ogni sotto-matrice quadrata 3. B (m××××m) nonnon--singolaresingolare di A ha una matrice inversamatrice inversa B-1 a componenti interea componenti intere

DIMOSTRAZIONE DIMOSTRAZIONE::

(11 2)2

L’equivalenza si dimostra provando che:

(22 3)3 (33 1)1

Unimodularità e Interezza

(5)

Unimodularit

Unimodularitàà e vertici interie vertici interi ((11 22))

AA è unimodulare unimodulare ⇒⇒⇒⇒⇒⇒⇒⇒ VerticiVertici di PP interi per interi b∈∈Zm

DIMOSTRAZIONE

DIMOSTRAZIONE:: xx°° verticevertice di PP = = {{xxRRnn:: Ax=bAx=b , x, x≥≥≥≥0≥≥≥≥0n n }}

xx°° SBA SBA ((Soluzione di Base AmmissibileSoluzione di Base Ammissibile))

n

m n

1 o

o N

B 0

0

b B

x x x

b Nx

Bx b

Ax

N

B  ≥≥≥≥









==== 











==== 

°°°°

====

++++

====

−−−−

−−−−













==== n−−−−m

N

m B

R x

R

x x

(((( ))))

N B

A ====

Esiste B sotto-matrice (m××××m) di A con det(B)≠≠≠≠0

tale che, posto: e abbiamo:

) det(B B 1 B

−−−− ==== ++++

AA matrice matrice intera intera ((a componenti interea componenti intere)) ⇒⇒⇒⇒⇒⇒⇒⇒ BB++ intera intera

AA matrice matrice unimodulare unimodulare ⇒⇒⇒⇒⇒⇒⇒⇒ |det|det(B)|=1(B)|=1

⇒⇒

⇒⇒

⇒⇒

BB--11b∈b∈Z m per ogniper ogni b∈∈Z m ⇒⇒⇒⇒⇒⇒⇒⇒ xx°∈°∈Z n per ogniper ogni b∈∈Zm

matrice aggiunta

matrice aggiunta (trasposta dei compl. alg.) di BB

(6)

Vertici interi e interezza di

Vertici interi e interezza di BB-1-1 ((2 ⇒2 33))

Vertici

Vertici di PP interiinteri per b∈∈Zm ⇒⇒⇒⇒⇒⇒⇒⇒ B non-singolare ha BB--11 interaintera

DIMOSTRAZIONE DIMOSTRAZIONE::

- Sia B una sotto-matrice (m××××m) di A con det(B)≠≠≠≠0

con

[[[[ ]]]]

m 3

2 1

B−−−−1 ==== ππππ ππππ ππππ L ππππ ( ππππππππkk colonna di BB--11 )

- Sia t un vettore interovettore intero tale che t+ππππππππkk ≥≥≥≥≥≥≥≥ 0m

- Sia b(t)= Bt+uukk (uukk k-esimo vettore unitario)vettore unitario

SBASBA del sistema Ax=b(t) , x≥≥≥≥0nn

VerticeVertice di PP = = {{xxRRnn:: Ax=bAx=b(t(t)) , x, x≥≥≥≥≥≥≥≥00n n }} ⇒⇒⇒⇒⇒⇒⇒⇒

n m

n k m

n

k 1

m n

k 1

m n 1

0 0 t 0

u B

t 0

u Bt

B 0

t b

B  ≥≥≥≥



 



 ++++

 ====









 ++++

 ====









 ++++

 ====











−−−− −−−−

−−−−

−−−−

−−−−

−−−−

−−−− ( ) ( ) ππππ

t+ππππππππkk un vettore interovettore intero ππππππππkk un vettore interovettore intero

[ t è un vettore interovettore intero]]

Dimostriamo che una generica colonna ππππππππkk è intera:intera

[per ipotesiper ipotesi]]

(7)

Interezza di

Interezza di BB-1-1 e e unimodularitunimodularitàà ((3 ⇒3 11))

B non-non-singolare ha singolare ha BB-1-1 interaintera ⇒⇒⇒⇒⇒⇒⇒⇒ AA è unimodulare unimodulare

DIMOSTRAZIONE DIMOSTRAZIONE::

- Sia B una sotto-matrice (m××××m) di A con det(B)≠≠≠≠0

BB-1-1 ha tutte componenti interecomponenti intere

|det(B)| e |det(BB-1-1)| numeri interinumeri interi

ma |det(B)| |det(BB--11)|= |det(BBB--11)| = 1

|det(B)|=|det(BB-1-1)|=1

AA è unimodulareunimodulare

(8)

Vertici, forma Standard e forma Generale Vertici, forma Standard e forma Generale

TEOREMA 2: Il vettore xx°° è un vertice del poliedro:

PP = = {{xx∈RRnn:: AxAx ≤≤≤≤≤≤≤≤ b , x b , x ≥≥≥≥0≥≥≥≥0n n }}

se e solo se

se e solo se il vettore:: è un verticevertice del poliedro

Q = Q = {{(x(x,s,s))RRnn+m+m:: Ax+IsAx+Is = b , x = b , x ≥≥≥≥0≥≥≥≥0n , n , s s ≥≥≥≥≥≥≥≥00m m }}

Dimostiamo

Dimostiamo cheche x° èè un vertice di un vertice di PP (x(°,s,s°°)) èè un vertice di un vertice di QQ





 





°°°°

−−−−

==== °°°°













°°°°

°°°°

Ax b

x R

s

R x

m n

-- Supponi cheSupponi che ((xx°°,s°,s°)) nonnon sia un verticesia un vertice didi QQ

((xx22,s,s22))

esistono inesistono in Q Q due vettoridue vettori ((xx11,s,s11) ) ≠≠≠≠≠≠≠≠((xx22,s,s22)) tali chetali che:: (x(x11,s,s11))

(x(x00,s,s00)) (x(°,s,s°°)= )= αααααααα ((xx11,s,s11)) +(+(11--αααααααα)) (x(x22,s,s22) ) 1 1 >> αααααααα >00

xx°°= = αααααααα xx11+(+(11--αααααααα)) xx22 1 > 1 > αααααααα >00

xx1 1 = = xx2 2 [xx°° è un vertice di vertice di PP]]

ss1 1 = = b-b-AAxx1 1 = = b-b-AxAx22 = = ss2 2 CONTRADDIZIONE CONTRADDIZIONE

(9)

Vertici, forma Standard e forma Generale Vertici, forma Standard e forma Generale

Dimostriamo che

Dimostriamo che ((xx°°,s°,s°)) èè un vertice di un vertice di QQ xx°° èè un vertice di un vertice di PP --Supponi cheSupponi che xx°° nonnon sia un verticesia un vertice didi PP

esistono in esistono in PP due vettoridue vettori xx11 ≠≠≠≠≠≠≠≠ xx22 tali chetali che:: x°==αααααααα xx11+(+(11--αααααααα)) xx22 1 >1 > αααααααα >0>0

((xx°°,s,s°°))= = αααααααα (x(x11,s,s11)) ++((11--αααααααα)) ((xx22,s,s22)) 1 >1 > αααααααα >0>0

ss1 1 = = bb--AAxx1 1 ≠≠≠≠≠≠≠≠ bb--AAxx22 = = ss22

s° = b= b--AAxx°° = b-= b-AA((αααααααα xx11+(+(11--αααααααα)) xx22)) = =

= = αααααααα ((bb--AAxx1 1 ))++((1-1-αααααααα)) ((bb--AAxx22)) == αααααααα ss11+(+(11--αααααααα)) ss22

concon (x(x11,s,s11)) ≠≠≠≠≠≠≠≠ ((xx22,s,s22)) CONTRADDIZIONECONTRADDIZIONE

(10)

Totale Unimodularit

Totale Unimodularitàà e Interezzae Interezza

TEOREMA: Sia A una matrice a componenti intere con

rank(rank(AA))=m=m. Allora I verticivertici di PP = = {{xxRRnn:: AxAx≤≤≤≤≤≤≤≤ b , x b , x ≥≥≥≥0≥≥≥≥0n n }}

sono interiinteri per ogni vettore b∈∈Zm (intero) se e solo se la matrice AA è totalmente unimodulare.totalmente unimodulare.

DIMOSTRAZIONE

DIMOSTRAZIONE: : [Teorema 2Teorema 2]] xx°°RRnn è un vertice del poliedro:

PP = = {{xxRRnn:: AxAx ≤≤≤≤≤≤≤≤ b , x b , x ≥≥≥≥0≥≥≥≥0n n }}

se e solo se

se e solo se il vettore:: è un verticevertice del poliedro:

Q = Q = {{((xx,s,s))RRn+mn+m:: Ax+Is=b , xAx+Is=b , x≥≥≥≥≥≥≥≥00n , n , ss≥≥≥≥≥≥≥≥00m m }}





 





°°°°

−−−−

==== °°°°





 





°°°°

°°°°

Ax b

x R

s

R x

m n

I vertici di Q Q hanno componenti intere se e solose e solo se la matrice

(A (A IImm )) è unimodulare [unimodulare Teorema 1Teorema 1]]

(11)

DimDim UnimodularitUnimodularitàà -- Totale UnimodularitTotale Unimodularitàà 1/21/2

(A (A IImm )) unimodulareunimodulare

⇔ ⇔ ⇔ ⇔ ⇔ ⇔ ⇔ ⇔

A A totalmente unimodularetotalmente unimodulare

[[[[

A Im

]]]]

====

[[[[

a1 L an u1 L um

]]]]

Sia B una sotto-matrice (m××××m) di ((A A IImm )) con det(B)≠≠≠≠0

[[[[

a j1 a jr u jr 1 u jm

]]]]

B ==== L ++++ L

 

 



==== 

−−−−r m

1

I

F

0 B F

|det(B)|=|det(F)|=1F

[[solo sesolo se]] A A totalmente unimodulare totalmente unimodulare ((A A IImm)) unimodulare unimodulare

m 1 r

j j

M

+++

+ r 1

j j M

Dobbiamo dimostrare che:

Dobbiamo dimostrare che:

(12)

Sia F una sotto-matrice (p××××p) di A A con p>0 e det(F)≠≠≠≠0

 

 



==== 

−−−−p m 1

I F

0 B F

|det(F)|=|det(B)|=1B

[se[se]] (A (A IImm)) unimodulare unimodulare A A totalmente unimodularetotalmente unimodulare

{{{{

j ,...,1 jp

}}}}

Siano gli indici delle colonne di F

[[[[

a j1 a jp u jp 1 u jm

]]]]

B ==== L ++++ L

Definisci la seguente base BB (m××××m) di ((A,A,IImm ))

m 1 p

j j

M

+++

+ p 1

j j M

DimDim UnimodularitUnimodularitàà -- Totale UnimodularitTotale Unimodularitàà 2/22/2

Riferimenti

Documenti correlati

““““Sapienza Sapienza Sapienza”””” Universit Sapienza Universit Universit Università à à di Roma à di Roma di Roma ---- Dipartimento di Ingegneria

Nel caso di eventi da svolgersi all’interno di Facoltà e Dipartimenti, ivi compresi gli spazi interni condivisi tra più Dipartimenti e/o Facoltà, e per spazi

disciplinare (SSD) d'inquadramento del docente e della tipologia di pertinenza dello stesso SSD (prevalente, primaria, secondaria, condivisa, marginale, nulla)

..l..sottoscritt... chiede di essere ammess.. 1 assegno di ricerca presso codesto Dipartimento, titolo della ricerca “Sviluppo e valutazione di protocolli per reti

Ad esempio, dovendo scrivere una procedura risolutiva per il problema della moltiplicazione tra due numeri, converr` a utilizzare il fatto che un esecutore che sa solo sommare 1,

I criteri utilizzati per definire la risposta alla CRT variano considerevolmente e includono parametri clinici come il miglioramento di classe funzionale NYHA,

L'obiettivo di questo studio è stato quello di valutare l’impatto dell’interazione fra il cardiologo ed il cardiochirurgo, derivante dalla formazione di un “Team mitralico”,

Per tutte le altre strutture prive di tali poteri e per quelle Per tutte le altre strutture prive di tali poteri e per quelle di uso comune, il datore di lavoro e' il Rettore.