Uncountable Realtime Probabilistic Classes

被引:0
作者
Dimitrijevs, Maksims [1 ]
Yakaryilmaz, Abuzer [1 ]
机构
[1] Univ Latvia, Fac Comp, Ctr Quantum Comp Sci, Raina Bulvaris 19, LV-1586 Riga, Latvia
关键词
QUANTUM; COMPLEXITY; LANGUAGES;
D O I
10.1142/S012905411950028X
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We investigate the minimal cases for realtime probabilistic machines that can define uncountably many languages with bounded error. We show that logarithmic space is enough for realtime PTMs on unary languages. On non-unary case, we obtain the same result for double logarithmic space, which is also tight. When replacing the work tape with a few counters, we can still achieve similar results for unary linear-space two-counter automata, unary sublinear-space three-counter automata, and non-unary sublinear-space two-counter automata. We also show how to slightly improve the sublinear-space constructions by using more counters.
引用
收藏
页码:1317 / 1333
页数:17
相关论文
共 21 条
[1]   Quantum computability [J].
Adleman, LM ;
Demarrais, J ;
Huang, MDA .
SIAM JOURNAL ON COMPUTING, 1997, 26 (05) :1524-1540
[2]  
[Anonymous], 1971, Introduction to probabilistic automata (Computer science and applied mathematics)
[3]   New Results on the Minimum Amount of Useful Space [J].
Bednarova, Zuzana ;
Geffert, Viliam ;
Reinhardt, Klaus ;
Yakaryilmaz, Abuzer .
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2016, 27 (02) :259-281
[4]  
Chandrasekharan K., 1968, CHEBYSHEVS THEOREM D, P63
[5]  
Dimitrijevs M., 2018, 180704735 ARXIV
[6]  
Dimitrijevs M., 2018, 10 WORKSH NONCL MOD, V332, P65
[7]  
Dimitrijevs M., 2016, 8 WORKSH NONCL MOD A, V321, P131
[8]   Uncountable Realtime Probabilistic Classes [J].
Dimitrijevs, Maksims ;
Yakaryilmaz, Abuzer .
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017, 2017, 10316 :102-113
[9]   A TIME-COMPLEXITY GAP FOR 2-WAY PROBABILISTIC FINITE-STATE AUTOMATA [J].
DWORK, C ;
STOCKMEYER, L .
SIAM JOURNAL ON COMPUTING, 1990, 19 (06) :1011-1023
[10]  
Freivalds R., 1985, Topics in the Theory of Computation. Selected Papers of the International Conference on `Foundations of Computation Theory', FCT '83, P39