Câu 1: Biểu thức logic sau có là hằng đúng không?

((p ((x v y)  z))p) ((x^z) v (y^z))

P
P -> (x v y) ^ z
-------------------
((x^z) v (y^z))

(x v y) ^ z
-------------------
((x^z) v (y^z))

(x^z) v (y ^ z)
------------------- (dpcm)
((x^z) v (y^z))

logic mệnh đề, vị từ

+ chứng minh 2 biểu thức tương đương, chứng minh hằng đúng, có 3 cách chứng minh
- Lập bảng
- Biến đổi tương đương (suy diễn)
- Đưa về dạng chuẩn tắc hội
+ Lập luận (biểu diễn -> lập luận)
+ Phương pháp chứng minh
Câu 2: Phương trình sau có bao nhiêu nghiệm nguyên không âm?
2X1 + 2X2 + 2X3 + 111X4 = 1000
X4=0 -> x1+x2+x3 = 500, có
+ đổi biến (toàn >0), y1+y2+y3 = 503, chọn 2 vách trong 502 vách C(502,2)
Y1= x1+1, y2=x2+1, y3=x3 + 1 , như vậy y1, y2, y3 >=1
11111|11111|111
503
+ có 3 loại (có 2 vách), lấy ra 500 tờ (500 dấu *) -> C(502, 2) hoặc C(500, 502)
Vách và *, chọn 2 vách trong 502 (*, vách)
X4= 2, x1+x2+x3 = 778/2 = 389
 C(389+2,2)
+ x4=4, x4=6, x4=8
Áp dụng quy tắc cộng

Đếm và sắp xếp các phần tử

+ Nguyên tắc cộng, nhân, bù trừ *
+ Tổ hợp, hoán vị *
+ Đếm nâng cao
+ Nguyên lí chim bồ câu
Câu 3: Đồ thị K5 có bao nhiêu đỉnh, bao nhiêu cạnh? Đồ thị K 5 có chu trình Euler, đường đi Euler không? Giải thích
và đưa ra một chu trình Euler nếu K5 tồn tại chu trình Euler.
+ đk cần đủ có chu trình euler
1) Liên thông *
2) Tất cả các đỉnh bậc chẵn -> mỗi đỉnh bậc 4
 Có chu trình euler
Câu 4: Cho đồ thị được biểu diễn trong hình dưới đây.
a) Đồ thị có tính chất gì? (Đơn đồ thị hay đa đồ thị? Có hướng
hay vô hướng? Có trọng số hay không có trọng số? Có
khuyên hay không khuyên?)
b) Biểu diễn đồ thị bằng ma trận kề.

1 2 3 4 5 6 7 Biểu diễn đồ thị

1 3 1 4 + danh sách cạnh
2 3 4 6 + danh sách đỉnh kề
3 4 7 1 2 + ma trận kề
4 1 7 Ưu nhược của từng cách
5 tiêu chí đánh giá: tài nguyên máy tính
6 + bộ nhớ
7 + thời gian tính toán (2 phép cơ bản, từ i đến đến đc những đỉnh nào hay
(i,j) có cạnh nối ko)

c) Đồ thị có chu trình Hamilton hay không? Vì sao?

Hamilton đi qua tất các đỉnh, mỗi đỉnh qua đúng 1 lần (chu trình quay lại)
Đk cần đủ chu trình (đường đi) hamilton -> KHÔNG CÓ
TSP
d) Tìm đường đi ngắn nhất từ 1 đến 5?

e) Tìm cây khung nhỏ nhất của đồ thị.

Có 2 thuật toán kruskal và prim
Câu 5: a) Xây dựng văn phạm chính quy và Automat hữu hạn không tất định đoán nhận biểu thức chính quy sau
((010)*101(010)*)*
Văn phạm
S->0A
S->1B
S→λ
C->0A
A->1D
...

b) Xây dựng Automat hữu hạn không tất định đoán nhận một xâu chỉ gồm các kí tự ‘0’, ‘1’ chứa xâu “0110”