Reducibility of pointlike problems

被引:5
作者
Almeida, J. [1 ,2 ]
Costa, J. C. [3 ,4 ]
Zeitoun, M. [5 ]
机构
[1] Univ Porto, Ctr Matemat, Rua Campo Alegre 687, P-4169007 Oporto, Portugal
[2] Univ Porto, Fac Ciencias, Dept Matemat, Rua Campo Alegre 687, P-4169007 Oporto, Portugal
[3] Univ Minho, Ctr Matemat, Campus Gualtar, P-4700320 Braga, Portugal
[4] Univ Minho, Dept Matemat & Aplicacoes, Campus Gualtar, P-4700320 Braga, Portugal
[5] Univ Bordeaux, LaBRI, UMR 5800, F-33400 Talence, France
关键词
Pseudovariety; Profinite semigroup; Pointlike set; Regular language; Aperiodic semigroup; TAMENESS;
D O I
10.1007/s00233-015-9769-2
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We show that the pointlike and the idempotent pointlike problems are reducible with respect to natural signatures in the following cases: the pseudovariety of all finite semigroups in which the order of every subgroup is a product of elements of a fixed set pi of primes; the pseudovariety of all finite semigroups in which every regular J-class is the product of a rectangular band by a group from a fixed pseudovariety of groups that is reducible for the pointlike problem, respectively graph reducible. Allowing only trivial groups, we obtain omega-reducibility of the pointlike and idempotent pointlike problems, respectively for the pseudovarieties of all finite aperiodic semigroups (A) and of all finite semigroups in which all regular elements are idempotents (DA).
引用
收藏
页码:325 / 335
页数:11
相关论文
共 22 条
  • [11] On regular realizability problems
    Vyalyi, M. N.
    PROBLEMS OF INFORMATION TRANSMISSION, 2011, 47 (04) : 342 - 352
  • [12] Decision problems for convex languages
    Brzozowski, Janusz
    Shallit, Jeffrey
    Xu, Zhi
    INFORMATION AND COMPUTATION, 2011, 209 (03) : 353 - 367
  • [13] Decision Problems on Copying and Shuffling
    Halava, Vesa
    Harju, Tero
    Nowotka, Dirk
    Sahla, Esa
    FUNDAMENTA INFORMATICAE, 2024, 191 (3-4) : 269 - 284
  • [14] On expressive power of regular realizability problems
    M. N. Vyalyi
    Problems of Information Transmission, 2013, 49 : 276 - 291
  • [15] Equivalence problems for transducers with a bounded number of states
    L. P. Lisovik
    Cybernetics and Systems Analysis, 1997, 33 : 840 - 844
  • [17] On regular realizability problems for context-free languages
    M. N. Vyalyi
    A. A. Rubtsov
    Problems of Information Transmission, 2015, 51 : 349 - 360
  • [18] Context-free irreducible word problems in groups
    Fonseca, Ana
    Thomas, Richard M.
    COMBINATORIAL GROUP THEORY, DISCRETE GROUPS, AND NUMBER THEORY, 2006, 421 : 125 - 136
  • [19] On the existence of Pareto solutions for polynomial vector optimization problems
    Do Sang Kim
    Tiến-Sơn Phạm
    Nguyen Van Tuyen
    Mathematical Programming, 2019, 177 : 321 - 341
  • [20] Existence of efficient and properly efficient solutions to problems of constrained vector optimization
    Do Sang Kim
    Boris S. Mordukhovich
    Tiến-Sơn Phạm
    Nguyen Van Tuyen
    Mathematical Programming, 2021, 190 : 259 - 283