来源于：网易云课堂-哈工大-王宏志老师
问题1.布尔表达式的可满足性问题（NP完全问题）
解1.时间复杂度是2^n.
问题2.8迷问题
解2.转换为树搜索问题，对可能的移动结果生成解空间
问题3.哈密顿环问题（NP完全问题）
解3.从原点出发，对可能访问到的点生成解空间，并且从每个可以访问到的点出发，若一个点的出发的所有边已经被访问过，那么就结束当前的点。如果所有的点的都不能走，就没有哈密顿环。
原文：https://www.cnblogs.com/BlueBlueSea/p/9403391.html