...双线性（Bilinearity）：对于任意的g∈G1，h∈G2，a,b∈Zp，有e(ga,hb)=e(g,h)ab； 非退化性（Non-degeneracy）：至少存在元素g1∈G1,g2∈G2，满足e(g1,g2)≠1； 可计算性（Efficiency）：对于任意的u∈G1,v∈G2，存在一个与给定安全常数λ相...
基于32个网页-相关网页
The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。
As the non-degeneracy condition holds and the smoothing parameter tends to zero, an S-stationary point of the MPCC problem is equivalent to a KKT point of the smoothing nonlinear programming.
当非退化条件成立和磨光参数趋于零时，证明了原问题的S -稳定点与磨光非线性规划的KKT点等价。
应用推荐