参考文献： 1. Gilles Audemard，Laurent Simon: On the Glucose SAT Solver 一、对学习自己作用的认识 The first answer was just abouttrying to contain the combinatorial expl ...
分类：
其他好文 时间：
2020-06-08 13:08:22
阅读次数：
87
PCA中的SVD 1 PCA中的SVD哪里来？ 细心的小伙伴可能注意到了，svd_solver是奇异值分解器的意思，为什么PCA算法下面会有有关奇异值分解的参数？不是两种算法么？我们之前曾经提到过，PCA和SVD涉及了大量的矩阵计算，两者都是运算量很大的模型，但其实，SVD有一种惊人的数学性质，即是 ...
分类：
编程语言 时间：
2020-05-29 17:46:29
阅读次数：
69
在主函数main.cc中 在化简求解代码段之后： vec<Lit> dummy; lbool ret = S.solveLimited(dummy); 在Solver.h文件中 inline lbool Solver::solveLimited (const vec<Lit>& assumps){ ...
分类：
其他好文 时间：
2020-05-12 11:58:45
阅读次数：
65
有点难的一场。 题目链接：http://codeforces.com/gym/101964 B： solver：czq C: solver: czq、zyh E: solver：czq ...
分类：
其他好文 时间：
2020-05-05 20:17:14
阅读次数：
83
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
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
题目很简单。差点10题，非常可惜。 A： 签到题+4不应该。 solver：lzh 1 #include <bits/stdc++.h> 2 using namespace std; 3 typedef pair<int, int> pii; 4 typedef long long ll; 5 #d ...
分类：
其他好文 时间：
2020-01-14 20:29:35
阅读次数：
108
1. 题目链接 "传送门" 2. 题意 数独游戏大家都有玩过, 本题给出一个9 9数独棋盘, 你需要给出一个合法的终局棋盘 3. 解题思路 对每一个位置dfs搜索可行解, 81层dfs不会爆栈, 安心dfs就好, 搜索方式见代码 4. AC代码 Java class Solution { publi ...
分类：
其他好文 时间：
2019-12-30 21:07:15
阅读次数：
76
