Seminar Exact Algorithms for Hard Problems 2008. Seminar2 Language Dutch, as all participants are Dutch-speaking (I think)

Presentatie over: "Seminar Exact Algorithms for Hard Problems 2008. Seminar2 Language Dutch, as all participants are Dutch-speaking (I think)"— Transcript van de presentatie:

1 Seminar Exact Algorithms for Hard Problems 2008

2 Seminar2 Language Dutch, as all participants are Dutch-speaking (I think)

3 Seminar3 Leerdoelen Leren kennen van begrippen en technieken uit de exacte en geparameteriseerde algoritmiek Leren ontwerpen en analyseren van exacte algoritmen, met name met de techieken branch and reduce en measure and conquer Ervaring opdoen met wetenschappelijk onderzoek Oefenen in presenteren en uitleggen van algoritmen en analyse van algoritmen

4 Seminar4 Docenten Hans Bodlaender Johan van Rooij

5 Seminar5 Vorm Voordrachten door docenten Voordrachten door studenten Project

6 Seminar6 Indeling Week 1 en 2: voordrachten door docenten Week 3 en 4: voordrachten door deelnemers Week 5 t/m 8: steeds 1 voordracht door deelnemer en projectdiscussies Week 9 en 10: voordrachten door deelnemers over projecten

7 Seminar7 Week 1 en 2 3 september: Hans Bodlaender: Organisatie 3 september: Hans Bodlaender: Inleiding 5 september: Johan van Rooij: Branch and reduce 5 september: Hans Bodlaender: Treewidth 1 10 september: geen college 12 september: Johan van Rooij: Measure and conquer 12 september: Hans Bodlaender: Treewidth 2

8 Seminar8 Week 3 en 4 17 september: Fixed parameter algorithms with bounded search trees 17 september: Dynamic programming algorithm using tree decompositions 19 september: Kernelization (voor cluster editing) 19 september: Exact algorithms with preprocessing (subset sum, knapsack, bipartite dominating set) 24 september: Held-Karp like dynamic programming (voor treewidth) 24 september: Local search based exact algorithms for SATISFIABILITY 26 september: An exact algorithm for Bandwidth

9 Seminar9 Belangrijk Vertel vooral de intuitie en de technieken Duur van praatjes: 45 minuten. Mag korter, maar niet korter dan 35 minuten Mag op het bord, of met beamer (powerpoint of LaTeX-slides) Zorg dat je het zelf goed begrijpt, en oefen e.e.a. van te voren Begin op tijd met de voorbereiding

10 Seminar10 Week 5 t/m 8 24 oktober valt uit Elke bijeenkomst: –Eerst voordracht over paper/onderwerp door deelnemer (45 minuten) –Daarna projectdiscussies

11 Seminar11 Schema 1 oktober: Speeding up exact algorithms with Memorization 3 oktober: Measure and conquer algorithms: Edge domination 8 oktober: Inclusion-exclusion algorithms (Hamiltonian circuit, TSP) 10 oktober: Subexponential time algorithms for planar graphs I 15 oktober: Subexponential time algorithms for planar graphs II 17 oktober: Fixed parameter algorithms with iterative compression 22 oktober: Fixed parameter algorithms with the graph minor theory 24 oktober: geen bijeenkomst

12 Seminar12 Week 7 en 8 Steeds twee voordrachten over het project. Als studenten in groepje werken, dan een dubbel- lange voordracht over het project

13 Seminar13 Project Ontwerp een algoritme gebaseerd op branch and reduce en analyseer het met measure and conquer Lijst problemen Alleen of in groep van 2 Bespreek vorderingen: literatuuronderzoek, ontwerp reductie regels, m&c analyse, etc.

14 Seminar14 Problemen Probleem op grafen met begrensde graad –Weighted independent set –Counting the number of vertex covers –Partition into triangles –Counting the number of perfect matchings –Connected dominating set –Distance-2 independent set Begin met te kijken naar het probleem met maximum graad 3 Eventueel uitbreiden naar hogere begrensde graad (4, 5, …)

15 Seminar15 Een innovatief vak! Measure and conquer is een relatief nieuwe techniek. In dit vak kijken we naar wetenschappelijke vragen die nog niet eerder bekeken zijn –We leren de technieken –We gaan de technieken toe passen

16 Seminar16 Wat doe je Zoek relevante literatuur, indien beschikbaar Bespreek met docenten Maak software voor M&C werkend Ontwerp reductieregels Bedenk strategie Analyseer strategie Probeer algoritme te versnellen, etc. etc. Bespreek vorderingen in projectsessies (vanaf week 5) Geef uiteindelijk praatje (week 9 en 10) Lever uitwerking in op papier (voor eind week 10)

17 Seminar17 Uitwerkingen Bevatten alle technische details Net en leesbaar Hoeft geen volledig verslag te zijn (dus, bijv. referenties zijn niet nodig)

18 Seminar18 Eventueel Wanneer succesvol genoeg kan e.e.a. tot wetenschappelijk paper en/of technisch rapport gemaakt worden

19 Seminar19 Measure and conquer Inleiding door Johan van Rooij Johan kan ook helpen met opzetten van software voor de analyse Kan met Johans software, Mathematica, Maple of Excel

20 Seminar20 Voorts Aanwezigheid is verplicht Afwezigheid met reden: bespreken met docenten. Eventueel extra taak. Afwezigheid zonder goede reden kan leiden tot lager cijfer, extra taak, of onvoldoende Kom op tijd! Te laat komen kan ook leiden tot lager cijfer etc. Lever je eindverslag op tijd in Participeer! Er is een website van dit vak

21 Seminar21 Cijfers 20 procent: 1e presentatie 20 procent: 2e presentatie 50 procent: project (resultaten, presentatie, en uiteindelijk verslag) 10 procent: participatie Echt slechte presentaties kunnen een heel laag cijfer krijgen; eventueel “droog” over te doen als herkansing…

22 Seminar22 Nu Vragen? Maken van indeling week 3 en 4 Kiezen van onderwerpen en groepjes: per email of in de pauze Kiezen van onderwerpen week 5 t/m 8: per email: stuur drie onderwerpen in volgorde van wat je ‘t liefst wil doen naar hansb@cs.uu.nl