TRƯỜNG ĐHBK TP HCM KHOA KH&KT MÁY TÍNH BÀI KIỂM TRA GIỮA KỲ Môn MÔ HÌNH HÓA TOÁN HỌC (CO2011) Lớp TNMT Nhóm A01 Thời gian làm bài 60 phút (Không được sử dụng tài liệu) Ngày kiểm tra 16/03/2016 Họ & tê[.]
TRƯỜNG ĐHBK TP HCM KHOA KH&KT MÁY TÍNH BÀI KIỂM TRA GIỮA KỲ Mơn: MƠ HÌNH HĨA TỐN HỌC (CO2011) Lớp: TNMT Nhóm: A01 Thời gian làm bài: 60 phút (Không sử dụng tài liệu) Ngày kiểm tra: 16/03/2016 Họ & tên SV: MSSV: Điểm số: GV chấm bài: Điểm chữ: Chữ ký GV: (Bài KT có 20 câu hỏi trắc nghiệm, câu có điểm số 0.5 Tô đậm phương án trả lời đúng: ; gạch chéo muốn bỏ để chọn lại phương án khác: @ ) Câu Trong nghiệm chấp nhận tốn LP tìm thuật tốn đơn hình, biến giả (artificial variables) A dương C âm B D không cần thỏa điều kiện Câu Bước phương pháp nhánh-cận (branch and bound) việc giải toán quy hoạch nguyên để A vẽ đồ thị B đổi hệ số hàm mục tiêu sang số nguyên C giải toán gốc cách giải tốn quy hoạch tuyến tính cho phép xét nghiệm không nguyên D so sánh cận (lower bound) với cận (upper bound) chọn trước Câu Công thức logic vị từ sau không đúng? I ∀xP (x) ∨ ∀xQ(x) −→ ∀x(P (x) ∨ Q(x)) II ∃xP (x) ∨ ∃xQ(x) −→ ∃x(P (x) ∨ Q(x)) III ∀x(P (x) → Q(x)) −→ (∀xP (x) → ∀xQ(x)) IV ∃x(P (x) → Q(x)) −→ (∃xP (x) → ∃xQ(x)) A Công thức I C Công thức III B Công thức II D Công thức IV Câu Xét biểu thức vị từ φ sau ∀z Q(x) ∧ ∀x P (z) → R(x) ∧ R(z) → R(x) ∧ P (x) Kết phép thay (substitution) x ⇒ f (x, y, z)) φ gì? Q(f (x, y, z)) ∧ ∀x P (z) → R(f (x, y, z)) ∧ R(z ) → R(f (x, y, z)) A ∀z ∧ P (f (x, y, z)) B ∀z Q(f (x, y, z)) ∧ ∀x P (z ) → R(x) ∧ R(z ) → R(f (x, y, z)) ∧ P (f (x, y, z)) Q(f (x, y, z)) ∧ ∀x0 P (z ) → R(f (x, y, z)) ∧ R(z ) → R(f (x, y, z)) ∧ P (f (x, y, z)) C ∀z )) ∧ ∀x0 P (z) → R(f (x0 , y, z )) ∧ R(z ) → R(f (x, y, z )) ∧ P (f (x, y, z)) D ∀z Q(f (x, y, z Chữ ký SV: Mã đề 1631 Trang Câu Trong kỳ Hoa Sơn luận võ, năm vị cao thủ gặp để xác định danh hiệu đệ nhất: Đông Tà, Tây Độc, Nam Đế, Bắc Cái Trung Thần Thông Để phân biệt thắng thua họ đấu cặp đơi khơng giới hạn thời gian Nhà vơ địch người có nhiều trận thắng Đông Tà đánh bại Nam Đế, ông ta đánh bại Tây Độc Do dùng nhiều sức trận đấu nên Nam Đế thắng hai trận Bắc Cái thắng Nam Đế.Tây Độc chiến thắng Trung Thần Thông, lại chiến thắng Nam Đế Bắc Cái Riêng Trung Thần Thông bị thất bại trận đấu Hãy cho biết Trung Thần Thông bị đánh bại vị nào? A Nam Đế C Đông Tà B Nam Đế Đông Tà D Tây Độc Câu Xét hai biểu thức mệnh đề sau: φ = p ∧ q, Khẳng định sau đúng? A Nếu phép gán chân trị làm cho ψ sai phép gán làm cho φ C Nếu phép gán chân trị làm cho φ sai phép gán làm cho ψ sai ψ = r → (p ∧ q) B Nếu phép gán chân trị làm cho ψ phép gán làm cho φ D Nếu phép gán chân trị làm cho φ phép gán làm cho ψ Các câu 7–8 dùng chung kiện sau Một dự án gồm công việc A, B, C, D, E, F G cần thực Thời lượng (theo ngày) cần thiết để xử lý công việc pA = 4, pB = 2, pC = 6, pD = 7, pE = 9, pF = pG = Ta ký hiệu X1 + X2 + + Xn Y1 + Y2 + + Ym + c để biểu diễn công việc Xi (i = 1, , n) cần hồn thành trước khởi động cơng việc Yk (k = 1, , m) khoảng thời gian c ngày Xét thời gian bắt đầu khởi động dự án Dự án gọi “kết thúc” tất công việc dự án hoàn thành Câu Biết rằng: A B + C + D; B + C D; C E + G; E F Hỏi dự án kết thúc sớm nhất vào ngày nào? A B 28 C 36 D 25 Câu Biết rằng: A B + C + E + 1; B + C D + 2; C + E F + G + 1; F G + Dự án ngày kết thúc sớm vào nào? A 16 B 23 C 26 D 20 Câu Công thức sau không biểu diễn A “Một kẻ cơng khiến cho máy chủ nhầm tưởng việc đăng nhập thành cơng, việc khơng xảy ra:” φ := ∃a∃s(((loggedIn_gia(a, s))) −→ loggedIn(a, s)) C “Có mơn học thú vị ngành CS mà số sinh viên theo học lại so với số môn học không thú vị:” ∃x∃y((T hu_vi(x) ∧ ¬T hu_vi(y)) −→ It_hon(x, y)) Chữ ký SV: phát biểu tương ứng? B “Mọi môn học thú vị ngành CS có đơng sinh viên theo học so với mơn học khơng thú vị:” ∀x∀y((T hu_vi(x) ∧ ¬T hu_vi(y)) −→ Dong_hon(x, y)) D “Một kẻ cơng ghi đè Mã đề 1631 liệu lên thông tin người dùng máy chủ:” φ := ∃u∃c∃s∃d((¬ownsCredentials(u, c)) −→ canW rite(u, c, s, d)) Trang Câu 10 Cứ vào ngày 01 tháng 06 hàng năm, ao tròn Nam Mỹ xuất hoa Victoria Regia Thân hoa mọc từ đáy ao lên, cánh hoa nằm mặt nước giống hoa súng Mỗi ngày diện tích đố hoa tăng gấp đơi, cuối vào ngày 01 tháng 07, phủ mặt hồ, cánh hoa rơi ra, hạt chìm xuống đáy Hỏi vào ngày diện tích đóa hoa chiếm nửa diện tích ao ? A ngày 15 tháng 06 B ngày 07 tháng 06 C ngày 24 tháng 06 D ngày 30 tháng 06 Câu 11 Công thức sau tương đương với φ1 −→ φ2 −→ φ3 ? A φ1 ∨ φ2 −→ φ3 C φ2 −→ φ1 −→ φ3 B φ −→ φ2 ∧ φ3 1 D (φ1 −→ φ2 ) −→ φ3 Câu 12 Loan sở hữu 15 mẫu đất trồng trọt Cô muốn trồng lúa mì ngơ mảnh đất Mảnh đất cho lợi nhuận 80 triệu đồng/mẫu lúa mì 50 triệu/mẫu ngơ Các lao động phân bón sử dụng cho mẫu liệt kê bảng Nhân cơng/mẫu Phân bón/mẫu Loại trồng lúa mì ngơ cơng nhân cơng nhân tạ 10 tạ Hiện mảnh đất có sẵn 100 tạ phân bón có 30 cơng nhân làm việc Xét X Y số lượng mẫu trồng lúa mì ngơ (giả sử ta xét X, Y ∈ N) Khi đó, Các giá trị có X A 10 B 11 C 15 D 16 Câu 13 Khi dùng phương pháp nhánh-cận (branch-and-bound method) để giải tốn quy hoạch ngun mơ hình cực đại hóa, ta dừng việc phân nhánh A giá trị hàm mục tiêu B cận (upper bound) tìm bé C cận (upper bound) tìm lớn cận (lower bound) cận (lower bound), tìm nghiệm nguyên D cận (lower bound) Trong hai câu 14–15, ta sử dụng thông tin ký hiệu sau: P tập sinh viên trường BK, B tập hợp sách thư viện trường BK, Bor(p, b) vị từ “sinh viên p mượn sách b”, Over(b) vị từ “quyển sách b bị (mượn) hạn” Câu 14 có biểu diễn hình thức sau: Phát biểu “Quyển sách b giá sách.” A ∃p ∈ P : Bor(p, b) B ∃p ∈ P : Bor(p, b) C ∀p ∈ P : Bor(p, b) D ∀p ∈ P : Bor(p, b) Câu 15 Câu “Nếu sách b bị q hạn, mượn.” có biểu diễn hình thức sau: A (∃p ∈ P : Bor(p, b)) → Over(b) B [ ∀p ∈ P : Bor(p, b) ] → Over(b) C Over(b) → ∃p ∈ P : Bor(p, b) D Over(b) → ∃p1 6= p2 : Bor(p1 , b) ∧ Bor(p2 , b) Câu 16 Để chuyển ràng buộc nhỏ dạng tắc thuật tốn đơn hình ta phải A thêm vào biến giả B trừ biến giả C trừ thêm vào biến giả tùy thuộc vào toán MIN hay MAX D trừ thêm vào biến giả Chữ ký SV: Mã đề 1631 Trang Câu 17 Giả sử Xi (i = 1, 2) dự án i triển khai, ngược lại Để đảm bảo Dự án triển khai trừ Dự án phải triển khai Ràng buộc thể hiện yêu cầu này? A X1 − X2 ≤ B X1 − X2 = C X1 + X2 = D X1 + X2 ≤ Câu 18 Giả sử ta chứng minh tính đắn (validity) phép suy luận (sequent) ∀xP (x), ∃xQ(x) ` ∀y(P (y) ∧ Q(y)) theo sơ đồ sau ∀xP (x) ∃xQ(x) x0 x0 tiền đề (premise) tiền đề (premise) ∀e P (x0 ) Q(x0 ) giả thiết (assumption) ∧i 3,4 P (x0 ) ∧ Q(x0 ) P (x0 ) ∧ Q(x0 ) ∃e 2, 4–5 ∀y(P (y) ∧ Q(y)) ∀i 3–6 Khẳng định đúng? A Đây khơng phải chứng minh Dịng khơng dùng biến với Dịng 1; mà phải viết ∃zQ(z) C Đây chứng minh hai Dịng Dòng đưa vào biến x0 B Đây chứng minh Dịng nằm khung có sử dụng Dịng nằm bên ngồi khung D Đây khơng phải chứng minh biến y đưa vào Dịng mà khơng nằm khung Câu 19 Khi dùng thuật tốn đơn hình để giải toán MAX ta thấy tất tỉ số ∆ dòng dùng để chọn phần tử trụ (pivot) âm A nghiệm se tối ưu (optimal) C nghiệm suy biến (degenerate) B nghiệm không bị chặn (unbounded) D nghiệm không chấp nhận (infeasible) Câu 20 Ràng buộc 3q X 3p X xijk = 1, ∀k = : n; p, q = : j=3q−2 i=3p−2 muốn diễn tả điều kiện tốn Sudoku? A Các số từ đến xuất lần ô vuông 3x3, ràng buộc có sai sót nhỏ C Các số từ đến xuất lần ô vuông 3x3 Chữ ký SV: B Không điều kiện D Các phương án lại sai Mã đề 1631 Trang