Download presentation

Presentation is loading. Please wait.

Published byFidel Neaves Modified over 2 years ago

1
Size of Quantum Finite State Transducers Ruben Agadzanyan, Rusins Freivalds

2
Outline Introduction Previous results When deterministic transducers are possible Quantum vs. probabilistic transducers

3
Introduction Probabilistic transducer definition Computing relations Quantum transducer definition

4
Introduction Transducer definition Finite state transducer (fst) is a tuple T = (Q, Σ 1, Σ 2, V, f, q 0, Q acc, Q rej ), V : Σ 1 x Q → Q a Σ 1 :

5
Introduction Transducer definition R Σ 1 * x Σ 2 * R = {(0 m 1 m,2 m ) : m ≥ 0} Σ 1 = {0,1} Σ 2 = {2} Input: #0 m 1 m $ Output: 2 m Transducer may accept or reject input

6
Introduction Transducer types Deterministic (dfst) Probabilistic (pfst) Quantum (qfst)

7
Introduction Computing relations R Σ 1 * x Σ 2 * R = {(0 m 1 m,2 m ) : m ≥ 0} For α > 1/2 we say that T computes the relation R with probability α if for all v, whenever (v, w) R, then T (w|v) ≥ α, and whenever (v, w) R, then T (w|v) 1 - α 01 α

8
Introduction Computing relations R Σ 1 * x Σ 2 * R = {(0 m 1 m,2 m ) : m ≥ 0} For 0 0 such that for all v, whenever (v, w) R, then T (w|v) ≥ α + ε, but whenever (v, w) R, then T (w|v) α - ε. 01 α ε

9
Introduction Computing relations R Σ 1 * x Σ 2 * R = {(0 m 1 m,2 m ) : m ≥ 0} We say that T computes the relation R with probability bounded away from ½ if there exists ε > 0 such that for all v, whenever (v, w) R, then T (w|v) ≥ ½ + ε, but whenever (v, w) R, then T (w|v) ½ - ε. 01 ½ ε

10
Outline Introduction Previous results When deterministic transducers are possible Quantum vs. probabilistic transducers

11
Previous results Probabilistic transducers are more powerful than the deterministic ones (can compute more relations) Computing relations with quantum and deterministic transducers Computing a relation with probability 2/3

12
Previous results pfst and qfst more powerful than dfst? For arbitrary ε > 0 the relation R 1 = {(0 m 1 m,2 m ) : m ≥ 0} can be computed by a pfst with probability 1 – ε. can be computed by a qfst with probability 1 – ε. cannot be computed by a dfst.

13
Previous results other useful relation The relation R 2 = {(w2w, w) : w {0, 1}* } can be computed by a pfst and qfst with probability 2/3.

14
Outline Introduction Previous results When deterministic transducers are possible Quantum vs. probabilistic transducers

15
When deterministic transducers are possible Comparing sizes of probabilistic and deterministic transducers Not a big difference for relation R(0 m 1 m,2 m ) Exponential size difference for relation R(w2w,w), probability of correct answer: 2/3 Relation with exponential size difference and probability: 1-ε

16
When deterministic fst are possible fst for R k = {(0 m 1 m,2 m ) : 0 m k} For arbitrary ε > 0 and for arbitrary k the relation R k = {(0 m 1 m,2 m ) : 0 m k} Can be computed by pfst of size 2k + const with probability 1 – ε For arbitrary dfst computing R k the number of the states is not less than k

17
When deterministic fst are possible fst for R k’ = {(w2w,w) : m k, w {0, 1} m } The relation R k’ = {(w2w,w) : m k, w {0, 1} m } Can be computed by pfst of size 2k + const with probability 2/3 (can’t be improved) For arbitrary dfst computing R k’ the number of the states is not less than a k where a is a cardinality of the alphabet for w.

18
When deterministic fst are possible improving probability For arbitrary ε > 0 and k the relation R k’’ = {( code(w) 2 code(w),w) : m k, w {0, 1} m } Can be computed by pfst of size 2k + const with probability 1 - ε For arbitrary dfst computing R k’’ the number of the states is not less than a k where a is a cardinality of the alphabet for w

19
Outline Introduction Previous results When deterministic transducers are possible Quantum vs. probabilistic transducers

20
Exponential size difference for relation R(0 m 1 n 2 k,3 m ) Relation which can be computed with an isolated cutpoint, but not with a probability bouded away from 1/2

21
Quantum vs. probabilistic fst exponential difference in size The relation R s’’ = {(0 m 1 n 2 k,3 m ) : n k & (m = k V m = n) & m s & n s & k s} Can be computed by qfst of size const with probability 4/7 – ε, ε > 0 For arbitrary pfst computing R s’’ with probability bounded away from ½ the number of the states is not less than a k where a is a cardinality of the alphabet for w

22
Quantum vs. probabilistic fst qfst with probability bounded away from 1/2? The relation R s’’’ = {(0 m 1 n a,4 k ) : m s & n s & (a = 2 → k = m ) & (a = 3 → k = n )} Can be computed by pfst and by qfst of size s + const with an isolated cutpoint, but not with a probability bounded away from ½

23
Conclusion Comparing transducers by size: probabilistic smaller than deterministic quantum smaller than probabilistic and deterministic

24
Thank you!

Similar presentations

OK

Fall 2004COMP 3351 Finite Automata. Fall 2004COMP 3352 Finite Automaton Input String Output String Finite Automaton.

Fall 2004COMP 3351 Finite Automata. Fall 2004COMP 3352 Finite Automaton Input String Output String Finite Automaton.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google