Het lijkt eenvoudig, het is ingewikkeld en soms kan je het oplossen: Computerwetenschappers winnen Nobelprijzen. Patrick De Causmaecker.

Presentatie over: "Het lijkt eenvoudig, het is ingewikkeld en soms kan je het oplossen: Computerwetenschappers winnen Nobelprijzen. Patrick De Causmaecker."— Transcript van de presentatie:

1 Het lijkt eenvoudig, het is ingewikkeld en soms kan je het oplossen: Computerwetenschappers winnen Nobelprijzen. Patrick De Causmaecker

2 Computer – Computationeel Rekenen – Redeneren Wiskunde Artificiele Intelligentie Industrieel Patrick De Causmaecker

3 Sorteren : hoe doe je het? http://www.youtube.com/watch?v=aXXWXz5rF64 http://www.youtube.com/watch?v=kPRA0W1kECg http://www.youtube.com/watch?v=aXXWXz5rF64 N! N 2 N log N N N N!N2N2 N log(N) 51202511,61 10362880010033,22 100 9,3326E+15 710000664,39 1000---10000009965,78 10000000---1E+14232534966,64 Patrick De Causmaecker

4 15 puzzel http://www.ics.uci.edu/~eppstein/cgt/hard.html#15 Is er een oplossing? Vind een oplossing! Vind een kortste oplossing? http://oeis.org/A087725 Patrick De Causmaecker

5 Reizende koopman: jou oplossing? Patrick De Causmaecker

6 Reizende koopman 2 1 2 2 2 1000 Dichtste buur : Patrick De Causmaecker

7 Reizende koopman: wereldrecords 85,900 steden 13,509 steden Patrick De Causmaecker

8 Het Probleem van Dedekind 2, 3, 6, 20, 168, 7581, 7828354, 2414682040998, 56130437228687557907788 (sequence A000372 in OEIS). http://oeis.org/A000372http://oeis.org/A000372 Patrick De Causmaecker

9 Werken… Minimaal aantal medewerkers? Kan je een oplossingsmethode bedenken? Is die oplossingsmethode altijd optimaal? Patrick De Causmaecker

10 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

11 Stable marriage problem Alex Bob Cedric Bob Cedric Alex Bob Cedric Alex Cedric Bob Alex Patrick De Causmaecker

12 Stable marriage problem Alex Bob Cedric Bob Cedric Alex Bob Cedric Alex Cedric Bob Alex Patrick De Causmaecker

13 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

14 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

15 Stable marriage problem Alex Bob Cedric Bob Alex Cedric Bob Alex Cedric Patrick De Causmaecker

16 Stable marriage problem Alex Bob Cedric Bob Alex Cedric Bob Alex Cedric Patrick De Causmaecker

17 En zo win je een Nobel prijs Patrick De Causmaecker