共查询到20条相似文献,搜索用时 46 毫秒
1.
描述一个公钥密码体制,其中参与者的公钥是一个公开值,例如他的身份,这个体制由很多可信中心联合产生一个大合数N=pq,p,q为素数且p≡q≡3(mod 4),任意其中一个可信中心都不知道N的分解.另外,每一个可信中心拥有一个秘密指数的一个分享,这样产生一个门限解密.本文将讨论所提出的方案的安全性,并证明它与解决二次剩余问题的困难性有关. 相似文献
2.
曲面S的一个极小禁用子图是这样的一个图,它的任何一个顶点的度都不小于3,它不能嵌入在S上,但是删去任何一条边后得到的图能嵌入在S上.本文给出了四种构造一个不可定向曲面的极小禁用子图的方式,即粘合一个顶点,一个图的边被其它的图替换,粘合两个顶点,将一个图放在另一个图的一个曲面嵌入的面内. 相似文献
3.
4.
文中利用利用拉格朗日乘数法证明了两个不等式,其中一个不等式验证了发表文献中一个类比猜想不成立,另一个不等式验证了发表文献中一个类比猜想成立. 相似文献
5.
关于(g,f)-2-消去图 总被引:7,自引:0,他引:7
一个图G称为一个(g,f)-2-消去图,如果G的任何两条边不属于它的一个(g,f)-因子.本文给出了当g<f时一个图是(g,f)-2-消去图的一个充要条件. 相似文献
6.
7.
8.
关于k—消去图的若干新结果 总被引:2,自引:0,他引:2
汪长平 《数学物理学报(A辑)》1998,18(3):302-309
设G是一个图.k是自然数.图G的一个k-正则支撑子图称为G的一个k-因子.若对于G的每条边e.G—e都存在一个k-因子,则称G是一个k-消去图.该文得到了一个图是k-消去图的若干充分条件,推广了文[2—4]中有关结论. 相似文献
9.
10.
本文给出了判定一个仿射代数集是否是一个自同构恒等集的充分条件.作为一个推论,我们给出了Mckay-Wang的一个问题的一个新证明.我们也给出了一些具体的例子来说明主要的定理. 相似文献
11.
在解析几何中有二次曲线与直线位置关系的讨论、二次曲面与直线位置关系的讨论,而二次曲面与平面相关位置关系的探讨较少.本文给出二次曲面a11x2+a22y2+a33z2+2a12xy+2a13xz+2a23yz+2a14x+2a24y+2a34z+a44=0(1)和平面Ax+By+Cz+D=0(2)的相对位置的判别式Δ=a11a12a13a14Aa21a22a23a24Ba31a32a33a34Ca41a42a43a44DA B C D0(aij=aji).(3)并证明了:若Δ>0,则二次曲面(1)与平面(2)相交;若Δ=0,则(1)和(2)相切;若Δ<0,则(1)和(2)相离. 相似文献
12.
Scalarization of Henig Proper Efficient Points in a Normed Space 总被引:1,自引:0,他引:1
In a general normed space equipped with the order induced by a closed convex cone with a base, using a family of continuous monotone Minkowski functionals and a family of continuous norms, we obtain scalar characterizations of Henig proper efficient points of a general set and a bounded set, respectively. Moreover, we give a scalar characterization of a superefficient point of a set in a normed space equipped with the order induced by a closed convex cone with a bounded base. 相似文献
13.
给出了最佳参数α_1,α_2,α_3,β_1,β_2,β_3∈R,使得双向不等式α_1Q(a,b)+(1-α_1)G(a,b)0且a≠b成立.其中A(a,b)=(a+b)/2,H(a,b)=2ab/(a+b),G(a,b)=(ab)~(1/2),Q(a,b)=((a~2+b~2)/2)~(1/2),C(a,b)=(a~2+b~2)/(a+b),T(a,b)=2/π∫_0~(π/2)(a~2cos~2t+b~2sin~2)~(1/2)tdt分别是两个正数a和b的算术平均,调和平均,几何平均,二次平均,反调和平均和Toader平均. 相似文献
14.
The main result is that a separable Banach space with the weak* unconditional tree property is isomorphic to a subspace as
well as a quotient of a Banach space with a shrinking unconditional basis. A consequence of this is that a Banach space is
isomorphic to a subspace of a space with a shrinking unconditional basis if and only if it is isomorphic to a quotient of
a space with a shrinking unconditional basis, which solves a problem dating to the 1970s. The proof of the main result also
yields that a uniformly convex space with the unconditional tree property is isomorphic to a subspace as well as a quotient
of a uniformly convex space with an unconditional finite dimensional decomposition. 相似文献
15.
James G. Oxley 《Combinatorica》1984,4(2-3):187-195
Seymour has shown that a matroid has a triad, that is, a 3-element set which is the intersection of a circuit and a cocircuit,
if and only if it is non-binary. In this paper we determine precisely when a matroidM has a quad, a 4-element set which is the intersection of a circuit and a cocircuit. We also show that this will occur ifM has a circuit and a cocircuit meeting in more than four elements. In addition, we prove that if a 3-connected matroid has
a quad, then every pair of elements is in a quad. The corresponding result for triads was proved by Seymour. 相似文献
16.
Tuomas E. Tahko 《Metaphysica》2011,12(2):151-164
The distinction between a priori and a posteriori knowledge has been the subject of an enormous amount of discussion, but the literature is biased against recognizing the intimate relationship between these forms of knowledge. For instance, it seems to be almost impossible to find a sample of pure a priori or a posteriori knowledge. In this paper, it will be suggested that distinguishing between a priori and a posteriori is more problematic than is often suggested, and that a priori and a posteriori resources are in fact used in parallel. We will define this relationship between a priori and a posteriori knowledge as the bootstrapping relationship. As we will see, this relationship gives us reasons to seek for an altogether novel definition of a priori and a posteriori knowledge. Specifically, we will have to analyse the relationship between a priori knowledge and a priori reasoning, and it will be suggested that the latter serves as a more promising starting point for the analysis of aprioricity. We will also analyse a number of examples from the natural sciences and consider the role of a priori reasoning in these examples. The focus of this paper is the analysis of the concepts of a priori and a posteriori knowledge rather than the epistemic domain of a posteriori and a priori justification. 相似文献
17.
18.
A straight-line planar drawing of a plane graph is called a convex drawing if every facial cycle is drawn as a convex polygon. Convex drawings of graphs is a well-established aesthetic in graph drawing, however not all planar graphs admit a convex drawing. Tutte [W.T. Tutte, Convex representations of graphs, Proc. of London Math. Soc. 10 (3) (1960) 304–320] showed that every triconnected plane graph admits a convex drawing for any given boundary drawn as a convex polygon. Thomassen [C. Thomassen, Plane representations of graphs, in: Progress in Graph Theory, Academic Press, 1984, pp. 43–69] gave a necessary and sufficient condition for a biconnected plane graph with a prescribed convex boundary to have a convex drawing.In this paper, we initiate a new notion of star-shaped drawing of a plane graph as a straight-line planar drawing such that each inner facial cycle is drawn as a star-shaped polygon, and the outer facial cycle is drawn as a convex polygon. A star-shaped drawing is a natural extension of a convex drawing, and a new aesthetic criteria for drawing planar graphs in a convex way as much as possible. We give a sufficient condition for a given set A of corners of a plane graph to admit a star-shaped drawing whose concave corners are given by the corners in A, and present a linear time algorithm for constructing such a star-shaped drawing. 相似文献
19.
Ming Liao 《Journal of Theoretical Probability》2009,22(1):164-185
We study a decomposition of a general Markov process in a manifold invariant under a Lie group action into a radial part (transversal
to orbits) and an angular part (along an orbit). We show that given a radial path, the conditioned angular part is a nonhomogeneous
Lévy process in a homogeneous space, we obtain a representation of such processes and, as a consequence, we extend the well-known
skew-product of Euclidean Brownian motion to a general setting.
相似文献