Rapport fra forelesningsfronten

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.