Closest Substring Problems for Regular Languages

Yo Sub Han; Sang Ki Ko; Timothy Ng; Kai Salomaa

doi:10.1007/978-3-319-98654-8_32

Closest Substring Problems for Regular Languages

Yo Sub Han, Sang Ki Ko, Timothy Ng, Kai Salomaa

Department of Artificial Intelligence

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

It is well known that given a finite set of strings of equal length, the Consensus String problem—the problem of deciding whether or not there exists a consensus string whose distance is at most r from every string in the given set—is proven to be NP-complete. A similar problem called the Closest Substring problem asks whether there exists a string w of length l such that each string in a given set L has a substring whose distance is at most r (called radius) from w. As the Closest Substring problem is a generalized version of the Consensus String problem, it is obvious that the problem is NP-hard for a finite set of strings. We show that the Closest Substring problem for regular languages represented by nondeterministic finite automata (NFAs) is PSPACE-complete. The main difference from the previous work is that we consider an infinite set of strings, which is recognized by an NFA as input instead of a finite set of strings. We also prove that the Closest Substring problem for acyclic NFAs lies in the second level of the polynomial-time hierarchy (formula presented) and is both NP-hard and coNP-hard.

Original language	English
Title of host publication	Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings
Editors	Mizuho Hoshi, Shinnosuke Seki
Publisher	Springer Verlag
Pages	392-403
Number of pages	12
ISBN (Print)	9783319986531
DOIs	https://doi.org/10.1007/978-3-319-98654-8_32
State	Published - 2018
Event	22nd International Conference on Developments in Language Theory, DLT 2018 - Tokyo, Japan Duration: 10 Sep 2018 → 14 Sep 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11088 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	22nd International Conference on Developments in Language Theory, DLT 2018
Country/Territory	Japan
City	Tokyo
Period	10/09/18 → 14/09/18

Keywords

Closest substring problem
Computational complexity
Edit distance
Regular languages

Access to Document

10.1007/978-3-319-98654-8_32

Cite this

Han, Y. S., Ko, S. K., Ng, T., & Salomaa, K. (2018). Closest Substring Problems for Regular Languages. In M. Hoshi, & S. Seki (Eds.), Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings (pp. 392-403). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11088 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-98654-8_32

Han, Yo Sub ; Ko, Sang Ki ; Ng, Timothy et al. / Closest Substring Problems for Regular Languages. Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. editor / Mizuho Hoshi ; Shinnosuke Seki. Springer Verlag, 2018. pp. 392-403 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{368e4f66eb554aefb24e570846a00267,

title = "Closest Substring Problems for Regular Languages",

abstract = "It is well known that given a finite set of strings of equal length, the Consensus String problem—the problem of deciding whether or not there exists a consensus string whose distance is at most r from every string in the given set—is proven to be NP-complete. A similar problem called the Closest Substring problem asks whether there exists a string w of length l such that each string in a given set L has a substring whose distance is at most r (called radius) from w. As the Closest Substring problem is a generalized version of the Consensus String problem, it is obvious that the problem is NP-hard for a finite set of strings. We show that the Closest Substring problem for regular languages represented by nondeterministic finite automata (NFAs) is PSPACE-complete. The main difference from the previous work is that we consider an infinite set of strings, which is recognized by an NFA as input instead of a finite set of strings. We also prove that the Closest Substring problem for acyclic NFAs lies in the second level of the polynomial-time hierarchy (formula presented) and is both NP-hard and coNP-hard.",

keywords = "Closest substring problem, Computational complexity, Edit distance, Regular languages",

author = "Han, {Yo Sub} and Ko, {Sang Ki} and Timothy Ng and Kai Salomaa",

note = "Publisher Copyright: {\textcopyright} 2018, Springer Nature Switzerland AG.; 22nd International Conference on Developments in Language Theory, DLT 2018 ; Conference date: 10-09-2018 Through 14-09-2018",

year = "2018",

doi = "10.1007/978-3-319-98654-8_32",

language = "English",

isbn = "9783319986531",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "392--403",

editor = "Mizuho Hoshi and Shinnosuke Seki",

booktitle = "Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings",

address = "Germany",

}

Han, YS, Ko, SK, Ng, T & Salomaa, K 2018, Closest Substring Problems for Regular Languages. in M Hoshi & S Seki (eds), Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11088 LNCS, Springer Verlag, pp. 392-403, 22nd International Conference on Developments in Language Theory, DLT 2018, Tokyo, Japan, 10/09/18. https://doi.org/10.1007/978-3-319-98654-8_32

Closest Substring Problems for Regular Languages. / Han, Yo Sub; Ko, Sang Ki; Ng, Timothy et al.
Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. ed. / Mizuho Hoshi; Shinnosuke Seki. Springer Verlag, 2018. p. 392-403 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11088 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Closest Substring Problems for Regular Languages

AU - Han, Yo Sub

AU - Ko, Sang Ki

AU - Ng, Timothy

AU - Salomaa, Kai

PY - 2018

Y1 - 2018

N2 - It is well known that given a finite set of strings of equal length, the Consensus String problem—the problem of deciding whether or not there exists a consensus string whose distance is at most r from every string in the given set—is proven to be NP-complete. A similar problem called the Closest Substring problem asks whether there exists a string w of length l such that each string in a given set L has a substring whose distance is at most r (called radius) from w. As the Closest Substring problem is a generalized version of the Consensus String problem, it is obvious that the problem is NP-hard for a finite set of strings. We show that the Closest Substring problem for regular languages represented by nondeterministic finite automata (NFAs) is PSPACE-complete. The main difference from the previous work is that we consider an infinite set of strings, which is recognized by an NFA as input instead of a finite set of strings. We also prove that the Closest Substring problem for acyclic NFAs lies in the second level of the polynomial-time hierarchy (formula presented) and is both NP-hard and coNP-hard.

AB - It is well known that given a finite set of strings of equal length, the Consensus String problem—the problem of deciding whether or not there exists a consensus string whose distance is at most r from every string in the given set—is proven to be NP-complete. A similar problem called the Closest Substring problem asks whether there exists a string w of length l such that each string in a given set L has a substring whose distance is at most r (called radius) from w. As the Closest Substring problem is a generalized version of the Consensus String problem, it is obvious that the problem is NP-hard for a finite set of strings. We show that the Closest Substring problem for regular languages represented by nondeterministic finite automata (NFAs) is PSPACE-complete. The main difference from the previous work is that we consider an infinite set of strings, which is recognized by an NFA as input instead of a finite set of strings. We also prove that the Closest Substring problem for acyclic NFAs lies in the second level of the polynomial-time hierarchy (formula presented) and is both NP-hard and coNP-hard.

KW - Closest substring problem

KW - Computational complexity

KW - Edit distance

KW - Regular languages

UR - http://www.scopus.com/inward/record.url?scp=85053888367&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-98654-8_32

DO - 10.1007/978-3-319-98654-8_32

M3 - Conference contribution

AN - SCOPUS:85053888367

SN - 9783319986531

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 392

EP - 403

BT - Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings

A2 - Hoshi, Mizuho

A2 - Seki, Shinnosuke

PB - Springer Verlag

T2 - 22nd International Conference on Developments in Language Theory, DLT 2018

Y2 - 10 September 2018 through 14 September 2018

ER -

Han YS, Ko SK, Ng T, Salomaa K. Closest Substring Problems for Regular Languages. In Hoshi M, Seki S, editors, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Springer Verlag. 2018. p. 392-403. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-98654-8_32

Closest Substring Problems for Regular Languages

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this