2-sat总结
2-sat问题，一般表现的形式为，每个点有两种方式a,b，要么选a，要么选b，并且点点之间有一些约束关系，例如：u和v至少一个选a，那么这就是一个表达式，把a当成真，b当成假，那就是u真或v真，2-sat的题目就是这样，给定这些约束，判断是否会矛盾
注意表达式的转化形式，（其实就是离散数学中那几种转换方式）
比如（u真且v真）或（u假且v假）就可以转化成（u真或v假）...
分类：
其他好文 时间：
2014-10-28 21:39:03
阅读次数：
291
9月阿里在美成功融资250亿美元后，几乎所有投资人和媒体都对这家中国公司拭目以待：阿里上市后的首个双十一会怎么玩？能玩出什么花样？ 不过如果换个角度思考，会发现除了“购物狂欢”，今年的双十一也透着阿里巴巴浓浓的焦虑。如果说去年一天350亿的成交额为阿里巴巴IPO做了很好的背书，那么今年的双十一将.....
分类：
其他好文 时间：
2014-10-27 14:17:32
阅读次数：
227
假设没有static关键字,那意味着需要用生成一个实例后才可以调用这个main方法,而main方法是程序入口点，你没有进入main方法,自然无法生成一个实例,既然没有实例，那就无法调用main函数，岂不矛盾?所以main函数被设置为static.Main()函数在C#里非常特殊，它是编译器规定的所有可..
业务场景：在申请单中如果同时加入借款业务，需要设立两个金额字段，一个是申请金额，一个是借款金额。以前是借款金额写到BILLC_AMOUNT中，申请金额用扩展字段来保存，这样才能确保借款冲账的正确。遇到的问题：在上述的情况下，如果申请单又要占用预算，就会发生矛盾，因为预..
分类：
其他好文 时间：
2014-10-26 19:51:58
阅读次数：
134
PHP这几年口碑很差。关于它的“糟糕设计的汇总”和语法上的矛盾有着大量的讨论，但是主要的抱怨通常是安全。很多PHP站点分分钟被黑掉，甚至一些有经验的、有见识的程序员会说，这门语言本身是不安全的。 我总是对此持反对意见，因为有常识性的原因，有如此多的PHP安全违反现象。 PHP应用程序经常被黑掉...
分类：
Web程序 时间：
2014-10-24 10:27:47
阅读次数：
222
http://acm.hdu.edu.cn/showproblem.php?pid=4915
给定一个序列，由()?组成，其中?可以表示(或者)，问说有一种、多种或者不存在匹配。
从左向右，优先填满n/2个左括号，继续填充右括号。如果过程中出现矛盾(右括号数超过左括号数)，则为None，否则要判断唯一解还是多解。
之前遍历的时候记录恰好填满了n/2个左括号后，第一次添加右括号的位...
分类：
其他好文 时间：
2014-10-21 21:44:00
阅读次数：
278
中学政治学科的课堂上，辩证唯物主义告诉我们，任何事物都包含着既对立又统一的两个方面。要如实的反映事物的本来面目，就必须坚持一分为二的矛盾分析法，对矛盾作全面的分析要运用两分法、两点论去认识事务的本质。简单的意思就是，万事万物都要看到它好的一面和不好的一面。
IT也是如此，程序员的职业也是如此。...
分类：
其他好文 时间：
2014-10-21 10:08:21
阅读次数：
195
中学政治学科的课堂上，辩证唯物主义告诉我们，任何事物都包含着既对立又统一的两个方面。要如实的反映事物的本来面目，就必须坚持一分为二的矛盾分析法，对矛盾作全面的分析要运用两分法、两点论去认识事务...
分类：
其他好文 时间：
2014-10-20 11:58:26
阅读次数：
273
缓冲区是一块特定的内存区域。开辟缓冲区的目的是通过缓解应用程序上下层之间的性能差异，提高系统性能。缓冲能够协调上层组件和下层组件的性能差异。当上层组件性能因为下层组件时，能够有效地降低上层组件对下层组件的等待时间。比如，在操作系统中，为了改善 CPU 与 I/O 设备速度不匹配的矛盾，设置了缓冲区，...
分类：
其他好文 时间：
2014-10-20 11:35:04
阅读次数：
206
众所周知，在程序开发中，难免会遇到须要匹配、查找、替换、推断字符串的情况发生，而这些情况有时又比較复杂，假设用纯编码方式解决，往往会浪费程序猿的时间及精力。因此，学习及使用正則表達式，便成了解决这一矛盾的主要手段。大 家都知道，正則表達式是一种能够用于模式匹配和替换的规范，一个正則表達式就是由普通....
分类：
编程语言 时间：
2014-10-20 09:57:27
阅读次数：
251
