保持结构性(Structure-Preserving, SP)签名与Groth-Sahai非交互式证明系统(简称GS证明系统)的结合,在密码学协议的模块化设计中有......

构造了GF(3)上一种新型的多位自收缩序列模型.利用有限域理论,给出了其最长序列的周期上界2·3,下界3;线性复杂度上界2·3,下界3.......

该文研究了一类简单的１维随机游动并证明了若干性质。文中应用这一模型分析了一类关于ｋ－ＳＡＴ问题的一致随机算法。对于２－ＳＡＴ问题，得出其时间复杂......

该文给出了分枝界限搜索算法的复杂度下界，提出了一种称作串队列的数据结构，能方便地实现分枝界限搜索中的选择规则与淘汰规则。在ＰＲＡＭ－ＣＲＥＷ模......

本文利用下沉路径,上浮路径的概念在堆结构上分别给出了对具有几个元素的集合进行插入、删除一个元素的复杂度下界及其证明,结果为......