×

输入为二进制形式的P系统。 (英语) 兹比尔1088.68059

摘要:目前解决NP完全数值问题的P系统以一元符号表示问题的实例。然而,在基于图灵机的经典复杂性理论中,从二进制编码实例切换到一元编码实例通常对应于简化问题。在本文中,我们表明,当使用P系统时,我们可以假设实例是用二进制表示法表示的,而不会失去通用性。更准确地说,我们提出了一种使用多集对二进制数进行编码的简单方法,以及一系列将此类多集转换为通常的一元符号的P系统。因此,这样一个族可以与文献中目前提出的一元P系统组合,以获得(统一的)P系统族,这些P系统族用二进制符号编码的实例解决NP-完全数值问题。
我们还介绍了一个框架,该框架可用于设计统一的P系统族,以解决直接处理二进制编码实例的NP-完全问题(数值和非数值),即不首先将其转换为一元表示法。我们通过设计一系列解决3-SAT问题的P系统来说明我们的框架。接下来,我们讨论获得解决PARTITION数值问题的P系族所需的修改。

MSC公司:

2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)

软件:

隔板
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ausiello G.,复杂性和近似。组合优化问题及其近似性质(1999)·Zbl 0937.68002号
[2] Cormen T.H.,算法导论(1990)·Zbl 1158.68538号
[3] Garey M.R.,《计算机与难治性》。NP-完备性理论指南(1979)
[4] Lipton R.,《科学》268,第242页-
[5] Paun Gh,EATCS公告67第139页–
[6] 内政部:10.1142/S012905410000090·Zbl 1319.68089号 ·doi:10.1142/S012905410000090
[7] Paun Gh,J.自动机语言与组合数学6第75页-
[8] 内政部:10.1007/978-3-642-56196-2·doi:10.1007/978-3-642-56196-2
[9] 普恩·高,理论18,第72页-
[10] DOI:10.1016/S0304-3975(02)00136-6·兹比尔1061.68054 ·doi:10.1016/S0304-3975(02)00136-6
[11] Pérez-Jiménez M.J.,新一代计算22
[12] 内政部:10.1145/359340.359342·Zbl 0368.94005号 ·电话:10.1145/359340.359342
[13] DOI:10.1007/978-3-662-03927-4·数字对象标识代码:10.1007/978-3-662-03927-4
[14] Winfree E.,DIMACS系列54,收录于:DNA计算机V(2001)
[15] C.Zandron、C.Ferretti和G.Mauri,《非传统计算模型》,编辑I.Antoniou、C.S.Calude和M.J.Dinneen(Springer–Verlag,伦敦,2000),pp。289–301.
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。