-
题名Packing问题的计算复杂性
被引量：6
- 1
-
-
作者
陈传波
何大华
-
机构
华中科技大学计算机科学与技术学院
-
出处
《计算机工程与科学》
CSCD
2005年第3期46-48,共3页
-
文摘
本文讨论了离散模型与连续问题的关系以及图灵机的计算能力,在此基础上扩充了问题及 NP完全问题的定义,根据解空间的拓扑结构特点将NP完全的Packing问题分为三类,并对多边形 Packing问题进行了有益的探讨。这对设计Packing问题的求解算法具有借鉴意义。
-
关键词
PACKING问题
计算复杂性
离散模型
可计算性理论
计算机
-
Keywords
NP complete
packing problems
computability
Turing machine
topology
-
分类号
TP301.4
[自动化与计算机技术—计算机系统结构]
-
-
题名单向函数与对称密码体制
被引量：2
- 2
-
-
作者
童亚拉
-
机构
湖北工业大学理学院
-
出处
《河南理工大学学报（自然科学版）》
CAS
2006年第4期338-340,共3页
-
基金
高等学校博士学科专项科研基金资助项目(20030486049)
-
文摘
可靠的密码学是建立在数学和形式化的计算机科学产生的结论之上的,本文从计算理论的角度阐述了构建对称密码体制所需的数学背景:算法复杂性与问题复杂性的关系;NP问题与密码学的关系;密钥长度与密码安全的关系.从保长和置换的概念入手,说明了构造对称密码体制的理论基础———单向置换和单向函数,并以计算机口令系统为实例说明了如何构造对称密码系统.
-
关键词
复杂性
可计算性理论
密钥
单向置换
单向函数
对称密码体制
-
Keywords
Algorithm
Computational Theory
Complexity
Secret Key
One-side Permutation
Oneway Function
Symmetrical Cryptosystem
-
分类号
TP301.5
[自动化与计算机技术—计算机系统结构]
-
-
题名一个高的钻石定理(英文)
- 3
-
-
作者
李昂生
杨东屏
-
机构
中国科学院软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第1期23-39,共17页
-
基金
国家自然科学基金!
No.6 99730 4 8
+1 种基金
国家 8 6 3高科技项目基金!No.86 3- 30 6 - 0 5- 0 9- 2 B
中国科学院青年基金
-
文摘
证明存在一个保持最大元 1的可计算枚举高度的钻石格 .
-
关键词
可计算性理论
可计算枚举度
钻石定理
-
Keywords
Computability theory, computably enumerable set, computably enumerable degree, Turing reducibility, relative computability.
-
分类号
TP301.4
[自动化与计算机技术—计算机系统结构]
-
