Algoritmos e complexidade Notas de aula - Arquivo Escolar
Algoritmos e complexidade Notas de aula - Arquivo Escolar Algoritmos e complexidade Notas de aula - Arquivo Escolar
14. Fora do NP O mundo até ELEMENTAR Um corte final: Expressões regulares • Uma expressão regular é – 0 ou 1 (denota o conjunto L(0) = {0} e L(1) = {1}). – e ◦ f, se ◦ é um operador, e e, f são expressões regulares. • Operadores possíveis: ∪, ·, 2 , ∗ , ¬. • Decisão: Dadas as expressões regulares e, f, L(e) = L(f)? Expressões regulares com Completo para ∪, · NP ∪, ·, ∗ PSPACE ∪, ·, 2 NEXP ∪, ·, 2 , ∗ EXPSPACE ∪, ·, ¬ Fora do ELEMENTAR! • O tempo do último problema de decisão cresce ao menos como uma torre de altura lg n. 14.3. Exercícios Exercício 14.1 Considera a seguinte prova que o problema de isomorfismo de grafos (GI) é PSPACE-completo: 282
14.3. Exercícios The equivalence problem for regular expressions was shown to be PSPACE-complete by (Meyer and Stockmeyer [2]). Booth [1] has shown that isomorphism of finite automata is equivalent to graph isomorphism. Taking these two results together with the equivalence of regular expressions, right-linear grammars, and finite automata see [3] for example, shows that graph isomorphism is PSPACE-complete. [18] Sabendo que GI pertence a NP isso implicaria PSPACE = NP. Acha o erro na prova. 283
- Page 233 and 234: 2 2 10.2. Aproximações para o PCV
- Page 235 and 236: 10.3. Algoritmos de aproximação p
- Page 237 and 238: 10.3. Algoritmos de aproximação p
- Page 239: Parte IV. Teoria de complexidade 23
- Page 242 and 243: 11. Do algoritmo ao problema Modelo
- Page 244 and 245: 11. Do algoritmo ao problema - entr
- Page 246 and 247: 11. Do algoritmo ao problema Lingua
- Page 248 and 249: 11. Do algoritmo ao problema Observ
- Page 250 and 251: 11. Do algoritmo ao problema Decibi
- Page 253 and 254: 12. Classes de complexidade 12.1. D
- Page 255 and 256: 12.2. Hierarquias básicas Prova. (
- Page 257 and 258: 12.2. Hierarquias básicas 1. Temos
- Page 259: 12.3. Exercícios 12.3. Exercícios
- Page 262 and 263: 13. Teoria de NP-completude • Int
- Page 264 and 265: 13. Teoria de NP-completude C-≤-d
- Page 266 and 267: 13. Teoria de NP-completude Ladrilh
- Page 268 and 269: 13. Teoria de NP-completude (q, a)
- Page 270 and 271: 13. Teoria de NP-completude Sejam c
- Page 272 and 273: 13. Teoria de NP-completude Decisã
- Page 275 and 276: 14. Fora do NP Classes fora do P-NP
- Page 277 and 278: A classe co-NP 14.1. De P até PSPA
- Page 279 and 280: 14.1. De P até PSPACE Para provar
- Page 281 and 282: A hierarquia polinomial Mais exempl
- Page 283: • Agora, consideramos os seguinte
- Page 288 and 289: 15. Complexidade de circuitos x1 ¬
- Page 290 and 291: 15. Complexidade de circuitos Corol
- Page 292 and 293: 15. Complexidade de circuitos Teore
- Page 295 and 296: A. Conceitos matemáticos Nessa se
- Page 297 and 298: Proposição A.3 (Regras para pisos
- Page 299 and 300: 2 1 0 0 1 2 3 4 5 6 7 8 9 10 A.1. F
- Page 301 and 302: A.2. Somatório A última regra é
- Page 303 and 304: Uma aplicação: 1≤i≤n ix i =
- Page 305 and 306: Lema A.1 (Definição alternativa d
- Page 307: A.6. Grafos e ∩ f = ∅. Para um
- Page 310 and 311: B. Soluções dos exercícios Prova
- Page 312 and 313: B. Soluções dos exercícios Prova
- Page 314 and 315: B. Soluções dos exercícios 6. n
- Page 316 and 317: B. Soluções dos exercícios c fix
- Page 318 and 319: B. Soluções dos exercícios 9 ret
- Page 320 and 321: B. Soluções dos exercícios Anali
- Page 323 and 324: Índice DSPACE, 252 DTIME, 252 NP,
- Page 325 and 326: função concava, 297 convexa, 297
- Page 327: teorema de Savitch, 256 tese de Cob
- Page 330 and 331: Bibliografia [15] Thomas H. Cormen
- Page 332 and 333: Bibliografia [42] Jon Kleinberg e
14.3. Exercícios<br />
The equivalence problem for regular expressions was shown to be<br />
PSPACE-complete by (Meyer and Stockmeyer [2]). Booth [1] has<br />
shown that isomorphism of finite automata is equivalent to graph<br />
isomorphism. Taking these two results together with the equivalence<br />
of regular expressions, right-linear grammars, and finite<br />
automata see [3] for example, shows that graph isomorphism is<br />
PSPACE-complete. [18]<br />
Sabendo que GI pertence a NP isso implicaria PSPACE = NP. Acha o erro na<br />
prova.<br />
283
Change language