Kombinatorisk optimering och villkorsprogrammering
Kurs, Avancerad nivå, 1DL442
Hösten 2023 Hösten 2023, Uppsala, 33 %, Campus, Engelska
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 28 augusti 2023–14 januari 2024
- 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.
- Anmälningsavgift: 900 kr
- Studieavgift, första inbetalningen: 24 167 kr
- Studieavgift, totalt: 24 167 kr
- Sista anmälningsdag
- 17 april 2023
- Anmälningskod
- UU-11009
För dig som är antagen eller reserv
- Registreringsperiod
- 28 juli 2023–4 september 2023
- Information om registrering.
Hösten 2023 Hösten 2023, Uppsala, 33 %, Campus, Engelska För utbytesstudenter
- Studieort
- Uppsala
- Studietakt
- 33 %
- Undervisningsform
- Campus
- Undervisningstid
- Dag
- Studieperiod
- 28 augusti 2023–14 januari 2024
- 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
- 28 juli 2023–4 september 2023
- 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.