| 摘要: |
| 首先在矩阵中用谓词描述"含Kn"和"含Km",然后通过命题演算法逐行求出不含Kn也不含Km的矩阵(aij)j=i+1,…,li=1,2,…,l-1.若对于l ≤ r-1有这样的矩阵,而对于l=r却没有,则r为Ramsey数. |
| 关键词: Ramsey数 命题演算 三角矩阵 |
| DOI： |
| 投稿时间：2002-02-25修订日期：2002-04-10 |
| 基金项目:广西大学科研基金资助项目 |
|
| A Propositional Calculus Method to Find Ramsey Numbers |
|
Luo Shifeng
|
| (Computer & Information Engineering College, Guangxi University, Nanning, 530004) |
| Abstract: |
| The "include Kn and Km" in a matrix are firstly described by predicate. Then the matrix (aij)j=i+ 1,…,li=1,2,…,l-1 that include neither Kn,nor Km,is found by a prepositional calculus in row by row. If there are the matrixes for l ≤ r-1,but there is no the matrix for l=r,then r is Ramsey number. |
| Key words: Ramsey number prepositional calculus triangle matrix |
