图论中的两个定理基于模型论方法的证明 |
| |
引用本文: | 潘孝铭,辛明海.图论中的两个定理基于模型论方法的证明[J].宁德师专学报(自然科学版),2003,15(4):337-338,352. |
| |
作者姓名: | 潘孝铭 辛明海 |
| |
作者单位: | 华侨大学软件工程系,福建,泉州,362011 |
| |
基金项目: | 国务院侨办科研基金项目(Q00007),福建省青年科技人才创新项目(2002J011). |
| |
摘 要: | 四色定理和Ramsey定理是图论中重要的定理,本文运用模型论中的紧致性定理、图象定理等给出了这两个定理基于模型论方法的简短证明.
|
关 键 词: | 图象定理 同构嵌入 模型 |
文章编号: | 1004-2911(2003)04-0337-02 |
修稿时间: | 2003年3月3日 |
The Proofs of two theorems in graph theory based on model theory method |
| |
Abstract: | Four colours theorem and Ramsey theorem are very important theorems in graph theory.Exploiting compact theorem and diagram theorem, the article introduces proofs for four colours theorem and Ramsey theorem based on model theory method. |
| |
Keywords: | diagram theorem isomorphically embedded model |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|