国家自然科学基金(60463001)
- 作品数：4 被引量：7H指数：1
- 相关作者：许道云李翰芳李祥罗文俊彭长根更多>>
- 相关机构：贵州大学更多>>
- 发文基金：国家自然科学基金贵州省省长基金贵州省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Some NP-complete Instances in(r,s)-SAT
- It is known that(r, s)-SAT is solvable in polynomial time(r>0), there exists a critical function f such that f...
- 肖华龚平许道云
- 文献传递
- 基于GDH群可证安全的门限签名方案被引量：1
- 2007年
- 分析了Boneh等人的短签名方案和Boldyreva门限签名方案因不具备概率签名特性而可能存在的一种对比攻击;然后基于Gap Diffie-Hellman(GDH)群设计了一个概率型的门限签名方案,并在随机预言模型(Random Oracle Model)下证明了方案的安全性。所提出的方案可以避免时比攻击的风险,并且其安全性不低于Boldyreva方案的安全性,即提供了健壮性和在选择消息攻击下的不可伪造性,并能容忍t
- 彭长根张晓培李祥罗文俊
- 关键词：门限签名双线性对GDH群椭圆曲线密码体制
- MAX+（k）中公式改名的多项式时间可判定性（英文）
- MAX+ (k) is a subclass of minimal unsatisfiable formulas. A method is introduced to show that the formulas in ...
- 陈庆燕许道云
- 文献传递
- MAX和MARG中公式改名的复杂性(英文)
- 2006年
- 研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名(?),使得(?)(F)=H?”的复杂性．对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI．
- 许道云
- 关键词：极小不可满足公式图同构
- MAX+ (k)中公式改名的多项式时间可判定性(英文)
- 2005年
- MAX+ (k)是极小不可满足公式的一个子类。作者引入了MAX+ (k)中公式的一种递归构造方法, 基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。证明了MAX+ (k)中公式的改名问题在多项式时间内可以判定。
- 陈庆燕许道云
- 非确定型有穷自动机的极小化被引量：6
- 2007年
- 利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构造这台非确定型有穷自动机状态集上的等价关系,从而对这台非确定型有穷自动机进行极小化.结果表明这台非确定型有穷自动机的极小化自动机的状态复杂度,不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度;并且自动机在等价关系基础上进行极小化时不改变识别语言.
- 李翰芳许道云
- 关键词：确定型有穷自动机等价关系
- 一些简化的NP完全满足性问题类(英文)
- (k,s)-SAT is the propositional satisfiable problem restricted to instances where each clause has exactly k dis...
- 龚平肖华许道云
- 文献传递
