Beskjeder
Det kan hende vi kikker litt p? eksamen p? forelesningen i morgen. Siste forelesning. Einar vil ogs? komme.
Det blir ikke forelesninger neste uke. Tirsdag er det 17. mai og forelesningen 18. mai er avlyst.
- 8.6, 8.27 og 8.29
- 8.23
- deretter kan dere kikke p? eksamen fra 2019
Her er eksamen fra 2019 med l?sningsforslag.
Vi gir ingen nye ukeoppgaver denne uken. Gruppetimene neste uke kan brukes til ? diskutere oppgaver som allerede er gitt eller den obligatoriske oppgaven.
N? har jeg begynt ? snakke om stoffet i kap. 8. I den digitale forelesning jeg har lagt ut for denne uken snakker jeg ogs? del om coNP. Kompleksitetsklassen coNP st?r sentral i den tredje obligatoriske oppgaven.
Oppgaver til gruppetime torsdag 28. april:
- Eksamen 2017 (exam17.pdf): Oppgave 3.3
- Eksamen 2015 (exam15.pdf): Del II (oppgavene 7, 8, 9 og 10)
- Oppgave 7.29, side 325 i Sipsers bok.
Et utval av disse oppgave diskutere i gruppetimen.
Forelesningen den 27. april er avlyst p? grunn av en begravelse.
Oppgaver til gruppetime torsdag 21. april: 7.7, 7.45, 7.47, 7.35, 7.37 samt oppgavene p? denne pdf-filen.
Oppgavene p? pdf-filen er meget relevante med tanke p? neste oblig.
Et utvalg av oppgavene vil diskuteres i gruppetimen.
Jeg holder p? ? forelese kap. 7 i Sipsers bok. Neste forelesning vil starte med beviset av teorem 7.32 (side 202). Jeg antar da at tilh?rerne er kjent med problemet 3SAT. Jeg bruke en del tid av siste forelesning f?r p?sken til ? forklare 3SAT.
Oppgaver til gruppetime torsdag 15. april (et utvalg av disse oppgavene vil bli diskutert i gruppetimen): 7.1, 7.5, 7.6, 7.7, 7.8, 7.13.
Dere b?r ogs? diskutere noen som er gitt tidligere hvis det er behov for det.
Oppgaver til neste gruppetime torsdag 31. mars (et utvalg av disse oppgavene vil bli diskutert i gruppetimen): 5.1, 5.2, 5.5-5.7, 5.10, 5.11, 5.16-5.19, 5.33-5.35
Oppgaver: 4.1--4.5, 4.8, 4.13, 4.19, 4.24, 4.29, 4.30.
Disse oppgavene (ikke n?dvendigvis alle) vil diskuteres i gruppeundervisningen torsdag 24. mars.
Her er noen passende oppgaver om det stoffet jeg har forelest denne ukene: 3.1-3.3, 3.5-3.9, 3.15. Dere kan ogs? pr?ve der p? oppgavene 3.13, 3.16 og 3.17.
S? n? har jeg (Lars) overtatt forelesningene. I dag foreleste jeg seksjon 3.1 i Sipsers bok. I morgen vil jeg forelese sekskjon 3.2 (s?nn circa).
Da ble vi enige om ? utsette repetisjonen av del 1 av kurset til litt senere i semesteret. Dvs at det ikke blir forelesning i morgen, 2 mars.
Hei, jeg m? dessverre avlyse forelesningene denne uken. Min tur til ? bli syk. Vi fortsetter med Pumpelemma for CFL neste tirsdag!
- Einar
I morgen begynner vi p? kontekst-frie spr?k p? forelesningen. For de som ikke kan komme p? de neste forelesningene, kan dere evt se p? Sipsers video for ? f? en rask intro til materialet:
I dag starter vi med fysiske forelesninger i Stoe Aud, Kristen Nyg?rds Hus. Velkommen til forelesning.
For de som ikke kan komme, kan det v?re nyttig ? se Michael Sipser's videoforelesninger fra i fjor:
F?rste gruppe (27. jan, 10.15) er p? zoom. Vi kommer hovedsaklig til ? g? gjennom oppgavene som ble lagt ut for forrige uke.
Join Zoom Meeting
https://uio.zoom.us/j/7835019196
Meeting ID: 783 501 9196