$CF\ 634\ (Div3)$ $A.$ 给定 $n$，问有多少对正整数 $a,\ b$，使得 $a + b = n$ 且 $a b$ 如果 $n$ 是偶数，那么 $ans = n / 2 1$ 如果 $n$ 是奇数，那么 $ans = n / 2$ ...
分类：
其他好文 时间：
2020-04-15 01:01:37
阅读次数：
84
题目描述 You are given a correct solution of the sudoku puzzle. If you don't know what is the sudoku, you can read about it here. The picture showing the ...
分类：
其他好文 时间：
2020-04-14 12:24:00
阅读次数：
126
A. Candies and Two Sisters 题意 把一个数拆成两个不等的数有多少种情况。 思路 奇数时除以二即可，偶数时需要再减去相等的情况。 代码 #include <bits/stdc++.h> using namespace std; void solve() { int n; ci ...
分类：
其他好文 时间：
2020-04-14 09:16:51
阅读次数：
81
This is a new heuristic which is called Core First Unit Propagation in MapleLCMdistCBTcoreFirst sat solver . CFUP ( Core First Unit Propagation) heuri ...
分类：
其他好文 时间：
2020-04-01 13:08:35
阅读次数：
63
过年放假在家，偶然看到老妈在玩数独（Sudoku），想着这完全可以写个程序解决数独问题呀，上网搜了一下大家的思路，发现代码最简单的还是递归算法，不过感觉递归算法有些无脑，运算量又大，想着自己能不能模拟一下人玩数独的思路，让计算机以相对聪明一点点的方式去计算数独的结果呢？ 基本思路：对每一行，每一列和 ...
分类：
其他好文 时间：
2020-03-25 19:34:54
阅读次数：
64
J题队友犯了初始化的错，白给6发，本来能1A的 B： solver：lzh、czq 就是个拓扑排序 1 #include <bits/stdc++.h> 2 using namespace std; 3 #define ff first 4 #define ss second 5 #define m ...
分类：
其他好文 时间：
2020-02-20 18:35:36
阅读次数：
286
J想到了卡特兰数，也想到要按最小值分割数组，丢给队友之后两个人都没做出来，傻了 题目链接：https://codeforces.com/gym/102501 B： solver：czq 1 /* basic header */ 2 #include <bits/stdc++.h> 3 /* defi ...
分类：
其他好文 时间：
2020-02-19 19:24:27
阅读次数：
258
差两题AK。 题目链接：https://codeforces.com/gym/101962 B： solver：czq 1 /* basic header */ 2 #include <bits/stdc++.h> 3 /* define */ 4 #define ll long long 5 #d ...
分类：
其他好文 时间：
2020-02-19 18:51:25
阅读次数：
112
五、测试 1.单元测试 单元测试的方式是黑盒测试，即通过每个环节的输入输出情况进行测试。程序由四个类组成，对应生成四个测试类，使用Junit5对其中的主要方法进行测试。测试的大致思路是预先设计较为简单的数独用例，生成新的对象，运行方法，并将阶段性的结果与预先计算的结果相比较。 有些方法具有返回值，便 ...
分类：
其他好文 时间：
2020-01-26 10:20:27
阅读次数：
118
GITHUB项目地址： https://github.com/hhz-hhz/Sudoku_software_engineer.git 软工基础个人项目——数独1 软工基础个人项目——数独2 软件基础个人工程——数独3 四、测试阶段 1、同测试设计文档一样对程序进行了测试： 但SolvingSudo ...
分类：
其他好文 时间：
2020-01-20 00:13:02
阅读次数：
90
