Complexidade Computacional
Graduação: ICSA41; PPGCC: CCCC

Sumário

Prof. Dr. Leandro M. Zatesko (zatesko(at)utfpr.edu.br)

Disciplina ofertada em conjunto para os cursos de graduação do DAINF da UTFPR-CT (Engenharia de Computação e Sistemas de Informação) e para o Programa de Pós-graduação em Ciência da Computação (PPGCC) da UTFPR-PG.

Horário:

Ensalamento: sala CQ-305 (UTFPR-CT, Sede Centro)

Google Meet: link divulgado no grupo do Telegram e do Google Classroom para os participantes do curso

Pré-requisitos:

Atendimento do professor ao estudante

Bibliografia

Programa

  • Sujeito a alterações!
26mar Apresentação do curso
27mar–2abr As classes P, NP, EXP, NEXP, PSPACE e outras classes de complexidade (Pap93 7.1; ArBa09 2.6 2.7)
  O Método da Alcançabilidade, o Teorema de Savitch, e o Teorema de Immerman–Szelepscényi (Pap93 7.3)
3abr Teorema de Hierarquia de tempo (Pap93 2.4, 7.2)
9abr–10abr Completude em classes de complexidade (Pap93 16.1; 8.2; 19.1)
16abr–17abr A interseção entre NP e coNP (Pap93 10.1 10.2)
23abr Teorema de Ladner (ArBa09 3.3)
24abr Máquinas de Turing com oráculos e Teorema de Baker–Gill–Solovay (Pap93 14.3; ArBa09 3.4)
30abr Introdução a hierarquia polinomial e Máquinas de Turing alternantes (ArBa09 5.1–5.3)
1mai Dia do trabalhador
7mai Introdução a hierarquia polinomial e Máquinas de Turing alternantes (ArBa09 5.4 5.5; Pap93 Cap. 17)
8mai A Classe P/poly e Máquinas de Turing aconselhadas (ArBa09 6.1–6.3)
14mai O Teorema de Karp–Lipton e o Teorema de Meyer (ArBa09 6.4; ArBa09 Theorem 2.18)
  Limitantes inferiores e subclasses de circuitos (ArBa09 6.5)
15mai Revisão: Teoria de Probabilidade (ArBa09 A.2)
  Máquinas de Turing Probabilísticas e a classe BPP (ArBa09 7.1)
21mai Máquinas de Turing Probabilísticas e a classe BPP (ArBa09 7.2)
22mai As classes RP, coRP e ZPP (ArBa09 7.3)
  A classe BPP e suas relações com outras classes (ArBa09 7.4)
28mai A classe BPP e suas relações com outras classes (ArBa09 7.5)
  A classe PP (Pap93 11.2)
29mai Introdução a provas iterativas e a classe IP (ArBa09 8.1)
4jun A classe AM (ArBa09 8.2)
5jun–11jun A relação entre IP e PSPACE (ArBa09 8.3)
12jun A relação entre MA, PSPACE, e P/poly (ArBa09 8.4-8.5)
18jun Provas de conhecimento zero (Vad99 1.1, 2.5)
19jun Corpus Christi
25jun Provas de conhecimento zero (Vad99 3.1)
26jun Provas verificáveis probabilisticamente (PCP) e algoritmos de aproximação (ArBa09 11.1)
2jul–3jul Dificuldade de aproximação de problemas NP-difíceis e equivalência entre PCP e dificuldade de aproximação (ArBa09 11.2)
9jul–10jul Prova da versão fraca do Teorema PCP (ArBa09 11.5)

Author: Leandro Miranda Zatesko

Created: 2025-03-25 ter 21:21

Validate