Complexity of controlled bad sequences over finite sets of Nd

被引:3
|
作者
Balasubramanian, A. R. [1 ]
机构
[1] Tech Univ Munich, Munich, Germany
基金
欧洲研究理事会;
关键词
well-quasi orders; controlled bad sequences; majoring and minoring ordering; ORDINAL RECURSIVE COMPLEXITY; BOUNDS;
D O I
10.1145/3373718.3394753
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We provide upper and lower bounds for the length of controlled bad sequences over the majoring and the minoring orderings of finite sets of Nd . The results are obtained by bounding the length of such sequences by functions from the Cichon hierarchy. This allows us to translate these results to bounds over the fast-growing complexity classes. The obtained bounds are proven to be tight for the majoring ordering, which solves a problem left open by Abriola, Figueira and Senno (Theor. Comp. Sci, Vol. 603). Finally, we use the results on controlled bad sequences to prove upper bounds for the emptiness problem of some classes of automata.
引用
收藏
页码:130 / 140
页数:11
相关论文
共 50 条
  • [1] On the Expansion Complexity of Sequences Over Finite Fields
    Gomez-Perez, Domingo
    Merai, Laszlo
    Niederreiter, Harald
    IEEE TRANSACTIONS ON INFORMATION THEORY, 2018, 64 (06) : 4228 - 4232
  • [2] Expansion complexity and linear complexity of sequences over finite fields
    László Mérai
    Harald Niederreiter
    Arne Winterhof
    Cryptography and Communications, 2017, 9 : 501 - 509
  • [3] Expansion complexity and linear complexity of sequences over finite fields
    Merai, Laszlo
    Niederreiter, Harald
    Winterhof, Arne
    CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES, 2017, 9 (04): : 501 - 509
  • [4] Linear Complexity Cubic Sequences over Finite Fields
    Edemskiy, Vladimir
    Sokolovskiy, Nikita
    PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MATHEMATICS AND COMPUTERS IN SCIENCES AND IN INDUSTRY (MCSI 2016), 2016, : 57 - 60
  • [5] The Expansion Complexity of Ultimately Periodic Sequences Over Finite Fields
    Sun, Zhimin
    Zeng, Xiangyong
    Li, Chunlei
    Zhang, Yi
    Yi, Lin
    IEEE TRANSACTIONS ON INFORMATION THEORY, 2021, 67 (11) : 7550 - 7560
  • [6] ON COMPLEXITY OF FINITE SEQUENCES
    LUO, LF
    NUOVO CIMENTO DELLA SOCIETA ITALIANA DI FISICA B-GENERAL PHYSICS RELATIVITY ASTRONOMY AND MATHEMATICAL PHYSICS AND METHODS, 1993, 108 (01): : 83 - 92
  • [7] COMPLEXITY OF FINITE SEQUENCES
    LEMPEL, A
    ZIV, J
    IEEE TRANSACTIONS ON INFORMATION THEORY, 1976, 22 (01) : 75 - 81
  • [8] Linear complexity of a class of pseudorandom sequences over a general finite field
    Ye, Qi
    Ke, Pinhui
    Shen, Jian
    SOFT COMPUTING, 2018, 22 (13) : 4335 - 4346
  • [9] Linear complexity of a class of pseudorandom sequences over a general finite field
    Qi Ye
    Pinhui Ke
    Jian Shen
    Soft Computing, 2018, 22 : 4335 - 4346
  • [10] ON AN ALGEBRA OF SETS OF FINITE SEQUENCES
    MONK, JD
    JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 19 - &