题意：给定一些变量告诉你他们之间的表达式包括其中的and or xor
然后让你计算是不是有满足的解。思路：典型的2—SAT问题，首先我是把所有的逻辑表达式化简成->表示然后再a->b之间建立一条边。接着套模版就OK了。代码如下：
1 //2014-01-21-14.47 2 //2-SAT 3 #...
分类：
其他 时间：
2014-01-22 16:41:50
收藏：
0 评论：
0 赞：
0 阅读：
339
注：本系列教程仅针对引擎编辑器：v1.2.2及以下版本G3D进阶实例第四课《2D编辑与脚本的统一入口》使用G3D完成一个简单的类飞机大战游戏，介绍了G3D2d游戏制作的流程包括：如何制作精灵包，制作2D图片与动画和引入了scriptroot相关的脚本知识。第五课《飞机控制与背景制作》使用G3D完成一...
分类：
其他 时间：
2014-01-22 16:43:50
收藏：
0 评论：
0 赞：
0 阅读：
357
linux 开机启动脚本顺序linux 开机启动脚本顺序。第一步：启动内核第二步：执行init
（配置文件/etc/inittab）第三步：启动相应的脚本，并且打开终端/etc/init.drc.sysinit rc.d(里面的脚本）
rc.local第四步：启动login登录界面 login第五步...
分类：
其他 时间：
2014-01-22 16:40:50
收藏：
0 评论：
0 赞：
0 阅读：
338
提升表现首先要清空大脑，放松神经。问题是怎么做到这一点。曾任美国职业棒球队圣路易斯红雀队的心理健康教练、并帮助球队夺得过冠军的杰森·赛尔克告诉我们，遵循6个步骤，只需要21天就可以神清气爽、精神百倍的投入工作。
如果吃了太多油腻食物，或者喝得酩酊大醉之后，身体就会告诉你，它需要休息——大量饮水，清淡...
分类：
其他 时间：
2014-01-22 16:38:50
收藏：
0 评论：
0 赞：
0 阅读：
404
不知道是WebClient的Bug还是本身就是那么设计的，在上传文件的时候发现如果直接调用UploadFile，则需要用PUT
method提交，否则传不上去，⊙﹏⊙b汗改成UploadFile(url,"POST",File.ReadAllBytes(strFilePath))就可以了。POST跟...
分类：
Web开发 时间：
2014-01-22 16:37:50
收藏：
0 评论：
0 赞：
0 阅读：
372
注：本文来自百度文库人体生物特征识别技术是依靠人体的生物特征来进行人的身份验证的一种高科技识别技术。而人脸识别技术具有比其他生物特征识别技术更直观、简便、准确、可靠及可扩展性良好等众多优势。因而应用广泛。本文主要介绍人脸识别技术的原理。（一）人脸识别技术包含三个部分：（1）人脸检测人脸检测是指在动态...
分类：
其他 时间：
2014-01-22 16:36:50
收藏：
0 评论：
0 赞：
0 阅读：
355
来自百度在统计学中，线性回归(Linear
Regression)是利用称为线性回归方程的最小平方函数对一个或多个自变量和因变量之间关系进行建模的一种回归分析。这种函数是一个或多个称为回归系数的模型参数的线性组合。只有一个自变量的情况称为简单回归,大于一个自变量情况的叫做多元回归。（这反过来又应当由...
分类：
其他 时间：
2014-01-22 16:39:50
收藏：
0 评论：
0 赞：
0 阅读：
390
添加相关jar （1）对表格以一个条件进行排序（且添加事件）： animate
只做了一个简单的例子： demo1 22 张三 demo2 23 李四 demo3 24 王五 demo4 24 王五 demo5 24 王五
分类：
Web开发 时间：
2014-01-22 16:35:50
收藏：
0 评论：
0 赞：
0 阅读：
415
http://stackoverflow.com/questions/17684170/objective-c-priority-queuePriorityQueue.h////
PriorityQueue.h//#import #import "comparable.h"//Implements ...
分类：
其他 时间：
2014-01-22 16:33:50
收藏：
0 评论：
0 赞：
0 阅读：
469
去年，Android应用数量已经超过iOS成为全球最大的生态系统，不过在这多大百万的应用中，有些应用的下载量很大，赚的盆满钵满；另外一些应用就石沉大海、无人问津了。拥有多年程序开发经验，最近在开发Android应用Sliding
Explorer的Shirwa Mohamed就总结了一些看似普通却非...
分类：
移动平台 时间：
2014-01-22 16:32:50
收藏：
0 评论：
0 赞：
0 阅读：
385
一、有的手机不能直接接收UDP包，可能是手机厂商在定制Rom的时候把这个功能给关掉了。1、可先在oncreate()方法里面实例化一个WifiManager.MulticastLock
对象lock；具体如下：WifiManager manager = (WifiManager) this .get...
分类：
移动平台 时间：
2014-01-22 16:34:50
收藏：
0 评论：
0 赞：
0 阅读：
568
CGSize timeSize =
[self.timeLabel.textsizeWithFont:self.timeLabel.fontconstrainedToSize:CGSizeMake(MAXFLOAT,
MAXFLOAT)];1, self.timeLabel.frame = CGRe...
分类：
其他 时间：
2014-01-22 16:30:50
收藏：
0 评论：
0 赞：
0 阅读：
375
#region "建立Judgement結構" string[,] Colstr ={
{"JudgementID","System.String"}, {"JudgementName","System.String"}}; DataTable
dtl = Function.CreatDataTab...
分类：
其他 时间：
2014-01-22 16:29:50
收藏：
0 评论：
0 赞：
0 阅读：
296
无标题文档使用 replace() 来转换姓名的格式 用 replace() 来转换引号
单词首字母大写 完全不知所以云。。。
分类：
Web开发 时间：
2014-01-22 16:31:50
收藏：
0 评论：
0 赞：
0 阅读：
401
1.引用Microsoft.Office.Interop.Outlook.dll2.实现代码 1
public static int SendToDraft(List to, List cc, List bcc, string subject, string
content, List attach...
分类：
其他 时间：
2014-01-22 16:28:50
收藏：
0 评论：
0 赞：
0 阅读：
458
本文来自：http://www.cnblogs.com/Findxiaoxun/p/3428516.html写得很好，一看就懂了。在这里就复制了一份。LCA问题:给出一棵有根树T，对于任意两个结点u,v求出LCA(T,u,v)，即离根最远的结点x，使得x同时是u和v的祖先。把LCA问题看成询问式的:...
分类：
其他 时间：
2014-01-22 16:27:50
收藏：
0 评论：
0 赞：
0 阅读：
719
一．
SQL2008卸载。1.从控制面板卸载1）点击计算机右下角“开始”，点击“控制面板”2）点击“卸载程序”。3）在程序列表中找到“Microsoft SQL
Server 2008”，右击 选“卸载”（或双击）。4）点击“删除”5）如上图，则重启计算机。 按上面的步骤，重新卸载。重启后，重新卸载...
分类：
数据库技术 时间：
2014-01-22 16:25:52
收藏：
0 评论：
0 赞：
0 阅读：
481
http://blog.csdn.net/cpcpc/article/details/7029763下面给出一个在网上下载的一个已经封装好的类[csharp]view
plaincopyusingSystem;usingSystem.Collections.Generic;usingSystem.L...
分类：
数据库技术 时间：
2014-01-22 16:23:50
收藏：
0 评论：
0 赞：
0 阅读：
510
在利好政策即将陆续出台的大背景下，电商巨头纷纷加码跨境电商布局。北京商报记者昨日从京东方面获悉，京东年内将
到俄罗斯和东南亚地区建立仓储，重点发展对当地的跨境电商业务。与之相对应的是，在政策红利下，未来跨境电商可能会实现成本更低的打包过海关模式，替代此
前的零散清关。京东CEO刘强东日前透露，京东正...
分类：
其他 时间：
2014-01-22 16:24:50
收藏：
0 评论：
0 赞：
0 阅读：
344
Package Control MessagesMarkdown
Preview:Sublime Text 2/3 Markdown Preview
=================================Preview and build your markdown files quic...
分类：
其他 时间：
2014-01-22 16:22:50
收藏：
0 评论：
0 赞：
0 阅读：
541
