Het lijkt eenvoudig, het is ingewikkeld en soms kan je het oplossen: Computerwetenschappers winnen Nobelprijzen. Patrick De Causmaecker
Computer – Computationeel Rekenen – Redeneren Wiskunde Artificiele Intelligentie Industrieel Patrick De Causmaecker
Sorteren : hoe doe je het? N! N 2 N log N N N N!N2N2 N log(N) , , ,3326E , , E ,64 Patrick De Causmaecker
15 puzzel Is er een oplossing? Vind een oplossing! Vind een kortste oplossing? Patrick De Causmaecker
Reizende koopman: jou oplossing? Patrick De Causmaecker
Reizende koopman Dichtste buur : Patrick De Causmaecker
Reizende koopman: wereldrecords 85,900 steden 13,509 steden Patrick De Causmaecker
Het Probleem van Dedekind 2, 3, 6, 20, 168, 7581, , , (sequence A in OEIS). Patrick De Causmaecker
Werken… Minimaal aantal medewerkers? Kan je een oplossingsmethode bedenken? Is die oplossingsmethode altijd optimaal? Patrick De Causmaecker
Nobelprijzen economie 2012 Het Nobelprijscomité verwees specifiek naar het Gale- Shapley-algoritme. Die wiskundigen berekening biedt onder meer een oplossing voor het ‘probleem van stabiele huwelijken’. De wiskundige berekening koppelt zo ‘efficiënt’ mogelijke vrijgezellen aan andere vrijgezellen (De Tijd, 15/10/2012). Patrick De Causmaecker
Stable marriage problem Alex Bob Cedric Bob Cedric Alex Bob Cedric Alex Cedric Bob Alex Patrick De Causmaecker
Stable marriage problem Alex Bob Cedric Bob Cedric Alex Bob Cedric Alex Cedric Bob Alex Patrick De Causmaecker
Stable marriage problem function stableMatching { Initialize all m ∈ M and w ∈ W to free while ∃ free man m who still has a woman w to propose to { w = m's highest ranked such woman to whom he has not yet proposed if w is free (m, w) become engaged else some pair (m', w) already exists if w prefers m to m' (m, w) become engaged m' becomes free else (m', w) remain engaged } Patrick De Causmaecker
Stable marriage problem Iedereen is getrouwd (als er evenveel mannen als vrouwen zijn) Resultaat is een stabiele verzameling huwelijken Optimaliteit voor de voorsteller, niet voor de aanvaarder Patrick De Causmaecker
Stable marriage problem Alex Bob Cedric Bob Alex Cedric Bob Alex Cedric Patrick De Causmaecker
Stable marriage problem Alex Bob Cedric Bob Alex Cedric Bob Alex Cedric Patrick De Causmaecker
En zo win je een Nobel prijs Patrick De Causmaecker