×
Chan、Huang-Ting;邱宣宗;杨长彪;彭永兴

二维最大公共子结构问题的广义定义。 （英语） Zbl 1442.68155号

算法 82，第7期，2039-262（2020）.
摘要：两个一维序列的相似性通常由最长公共子序列（LCS）算法来衡量。然而，这些算法不能直接扩展到求解二维或更高维的数据。因此，对于二维数据，使用类LCS方法计算相似性仍然值得研究。本文借鉴传统的LCS概念，采用系统的方法给出了二维最大公共子结构（TLCS）问题的广义定义。通过各种匹配规则，可以定义TLCS问题的八种可能版本。然而，其中只有四个是有效的。我们证明了这四个TLCS问题都是（mathcal{NP}）-hard和（mathcal{APX}）-hard。为了完成证明，两个TLCS问题从3-可满足性问题简化而来，另外两个问题从三维匹配问题简化而成。

引用于1文件

MSC公司：

68卢比 计算机科学中的组合数学
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
68兰特 可满足性的计算方面
68瓦32 字符串上的算法

关键词：

最长公共子序列;2D字符串;NP-hardness（NP-hardeness）;APX硬度;可满足性;三维匹配

软件：

TED公司;RTED公司
PDF格式BibTeX公司 XML格式引用
\textit{H.-T.Chan}等人，Algorithmica 82，No.7，2039--2062（2020；Zbl 1442.68155）
全文： 内政部

参考文献：

[1] 阿马尔迪，E。；Kann，V.，寻找线性关系的最大可行子系统的复杂性和逼近性，Theor。计算。科学。，147, 1-2, 181-210 (1995) ·Zbl 0884.68093号
[2] Amir，A。；哈特曼，T。；卡帕，O。；沙洛姆，BR；Tsur，D.，广义LCS，Theor。计算。科学。，409, 3, 438-449 (2008) ·Zbl 1155.68021号
[3] HY安；杨，CB；曾，CT；一种快速简单的算法，用于计算运行长度编码字符串的最长公共子序列，Inf.Process。莱特。，108, 6, 360-364 (2008) ·Zbl 1191.68818号
[4] Arora，S.，欧氏旅行商和其他几何问题的多项式时间近似方案，JACM，45，5753-782（1998）·Zbl 1064.90566号
[5] Ausiello，G。；Crescenzi，P。；甘博西，G。；坎恩，V。；Marchetti-Paccamela，A。；Protasi，M.，《复杂性和近似：组合优化问题及其近似性》（2012），柏林：施普林格出版社，柏林·Zbl 0937.68002号
[6] Baeza-Yates，R.A.：二维字符串中的相似性。摘自：国际计算与组合数学会议，第319-328页。柏林施普林格（1998）·Zbl 0909.68044号
[7] Bird，RS，二维模式匹配，信息处理。莱特。，6, 5, 168-170 (1977)
[8] Branden，CI，蛋白质结构简介（1999），纽约：加兰科学，纽约
[9] Chang，S.，Li，Y.：使用2D H字符串表示多分辨率符号和二进制图片。摘自：IEEE自动化语言研讨会：共生和智能机器人，1988年，第190-195页。IEEE（1988）
[10] Chang，S.K.，Jungert，E.，Li，Y.：使用广义2D字符串表示和检索符号图片。1989年视觉通信、图像处理和智能机器人系统研讨会，第1360-1372页。国际光学和光子学会（1989）
[11] SK Chang；Shi，QY；Yan，CW，二维字符串的图标索引，IEEE Trans。模式分析。机器。智力。，3, 413-428 (1987)
[12] 张，SK；严，C。；迪米特洛夫，DC；Arndt，T.，智能图像数据库系统，IEEE Trans。柔和。工程师，14，5，681-688（1988）
[13] 库克，S.A.：理论证明程序的复杂性。摘自：第三届ACM计算机理论研讨会论文集，第151-158页。ACM（1971）·Zbl 0253.68020号
[14] Crescenzi，P。；Panconesi，A.，近似类的完整性，Inf.Compute。，93, 2, 241-262 (1991) ·Zbl 0734.68039号
[15] Galbiati，G。；马菲奥利，F。；Morzenti，A.，关于最大生成树问题的近似性的简短说明，Inf.Process。莱特。，52, 1, 45-49 (1994) ·Zbl 0942.68647号
[16] 关，D。；周，CY；Chen，CW，图形数据库中相似检索的计算复杂性，Inf.Process。莱特。，75111-117（2000年）·Zbl 1338.68056号
[17] Hirschberg，DS，计算最大公共子序列的线性空间算法，Commun。ACM，18，6，341-343（1975）·Zbl 0301.68042号
[18] 黄，KS；杨，CB；Tseng，KT；HY安；Peng，YH，寻找序列间交织关系的高效算法，Inf.Process。莱特。，105, 5, 188-193 (2008) ·Zbl 1184.68603号
[19] 黄，KS；杨，CB；Tseng，KT；彭，YH；Ann，HY，马赛克最长常见子序列问题的动态规划算法，Inf.Process。莱特。，102, 2-3, 99-103 (2007) ·Zbl 1187.90233号
[20] 亨特，JW；Szymanski，TG，计算最长公共子序列的快速算法，Commun。ACM，20，5350-353（1977年）·Zbl 0354.68078号
[21] 伊利奥普洛斯，CS；Rahman，MS，计算最长公共子序列问题变量的算法，Theor。计算。科学。，395, 2-3, 255-267 (2008) ·Zbl 1142.68068号
[22] Jansen，T。；梅尔，EW；普雷梅尔，HJ；Steger，A.，复杂性理论和近似算法介绍，证明验证和近似算法讲座，5-28（1998），柏林：Springer，柏林·Zbl 1401.68077号
[23] Kann，V.，最大有界三维匹配是MAX SNP-complete，Inf.Process。莱特。，37, 1, 27-35 (1991) ·Zbl 0711.68045号
[24] Karp，R.M.：组合问题中的可约性。摘自：计算机计算复杂性研讨会论文集，第85-103页。IBM Thomas J.Watson研究中心，纽约约克敦高地（1972年）·兹比尔1467.68065
[25] 克努思，DE；莫里斯，JH Jr；Pratt，VR，字符串中的快速模式匹配，SIAM J.Compute。，6323-350（1977年）·Zbl 0372.68005号
[26] Krithivasan，K。；Sitalakshmi，R.，《存在错误时的高效二维模式匹配》，《信息科学》。，43, 3, 169-184 (1987)
[27] 李，SY；Hsu，FJ，2D C-string：图像数据库系统的新空间知识表示，模式识别。，23, 10, 1077-1087 (1990)
[28] 李，SY；Hsu，FJ，使用二维C字符串知识表示的图像空间推理和相似性检索，模式识别。，25, 3, 305-318 (1992)
[29] 李，SY；Shan，MK；杨永平，图像数据库相似性检索，模式识别。，22, 6, 675-682 (1989)
[30] Papadimitriou，CH；Yannakakis，M.，《优化、近似和复杂性类》，J.Compute。系统。科学。，43, 3, 425-440 (1991) ·Zbl 0765.68036号
[31] Pawlik，M。；Augsten，N.，RTED：一种用于树编辑距离的鲁棒算法，Proc。荷兰VLDB。，5, 4, 334-345 (2011)
[32] 彭，YH；杨，CB；黄，KS；曾，CT；Hor，CY，带块约束的合并lcs问题的高效稀疏动态规划，Int.J.Innov。计算。信息控制，6，4，1935-1947（2010）
[33] Schaefer，T.J.：可满足性问题的复杂性。摘自：第十届ACM计算机理论研讨会论文集，第216-226页。ACM（1978）·Zbl 1282.68143号
[34] Tamura，H。；Yokoya，N.，图像数据库系统：调查，模式识别。，17, 1, 29-43 (1984)
[35] Tanimoto，S.L.：一种标志性/符号化数据结构方案。摘自：模式识别和人工智能，第452-471页（1976年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。