此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。
资源简介：此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。
上传时间： 2015-11-07
上传用户：cccole0605
资源简介：用动态规划法实现查找两字符串的公共子序列。是算法中的一个重要问题。
上传时间： 2015-11-07
上传用户：sxdtlqqjl
资源简介：数论相关的一个算法：如何在多项式时间判断素数
上传时间： 2014-07-04
上传用户：ANRAN
资源简介：在有些软件里当鼠标移到某单词上,其注释就会显示单词的中文解释.这样的软件是如何制作的呢?下面我就介绍以下获取鼠标所在单词的方法,至于中文结实要关系到数据库及字库问题在此我不做解释. 首先建立新工程,在FORM上添加一个TEXT文本框. 声明SendMessage函数.
上传时间： 2013-12-10
上传用户：AbuGe
资源简介：能在短时间21天内了解vc的大体框架和流程，迅速掌握编程的一些技巧，是vc初学者的一个选择。
上传时间： 2015-11-21
上传用户：erkuizhang
资源简介：此程序能在MATLAB上实现低通滤波器，功能很强大
上传时间： 2014-01-06
上传用户：gdgzhym
资源简介：基于uclinux采用udp通讯协议实现图象等网络规范文件的传输.采用c/s模式,服务器端实现并发而响应多个客户的请求.经过测试,代码能在linux主机之间,arm与arm之间以及pc与arm之间进行通讯(文件中的readme(此为linux下编写)对代码有个总体说明)
上传时间： 2013-12-28
上传用户：清风冷雨
资源简介：为实现通信的终极目标五个W：任何人（whoever）在任何时间（whenever）任何地点(wherever)与任何他人(whomever)进行任何类型(whatever)的信息交换，则至少通信网的最后一段必须是移动通信系统。由此可见移动通信在现在及未来通信中的重要地位。
上传时间： 2014-01-16
上传用户：维子哥哥
资源简介：哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程...
上传时间： 2013-12-10
上传用户：zhangzhenyu
资源简介：哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程...
上传时间： 2014-01-23
上传用户：teddysha
