来源于：网易云课堂-哈工大-王宏志老师

1.暴力美学

问题1.布尔表达式的可满足性问题（NP完全问题）

 

 解1.时间复杂度是2^n.

 问题2.8迷问题

 

解2.转换为树搜索问题，对可能的移动结果生成解空间

 

问题3.哈密顿环问题（NP完全问题）

 

解3.从原点出发，对可能访问到的点生成解空间，并且从每个可以访问到的点出发，若一个点的出发的所有边已经被访问过，那么就结束当前的点。如果所有的点的都不能走，就没有哈密顿环。