论文部分内容阅读
首先在矩阵中用谓词描述“含Kn”和“含－↑Km”，然后通过命题演算法逐行求出不含Kn也不含－↑Km的矩阵（aij)j=i+1,…，l^i=1,2,…l-1，若对于l≤r－1有这样的矩阵，而对于l=r却没有，则r为Ramsey数。
一种求Ramsey数的命题演算法
【摘 要】
：
首先在矩阵中用谓词描述“含Kn”和“含－↑Km”，然后通过命题演算法逐行求出不含Kn也不含－↑Km的矩阵（aij)j=i+1,…，l^i=1,2,…l-1，若对于l≤r－1有这样的矩阵，而对于l=r却没有，则r为Ra
【机 构】
：
广西大学计算机与信息工程学院
【出 处】
：
广西科学院学报
【发表日期】
：
2002年3期
【基金项目】
：
广西大学科研基金资助项目
其他文献
农村政策落脚乡村振兴，路径从“城乡统筹”转向“城乡融合”，思路也从政府主导向更重视市场作用及要素流通转变。$$资源配置不仅要考虑到城市，更要考虑到如何满足乡村出现的新业
报纸
污水再生与回用是我国当前存在的一项迫切任务。本文较系统地介绍了发达国家（如美国）在这方面的工作和经验，如：城市污水的再生与回用规划方法、项目设施规划，项目实施的具体环节和
一、概述鲜红斑痣又称葡萄酒样痣(port wine stains),俗称胎记,常在一出生或生后不久出现.病损为淡红或紫红色的斑片,不突出皮肤,表面平滑,压之褪色,形状不规则,常见于面部、
在山区公路施工过程中,经常会遇到填方路段,需要使用支挡结构进行施工。本文以实际工程为例,对不同类型的支挡结构在不同的山区公路环境下的应用进行分析,并简单介绍了预应力
南宁海蓝数据有限公司开发的基于WEB的电子政务应用平台，2004年8月16日在南宁市通过了自治区信息产业局主持的验收。该项目是2003年广西电子信息系统应用计划项目。
针对张桑(张家界—桑植)高速公路麻栗垭隧道左线ZK34+910变形剧烈段,利用有限元数值软件MIDAS-GTSNX建立二维数值模型,分别采用上下台阶法、三台阶法、三台阶预留核心土法模
采用数据挖掘中的判定树归纳分类法预测毕业生就业情况,给出预测模型、数据采集过程和相应的实现算法及判定树的算法,对判定树归纳分类法进行准确性评估,并给出一个实例.该预