采用递归的思想，穷举不在同一行，同一列，同一小方块出现的数字，考虑查找效率，采用set保存。 代码如上，效率较低。主要是存在过多的遍历赋值，可以简化 ...
分类：
其他好文 时间：
2018-07-04 01:16:00
阅读次数：
165
题目描述 马克思手稿中有这样一道趣味数学题：男人、女人和小孩总计n个人，在一家饭店里吃饭，共花了cost先令，每个男人各花3先令，每个女人各花2先令，每个小孩各花1先令，请用穷举法编程计算男人、女人和小孩各有几个。 马克思手稿中有这样一道趣味数学题：男人、女人和小孩总计n个人，在一家饭店里吃饭，共花 ...
分类：
其他好文 时间：
2018-06-27 15:38:28
阅读次数：
158
测试与正确性论证 Dijkstra说过：“程序测试只能证明程序有错，不能证明程序正确。”所谓程序测试，实际上是测试者特意挑出一批检查数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。正确性证明是论证程序达到预期目的的一般性陈述，该论证不与程序输入的特定值有关，但能够代表穷举性测试 ...
分类：
其他好文 时间：
2018-06-25 20:18:11
阅读次数：
135
测试与正确性论证： 测试的目的是将程序的代码做到全覆盖，从而确保每个分支都运行一遍，进而分析代码中是否有错误，错误出在哪里。这个方法是实用的，但不是完备的。而正确性论证则通过大量的穷举，基于repOK和jsf来论证正确性，是逻辑层次的，可以说绝对正确，但相对复杂。私以为，二者的区别在于，测试可以说明 ...
分类：
其他好文 时间：
2018-06-25 20:17:24
阅读次数：
249
一切都要结束了，砥砺前行~ 一、测试与正确性论证的效果差异 测试，顾名思义就是我们暴力用大量数据轰炸编写的程序的过程。日常的OO过程中，我们经常互相寻求“测试集”，正是因为测试使用特定数据对我们的功能进行针对性测试，好处在于可以很直观很明显的找到bug所在，并且复现性也很强。但是偏向于穷举，也就是我 ...
分类：
其他好文 时间：
2018-06-25 17:00:17
阅读次数：
186
一、程序测试是指测试者特意挑出一批输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。 正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。 而Dijkstra说过“程序测试只能证明程序有错，不能说明程序正确”。除非进行穷举行测 ...
分类：
其他好文 时间：
2018-06-25 15:16:46
阅读次数：
184
一、测试与正确性论证比较 正确性论证是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。 程序测试是指测试者特意跳出一批输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。 测试只能说明程序有错误但是不能说明程序是正确的，而有效的正确性论 ...
分类：
其他好文 时间：
2018-06-25 01:20:05
阅读次数：
209
逻辑思维题 算法 随机数 案例讲解 猜字游戏 百钱买白鸡问题 穷举法 程序错误与调试 常见错误 编译错误 运行时错误 逻辑错误 调试方法 ...
分类：
其他好文 时间：
2018-06-03 12:45:32
阅读次数：
142
一、基本概念 回溯法，又称为试探法，按 选优条件 向前不断搜索，以达到目标。但是当探索到某一步时，如果发现原先选择并不优或达不到目标，就会退回一步重新选择，这种达不到目的就退回再走的算法称为回溯法。 与穷举法的区别和联系： 相同点：它们都是基于试探的。 区别：穷举法要将一个解 ...
分类：
编程语言 时间：
2018-05-22 00:52:26
阅读次数：
268
