摘要：
1. 定义给定一个布尔方程，判断是否存在一组布尔变量的真值指派使整个方程为真的问题，被称为布尔方程的可满足性问题(SAT)。SAT问题是NP完全的，但对于满足一定限制条件的SAT问题，还是能够有效求解的。如果合取范式的每一个子句中的文字个数不超过两个，那么对应的SAT... 阅读全文
摘要：
目录第一章 概述1.1 计算机网络在信息时代的的作用1.2 互联网概述1.3 互联网的组成1.4 计算机网络在我国的发展1.5 计算机网络的类别1.6 计算机网络的性能（可能大题）1.7 计算机网络体系结构第二章 物理层2.1 物理层的基本概念2.2 数据通信的基础知... 阅读全文