1.SAT问题描述命题逻辑中合取范式 (CNF) 的可满足性问题 (SAT)是当代理论计算机科学的核心问题, 是一典型的NP 完全问题.在定义可满足性问题SAT之前，先引进一些逻辑符号。
一个 SAT 问题是指: 对于给定的 CNF 是否存在一组关于命题变元的真值...
分类：
编程语言 时间：
2015-06-15 22:09:02
阅读次数：
184
内容：CountDownLatch允许一个或多个线程等待其他线程完成操作。CountDownLatch的构造函数接收一个int类型的参数作为计数器，如果你想等待N个线程或者说等待N个执行步骤，那么可以将N作为参数传入。当我们调用一次CountDownLatch的countDown方法时，N就会减1，CountDownLatch的await会阻塞当前线程直到N为0。用于多个线程时，你只需要将这个Co...
分类：
编程语言 时间：
2015-06-15 22:09:02
阅读次数：
114
关于map，也就是字典，kv键值对。在C++中，它是一个类模板，它是属于一个关联容器类模板...
分类：
编程语言 时间：
2015-06-15 22:07:30
阅读次数：
111
HMM（hidden markov model）可以用于模式识别，李开复老师就是采用了HMM完成了语音识别。一下的例子来自于《统计学习方法》一个HMM由初始概率分布，状态转移概率分布，观测概率分布确定。并且基于两个假设：1 假设任意时刻t的状态只依赖于前一个时刻的状态，与其他时刻的状态和观测序列无关...
分类：
编程语言 时间：
2015-06-15 22:04:26
阅读次数：
207
http://lavasoft.blog.51cto.com/http://lavasoft.blog.51cto.com/62575/179324 Java正则表达式应用总结一、概述正则表达式是Java处理字符串、文本的重要工具。Java对正则表达式的处理集中在以下两个两个类：java.util....
分类：
编程语言 时间：
2015-06-15 22:03:05
阅读次数：
148
随着开始全面接触JavaAPI，现在人手一份中文版的JavaAPI文档（java-docs-api-cn.zip），在写代码的过程中需要经常查 阅。然而，哪怕是+Tab，也会很快就令你觉得在eclipse和java-docs两个窗口之间频繁切换实在是很烦人的一件事。 更要命的是，即使打开文档窗口，....
分类：
编程语言 时间：
2015-06-15 22:02:05
阅读次数：
150
Implement a basic calculator to evaluate a simple expression string.The expression string may contain open ( and closing parentheses ), the plus + or ...
分类：
编程语言 时间：
2015-06-15 22:02:12
阅读次数：
292
Invert a binary tree. 4 / \ 2 7 / \ / \1 3 6 9to 4 / \ 7 2 / \ / \9 6 3 1Trivia:This problem was inspired by thi...
分类：
编程语言 时间：
2015-06-15 21:58:46
阅读次数：
142
一. 统一所有的编码格式（1）JSP页面设置：（2）设置编辑器默认的编码格式 例如，我的编辑器是myeclipse，全局编码设置的方法：ToolBar-->Window-->Preferences-->General-->Workspace-->Text file encoding局部编码设置：在源...
分类：
编程语言 时间：
2015-06-15 22:00:29
阅读次数：
137
鼠标事件的事件源往往与容器相关，当鼠标进入容器、离开容器，或者在容器中单击鼠标、拖动鼠标时都会发生鼠标事件。java语言为处理鼠标事件提供两个接口：MouseListener，MouseMotionListener接口。MouseListener接口MouseListener接口能处理5种鼠标事件：...
分类：
编程语言 时间：
2015-06-15 21:56:49
阅读次数：
131
#include #include void str_cpy(char * to, char *from){ while ((*to++ = *from++) != '\0'); return;}int main(){ char a[128]; str_cpy(a,"hello"); printf(...
分类：
编程语言 时间：
2015-06-15 21:54:39
阅读次数：
154
将一个整数中的数字进行颠倒，当颠倒后的整数溢出时，返回 0 (标记为 32 位整数)。解题思路：JAVA实现如下： public int reverseInteger(int n) { Boolean isNeg = n >= 0 ? false : true; StringBuilder...
分类：
编程语言 时间：
2015-06-15 21:51:59
阅读次数：
431
Implement the following operations of a stack using queues.push(x) -- Push element x onto stack.pop() -- Removes the element on top of the stack.top()...
分类：
编程语言 时间：
2015-06-15 21:52:13
阅读次数：
131
字符串内建操作字符串长度大小写变换去空格或其他连接字符串查找替换分割判断内建操作字符串长度len代码s = 'abcd'print len(s)大小写变换lower 小写upper 大写swapcase 大小写互换capiatlize 首字母大写代码s = 'aBcd'print s.lower()...
分类：
编程语言 时间：
2015-06-15 21:49:41
阅读次数：
202
今天在调试springMVC的时候，在将一个对象返回为json串的时候，浏览器中出现异常：The resource identified by this request is only capable of generating responses with characteristics not ...
分类：
编程语言 时间：
2015-06-15 21:47:12
阅读次数：
794
让我们继续上篇，分析下如果有第二个调用进入的过程。代码部分主要是下面这个：if (isExistingTransaction(transaction)) { return handleExistingTransaction(definition, transaction, de...
分类：
编程语言 时间：
2015-06-15 21:44:50
阅读次数：
267
