The Shortest Common Supersequence problem (SCS for short) consists in finding a shortest common supersequence of a finite set of words on a fixed alphabet Sigma. It is well-known that its decision version denoted [SR8] in [Garey and Johnson] is NP-complete. Many variants have been studied in the literature. In this paper we settle the complexity of two such variants of SCS where inputs do not contain identical consecutive letters. We prove that those variants denoted \varphi SCS and MSCS both have a decision version which remains NP-complete when |\Sigma| is at least 3. Note that it was known for MSCS when |\Sigma| is at least 4 [Fleisher and Woeginger] and we discuss how [Darte] states a similar result for |\Sigma| at least 3.


翻译:最短常见超级序列问题(简称SCS)在于找到固定字母Sigma上一套有限词的最短共同的超级序列。众所周知,其决定文本在[Garey和Johnson]中注明[SR8]为[SR8],是NP的完整。文献中已经研究了许多变式。在本文件中,我们解决了SCS两种变式的复杂性,其中投入不包含相同的连续字母。我们证明这些变式在注解的\varphi SCS和MSCS都有一个决定版本,当“Sigma ⁇ ”至少为3时,该变式仍然为NP-完成。请注意,当“Sigma ⁇ ”至少为4[Flesher和Woonginger]时,MSCS已知,我们讨论“Darte”如何对“Sigma”至少3表示类似的结果。

0
下载
关闭预览

相关内容

《计算机科学中的数学结构》是一本理论计算机科学杂志,主要研究数学和数学逻辑结构方面的思想在计算机科学中的应用。该杂志旨在弥合理论贡献和软件设计之间的差距,出版高标准和广泛调查的原始论文,在计算的所有领域都有独到的观点,前提是思想或结果来自逻辑、代数、几何学,范畴理论或其他领域的逻辑和数学构成了这项工作的基础。该杂志欢迎基于特定数学结构(如拓扑和序理论结构)的使用以及基于证明理论概念或结果的计算应用。该杂志还将接受在计算机科学、量子物理、数学和信息理论等跨学科领域的贡献。特别是将审议关于量子信息处理和通信以及量子语言设计中的相关问题的论文。该杂志还对表观遗传学现象的计算模型、蛋白质-蛋白质相互作用、分子级联中的随机性等论文感兴趣。在胚胎发生和进化的后基因组观点的广泛框架内,系统生物学的数学方法将受到欢迎。官网链接:https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science
Stabilizing Transformers for Reinforcement Learning
专知会员服务
57+阅读 · 2019年10月17日
强化学习最新教程,17页pdf
专知会员服务
168+阅读 · 2019年10月11日
Transferring Knowledge across Learning Processes
CreateAMind
25+阅读 · 2019年5月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
Hierarchical Imitation - Reinforcement Learning
CreateAMind
19+阅读 · 2018年5月25日
条件GAN重大改进!cGANs with Projection Discriminator
CreateAMind
8+阅读 · 2018年2月7日
【LeetCode 500】关关的刷题日记27 Keyboard Row
专知
3+阅读 · 2017年11月5日
Adversarial Variational Bayes: Unifying VAE and GAN 代码
CreateAMind
7+阅读 · 2017年10月4日
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
AdarGCN: Adaptive Aggregation GCN for Few-Shot Learning
Feature Denoising for Improving Adversarial Robustness
Arxiv
15+阅读 · 2018年12月9日
Arxiv
6+阅读 · 2018年10月3日
Arxiv
27+阅读 · 2018年4月12日
VIP会员
相关VIP内容
Stabilizing Transformers for Reinforcement Learning
专知会员服务
57+阅读 · 2019年10月17日
强化学习最新教程,17页pdf
专知会员服务
168+阅读 · 2019年10月11日
相关资讯
Transferring Knowledge across Learning Processes
CreateAMind
25+阅读 · 2019年5月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
Hierarchical Imitation - Reinforcement Learning
CreateAMind
19+阅读 · 2018年5月25日
条件GAN重大改进!cGANs with Projection Discriminator
CreateAMind
8+阅读 · 2018年2月7日
【LeetCode 500】关关的刷题日记27 Keyboard Row
专知
3+阅读 · 2017年11月5日
Adversarial Variational Bayes: Unifying VAE and GAN 代码
CreateAMind
7+阅读 · 2017年10月4日
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
Top
微信扫码咨询专知VIP会员