摘要：研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;当s≥f(k)+1时,对应的SAT问题是NP完全问题.研究具有更强正则约束的d-正则(k,s)-SAT问题,其要求实例中每个变元的正负出现次数之差不超过给定的自然数d.通过设计一种多项式时间的归约方法,证明d-正则(k,s)-SAT问题存在一个临界函数f(k,d),使得当s≤f(k,d)时,所有实例都可满足;当s≥f(k,d)+1时,d-正则(k,s)-SAT问题是NP完全问题.这种多项式时间的归约变换方法通过添加新的变元和新的子句,可以更改公式的子句约束密度,并约束每个变元正负出现次数的差值.这进一步说明,只用子句约束密度不足以刻画CNF公式结构的特点,对临界函数f(k,d)的研究有助于在更强正则约束条件下构造难解实例.

摘要：在传统配送优先策略的基础上,引入了配载优化问题,结合剩余空间划分机制建立了物流厢式货车配载、配送联合优化模型,并设计了交互式算法。最后以北京恒昌亿达物流公司配送数据为实例,验证了联合优化的可行性。该研究为物流配载、配送策略的制定提供了参考。

摘要：特殊的安全多方计算是当前的一个研究热点。保护隐私的路径规划是指如何在不泄露私密信息的情况下进行路径规划,其有很广阔的应用前景。设计了一个保护隐私的两圆公切线生成协议,并给出协议的正确性、安全性和复杂性的分析。该协议可以用于保护隐私的路径规划。

摘要：保护隐私的计算几何是一类特殊的安全多方计算问题。保密路径判定作为一种特殊的保密隐私的几何计算问题,在军事、商业等领域具有重要的应用前景。设计了一个直线与椭圆的位置关系保密判定协议,基于该协议提出了线段与椭圆相交的保密判定协议,并给出协议的正确性、安全性和复杂性的分析。

摘要：针对目前已有的公平合同签署协议存在的不足,利用已有的无随机预言机模型下的短签名方案和q-强Diffie-Hellman假设,设计一种新的具有离线半可信第三方的公平合同签署协议,离线第三方只在意外情况下才介入协议,且在纠纷解决阶段只是协助参与方解密,则协议结束,第三方并不能获得参与方的签名。由于基于短签名,所需存储和通信的数据量小,该协议只适用于低带宽通信以及需要较小的数据存储量的环境。

摘要：在我校传统的C语言程序设计课程考核评价方式下,结合西部地方本科院校的特点,探索我校C语言程序设计课程教考分离的考核模式的理论构建方案。