这篇从原理上理解2-sat如何转化成图论问题简述了如何了实现算法：http://wenku.baidu.com/view/31fd7200bed5b9f3f90f1ce2.html
总的来说2-sat有两种算法，一种用dfs染色搜索出一种解，一种用tarjan(判定是否有解)+拓扑排序构造出任意一个可行解。
dfs从理论上复杂度很高，但是实际上远远达不到上界，而且可以按字典序搜索，实现也简单多...
分类：
其他好文 时间：
2015-04-24 09:09:08
阅读次数：
233
Java程序运行由java虚拟机负责。类从加载到虚拟机内存到卸载出内存，包括
加载-----链接-----初始化-----使用------卸载
链接具体包括：验证-----准备-----解析
加载：由类加载器执行，查找字节码并从这些字节码中创建一个Class对象。
链接：验证类中的字节码；为静态域分配存储内存并赋予默认值；解析这个类创建的对其他类的所有引用。
初始化：该类具有基类，...
分类：
编程语言 时间：
2015-04-24 09:07:22
阅读次数：
175
目录和常规文件一样使用相同的权限位进行标识，但是它们的翻译不同。
目录的读权限允许用户使用该权限列出目录内容。
写权限意味着用户使用该权限能够在目录 中创建或者删除文件。
执行权限允许用户输入目录并访问任意子目录。没有执行权限，目录下的文件系统对象就是不可访问的。
没有读权限，目录下的文件系统对象 在目录清单下就是不...
分类：
系统相关 时间：
2015-04-24 09:07:57
阅读次数：
166
题目大意输入n，m。 一共有n个字母（从A开始）， m行语句每个语句“x﹤y”，说明x，y之间的偏序关系。让你判断是否可以通过这些关系得到一个唯一的升序序列，若能则输出这个序列并指出通过前多少条语句得出的，如果n个字母间存在矛盾，输出相应语句并指出那条语句开始出现矛盾的。如果没有唯...
分类：
编程语言 时间：
2015-04-24 09:06:12
阅读次数：
178
语义标注还是很难的。
一般流程是：
1. 提取区域特征（如果是像素级别的操作，就对每个像素提取特征；如果是超像素，就对每一个超像素块处理）
2. Boost特征（提取出的特征还是不能直接作为输入，要将特征boost成一个较好的分类器）
3. 一维逻辑回归（利用逻辑回归来进行特征分类）
4. CRF模型做局部光滑
欢迎有识之士一起探讨...
分类：
其他好文 时间：
2015-04-24 09:06:18
阅读次数：
124
关联规则挖掘算法在生活中的应用处处可见，几乎在各个电子商务网站上都可以看到其应用
举个简单的例子
如当当网，在你浏览一本书的时候，可以在页面中看到一些套餐推荐，本书+有关系的书1+有关系的书2+...+其他物品=多少￥
而这些套餐就很有可能符合你的胃口，原本只想买一本书的你可能会因为这个推荐而买了整个套餐
这与userCF和itemCF不同的是，前两种是推荐类似的，或者你可能喜欢的...
分类：
编程语言 时间：
2015-04-24 09:06:25
阅读次数：
228
网上好多抓取贴吧的小爬虫都失效了，原因是百度贴吧的编码格式变了，或者是html代码变了，像这种简单的读取源代码的爬虫，只要网页源代码改变之后就得重新修改。
请诸位大牛指点。# -*- coding:utf8 -*-
"""
程序就是读取网页的源代码，如果想获取相应的内容就找到其特定的格式，再利用正则表达式来获取。
"""
import string
import urllib2
import r...
分类：
编程语言 时间：
2015-04-24 09:06:46
阅读次数：
177
这篇文章主要介绍如何用 Qemu 来搭建一个基于 ARM 的嵌入式 Linux 系统。通过该文可以学习到如何配置和交叉编译 Linux Kernel，如何配置 Busybox 并编译，如何制作 Initramfs，如何制作根文件系统，如何定制自己的 Uboot，如何通过 Uboot 向 Kernel 传递参数等。...
分类：
其他好文 时间：
2015-04-24 09:05:25
阅读次数：
208
//可变参数模板
//可变参数模板，可以创建可接受可变数量参数的模板函数和模板类
//本程序通过模板函数来实例一下可变参数模板的基本用法
#include
using namespace std;
void one(){}//当最后一个参数传完后，需要一个无参的重载版本
template //当只剩最后一个参数时，编译器优先选择此模板，这样最后一个输出后面就没有逗号了
voi...
分类：
其他好文 时间：
2015-04-24 09:06:25
阅读次数：
144
原题链接
解题报告：
由于最大能达到10^7！ 故而不能直接用高精度整数算出结果，然后取位数……所以转换思路，从数学角度算出n!的位数，推导如下：
因为len(n)=floor( log10(n) )+1
设A=n!=1*2*3*...*n
所以len(A)-1=floor( log10(A) )=floor( log10(1*2*3*...*n) )=floor( lo...
分类：
其他好文 时间：
2015-04-24 09:06:32
阅读次数：
115
有一个很好的Log工具类 LazyLog。 可以不用打标签，直接显示Log. 非常方便
import android.util.Log; 与LazyLog 比较...
分类：
移动开发 时间：
2015-04-24 09:05:32
阅读次数：
195
题目链接：http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=3757
题面：
Strange Country II
Time Limit: 1 Second Memory Limit: 32768 KB Special Judge
You want to visit a st...
分类：
其他好文 时间：
2015-04-24 09:05:43
阅读次数：
164
写这篇文章主要是出于一个个人认为比较普遍的现象，就是很多开发者虽然都在用Git管理的项目，但是大多数人都只是在“傻瓜式”地在用，而且经常不知道自己在干什么，究竟自己的项目发生了什么。
就我们公司现在的项目组来说吧，头两天开始组长一直在跟我提，让我有时间跟进一下CodeReview，组织大家把这方面搞起来。今天终于有空做了一下，才发现原来大家在使用Git的时候基本都是属于小白级的，更别说在GitLab等服务器上管理项目了。
所以打算以此文章帮助大家了解一下Git，让大家尽量能够明白自己的操作都是在干什么，...
分类：
其他好文 时间：
2015-04-24 09:05:43
阅读次数：
151
首先申明我用的NandFlash的型号是K9K8G08U0B，这里不做这款NandFlash芯片硬件结构的分析，只是分析NandFlash初始化的时候要配置NFCONF寄存器，这里涉及到这个寄存器中的三个参数，分别是TACLS，TWRPH0，TWRPH1，这三个参数关系到这款NandFlash的一个基本的时序问题。之前一直没有仔细研究过这么一段NandFlash的初始化函数，我先把这个子函数的代码...
分类：
其他好文 时间：
2015-04-24 09:05:32
阅读次数：
115
解题报告 之 HOJ 2816 Power Line 最大流 二分...
分类：
其他好文 时间：
2015-04-24 09:05:28
阅读次数：
129
Swift 构造器探究什么时候要用构造器？对于类(Class)其实在其他语言中，比如说Java对于属性的初始化没有严格的要求。甚至在Model层只有对应属性的get,set访问器。而在Swift中无论是对于结构体(Structure)还是类(Class)，如果其中存在存储属性(stored property)，那么必须在合适的地方给它赋初始值，也就是初始化。不能让它们成为不确定的状态，即没有初始化。...
分类：
编程语言 时间：
2015-04-24 09:06:32
阅读次数：
257
