Złożoność obliczeniowa 2009

Wtorek 9¹⁵ - 11⁰⁰ A-1/204 wykład

Czwartek 9¹⁵ - 11⁰⁰ TP/TN C-4/35 ćwiczenia

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(15)/8 października
• Lista nr 2 na 15/22 października
• Lista nr 3 na 29 października/5 listopada
• Lista nr 4 na 12(26)/19 listopada
• Lista nr 5 na 26 listopada/3 grudnia
• Lista nr 6 na 10/17 grudnia
• Lista nr 7 na 7/14 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. (06-10-2009)
2. Twierdzenia o Hierarchii. Redukcje między problemami. (13-10-2009)
3. P-zupełność. NP-zupełność. (20-10-2009)
4. Przykłady redukcji dla problemów NP-zupełnych. (27-10-2009)
5. co-NP i problemy funkcyjne. (3-11-2009)
6. Obliczenia losowe. (17-11-2009)
7. Sieci logiczne. (24-11-2009)
8. Obliczenia równoległe. Klasa NC. (01-12-2009)
9. Aproksymowalność. (8-12-2009)
10. Schematy aproksymacyjne. (15-12-2009)
11. Pamięć logarytmiczna. (22-12-2009)
12. Pamięć wielomianowa. Problemy PSPACE-zupełne. (05-01-2010)
13. Klasa #P. (12-01-2010)