Det klassiska sjukhus-/invånarproblemet (HR) är en modell för de yngre läkarnas uppdrag till sjukhusen på grundval av deras preferenser framför varandra. I ett fall av detta problem, en stabil matchning M söks som säkerställer att inget blockerande par kan existera där en bosatt r och sjukhus h kan förbättras i förhållande till M genom att tilldelas varandra. En sådan situation är oönskad, eftersom den naturligtvis kan leda till att r och h bildar ett privat arrangemang utanför matchningen. Den ursprungliga HR-modellen förutsätter att preferenslistorna är strikt beställda. I praktiken kan detta emellertid vara ett orimligt antagande: ett ombud kan finna två eller flera agenter lika godtagbara, vilket ger upphov till band i dess preferenslista. På så sätt får vi sjukhus/invånare problem med Ties (HRT). I ett sådant fall, stabila matchningar kan ha olika storlekar och MAX HRT, problemet med att hitta en maximal kardinalitet stabil matchning, är NP-hård. I den här artikeln beskriver vi en Integer Programming (IP) modell för MAX HRT. Vi ger också några detaljer om genomförandet av modellen. Slutligen presenterar vi resultat från en empirisk utvärdering av IP-modellen baserad på verkliga och slumpmässigt genererade problemfall.
De metoder som de ansåg innefattade tre exakta algoritmer för MAX-HRT baserat på ILP-modellen presenteras i REF.
An Integer Programming Approach to the Hospital/Residents Problem with Ties
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}