英语：
新东方六级一单元单词刷题复习
离散：
例12 使用消解算法判断下述公式是否是可满足的:
公式 S = p∧(p∨q)∧(p∨¬q)∧(q∨¬r)∧(q∨r)
解：
S = p∧(p∨q)∧(p∨¬q)∧(q∨¬r)∧(q∨r) //化为主合取式
循环1：
S0 = Ø
S1 = {p, p∨q, p∨¬q, q∨¬r, q∨r}
S2 = Ø
Res(p∨q, p∨¬q) = p //因为循环1中S0一开始是空集，所以先在S1中消解
Res(p∨¬q, q∨¬r) = p∨¬r
Res(p∨¬q, q∨r) = p∨r
Res(q∨¬r, q∨r) = q
S2 = {p∨¬r, p∨r, q} //S2取S0和S1的差集（消解结果不在S0和S1）
循环2：
S0 = {p, p∨q, p∨¬q, q∨¬r, q∨r} //循环2中S0加入循环1中S1，取并集
S1 = {p∨¬r, p∨r, q} //循环2中S1←循环1中S2
S2 = Ø
Res(p∨¬q, q) = p
Res(q∨¬r, p∨r) = p∨q
Res(q∨r, p∨¬r) = p∨q
Res(p∨r, p∨¬r) = p
S2 = Ø
输出“Yes”
自己概括：
循环1是S1自己消解
消解结果不在S1和S0中就加入S2，都在就可以返回Yes
上面如果S2不是空集，就要继续循环
从第二轮循环开始，就要先在S0和S1之间消解，再S1自己消解
每次消解如果S2不是空集，下一轮循环的S0是本轮S0加上S1（取并集），下一轮的S1是本轮的S2
注：
只要有一个消解结果是“常数”就可以返回No
找可消解式以字典顺序一个一个找
Java
随机产生3个1-6的整数，如果三个数相等，那么称为“豹子”，如果三个数之和大于9，称为“大”，如果三个数之和小于等于9，称为“小”，用户从键盘输入押的是“豹子”、“大”、“小”，并判断是否猜对了
提示：随机数 Math.random()产生 [0,1)范围内的小数
如何获取[a,b]范围内的随机整数呢？(int)(Math.random() * (b - a + 1)) + a
import java.util.Scanner;
class Exercise5 {
public static void main(String agrs[]) {
Scanner input = new Scanner(System.in);
System.out.print("请押宝（豹子，大，小）： ");
String guess = input.next();
System.out.println("输入是" + ":" + guess);
input.close();
int a = (int)(Math.random() * (6) + 1);
int b = (int)(Math.random() * (6) + 1);
int c = (int)(Math.random() * (6) + 1);
boolean ret = false;
switch(guess) {
case "豹子":
ret = (a == b && b == c);
break;
case "大":
ret = (a + b + c > 9);
break;
case "小":
ret = (a + b + c < 9);
break;
default :
System.out.println("输入不正确");
break;
}
System.out.println("a, b, c分别是" + a + "," + b + "," + c);
if(ret) {
System.out.println("猜对了");
}
else {
System.out.println("猜错了");
}
}
}
算法
浙大数据结构第三周之03-树2 List Leaves_piolet0016的博客-CSDN博客
