不含相邻三角形平面图的4-可选色问题

设k为正整数,g为图.我们给g每个顶点一个长为k的任意表,如果存在一个顶点着色,使得每个顶点都可从表中得到一种颜色,则称g为k可选色的.本文中证明了不含相邻三角形并且四面和三面不相邻的平面图是4-可选色的.