Day 13 - Emparelhamentos,

coberturas, conjuntos

independentes

F`eˇr‹n`a‹n`d`affl C`o˘u˚t´o
UFRRJ

O˚u˚tˇu˜b˘r`o `d`e 2020

Relembrando...

J´áffl ”v˘i‹m`os¸ `qfi˚u`e:

Relembrando...

J´áffl ”v˘i‹m`os¸ `qfi˚u`e:

- α0 ≤ β
Relembrando...

J´áffl ”v˘i‹m`os¸ `qfi˚u`e:

- α0 ≤ β
`o“n`d`e α0 `é `affl `c´a˚r`d˚i‹n`a˜lˇi`d`a`d`e `d`o `e›m¯p`a˚r`e¨l‚h`a‹m`e›n˚t´o ”m`á‹xˇi‹m`o `e β
`é `affl `c´a˚r`d˚i‹n`a˜lˇi`d`a`d`e `d`affl `c´o˝bfleˇr˚tˇu˚r`affl ”m˚í‹n˚i‹m`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s.

- P̀a˚r`affl `gˇr`a˜f´o¸s ˜b˘i¯p`a˚r˚tˇi`d`o¸s, `o T`e´o˘r`e›m`affl `d`e K`ö“n˚i`g `d˚i˚z `qfi˚u`e:

α0 = β
Relembrando...

- E”mffl `g´eˇr`a˜l, `affl ˚i`gˇu`a˜l´d`a`d`e ”n`ã`o ¯p˚r`e´cˇi¯sfi`affl ¯sfi`eˇrffl ”vˆá˜lˇi`d`affl:

Relembrando...

- E”mffl `g´eˇr`a˜l, `affl ˚i`gˇu`a˜l´d`a`d`e ”n`ã`o ¯p˚r`e´cˇi¯sfi`affl ¯sfi`eˇrffl ”vˆá˜lˇi`d`affl:

Relembrando...

- E”mffl `g´eˇr`a˜l, `affl ˚i`gˇu`a˜l´d`a`d`e ”n`ã`o ¯p˚r`e´cˇi¯sfi`affl ¯sfi`eˇrffl ”vˆá˜lˇi`d`affl:

Relembrando...

- E”mffl `g´eˇr`a˜l, `affl ˚i`gˇu`a˜l´d`a`d`e ”n`ã`o ¯p˚r`e´cˇi¯sfi`affl ¯sfi`eˇrffl ”vˆá˜lˇi`d`affl:

Relembrando...

- E”mffl `g´eˇr`a˜l, `affl ˚i`gˇu`a˜l´d`a`d`e ”n`ã`o ¯p˚r`e´cˇi¯sfi`affl ¯sfi`eˇrffl ”vˆá˜lˇi`d`affl:

Relembrando...

- E”mffl `g´eˇr`a˜l, `affl ˚i`gˇu`a˜l´d`a`d`e ”n`ã`o ¯p˚r`e´cˇi¯sfi`affl ¯sfi`eˇrffl ”vˆá˜lˇi`d`affl:

Conjuntos Independentes e Cliques

- S ⊆ V `é ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e (`d`e ”vfléˇr˚tˇi`c´e˙s) ¯sfi`e ”n`ã`o

`e›xˇi¯sfi˚t´e `a˚r`e˙sfi˚t´affl `e›n˚tˇr`e ”vfléˇr˚tˇi`c´e˙s `d`e S.
Conjuntos Independentes e Cliques

- S ⊆ V `é ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e (`d`e ”vfléˇr˚tˇi`c´e˙s) ¯sfi`e ”n`ã`o

`e›xˇi¯sfi˚t´e `a˚r`e˙sfi˚t´affl `e›n˚tˇr`e ”vfléˇr˚tˇi`c´e˙s `d`e S.

- D`e›n`o˘t´a‹m`o¸s ¯p`o˘rffl α `affl `c´a˚r`d˚i‹n`a˜lˇi`d`a`d`e `d`o `c´o“n¯jˇu‹n˚t´o

˚i‹n`d`e˙p`e›n`d`e›n˚t´e ”m`á‹xˇi‹m`o.
Conjuntos Independentes e Cliques

- S ⊆ V `é ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e (`d`e ”vfléˇr˚tˇi`c´e˙s) ¯sfi`e ”n`ã`o

`e›xˇi¯sfi˚t´e `a˚r`e˙sfi˚t´affl `e›n˚tˇr`e ”vfléˇr˚tˇi`c´e˙s `d`e S.

- D`e›n`o˘t´a‹m`o¸s ¯p`o˘rffl α `affl `c´a˚r`d˚i‹n`a˜lˇi`d`a`d`e `d`o `c´o“n¯jˇu‹n˚t´o

˚i‹n`d`e˙p`e›n`d`e›n˚t´e ”m`á‹xˇi‹m`o.

- K ⊆ V `é ˚u‹m`affl `c¨lˇi`qfi˚u`e ¯sfi`e `o¸s ”vfléˇr˚tˇi`c´e˙s `d`e K ¯sfi`ã`o `d`o˘i¯s `affl `d`o˘i¯s
`a`d¯j´a`c´e›n˚t´e˙s.
Conjuntos Independentes e Cliques

- S ⊆ V `é ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e (`d`e ”vfléˇr˚tˇi`c´e˙s) ¯sfi`e ”n`ã`o

`e›xˇi¯sfi˚t´e `a˚r`e˙sfi˚t´affl `e›n˚tˇr`e ”vfléˇr˚tˇi`c´e˙s `d`e S.

- D`e›n`o˘t´a‹m`o¸s ¯p`o˘rffl α `affl `c´a˚r`d˚i‹n`a˜lˇi`d`a`d`e `d`o `c´o“n¯jˇu‹n˚t´o

˚i‹n`d`e˙p`e›n`d`e›n˚t´e ”m`á‹xˇi‹m`o.

- K ⊆ V `é ˚u‹m`affl `c¨lˇi`qfi˚u`e ¯sfi`e `o¸s ”vfléˇr˚tˇi`c´e˙s `d`e K ¯sfi`ã`o `d`o˘i¯s `affl `d`o˘i¯s
`a`d¯j´a`c´e›n˚t´e˙s.

- D`e›n`o˘t´a‹m`o¸s ¯p`o˘rffl ω(G ) `affl `c´a˚r`d˚i‹n`a˜lˇi`d`a`d`e `d`affl `c¨lˇi`qfi˚u`e ”m`á‹xˇi‹m`affl.

Conjuntos Independentes e Cliques

- S ⊆ V `é ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e (`d`e ”vfléˇr˚tˇi`c´e˙s) ¯sfi`e ”n`ã`o

`e›xˇi¯sfi˚t´e `a˚r`e˙sfi˚t´affl `e›n˚tˇr`e ”vfléˇr˚tˇi`c´e˙s `d`e S.

- D`e›n`o˘t´a‹m`o¸s ¯p`o˘rffl α `affl `c´a˚r`d˚i‹n`a˜lˇi`d`a`d`e `d`o `c´o“n¯jˇu‹n˚t´o

˚i‹n`d`e˙p`e›n`d`e›n˚t´e ”m`á‹xˇi‹m`o.

- K ⊆ V `é ˚u‹m`affl `c¨lˇi`qfi˚u`e ¯sfi`e `o¸s ”vfléˇr˚tˇi`c´e˙s `d`e K ¯sfi`ã`o `d`o˘i¯s `affl `d`o˘i¯s
`a`d¯j´a`c´e›n˚t´e˙s.

- D`e›n`o˘t´a‹m`o¸s ¯p`o˘rffl ω(G ) `affl `c´a˚r`d˚i‹n`a˜lˇi`d`a`d`e `d`affl `c¨lˇi`qfi˚u`e ”m`á‹xˇi‹m`affl.

Conjuntos Independentes e Cliques
Conjuntos Independentes e Cliques

S1 = {a, f }
Conjuntos Independentes e Cliques

S1 = {a, f }
S2 = {a, d}
Conjuntos Independentes e Cliques

S1 = {a, f }
S2 = {a, d}
α=2
Conjuntos Independentes e Cliques

S1 = {a, f }
S2 = {a, d}
α=2

?
Conjuntos Independentes e Cliques

S1 = {a, f }
S2 = {a, d}
α=2

?
Conjuntos Independentes e Cliques

S1 = {a, f }
S2 = {a, d}
α=2

?
Cobertura por v
ertices × Conjunto Independente

T`e´o˘r`e›m`affl 22. S ⊆ V `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ¯sfi`e, `e ¯sfi`o“m`e›n˚t´e

¯sfi`e, V \ S `é ˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s.
Cobertura por v
ertices × Conjunto Independente

T`e´o˘r`e›m`affl 22. S ⊆ V `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ¯sfi`e, `e ¯sfi`o“m`e›n˚t´e

¯sfi`e, V \ S `é ˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s.

- P˚r`o“vˆaffl: S `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ↔

Cobertura por v
ertices × Conjunto Independente

T`e´o˘r`e›m`affl 22. S ⊆ V `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ¯sfi`e, `e ¯sfi`o“m`e›n˚t´e

¯sfi`e, V \ S `é ˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s.

- P˚r`o“vˆaffl: S `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ↔ ”n`ã`o `e›xˇi¯sfi˚t´e `a˚r`e˙sfi˚t´affl

`e›n˚tˇr`e `qfi˚u`a˚i¯sfi`qfi˚u`eˇrffl `d`o˘i¯s ”vfléˇr˚tˇi`c´es˙ `d`e S ↔
Cobertura por v
ertices × Conjunto Independente

T`e´o˘r`e›m`affl 22. S ⊆ V `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ¯sfi`e, `e ¯sfi`o“m`e›n˚t´e

¯sfi`e, V \ S `é ˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s.

- P˚r`o“vˆaffl: S `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ↔ ”n`ã`o `e›xˇi¯sfi˚t´e `a˚r`e˙sfi˚t´affl

`e›n˚tˇr`e `qfi˚u`a˚i¯sfi`qfi˚u`eˇrffl `d`o˘i¯s ”vfléˇr˚tˇi`c´es˙ `d`e S ↔ ˚t´oˆd`affl `a˚r`es˙ fi˚t´affl `d`e G
˚t´e›mffl `e›xˇtˇr`e›m`o `e›mffl V \ S ↔
Cobertura por v
ertices × Conjunto Independente

T`e´o˘r`e›m`affl 22. S ⊆ V `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ¯sfi`e, `e ¯sfi`o“m`e›n˚t´e

¯sfi`e, V \ S `é ˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s.

- P˚r`o“vˆaffl: S `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ↔ ”n`ã`o `e›xˇi¯sfi˚t´e `a˚r`e˙sfi˚t´affl

`e›n˚tˇr`e `qfi˚u`a˚i¯sfi`qfi˚u`eˇrffl `d`o˘i¯s ”vfléˇr˚tˇi`c´es˙ `d`e S ↔ ˚t´oˆd`affl `a˚r`es˙ fi˚t´affl `d`e G
˚t´e›mffl `e›xˇtˇr`e›m`o `e›mffl V \ S ↔ V \ S `é `c´o˝bfleˇr˚tˇu˚r`affl `d`a¯s `a˚r`e˙sfi˚t´a¯s
¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s.
Conjunto Independente × Cobertura por v
ertices

C`o˘r`o˝l´á˚r˚i`o 6. α + β = n
Conjunto Independente × Cobertura por v
ertices

C`o˘r`o˝l´á˚r˚i`o 6. α + β = n

- P˚r`o“vˆaffl: S̀e˙j´affl S ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ”m`á‹xˇi‹m`o `e L

˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ”m˚í‹n˚i‹m`affl `d`a¯s `a˚r`e˙sfi˚t´a¯s ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s.
Conjunto Independente × Cobertura por v
ertices

C`o˘r`o˝l´á˚r˚i`o 6. α + β = n

- P˚r`o“vˆaffl: S̀e˙j´affl S ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ”m`á‹xˇi‹m`o `e L

˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ”m˚í‹n˚i‹m`affl `d`a¯s `a˚r`e˙sfi˚t´a¯s ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s. P̀e¨l´o
T`e´o˘r`e›m`affl 22, V \ S = L∗ `é `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s `e
V \ L = S ∗ `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e.
Conjunto Independente × Cobertura por v
ertices

C`o˘r`o˝l´á˚r˚i`o 6. α + β = n

- P˚r`o“vˆaffl: S̀e˙j´affl S ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ”m`á‹xˇi‹m`o `e L

˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ”m˚í‹n˚i‹m`affl `d`a¯s `a˚r`e˙sfi˚t´a¯s ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s. P̀e¨l´o
T`e´o˘r`e›m`affl 22, V \ S = L∗ `é `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s `e
V \ L = S ∗ `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e.
|L∗ | = n − α = |V \ S| ≥ β
Conjunto Independente × Cobertura por v
ertices

C`o˘r`o˝l´á˚r˚i`o 6. α + β = n

- P˚r`o“vˆaffl: S̀e˙j´affl S ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ”m`á‹xˇi‹m`o `e L

˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ”m˚í‹n˚i‹m`affl `d`a¯s `a˚r`e˙sfi˚t´a¯s ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s. P̀e¨l´o
T`e´o˘r`e›m`affl 22, V \ S = L∗ `é `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s `e
V \ L = S ∗ `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e.
|L∗ | = n − α = |V \ S| ≥ β
|S ∗ | = n − β = |V \ L| ≤ α
Conjunto Independente × Cobertura por v
ertices

C`o˘r`o˝l´á˚r˚i`o 6. α + β = n

- P˚r`o“vˆaffl: S̀e˙j´affl S ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ”m`á‹xˇi‹m`o `e L

˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ”m˚í‹n˚i‹m`affl `d`a¯s `a˚r`e˙sfi˚t´a¯s ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s. P̀e¨l´o
T`e´o˘r`e›m`affl 22, V \ S = L∗ `é `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s `e
V \ L = S ∗ `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e.
|L∗ | = n − α = |V \ S| ≥ β
|S ∗ | = n − β = |V \ L| ≤ α
L`oˆg´o, n − α ≥ β, ˚iffl.`e., n ≥ α + β `e n − β ≤ α, ˚iffl.`e., n ≤ α + β.
Conjunto Independente × Cobertura por v
ertices

C`o˘r`o˝l´á˚r˚i`o 6. α + β = n

- P˚r`o“vˆaffl: S̀e˙j´affl S ˚u‹mffl `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e ”m`á‹xˇi‹m`o `e L

˚u‹m`affl `c´o˝bfleˇr˚tˇu˚r`affl ”m˚í‹n˚i‹m`affl `d`a¯s `a˚r`e˙sfi˚t´a¯s ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s. P̀e¨l´o
T`e´o˘r`e›m`affl 22, V \ S = L∗ `é `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl ”vfléˇr˚tˇi`c´e˙s `e
V \ L = S ∗ `é `c´o“n¯jˇu‹n˚t´o ˚i‹n`d`e˙p`e›n`d`e›n˚t´e.
|L∗ | = n − α = |V \ S| ≥ β
|S ∗ | = n − β = |V \ L| ≤ α
L`oˆg´o, n − α ≥ β, ˚iffl.`e., n ≥ α + β `e n − β ≤ α, ˚iffl.`e., n ≤ α + β.
P̀o˘r˚t´a‹n˚t´o, n = α + β
Cobertura por v
ertices × Conjunto Independente
V`o˝lˇt´e›m`o¸s `a`o `gˇr`a˜f´o `d`affl ¯p˚r`o“vˆaffl `d`o T`e´o˘r`e›m`affl `d`e K`ö“n˚i`g.

Y
Cobertura por v
ertices × Conjunto Independente
V`o˝lˇt´e›m`o¸s `a`o `gˇr`a˜f´o `d`affl ¯p˚r`o“vˆaffl `d`o T`e´o˘r`e›m`affl `d`e K`ö“n˚i`g.

|X | = 10, |Y | = 9, n = 19
Cobertura por v
ertices × Conjunto Independente
V`o˝lˇt´e›m`o¸s `a`o `gˇr`a˜f´o `d`affl ¯p˚r`o“vˆaffl `d`o T`e´o˘r`e›m`affl `d`e K`ö“n˚i`g.

|X | = 10, |Y | = 9, n = 19
β = 7 = α0
Cobertura por v
ertices × Conjunto Independente
V`o˝lˇt´e›m`o¸s `a`o `gˇr`a˜f´o `d`affl ¯p˚r`o“vˆaffl `d`o T`e´o˘r`e›m`affl `d`e K`ö“n˚i`g.

|X | = 10, |Y | = 9, n = 19
β = 7 = α0
α = n − β = 12 > 10 = |X |
Cobertura por arestas

- U”m`affl `c´o˝bfleˇr˚tˇu˚r`affl `d`o¸s ”vfléˇr˚tˇi`c´e˙s ¯p`o˘rffl `a˚r`e˙sfi˚t´a¯s L0 `é ˚u‹mffl

`c´o“n¯jˇu‹n˚t´o `d`e `a˚r`e˙sfi˚t´a¯s ˚t´a˜l `qfi˚u`e ˚t´oˆd`o ”vfléˇr˚tˇi`c´e `é `e›xˇtˇr`e›m`o `d`e,
¯p`e¨l´o ”m`e›n`o¸s, ˚u‹m`affl `a˚r`e˙sfi˚t´affl `e›mffl L0 .
Cobertura por arestas

- U”m`affl `c´o˝bfleˇr˚tˇu˚r`affl `d`o¸s ”vfléˇr˚tˇi`c´e˙s ¯p`o˘rffl `a˚r`e˙sfi˚t´a¯s L0 `é ˚u‹mffl

`c´o“n¯jˇu‹n˚t´o `d`e `a˚r`e˙sfi˚t´a¯s ˚t´a˜l `qfi˚u`e ˚t´oˆd`o ”vfléˇr˚tˇi`c´e `é `e›xˇtˇr`e›m`o `d`e,
¯p`e¨l´o ”m`e›n`o¸s, ˚u‹m`affl `a˚r`e˙sfi˚t´affl `e›mffl L0 .

- D`e›n`o˘t´a‹m`o¸s ¯p`o˘rffl β 0 `affl `c´a˚r`d˚i‹n`a˜lˇi`d`a`d`e `d`affl `c´o˝bfleˇr˚tˇu˚r`affl ”m˚í‹n˚i‹m`affl

`d`o¸s ”vfléˇr˚tˇi`c´e˙s ¯p`o˘rffl `a˚r`es˙ fi˚t´a¯s.
Emparelhamento × Cobertura por arestas

- U”m`affl `c´o˝bfleˇr˚tˇu˚r`affl `d`o¸s ”vfléˇr˚tˇi`c´e˙s ¯p`o˘rffl `a˚r`e˙sfi˚t´a¯s ¯sfi`ó `e›xˇi¯sfi˚t´e ¯sfi`e

δ > 0.
Emparelhamento × Cobertura por arestas

- U”m`affl `c´o˝bfleˇr˚tˇu˚r`affl `d`o¸s ”vfléˇr˚tˇi`c´e˙s ¯p`o˘rffl `a˚r`e˙sfi˚t´a¯s ¯sfi`ó `e›xˇi¯sfi˚t´e ¯sfi`e

δ > 0.

- N`e›mffl ¯sfi`e›m¯p˚r`e E \ M `é `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl `a˚r`e˙sfi˚t´a¯s, ¯p`a˚r`affl M

`e›m¯p`a˚r`e¨l‚h`a‹m`e›n˚t´o.
Emparelhamento × Cobertura por arestas

- U”m`affl `c´o˝bfleˇr˚tˇu˚r`affl `d`o¸s ”vfléˇr˚tˇi`c´e˙s ¯p`o˘rffl `a˚r`e˙sfi˚t´a¯s ¯sfi`ó `e›xˇi¯sfi˚t´e ¯sfi`e

δ > 0.

- N`e›mffl ¯sfi`e›m¯p˚r`e E \ M `é `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl `a˚r`e˙sfi˚t´a¯s, ¯p`a˚r`affl M

`e›m¯p`a˚r`e¨l‚h`a‹m`e›n˚t´o.

- N`e›mffl ¯sfi`e›m¯p˚r`e E \ L0 `é `e›m¯p`a˚r`e¨l‚h`a‹m`e›n˚t´o, ¯p`a˚r`affl L0 ˚u‹m`affl

`c´o˝bfleˇr˚tˇu˚r`affl.
Emparelhamento × Cobertura por arestas

- U”m`affl `c´o˝bfleˇr˚tˇu˚r`affl `d`o¸s ”vfléˇr˚tˇi`c´e˙s ¯p`o˘rffl `a˚r`e˙sfi˚t´a¯s ¯sfi`ó `e›xˇi¯sfi˚t´e ¯sfi`e

δ > 0.

- N`e›mffl ¯sfi`e›m¯p˚r`e E \ M `é `c´o˝bfleˇr˚tˇu˚r`affl ¯p`o˘rffl `a˚r`e˙sfi˚t´a¯s, ¯p`a˚r`affl M

`e›m¯p`a˚r`e¨l‚h`a‹m`e›n˚t´o.

- N`e›mffl ¯sfi`e›m¯p˚r`e E \ L0 `é `e›m¯p`a˚r`e¨l‚h`a‹m`e›n˚t´o, ¯p`a˚r`affl L0 ˚u‹m`affl

`c´o˝bfleˇr˚tˇu˚r`affl.

M`e˙sfi‹m`o `a¯sfi¯sfi˚i‹mffl:

T`e´o˘r`e›m`affl 23. S̀e δ > 0, `e›n˚t´ã`o α0 + β 0 = n.

Emparelhamento × Cobertura por arestas

T`e´o˘r`e›m`affl 23. S̀e δ > 0, `e›n˚t´ã`o α0 + β 0 = n.

- I`d`eˇi`affl `d`affl P˚r`o“vˆaffl: D`o˘i¯s `c´a¯sfi`o¸s: α0 + β 0 ≤ n `e α0 + β 0 ≥ n.

Emparelhamento × Cobertura por arestas

T`e´o˘r`e›m`affl 24. T`oˆd`o `gˇr`a˜f´o ˜b˘i¯p`a˚r˚tˇi`d`o `c´o“mffl δ > 0 ¯sfi`a˚tˇi¯sfi˜f´a˚z α = β 0 .

Emparelhamento × Cobertura por arestas

T`e´o˘r`e›m`affl 24. T`oˆd`o `gˇr`a˜f´o ˜b˘i¯p`a˚r˚tˇi`d`o `c´o“mffl δ > 0 ¯sfi`a˚tˇi¯sfi˜f´a˚z α = β 0 .

- P˚r`o“vˆaffl: α + β = n `e ¯sfi`e δ > 0, α0 + β 0 = n. M`a¯s, ¯p`e¨l´o

T`e´o˘r`e›m`affl `d`e K`ö“n˚i`g, α0 = β. L`oˆg´o, α = β 0 .