Złożoność obliczeniowa 2006

Poniedziałek 11¹⁵ - 13⁰⁰ C-7/303a wykład

Czwartek 15¹⁵ - 16⁵⁵ 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 12 października
• Lista nr 2 na 26 października
• Lista nr 3 na 9 listopada
• Lista nr 4 na 23 listopada
• Lista nr 5 na 7 grudnia
• Lista nr 6 na 21 grudnia
• Lista nr 7 na 4 stycznia
• Lista nr 8 na 18 stycznia

Kolokwium odbędzie się na wykladzie 22 stycznia 2007.

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. (02-10-2006)
2. Twierdzenia o Hierarchii. Redukcje między problemami. (09-10-2006)
3. NP-zupełność. Redukcje do problemów NP-zupełnych. (16-10-2006)
4. Przykłady redukcji dla problemów NP-zupełnych. (23-10-2006)
5. co-NP. (30-10-2006)
6. Obliczenia losowe. (6-11-2006)
7. Sieci logiczne. (13-11-2006)
8. Aproksymowalność. (20-11-2006)
9. Schematy aproksymacyjne. (27-11-2006)
10. Obliczenia równoległe. Klasa NC. (4-12-2006)
11. Pamięć logarytmiczna. (11-12-2006)
12. Klasa #P. (18-12-2006)
13. Pamięć wielomianowa. Problemy PSPACE-zupełne. (8-01-2007)
14. Podsumowanie. (15-01-2007)
15. Kolokwium. (22-01-2007)