18.01.2013 Views

Koppelen 910Leon Willenborg en Nico Heerschap - CBS

Koppelen 910Leon Willenborg en Nico Heerschap - CBS

Koppelen 910Leon Willenborg en Nico Heerschap - CBS

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

van elkaar opgelost kunn<strong>en</strong> word<strong>en</strong>. Ieder van deze keuzeproblem<strong>en</strong> correspondeert met e<strong>en</strong><br />

sam<strong>en</strong>hangscompon<strong>en</strong>t van de desbetreff<strong>en</strong>de KK-graph.<br />

E<strong>en</strong> ander punt is dat in de statistiek gevall<strong>en</strong> met alternatieve koppeling<strong>en</strong> als twijfelgevall<strong>en</strong><br />

word<strong>en</strong> beschouwd, die di<strong>en</strong><strong>en</strong> te word<strong>en</strong> voorgelegd aan e<strong>en</strong> koppeldeskundige om ze op te<br />

loss<strong>en</strong>. Dat is vaak echter niet nodig, <strong>en</strong> zou e<strong>en</strong> programma die beslissing<strong>en</strong> kunn<strong>en</strong> nem<strong>en</strong>. Dat<br />

scheelt niet alle<strong>en</strong> e<strong>en</strong> hoop werk, het kan bov<strong>en</strong>di<strong>en</strong> leid<strong>en</strong> tot betere (automatische)<br />

procesdocum<strong>en</strong>tatie. Alle<strong>en</strong> échte probleemgevall<strong>en</strong> kunn<strong>en</strong> dan aan e<strong>en</strong> koppeldeskundige word<strong>en</strong><br />

voorgelegd. Dit mog<strong>en</strong> er echter niet meer dan e<strong>en</strong> handjevol zijn.<br />

Voordat we ons conc<strong>en</strong>trer<strong>en</strong> op de koppelingsproblem<strong>en</strong> bij bipartiete (di)graph<strong>en</strong>, kijk<strong>en</strong> we eerst<br />

naar het koppelingsprobleem bij willekeurige (di)graph<strong>en</strong>.<br />

4.4 Koppelproblem<strong>en</strong> in graph<strong>en</strong><br />

Het koppel<strong>en</strong> kan word<strong>en</strong> beschrev<strong>en</strong> met behulp van e<strong>en</strong> speciaal soort graph<strong>en</strong>, namelijk<br />

bipartiete graph<strong>en</strong>. Echter in e<strong>en</strong> algem<strong>en</strong>e graph G = ( V , E)<br />

kan m<strong>en</strong> ook over matching sprek<strong>en</strong>.<br />

Het e<strong>en</strong>voudigste geval is 1-matching (of gewoon matching g<strong>en</strong>aamd). Het doel hierbij is om e<strong>en</strong><br />

subset F ⊆ E te kiez<strong>en</strong> zó dat ieder punt v ∈V op t<strong>en</strong> hoogste één kant van F ligt. Dit laatste kan<br />

ook zo geformuleerd word<strong>en</strong> dat voor G ( F)<br />

= ( V , F)<br />

de graad van ieder punt v in G (F ) t<strong>en</strong><br />

hoogste 1 is. Iedere graph heeft altijd één 1-matching, namelijk met F = φ , dus de graph die uit de<br />

punt<strong>en</strong> van G bestaat <strong>en</strong> ge<strong>en</strong> kant<strong>en</strong> heeft. De kunst is nu om bij e<strong>en</strong> gegev<strong>en</strong> graph<br />

G = ( V , E)<br />

e<strong>en</strong> maximale 1-matching G ( F)<br />

= ( V , F)<br />

te vind<strong>en</strong>, dus waarbij het aantal kant<strong>en</strong><br />

| F | maximaal is. Dit is e<strong>en</strong> ongewog<strong>en</strong> matchingsprobleem.<br />

1-Matchings zijn te g<strong>en</strong>eraliser<strong>en</strong> tot h-matchings, waarbij h e<strong>en</strong> | V | -vector is van integers,<br />

waarbij hi e<strong>en</strong> bov<strong>en</strong>gr<strong>en</strong>s is voor het aantal kant<strong>en</strong> waar punt i ∈V op ligt. Bij h-matchings kan<br />

e<strong>en</strong> extra eis word<strong>en</strong> opgelegd namelijk dat iedere kant niet meer dan één keer gekoz<strong>en</strong> mag<br />

word<strong>en</strong>. Dit wordt 0-1 h-matching g<strong>en</strong>oemd. E<strong>en</strong> andere mogelijkheid is dat e<strong>en</strong> kant meerdere<br />

ker<strong>en</strong> kan word<strong>en</strong> gekoz<strong>en</strong>. Dat wordt aangeduid als integer h-matching. In dit stuk mak<strong>en</strong> we<br />

alle<strong>en</strong> gebruik van 0-1 h-matching.<br />

Aan de kant<strong>en</strong>, de koppelkandidat<strong>en</strong>, kunn<strong>en</strong> ook gewicht<strong>en</strong> word<strong>en</strong> toegek<strong>en</strong>d. Als w e e<strong>en</strong><br />

gewicht is voor e ∈ E dan zij<br />

( ')<br />

= w<br />

E w het gewicht voor E' ⊆ E . Het gewog<strong>en</strong> h-<br />

e∈E<br />

'<br />

matchingsprobleem is om e<strong>en</strong> h-matching te vind<strong>en</strong> van maximaal gewicht. Het ongewog<strong>en</strong> 1matchingsprobleem<br />

is e<strong>en</strong> speciaal geval hiervan, omdat hier w = 1voor<br />

iedere e ∈ E .<br />

E<strong>en</strong> formulering van gewog<strong>en</strong> 0-1 (1-)matching als integer programmingsprobleem is als volgt:<br />

max w' x<br />

34<br />

e<br />

Ax ≤ b<br />

(4.4.1)<br />

n<br />

x ∈ { 0,<br />

}1 ,<br />

e

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!