On the Parameterised Complexity of String Morphism Problems

被引:15
|
作者
Fernau, Henning [1 ]
Schmid, Markus L. [1 ]
Villanger, Yngve [2 ]
机构
[1] Univ Trier, Abt Informat Wissensch, Fachbereich 4, D-54296 Trier, Germany
[2] Univ Bergen, Dept Informat, N-5008 Bergen, Norway
关键词
String problems; String morphisms; Parameterised complexity; Exponential time hypothesis; Pattern languages; PATTERN; ALGORITHMS;
D O I
10.1007/s00224-015-9635-3
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Given a source string u and a target string w, to decide whether w can be obtained by applying a string morphism on u (i. e., uniformly replacing the symbols in u by strings) constitutes an -complete problem. We present a multivariate analysis of this problem (and its many variants) from the viewpoint of parameterised complexity theory, thereby pinning down the sources of its computational hardness. Our results show that most parameterised variants of the string morphism problem are fixed-parameter intractable and, apart from some very special cases, tractable variants can only be obtained by considering a large part of the input as parameters, namely the length of w and the number of different symbols in u.
引用
收藏
页码:24 / 51
页数:28
相关论文
共 50 条
  • [21] The Complexity of Geometric Problems in High Dimension
    Knauer, Christian
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2010, 6108 : 40 - 49
  • [22] Complexity classes of equivalence problems revisited
    Fortnow, Lance
    Grochow, Joshua A.
    INFORMATION AND COMPUTATION, 2011, 209 (04) : 748 - 763
  • [23] Parameterized Complexity of Secluded Connectivity Problems
    Fomin, Fedor V.
    Golovach, Petr A.
    Karpov, Nikolay
    Kulikov, Alexander S.
    THEORY OF COMPUTING SYSTEMS, 2017, 61 (03) : 795 - 819
  • [24] Complexity of Conservative Constraint Satisfaction Problems
    Bulatov, Andrei A.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2011, 12 (04)
  • [25] The Complexity of Temporal Constraint Satisfaction Problems
    Bodirsky, Manuel
    Kara, Jan
    JOURNAL OF THE ACM, 2010, 57 (02)
  • [26] Parameterized complexity of generalized domination problems
    Golovach, Petr A.
    Kratochvil, Jan
    Suchy, Ondrej
    DISCRETE APPLIED MATHEMATICS, 2012, 160 (06) : 780 - 792
  • [27] Parameterized Complexity of Eulerian Deletion Problems
    Cygan, Marek
    Marx, Daniel
    Pilipczuk, Marcin
    Pilipczuk, Michal
    Schlotter, Ildiko
    GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2011, 6986 : 131 - +
  • [28] The complexity of two problems on arithmetic circuits
    Koiran, Pascal
    Perifel, Sylvain
    THEORETICAL COMPUTER SCIENCE, 2007, 389 (1-2) : 172 - 181
  • [29] The Complexity of Bottleneck Labeled Graph Problems
    Hassin, Refael
    Monnot, Jerome
    Segev, Danny
    ALGORITHMICA, 2010, 58 (02) : 245 - 262
  • [30] Complexity Results for Linear XSAT-Problems
    Porschen, Stefan
    Schmidt, Tatjana
    Speckenmeyer, Ewald
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, 2010, 6175 : 251 - 263