conjunctive normal form, MiniSatSAT solver 是解決 SAT 問題的程式的統稱，這裡介紹一些先備知識，以及 miniSAT 這套開源的 SAT solver。一些名詞定義variableboolean function 裡面用到的那些值就叫 variable，... ...
分类：
其他好文 时间：
2019-10-21 09:54:23
阅读次数：
69
本文，从 ceres::QuaternionParameterization 入手，在理解 ceres::QuaternionParameterization 的基础上形成对 ceres::LocalParameterization 的认识。 "ceres solver" 中对 LocalParam ...
分类：
其他好文 时间：
2019-10-20 16:25:25
阅读次数：
192
本文的目的是解析 ceres solver AutoDiff 的实现，说明它是一种类似于 matlab 符号运算的方法。 "ceres solver" 使用 " " 作为计算误差与雅克比的结构。ceres::CostFunction 是一个纯虚类，用户代码继承这个类，并通过实现其纯虚方法 提供使用待 ...
分类：
其他好文 时间：
2019-10-20 01:15:51
阅读次数：
132
Determine if a 9x9 Sudoku board is valid. Only the filled cells need to be validated according to the following rules: A partially filled sudoku which ...
分类：
其他好文 时间：
2019-10-19 19:08:06
阅读次数：
85
本人项目需分析caffe源码，并做一些相应的修改 1.caffe源码工程目录 src目录为整个工程的核心，它主要实现了神经网络的基本模型的组件：Blob、Layer、Net、Solver等核心类。 include目录存放整个工程所有头文件。 tools目录中存放了caffe的入口函数，用于参数解析， ...
分类：
编程语言 时间：
2019-10-08 17:24:59
阅读次数：
101
"POJ2676 Sudoku" 位运算 + 搜索。更好的优化方法：方案数最小的空格先填。 cpp include include int T, f[9], g[9], h[3][3]; char buf[10]; int v[9][9], tot; inline int lowbit(int x) ...
分类：
其他好文 时间：
2019-10-05 18:04:35
阅读次数：
84
题目描述 36. 有效的数独 判断一个 9x9 的数独是否有效。只需要根据以下规则，验证已经填入的数字是否有效即可。 数字 1-9 在每一行只能出现一次。数字 1-9 在每一列只能出现一次。数字 1-9 在每一个以粗实线分隔的 3x3 宫内只能出现一次。 上图是一个部分填充的有效的数独。 数独部分空 ...
分类：
编程语言 时间：
2019-10-03 20:15:48
阅读次数：
81
经典backtracing的问题。我们可以记录每行，每列，每个box那些数字出现过，快速判断当前填入的数字是否有重复。 上述方法是dfs(i,j)，导致没到一行的末尾要换行，比较繁琐。 可以把所有空格都放到一个vector里，dfs这个vector的下标即可。 ...
分类：
其他好文 时间：
2019-10-01 09:16:35
阅读次数：
96
Solution 一道神仙暴力剪枝题，思路是在9*9的数独之上，再多添加3个剪枝 1.判断每个空格中，如果一个字母都填不了就返回，如果只能填一个，就填上并继续搜索 2.对于每个字母，在每行\列\16宫格中判断能填的位置，如果没有就返回，如果只有一个就填上，并继续搜索 3.在上述剪枝完成后，再用位运算 ...
分类：
其他好文 时间：
2019-09-15 21:14:51
阅读次数：
130
Debian系统配置 我这里在Vmware里面虚拟4个Debian系统，一个master，三个solver。hostname分别是 master、solver1、solver2、solver3 。对了，下面的JDK和hadoop安装配置操作都是使用 hadoop用户权限 来执行，并非root权限。 ...
分类：
其他好文 时间：
2019-08-25 21:40:52
阅读次数：
182
