Złożoność obliczeniowa 2008

Wtorek 7³⁰ - 9⁰⁰ C-11/P.01 wykład

Środa 15¹⁵ - 16⁵⁵ TP/TN C-7/303a ćwiczenia

Kolokwium zaliczeniowe odbędzie się na wykladzie 27 stycznia 2009.

Kolokwium poprawkowe odbędzie się 10 lutego o godz. 17¹⁵ w sali D-1/311

Literatura

1. Ch.H. Papadimitriou, Złożoność obliczeniowa, WNT, Warszawa 2002 (ISBN 83-204-2659-6)
2. J.E. Hopcroft, J.D. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń, WNT, Warszawa 1994 (ISBN 83-01-11298-0)
3. T.H. Cormen, Ch.E. Leiserson, R.L. Rivest, Wprowadzenie do algorytmów, WNT, Warszawa 1997 (ISBN 83-204-2144-6)

Listy zadań

• Lista nr 1 na 1/9 października
• Lista nr 2 na 16/23 października
• Lista nr 3 na 29 października/5 listopada
• Lista nr 4 na 19/26 listopada (zajęcia z 19 przeniesione są na 26)
• Lista nr 5 na 3/10 grudnia
• Lista nr 6 na 17 grudnia/7 stycznia
• Lista nr 7 na 14/21 stycznia

Zasady zaliczenia kursu

1. Zaliczenie kursu następuje przez zaliczenie kolokwium końcowego.
2. Zasadniczym celem ćwiczeń jest ułatwienie studentom samodzielnej pracy nad opanowaniem materiału w czasie całego semestru.
3. Wykładowca ogłasza z odpowiednim wyprzedzeniem listy zadań do samodzielnego rozwiązania przed zajęciami. Na ćwiczeniach studenci prezentują rozwiązania zadań. W trakcie rozwiązywania wyjaśniane są wątpliwości dotyczące rozwiązania oraz przedstawiane alternatywne rozwiązania.
4. Na każde ćwiczenia jest przygotowywana osobna lista zadań, ogłaszana co najmniej na trzy dni przed zajęciami. Na ćwiczeniach rozwiązywane są wybrane zadania z tej listy. Decyzję odnośnie wyboru zadań do rozwiązania podejmuje prowadzący.
5. Dodatkowym warunkiem zaliczenia jest oddanie przez studenta w formie pisemnej (PDF) wyznaczonych zadań zrobionych na ćwiczeniach. Oddawane zadanie powinno być rozwiązane dokładnie, w sposób formalny i przejrzysty. Zadanie wyznacza prowadzący ćwiczenia.
6. Kolokwium końcowe jest pisane na ostatnim wykładzie.
7. Na kolokwium jedyną dopuszczalną pomocą naukową jest kartka formatu a4 podpisana w ten sposób aby z odległości 2 metrów dało się ustalić jej właściciela. Oprócz tego student nie ma prawa mieć żadnych innych kartek, książek i innych pomocy. Kartki z treścią zadań i miejscem na rozwiązania oraz brudnopisy dostarcza wykładowca.
8. Oceną końcową jest ocena z kolokwium która może być podwyższona za aktywność na ćwiczeniach.

Tematy wykładów (w przybliżeniu)

1. Złożoność obliczeniowa. Relacje między klasami złożoności. (07-10-2008)
2. Twierdzenia o Hierarchii. Redukcje między problemami. (14-10-2008)
3. P-zupełność. NP-zupełność. (21-10-2008)
4. Przykłady redukcji dla problemów NP-zupełnych. (28-10-2008)
5. co-NP i problemy funkcyjne. (4-11-2008)
6. Obliczenia losowe. (13-11-2008)
7. Wykład przełożony z powodu wyjazdu. (18-11-2008)
8. Sieci logiczne. (25-11-2008)
9. Obliczenia równoległe. Klasa NC. (2-12-2008)
10. Aproksymowalność. (9-12-2008)
11. Schematy aproksymacyjne. (16-12-2008)
12. Pamięć wielomianowa. Problemy PSPACE-zupełne. (6-01-2009)
13. Klasa #P. (13-01-2009)
14. Podsumowanie. (20-01-2009)
15. Kolokwium. (27-01-2009)