Kombinatorisk optimering och villkorsprogrammering
Kurs, Avancerad nivå, 1DL442
Hösten 2024 Hösten 2024, Uppsala, 33 %, Campus, Engelska
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 2 september 2024–19 januari 2025
- Undervisningsspråk
- Engelska
- Behörighet
-
120 hp inklusive Baskurs i matematik, Algebra I samt en fortsättningskurs i programmering eller annan kurskombination innehållande grundläggande koncept i algebra, kombinatorik, logik, graf- och mängdteori samt implementering av enkla sökalgoritmer. Engelska 6. (Med en svensk kandidatexamen uppfylls kravet på engelska.)
- Urval
-
Högskolepoäng inom teknik/naturvetenskap (max 240 hp)
- Avgifter
-
Du som inte är medborgare i ett EU-/EES-land eller Schweiz måste betala anmälnings- och studieavgift.
- Studieavgift, första inbetalningen: 24 167 kr
- Studieavgift, totalt: 24 167 kr
- Sista anmälningsdag
- 15 april 2024
- Anmälningskod
- UU-11009
För dig som är antagen eller reserv
- Registreringsperiod
- 26 juli 2024–9 september 2024
- Institutionens information om registrering
Hösten 2024 Hösten 2024, Uppsala, 33 %, Campus, Engelska För utbytesstudenter
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 2 september 2024–19 januari 2025
- Undervisningsspråk
- Engelska
- Behörighet
-
120 hp inklusive Baskurs i matematik, Algebra I samt en fortsättningskurs i programmering eller annan kurskombination innehållande grundläggande koncept i algebra, kombinatorik, logik, graf- och mängdteori samt implementering av enkla sökalgoritmer. Engelska 6. (Med en svensk kandidatexamen uppfylls kravet på engelska.)
För dig som är antagen eller reserv
- Registreringsperiod
- 26 juli 2024–9 september 2024
- Institutionens information om registrering
Om kursen
- Användningen av verktyg för att lösa ett kombinatorisk problem, genom att först modellera problemet i ett lösningsteknik-oberoende villkorsbaserat modelleringsspråk och sedan köra modellen i en befintlig lösare.
- Villkorskonsistens; villkorspropagering; fixpoint propageringsalgoritmen.
- Lösa genom systematisk sökning: konstruera och utforska ett sökträd; branching-strategier; hantera en "objective function" för optimering.
- Lösa genom (villkorsbaserad) stokastisk lokal sökning: konstruera och utforska en sökrymd; villkors-violation; variabel-violation; undersöka drag; söknings heuristiker; meta-heuristiker.