[发明专利]构造非确定性(NP)图灵机的多项式方法有效
| 申请号： | 201480025274.4 | 申请日： | 2014-04-04 |
| 公开（公告）号： | CN105190632B | 公开（公告）日： | 2018-06-05 |
| 发明（设计）人： | 韩小文 | 申请（专利权）人： | 韩小文 |
| 主分类号： | G06N5/00 | 分类号： | G06N5/00 |
| 代理公司： | 中科专利商标代理有限责任公司 11021 | 代理人： | 闫晔 |
| 地址： | 美国*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 非确定性图灵机(NTM)使用空间二进制枚举系统、三维关系系统、模拟人类逻辑系统、以及双射集合存储器系统来执行计算。NTM可以用于执行各种计算任务，例如，多序列比对、因数分解、以及多项式时间内的其他非确定性多项式算法。可以由确定性图灵机(DTM)使用上面列出的四种系统来构造NTM。 | ||
| 搜索关键词： | 非确定性 二进制 存储器系统 多项式算法 多序列比对 关系系统 逻辑系统 枚举系统 模拟人类 使用空间 因数分解 确定性 三维 集合 | ||
【主权项】：
一种计算机实现的非确定性图灵机，所述非确定性图灵机包括：知识库，包含表示多个对象的数据、表示多个类的数据、以及表示所述多个对象和所述多个类之间的关系的数据；归纳模块，包括用于生成表示由表示多个对象的多个输入所表示的概念的数据以及在所述知识库中存储表示所述概念的数据的装置；演绎模块，用于从所述知识库中检索表示包含由对所述演绎模块的输入所表示的对象在内的类的数据；化简模块，用于从所述知识库中检索表示作为由对所述化简模块的输入所表示的类的成员的对象的数据；其中，表示所述多个对象的数据以第一多个空间二进制数的三维表示的形式来表示所述多个对象；以及其中，表示所述多个类的数据以第二多个空间二进制数的三维表示的形式来表示所述多个类；其中，所述多个输入以及所述非确定性图灵机的当前状态不会确定以下至少一项：(1)表示类的数据；以及(2)表示对象的数据；其中，第一多个空间二进制数和第二多个空间二进制数中的每一个具有从包括‑1和+1的集合中选择的值。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于韩小文，未经韩小文许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201480025274.4/，转载请声明来源钻瓜专利网。
