ASP competitie ● System competitie afgelopen ● 8 maart: dry run ● 15+ maart: competitie ● Enkel airport traffic nog niet gemodelleerd
Incremental scheduling ● Maxtime is given but very high ● Approximate time domain as – sum{job: Length(job)} – => 2 x MX instead of 1 ● 4/5 test instances solvable, but very simple and similar ones
Graph colouring ● Solving gets nowhere ● Symbreakers: Color(MIN, MIN) Color of Min connected is color Min+1 Selecteer er hier nog meer van (maar check op kettingen) ● Alle nodes zonder edges kleur MIN ● Beginnen op node met grootste fanout – En eventueel cliques zoeken ● Broes
Partner units ● Rather large instances ● Solving gets nowhere ● Heuristic / symm breakers? ● symmetriebreking partner units ● zone 1 => unit 1 ● zone 2 => unit 1 of 2 ● zone 3 => unit 2 of 3 ●... ● voor zone n mogen alle units gebruikt worden die voor zones 1..n-1 gebruikt zijn en 1 extra ● Stef
reverse folding ● Probeer eerst alles te vouwen en check voor kruisingen ● Als dit niet werkt, dan de rest van de grounding maken ● te bewijzen stellen dat een trapke eerst vouwen altijd mag ● Johan
Stable marriage ● Marc zoekt het polynomiale algoritme nog eens op