... Suy luận toán học
5.1. Các phương pháp chứng minh
Ví dụ: Quy tắc suy luận nào là cơ sở của suy diễn
sau: “Bây giờ trời quá băng giá. Vậy thì bây giờ hoặc
là trời quá băng giá hoặc trời đang ... mệnh đề “Bây giờ trời quá băng giá” và B là
mệnh đề “bây giờ trời đang mưa”. Khi đó suy diễn trên
có dạng
Tức là sử dụng quy tắc công.
BA
A
∨∴
Lê Anh Nhật 54
5. Suy luận toán học
5.1. Các ....
... đó thuật toán có độ
phức tạp O(n
2
).
5.1.6. Thuật toán Floyd:
Cho G=(V,E) là một đồ thị có hướng, có trọng số. Để tìm đường đi ngắn nhất giữa
mọi cặp đỉnh của G, ta có thể áp dụng thuật toán ... dụng thuật toán Floyd vào đồ thị sau:
6. Giải bài toán mạng vận tải sau bằng thuật toán Ford-Fulkerson với luồng vận tải khởi
đầu bằng 0.
7. Giải bài toán mạng vận tải s...
... Quỳnh, Cơ sở toán rời rạc và ứng dụng, NXB Giáo dục, 1995.
[6] Đặng Huy Ruận, Lý thuyết đồ thị và ứng dụng, NXB Khoa học và Kỹ thuật,
2000.
[7] Nguyễn Tô Thành-Nguyễn Đức Nghĩa, Toán rời rạc, NXB ... Hoàng Chúng, Đại cương về toán học hữu hạn, NXB Giáo dục, 1997.
[3] Phan Đình Diệu, Lý thuyết Ô-tô-mat và thuật toán, NXB Đại học và THCN,
1977.
[4] Đỗ Đức Giáo, Toán rời...
... thuật toán
có độ phức tạp O(n
2
).
5.1.6. Thuật toán Floyd:
Cho G=(V,E) là một đồ thị có hướng, có trọng số. Để tìm đường đi ngắn nhất
giữa mọi cặp đỉnh của G, ta có thể áp dụng thuật toán ... đề:
Thuật toán Dijkstra tìm đường đi ngắn nhất từ một đỉnh cho trước đến
một đỉnh tuỳ ý trong đơn đồ thị vô hướng liên thông có trọng số có độ phức tạp là O(n
2
).
Chứng...
...
NGHIÊN CỨU MỘT SỐ KỸ THUẬT NÉN DỮ LIỆU DỰA
TRÊN PHÉP BIẾN ĐỔI SÓNG NHỎ RỜI RẠC VÀ ỨNG
DỤNG TRONG MÁY ẢNH KỸ THUẬT SỐ
Chuyên ngành: Khoa học máy tính
Mã số: 60.48.01
LUẬN ... các kỹ thuật mã hoá đều có tổn hao ở bƣớc lƣợng tử hóa do có sự làm tròn
giá trị cho các hệ số phép biến đổi.
1.4.2.1. Kỹ thuật mã hóa dựa trên phép biến đổi DCT
Phép biến đổi cos...