... toán 2.1. Khái niện bài toán 20 2.2. Khái niệm thuật toán 22 2.3. Thuật toán tìm kiếm 24 2.4. Độ phức tạp của thuật toán 25 2.5. Số nguyên và thuật toán 31 2.6. Thuật toán đệ quy 35 Bài tập ... phép toán logic và phép toán trên bit 8 1.3. Sự tương đương của các mệnh đề 9 1.4. Lượng từ và vị từ 10 1.5. Các phương pháp chứng minh 13 Bài tập Chương I 18 Chương II: Bài toán và thuật toán ... Thuật toán tìm kiếm trên đồ thị 73 4.7. Đường đi Euler và đồ thị Euler 76 4.8. Đường đi Hamilton và đồ thị Hamilton 82 4.9. Bài toán đường đi ngắn nhất 88 4.10.Đồ thị phẳng và bài toán tô...
... viên đã học môn toánrờirạc . Đây là lượng từ tồn tại ∃x P(x), trong đó P(x) là câu “ x đã học môn toán rờirạc . Phủ định của câu này là “ Không có sinh viên nào đã học môn toán rờirạc . ... đã học môn toánrờirạc . Đây là một lượng từ hóa phổ quát ∀x P(x), trong đó P(x) là câu “ x đã học môn toánrờirạc . Phủ định của câu này là “ Không phải tất cả các sinh viên đã học môn toán ... là “ Không phải tất cả các sinh viên đã học môn toánrờirạc . Điều này tương đương với “ Có một sinh viên ở lớp này chưa học môn toánrờirạc . Đây là lượng từ tồn tại của phủ định hàm mệnh...
... toán và thuật toán Nguyễn Thế Vinh - ĐHKH 20 CHƯƠNG II BÀI TOÁN VÀ THUẬT TOÁN 2.1. KHÁI NIỆM BÀI TOÁN 2.1.1. Bài toán Trong phạm vi Tin học, ta có thể quan niệm bài toán là việc nào ... thiết kế thuật toán Bước lựa chọn và thiết kế thuật toán là bước quan trọng nhất để giải một bài toán. Mỗi thuật toán chỉ giải một bài toán nào đó, nhưng có thể có nhiều thuật toán khác nhau ... f(n). Khái niệm big-O đã được dùng trong toánhọc đã gần một thế kỷ nay. Trong tin học, nó được sử dụng rộng rãi để phân tích các thuật toán. Nhà toán học người Đức Paul Bachmann là người đầu...
... trận. Chứng minh rằng tìm được Bài toán đếm Nguyễn Thế Vinh-ĐHKH 42CHƯƠNG III BÀI TOÁN ĐẾM Lí thuyết tổ hợp là một phần quan trọng của toánhọcrờirạc chuyên nghiên cứu sự phân bố ... 3.1.2. Có 17 nhà bác học viết thư cho nhau trao đổi 3 vấn đề. Chứng minh rằng luôn tìm được 3 người cùng trao đổi một vấn đề. 3.1.3. Trong kỳ thi kết thúc học phần toánhọcrờirạc có 10 câu hỏi. ... tục này gọi là các thuật toán chia để trị. 3.6.2. Hệ thức chia để trị Giả sử rằng một thuật toán phân chia một bài toán cỡ n thành a bài toán nhỏ, trong đó mỗi bài toán nhỏ có cỡ nb (để...
... cả các sinh viênhọc tin học đều học môn toánhọcrờirạc Giải: Gọi P(x) là câu “x cần học môn toánhọcrờirạc và x được xác định trong không gian của các sinh viênhọc tin học. Khi đó chúng ... họcrờirạc được xây dựng cho hệ đào tạo từ xa Họcviện Công nghệ BưuchínhViễn thông được xây dựng dựa trên cơ sở kinh nghiệm giảng dạy môn học và kế thừa từ giáotrìnhToánhọcrờirạc ứng ... là rời rạc. Chính vì lý do đó, Toánhọcrờirạc là một môn học bắt buộc mang tính chất kinh điển của các ngành Công nghệ thông tin và Điện tử Viễn thông. Tài liệu hướng dẫn môn họcToánhọc rời...
... Nếu bạn đã giải hết bài tập trong sách toán rời rạc 2 này thì bạn nắm vững logic. Bạn nắm vững logic vậy thì bạn đã giải hết bài tập trong sách toán rờirạc 2 này". Nhận thấy suy diễn ... sách toánrờirạc 2 này mà có thể giải sách khác (P là F). 2.3. Các phương pháp chứng minh Như đã giới thiệu trong phần trên, mỗi bài toán cần chứng minh thông thường đều có hai phần chính ... trong chng 1. ã Ti liu tham kho Phạm văn Thiều, Đặng Hữu Thịnh. Toánrờirạc ứng dụng trong tin học. Nhà xuất bản Khoa học và Kỹ thuật, Hà Nội - 1997 (chương 1.3, trang 32 - 52). ã Ni...
... toán. Ta sẽ thấy rằng các thuật toán rút gọn liên tiếp bài toán ban đầu tới bài toán có dữ liệu đầu vào nhỏ hơn, được áp dụng trong một lớp rất rộng các bài toán. Định nghĩa: Một thuật toán ... thuật toán Euclide. Thuật toán này đã biết từ thời cổ đại. Nó mang tên nhà toán học cổ Hy lạp Euclide, người đã mô tả thuật toán này trong cuốn sách “Những yếu tố” nổi tiếng của ông. Thuật toán ... của nó. Khi được giao cho một bài toán như vậy thì việc đầu tiên phải làm là xây dựng một mô hình dịch bài toán đó thành ngữ cảnh toán học. Các cấu trúc rờirạc được dùng trong các mô hình này...
... 1876 theo học môn ngôn ngữ lập trình Pascal, 999 học môn ngôn ngữ Fortran và 345 học ngôn ngữ C. Ngoài ra còn biết 876 sinh viênhọc cả Pascal và Fortran, 232 học cả Fortran và C, 290 học cả ... 7. Có 17 nhà bác học viết thư cho nhau trao đổi 3 vấn đề. Chứng minh rằng luôn tìm được 3 người cùng trao đổi một vấn đề. 8. Trong kỳ thi kết thúc học phần toánhọcrờirạc có 10 câu hỏi. ... tục này gọi là các thuật toán chia để trị. 2.6.2. Hệ thức chia để trị: Giả sử rằng một thuật toán phân chia một bài toán cỡ n thành a bài toán nhỏ, trong đó mỗi bài toán nhỏ có cỡ nb (để...
... Các thuật toán để giải các bài toán được thiết kế để thực hiện một phép toán tại mỗi thời điểm là thuật toán nối tiếp. Tuy nhiên, nhiều bài toán với số lượng tính toán rất lớn như bài toán mô ... của các máy nối tiếp. Các thuật toán song song phân chia bài toánchính thành một số bài toán con sao cho có thể giải đồng thời được. Do vậy, bằng các thuật toán song song và nhờ việc sử dụng ... người ta hy vọng có thể giải nhanh các bài toán phức tạp. Trong thuật toán song song có một dãy các chỉ thị theo dõi việc thực hiện thuật toán, gửi các bài toán con tới các bộ xử lý khác nhau, chuyển...
... thí dụ về: 1) Đồ thị có một chu trình vừa là chu trình Euler vừa là chu trình Hamilton; 2) Đồ thị có một chu trình Euler và một chu trình Hamilton, nhưng hai chu trình đó không trùng nhau; 3) ... Hamilton và rõ ràng mỗi chu trình Hamilton là một cách sắp xếp như yêu cầu của bài toán. Bái toán trở thành tìm các chu trình Hamilton phân biệt của đồ thị đầy đủ Kn (hai chu trình Hamilton gọi là ... đường đi là ngắn nhất? Bài toán được nhà toánhọc Trung Hoa Guan nêu lên đầu tiên (1960), vì vậy thường được gọi là “bài toán người phát thư Trung Hoa”. Ta xét bài toán ở một dạng đơn giản như...
... 916.2.4. Thuật toán Prim: Thuật toán Kruskal làm việc kém hiệu quả đối với những đồ thị dày (đồ thị có số cạnh m n(n1)/2). Trong trường hợp đó, thuật toán Prim tỏ ra hiệu quả hơn. Thuật toán Prim ... thông và không có chu trình được gọi là cây. Cây đã được dùng từ năm 1857, khi nhà toánhọc Anh tên là Arthur Cayley dùng cây để xác định những dạng khác nhau của hợp chất hoá học. Từ đó cây đã ... đó sẽ tạo ra một chu trình và khi bỏ một cạnh thuộc chu trình này, T vẫn liên thông, trái với giả thiết. 5)6) Nếu T chứa một chu trình thì hai đỉnh bất kỳ trên chu trình này sẽ được nối bởi...
... tiếng nhất trong toánhọc là chứng minh sai “bài toán bốn màu” được công bố năm 1879 bởi luật sư, nhà toánhọc nghiệp dư Luân Đôn tên là Alfred Kempe. Nhờ công bố lời giải của “bài toán bốn màu”, ... toán năm màu” (tức là mọi bản đồ có thể tô đúng bằng 5 màu). Như vậy, Heawood mới giải được “bài toán năm màu”, còn “bài toán bốn màu” vẫn còn đó và là một thách đố đối với các nhà toánhọc ... bố lời giải của “bài toán bốn màu”, Kempe được công nhận là hội viên Hội Khoa học Hoàng gia Anh. Các nhà toánhọc chấp nhận cách chứng minh của ông ta cho tới 1890, khi Percy Heawood phát hiện...
... Chúng, Đại cương về toánhọ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ánrời rạc, NXB Đại học Quốc Gia Hà ... sở toánrờirạ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ánrời rạc, NXB Giáo ... các phép toán AND-bit, OR-bit, NOT-bit. Bn với các phép toán này tạo thành một đại số Boole. 4) Cho M là tập hợp các số thực có cận trên p, cận dưới q và tâm đối xứng O. Các phép toán ....