SAT问题

SAT问题技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数

500

SAT问题热门资料

查看全部 500 份 →

哲学家问题，vxworks任务调试及处理的一种实现，原创。

2013-12-19 150 SAT问题

IA 算法问题，找出最短路径很有意思，可以看一看

2017-09-15 100 SAT问题

旅行商问题，用VC来编程，并且有完整的系统功能。

2013-12-15 162 SAT问题

n皇后问题，迷宫问题，递归实现皇后寻找迷宫出路，经典算法之一

2017-08-04 60 SAT问题

八皇后问题，给定皇后个数，当然这里是8，求共有多少种摆法

2014-01-20 40 SAT问题

n皇后问题，能够快速的算出24个点，24个点过侯程序会变慢

2017-08-15 188 SAT问题

旅行商问题，总共30个城市，计算最优路线和最短路径

2017-08-23 25 SAT问题

八皇后问题是十九世纪著名的数学家高斯提出的：在8X8格的国际象棋上摆放八个皇后，使其不能互相攻（任意两个皇后都不能处于同一行、同一列或同一斜线上），问有多少种摆法？输出所有的皇后摆法。

2016-06-19 4 SAT问题