1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT

相 关 资 源

• 时间选取控件免费下载

  资源简介：时间选取控件，你可能经常使用，web开发使用多

  上传时间： 2025-06-07

  上传用户：myttl1136

• 一个用C做的汽车票管理系统免费下载

  资源简介：一个用C做的汽车票管理系统，用VC++运行，支持中文输入。该程序分为管理员和售票员两部分，管理员部分可以实现长途车线路信息的录入、删除、更改、添加、显示，而售票员部分可以实现按车号、始发站、终点站查询线路，以及售出车票。只是一个实验性程序，用处...

  上传时间： 2025-06-07

  上传用户：QWATT

• 这是一个银行储蓄系统的源代码及数据库文件免费下载

  资源简介：这是一个银行储蓄系统的源代码及数据库文件，是软件工程中的课程设计

  上传时间： 2025-06-07

  上传用户：hui103788

• 一个DXD制作的读取QUAKE的BSP结构的Demo可以参考免费下载

  资源简介：一个DXD制作的读取QUAKE的BSP结构的Demo可以参考

  上传时间： 2025-06-07

  上传用户：icebsd

• Hardware_PCB_Interface免费下载

  资源简介：Hardware_PCB_Interface，硬件pcb 接口

  上传时间： 2025-06-07

  上传用户：venus2004

• 图论常用算法的C语言程序,对于图论的一些应用有很大的指导作用!免费下载

  资源简介：图论常用算法的C语言程序,对于图论的一些应用有很大的指导作用!

  上传时间： 2025-06-07

  上传用户：YJYJYJ

• 和createmulu配合使用免费下载

  资源简介：和createmulu配合使用，用来生成HTML文档的目录，也是我开发的实用小工具。

  上传时间： 2025-06-07

  上传用户：zyr5273787

• 在VC6.0中用图片实现漂亮的界面,很不好下载呀免费下载

  资源简介：在VC6.0中用图片实现漂亮的界面,很不好下载呀

  上传时间： 2025-06-07

  上传用户：15811125841