摘要
对“简单多边形三角形化图S是可以3-色”的定理证明中用到的关键定理:“简单多边形三角形化图S的对偶图T是一棵树”作了十分简化的证明,从而简化了3-色问题及Art Gallery问题Watchman定理的证明.
A brief proof to the key theory "The dual graph T of a simple polygon triangulation S is a tree" is given in the proof of theory "A simple polygon triangulation S is 3-Color". Then it simplifies the proof of the 3- Color problem and the Watchman Theory of Art Gallery Problem.
出处
《山东大学学报(工学版)》
CAS
2007年第1期74-75,共2页
Journal of Shandong University(Engineering Science)