格上基于身份的高效环签名方案及安全性分析

环签名是一种特殊的数字签名,可以广泛应用于电子选举、移动通信、移动代理、电子商务等领域.提出了一种新的基于格的环签名方案,在格上的小整数解和非齐次小整数解困难问题的假设下,方案对适应性选择消息攻击是强不可伪造的.利用的格基代理技术,可以保证新方案签名长度更短,计算效率更高.     

关于不定方程x~2+4~n=y~(13)(n=4,5,6)的整数解

在高斯整环中,利用代数数论与同余理论的方法,讨论了不定方程x~2+4~n=y~(13)(n=4,5,6)的整数解问题,得出了当n=4,5时无整数解;n=6是仅有整数解(x,y)=(64,2)和(x,y)=(-64,2)的结论,推进了不定方程整数解的研究.     

换一个角度来处理一元二次方程整数解问题

问题一元二次方程ax2+bx+c=0(其中a、b、c至少有一个含有参数),求当参数为何整数时,关于x的方程有整数解.此类问题,常规思路是:求出满足△=b2-4ac是一个完全平方数时参数的值,再代入求根公式,使x满足整数;或者利用韦达定理来解.这种解法有时带来很麻烦的计算,甚至有时陷入困境.本文试图从另一个角度来谈这一类问题的解法.其思想方法是转化为不定方程的整数解,这样能体现出抓住问题的本质,使其更快、更简便、更准确地解决问题.下面将介绍几种常用的处理这一类问题的具体方法.     

一个简单整数性质的应用

性质如果m、n为整数,那么m+n与m-n同奇同偶. 这一貌似简单的性质,在解有关整数、整除、方程的有理数解(包括整数解)以及整数的分解等问题时,常常能化繁为简、化难为易.     

例析方程整数解问题

本文以近两年各级各类竞赛题中方程的整数解问题为例,介绍此类问题的求解策略.一、因数分解例1(江苏省第十九届初中数学竞赛初三年级2试试题)已知整数x,y满足x~(1/2)+2y~(1/2)=     

线性规划标准型和整数线性规划最优解的两个注记

本文研究线性规划标准型的基本假设所蕴含的一些性质,并探讨整数线性规划最优解和其松弛问题最优解的关系.首先,分别讨论四种情形下线性规划最优解的性质,即无约束线性规划问题、仅有非负约束的线性规划问题、仅有等式约束的线性规划问题,以及标准线性规划问题系数矩阵的列向量有为零的情形等.然后,构造两族二维整数线性规划,其松弛问题的最优解与其(整数)最优解"相距甚远".     

一个基于离散填充函数的整数线性规划方法

本文提出了一个有效的解决整数线性规划的新算法.如果离散化的局部搜索过程陷入局部最优解,则构造相应的离散填充函数,引导搜索过程跳出局部最优解并得到更好的解.该方法是在离散空间中进行优化的,无需增加新的约束,且一直保持整数可行性,收敛的速度非常快.该方法也为一般整数规划提出了一种新的途径.数值实例表明,与现有的方法相比,该算法能够较快的找到最优解.     

切割定界与整数分枝结合求解整数线性规划

把一种改进的割平面方法和分枝定界的思想结合起来求解整数线性规划 ( ILP)问题 .它利用目标函数等值面的移动来切去相应 ( LP)的可行域中含其非整数最优解但不含 ( ILP)可行解的“无用部分”,并将对应的目标函数值作为 ( ILP)目标最优值的一个上界 ;最后 ,通过 ( LP)最优解中非整数基变量的整数分枝来获得整数线性规划的最优解 .     

混合整数半无限规划问题

本文主要讨论混合整数半无限规划(mixed integer semi-infinite programming, MISIP)问题的求解方法.首先分离内层约束中的连续变量和整数变量并将原问题转化为混合整数互补约束规划(mixed integer mathematical programming with complementarity constraints, MIMPCC)问题.其次在假设内层问题满足Slater约束规范的条件下得到了转化前后问题的等价性.继而分别将MIMPCC问题转化为可用常规优化软件求解的混合整数规划问题和非线性规划问题.由于在转化过程中会生成大量的变量和约束,为求解内层问题中变量较多的MISIP问题,本文提出一种行约束生成法,并证明该算法可在最多O(|Z|)次迭代之后得到最优解.最后通过一些数值实例验证算法的有效性.     

丢番图方程x~2+By~(2p)=z~3

设p≥11为素数,对于某些形式的整数B,我们给出了方程x~2+By~(2p)=z~3满足xyz≠0且x,y,z两两互素的所有整数解.