一种求Ramsey数的命题演算法

• 作者: 罗示丰
• 来源期刊: 广西科学院学报
• 学科: 数学
• 关键词: Ramsey数 命题演算 三角矩阵
• 年，卷（期）: 2002,（3）
• 页码范围: 104-108
• 页数: 5页
• 分类号: O141
• 字数: 3803字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-7378.2002.03.002

摘要

首先在矩阵中用谓词描述"含Kn"和"含Rm",然后通过命题演算法逐行求出不含Kn也不含Km的矩阵(aij)i-1,…,l-1 2j-i+1,.l.若对于l≤r-1有这样的矩阵,而对于l=r却没有,则r为Ramsey数.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗示丰	广西大学计算机与信息工程学院	4	8	2.0	2.0