08/07/2020

Complexity of controlled bad sequences over finite sets of $\mathbb{N}^d$

A. R. Balasubramanian

Keywords: well-quasi orders, majoring and minoring ordering, controlled bad sequences

Abstract Paper Similar Papers

Abstract: 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.

 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at ICALP 2020 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 25:11 
 0
 0
 0
 0
 17:01 
 0
 0
 0
 0
 22:51 
 0
 0
 0
 0
 19:01 
 0
 0
 0
 0
 13:19 
 0
 0
 0
 0
 17:45 
 0
 0
 0
 0
 23:56 
 0
 0
 0
 0
 3:29 
 0
 0
 0
 0
 12:11 
 0
 0
 0
 0
 18:47 
 0
 0
 0
 0
 20:05 
 0
 0
 0
 0
 19:39 
 0
 0
 0
 0
 13:25 
 0
 0
 0
 0
 16:26 
 0
 0
 0
 0
 19:30 
 0
 0
 0
 0
 24:02 
 0
 0
 0
 0
 17:54 
 0
 0
 0
 0
 14:26 
 0
 0
 0
 0
 18:57 
 0
 0
 0
 0
 26:13 
 0
 0
 0
 0
 15:58 
 0
 0
 0
 0
 12:11 
 0
 0
 0
 0
 23:00 
 0
 0
 0
 0
 26:16 
 0
 0
 0
 0
 13:30 
 0
 0
 0
 0
 5:15 
 0
 0
 0
 0
 24:00 
 0
 0
 0
 0
 24:19 
 0
 0
 0
 0
 21:45 
 0
 0
 0
 0
 15:50 
 0
 0
 0
 0
 17:45 
 0
 0
 0
 0
 15:09 
 0
 0
 0
 0
 5:37 
 0
 0
 0
 0
 19:03 
 0
 0
 0
 0
 15:49 
 0
 0
 0
 0
 4:39 
 0
 0
 0
 0
 18:12 
 0
 0
 0
 0
 24:49 
 0
 0
 0
 0
 11:43 
 0
 0
 0
 0
 14:47