compressed membership for nfa dfa with compressed labels
play

Compressed Membership for NFA (DFA) with Compressed Labels is in NP - PowerPoint PPT Presentation

Compressed Membership for NFA (DFA) with Compressed Labels is in NP (P) Artur Je University of Wrocaw Compressed membership for NFA 1 / 17 Artur Je What this talk is about Fully compressed membership problem for automata Compressed


  1. Compressed Membership for NFA (DFA) with Compressed Labels is in NP (P) Artur Jeż University of Wrocław Compressed membership for NFA 1 / 17 Artur Jeż

  2. What this talk is about Fully compressed membership problem for automata Compressed membership for NFA 2 / 17 Artur Jeż

  3. What this talk is about Fully compressed membership problem for automata no automata in this talk Compressed membership for NFA 2 / 17 Artur Jeż

  4. What this talk is about Fully compressed membership problem for automata no automata in this talk SPLs and a technique for them Compressed membership for NFA 2 / 17 Artur Jeż

  5. What this talk is about Fully compressed membership problem for automata no automata in this talk SPLs and a technique for them more general (word equations) Compressed membership for NFA 2 / 17 Artur Jeż

  6. What this talk is about Fully compressed membership problem for automata no automata in this talk SPLs and a technique for them more general (word equations) Results Compressed membership for NFA 2 / 17 Artur Jeż

  7. What this talk is about Fully compressed membership problem for automata no automata in this talk SPLs and a technique for them more general (word equations) Results Fully compressed membership problem for NFA (in NP) Compressed membership for NFA 2 / 17 Artur Jeż

  8. What this talk is about Fully compressed membership problem for automata no automata in this talk SPLs and a technique for them more general (word equations) Results Fully compressed membership problem for NFA (in NP) Fully compressed membership problem for DFA (in P) Compressed membership for NFA 2 / 17 Artur Jeż

  9. What this talk is about Fully compressed membership problem for automata no automata in this talk SPLs and a technique for them more general (word equations) Results Fully compressed membership problem for NFA (in NP) Fully compressed membership problem for DFA (in P) (SLP) fully compressed pattern matching (in O ( n 2 ) ) Compressed membership for NFA 2 / 17 Artur Jeż

  10. What this talk is about Fully compressed membership problem for automata no automata in this talk SPLs and a technique for them more general (word equations) Results Fully compressed membership problem for NFA (in NP) Fully compressed membership problem for DFA (in P) (SLP) fully compressed pattern matching (in O ( n 2 ) ) word equations: simple, unified proof for everything that is known Compressed membership for NFA 2 / 17 Artur Jeż

  11. Straight Line Programms SLPs Definition (Straight Line Programms (SLP)) Context free grammar defining a single word. (Chomsky normal form). Compressed membership for NFA 3 / 17 Artur Jeż

  12. Straight Line Programms SLPs Definition (Straight Line Programms (SLP)) Context free grammar defining a single word. (Chomsky normal form). Up to exponential compression. Compressed membership for NFA 3 / 17 Artur Jeż

  13. Straight Line Programms SLPs Definition (Straight Line Programms (SLP)) Context free grammar defining a single word. (Chomsky normal form). Up to exponential compression. SLPs as a compression model application (LZ, logarithmic transformation) theory (formal languages) preserves/captures word properties Compressed membership for NFA 3 / 17 Artur Jeż

  14. Straight Line Programms SLPs Definition (Straight Line Programms (SLP)) Context free grammar defining a single word. (Chomsky normal form). Up to exponential compression. SLPs as a compression model application (LZ, logarithmic transformation) theory (formal languages) preserves/captures word properties Applied in many proofs and constructions. Compressed membership for NFA 3 / 17 Artur Jeż

  15. Usage and work on SLP Theory word equations (Plandowski: satisfiability in PSPACE) Compressed membership for NFA 4 / 17 Artur Jeż

  16. Usage and work on SLP Theory word equations (Plandowski: satisfiability in PSPACE) LZW/LZ dealing algorithms O ( n log ( N / n )) pattern matching for LZ compressed text O ( n ) pattern matching for fully LZW compressed text Compressed membership for NFA 4 / 17 Artur Jeż

  17. Usage and work on SLP Theory word equations (Plandowski: satisfiability in PSPACE) LZW/LZ dealing algorithms O ( n log ( N / n )) pattern matching for LZ compressed text O ( n ) pattern matching for fully LZW compressed text String algorithms equality pattern matching Compressed membership for NFA 4 / 17 Artur Jeż

  18. Usage and work on SLP Theory word equations (Plandowski: satisfiability in PSPACE) LZW/LZ dealing algorithms O ( n log ( N / n )) pattern matching for LZ compressed text O ( n ) pattern matching for fully LZW compressed text String algorithms equality pattern matching Independent interest indexing structure for SLP Compressed membership for NFA 4 / 17 Artur Jeż

  19. Compressed membership SLPs are used develop tools/gain understanding membership problem Compressed membership for NFA 5 / 17 Artur Jeż

  20. Compressed membership SLPs are used develop tools/gain understanding membership problem Compressed membership [Plandowski & Rytter 1999] In membership problems, words are given as SLPs. Compressed membership for NFA 5 / 17 Artur Jeż

  21. Compressed membership SLPs are used develop tools/gain understanding membership problem Compressed membership [Plandowski & Rytter 1999] In membership problems, words are given as SLPs. Known results RE, CFG, Conjunctive grammars. . . Compressed membership for NFA 5 / 17 Artur Jeż

  22. Compressed membership SLPs are used develop tools/gain understanding membership problem Compressed membership [Plandowski & Rytter 1999] In membership problems, words are given as SLPs. Known results RE, CFG, Conjunctive grammars. . . Open questions Compressed membership for NFA Compressed membership for NFA 5 / 17 Artur Jeż

  23. Compressed membership for NFA Input: SLP, NFA N Output: Yes/No Compressed membership for NFA 6 / 17 Artur Jeż

  24. Compressed membership for NFA Input: SLP, NFA N Output: Yes/No Simple dynamic algorithm: for X i calculate { ( p , q ) | δ ( p , val ( X i ) , q ) } Compressed membership for NFA 6 / 17 Artur Jeż

  25. Compressed membership for NFA Input: SLP, NFA N Output: Yes/No Simple dynamic algorithm: for X i calculate { ( p , q ) | δ ( p , val ( X i ) , q ) } Where is the hardness? Compressed membership for NFA 6 / 17 Artur Jeż

  26. Compressed membership for NFA Input: SLP, NFA N Output: Yes/No Simple dynamic algorithm: for X i calculate { ( p , q ) | δ ( p , val ( X i ) , q ) } Where is the hardness? Compress N as well: allow transition by words. Compressed membership for NFA 6 / 17 Artur Jeż

  27. Compressed membership for NFA Input: SLP, NFA N Output: Yes/No Simple dynamic algorithm: for X i calculate { ( p , q ) | δ ( p , val ( X i ) , q ) } Where is the hardness? Compress N as well: allow transition by words. Fully compressed NFA membership SLP for w NFA N , compressed transitions Compressed membership for NFA 6 / 17 Artur Jeż

  28. Compressed membership for NFA Input: SLP, NFA N Output: Yes/No Simple dynamic algorithm: for X i calculate { ( p , q ) | δ ( p , val ( X i ) , q ) } Where is the hardness? Compress N as well: allow transition by words. a X Fully compressed NFA membership Y b SLP for w NFA N , compressed transitions A X Compressed membership for NFA 6 / 17 Artur Jeż

  29. Compressed membership for NFA: complexity Complexity NP-hardness (subsum), already for ◮ acyclic NFA ◮ unary alphabet in PSPACE: enough to store positions inside decompressed words Compressed membership for NFA 7 / 17 Artur Jeż

  30. Compressed membership for NFA: complexity Complexity NP-hardness (subsum), already for ◮ acyclic NFA ◮ unary alphabet in PSPACE: enough to store positions inside decompressed words Conjecture In NP. Partial results Plandowski & Rytter (unary in NP) Lohrey & Mathissen (highly periodic in NP, highly aperiodic in P) Compressed membership for NFA 7 / 17 Artur Jeż

  31. New results Theorem Fully compressed membership for NFA is in NP. Theorem Fully compressed membership for DFA is in P. Compressed membership for NFA 8 / 17 Artur Jeż

  32. Idea: Recompression Difficulty: the words are long. Shorten them. Compressed membership for NFA 9 / 17 Artur Jeż

  33. Idea: Recompression Difficulty: the words are long. Shorten them. a b c a a b Compressed membership for NFA 9 / 17 Artur Jeż

  34. Idea: Recompression Difficulty: the words are long. Shorten them. d c a d Compressed membership for NFA 9 / 17 Artur Jeż

  35. Idea: Recompression Difficulty: the words are long. Shorten them. d c a d Deeper understanding New production: d → ab . Building new SLP (recompression). SLP problems: hard, as SLP are different. Building canonical SLP for the instance. Compressed membership for NFA 9 / 17 Artur Jeż

  36. Idea: Recompression Difficulty: the words are long. Shorten them. d c a d Deeper understanding New production: d → ab . Building new SLP (recompression). SLP problems: hard, as SLP are different. Building canonical SLP for the instance. What to do with a n ? a a c a a a Compressed membership for NFA 9 / 17 Artur Jeż

Recommend


More recommend