四色定理的语言理论证明探索
组合数学
2014-04-18 v2
摘要
本文考虑证明如下问题：每一对具有相同叶子数的二叉树在某个简单文法下都能解析出一个公共单词。我们枚举了几对无限树族的公共解析词，并讨论了将一对树的解析词问题简化为更小树对问题的几种方法。每对树都存在公共解析词这一命题等价于每个平面图都是四色的，因此这些结果是迈向四色定理语言理论证明的一步。
引用
@article{arxiv.1006.1324,
title = {Toward a language theoretic proof of the four color theorem},
author = {Bobbe Cooper and Eric Rowland and Doron Zeilberger},
journal= {arXiv preprint arXiv:1006.1324},
year = {2014}
}
备注
18 pages, many images; final version