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 条
  • [1] On the Parameterised Complexity of String Morphism Problems
    Henning Fernau
    Markus L. Schmid
    Yngve Villanger
    Theory of Computing Systems, 2016, 59 : 24 - 51
  • [2] The parameterised complexity of list problems on graphs of bounded treewidth
    Meeks, Kitty
    Scott, Alexander
    INFORMATION AND COMPUTATION, 2016, 251 : 91 - 103
  • [3] On the kernelization complexity of string problems
    Basavaraju, Manu
    Panolan, Fahad
    Rai, Ashutosh
    Ramanujan, M. S.
    Saurabh, Saket
    THEORETICAL COMPUTER SCIENCE, 2018, 730 : 21 - 31
  • [4] Parameterised temporal exploration problems
    Erlebach, Thomas
    Spooner, Jakob T.
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2023, 135 : 73 - 88
  • [5] Parameterised Enumeration for Modification Problems
    Creignou, Nadia
    Ktari, Raida
    Meier, Arne
    Mueller, Julian-Steffen
    Olive, Frederic
    Vollmer, Heribert
    ALGORITHMS, 2019, 12 (09)
  • [6] The parameterised complexity of counting connected subgraphs and graph motifs
    Jerrum, Mark
    Meeks, Kitty
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 81 (04) : 702 - 716
  • [7] Domination chain: Characterisation, classical complexity, parameterised complexity and approximability
    Bazgan, Cristina
    Brankovic, Ljiljana
    Casel, Katrin
    Fernau, Henning
    DISCRETE APPLIED MATHEMATICS, 2020, 280 : 23 - 42
  • [9] Parameterised Complexity of Abduction in Schaefer's Framework
    Mahmood, Yasir
    Meier, Arne
    Schmidt, Johannes
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 195 - 213
  • [10] Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
    Mahmood, Yasir
    Meier, Arne
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, FOIKS 2020, 2020, 12012 : 157 - 174