国家自然科学基金(60463001)

作品数：4被引量：6H指数：1
导出分析报告
相关作者：许道云李翰芳李祥罗文俊彭长根更多>>
相关机构：贵州大学更多>>
相关期刊：《南京大学学报（数学半年刊）》《吉林大学学报（理学版）》《贵州大学学报（自然科学版）》《计算机科学》更多>>
相关主题：改名极小不可满足公式英文MAX极小化更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于GDH群可证安全的门限签名方案被引量：1
《计算机科学》2007年第10期110-111,148,共3页彭长根 张晓培 李祥 罗文俊 
国家自然科学基金(60463001);贵州省自然科学基金(编号:20052107);贵州省省长基金(编号:2005368)
分析了Boneh等人的短签名方案和Boldyreva门限签名方案因不具备概率签名特性而可能存在的一种对比攻击;然后基于Gap Diffie-Hellman(GDH)群设计了一个概率型的门限签名方案,并在随机预言模型(Random Oracle Model)下证明了方案的安全性...
关键词：门限签名 概率签名 双线性对 GDH群 椭圆曲线密码体制 
非确定型有穷自动机的极小化被引量：5
《吉林大学学报（理学版）》2007年第4期582-588,共7页李翰芳 许道云 
国家自然科学基金(批准号:60463001);贵州大学研究生创新基金
利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构...
关键词：确定型有穷自动机 非确定型有穷自动机 等价关系 状态极小化 
MAX和MARG中公式改名的复杂性(英文)
《南京大学学报（数学半年刊）》2006年第2期181-199,共19页许道云 
Supported by the National Natural Science Foundation of China (No. 60463001,No. 10410638, No. 60310213).
研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名(?),使得(?)(F)=H?”的复杂性．对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI．
关键词：复杂性 变元改名 文字改名 极小不可满足公式 图同构 
MAX+ (k)中公式改名的多项式时间可判定性(英文)
《贵州大学学报（自然科学版）》2005年第2期184-192,共9页陈庆燕 许道云 
国家自然科学基金(批准号: 60463001);贵州省省长专项基金
MAX+ (k)是极小不可满足公式的一个子类。作者引入了MAX+ (k)中公式的一种递归构造方法, 基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。证明了MAX+ (k)中公式的改名问题在多项式时间内可以判定。
关键词：判定问题的复杂性、改名、极小不可满足公式、MAX^+(k)-公式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部