共查询到20条相似文献,搜索用时 15 毫秒
1.
吴利生 《苏州大学学报(医学版)》1989,5(1):1-6
为了求解数据库理论中的一个组合优化问题,Demetrov-ics 等提出如下猜测:对任何n≡1(mod 3) ,完备有向图(?)的有向边集可划分成n 组定向三角形,使得第i 组的顶点全体恰为{0,1,…,n-1}-{i},0≤i≤n-1,并且任两个不同的组恰含一对方向相反的有向边.本文对此猜测给出解答,即证明了:当n(?)10,n≡1(mod3) 时猜测为真,n=10时,猜测不真. 相似文献
2.
证明了如果在图G的闭包中可以找到一个以某确定顶点为端点的生成迹当且仅当在G中可以找到一个以该顶点为端点的生成迹,得出了无爪图中生成迹的存在性在Ryjacek闭包运算下是稳定的,也就是一个无爪图G存在一个生成迹当且仅当图G的闭包cl(G)存在一个生成迹. 相似文献
3.
4.
沈继忠 《江西师范大学学报(自然科学版)》1999,23(1):67-69
该文指出了应明生一文中的一个错误,并给出了其中定理5.3的上半部分的一个简单证法,从而奠定了不分明化闭包运算的定义的正确性。 相似文献
5.
6.
7.
本刊编辑部 《重庆工商大学学报(自然科学版)》2007,(1)
载着丰硕的果实,2006年已经远去。怀着热切的憧憬,我们迎来了新的一年。在这欢乐、祥和、喜庆的日子里,《重庆工学院学报》全体同仁谨向关心和支持本刊的广大读者和作者致以衷心的感谢和美好的祝愿!回首2006,我们豪情万丈。大胆的革新,辛勤的劳作,获得了优厚的回报:荣获全国优秀社科学报的殊荣:影响因子位居全国同类高校前列:有多篇文章被《人大 相似文献
8.
FLINET OA是一个以信息集成为核心的办公自动化系统,在以数据库、网络为中心的支撑系统上建立信息共享、事务处理和决策分析三个应用层,并通过中间件和集成接口等实现系统的开放和集成。 相似文献
9.
10.
13.
14.
16.
提出了一种新的预处理矩阵,并研究了新的预处理AOR迭代法的收敛性,建立了新的预处理AOR法与(J+S)下AOR迭代法以及和经典AOR迭代法之间的比较定理.数值例子验证了定理的正确性并说明了这种方法的有效性. 相似文献
17.
19.
20.
1983年12月31日零时许,尼日利亚首都拉各斯的街头,突然出现了荷枪实弹的第九步兵旅和首都警卫旅的士兵。他们取代警察,在交通要道设置路障、检查点,他们关闭边境,切断了与国际及市内通讯联系,封锁了机场……一场军事政变发生了。不久,电台中传来了军乐,一位准将以武装部队名义宣读公告:武装部队已接管政权,解除沙加里的总统和武装 相似文献