Koppelen 910Leon Willenborg en Nico Heerschap - CBS
Koppelen 910Leon Willenborg en Nico Heerschap - CBS
Koppelen 910Leon Willenborg en Nico Heerschap - CBS
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