Luận văn thạc sĩ song song hóa một số thuật toán tổ hợp

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN - Vũ Hồng Linh SONG SONG HÓA MỘT SỐ THUẬT TỐN TỔ HỢP Chun ngành: Bảo đảm tốn học cho máy tính hệ thống tính tốn Mã số: 604635 LUẬN VĂN THẠC SĨ KHOA HỌC Người hướng dẫn khoa học: PGS.TS HỒNG CHÍ THÀNH Hà Nội – 2011 LUẬN VĂN CAO HỌC Song song hóa số thuật tốn tổ hợp LỜI CẢM ƠN Tơi xin bày tỏ lịng kính trọng biết ơn sâu sắc tới PGS.TS Hồng Chí Thành, người trực tiếp hướng dẫn, giúp đỡ, động viên suốt thời gian thực luận văn Con cảm ơn Cha, Mẹ gia đình, người dạy dỗ, khuyến khích, động viên lúc khó khăn, tạo điều kiện cho nghiên cứu học tập Tôi xin chân thành cảm ơn Thầy Cô Bộ môn Tin học, Khoa Toán - Cơ - Tin học, Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội bạn bè, đồng nghiệp Trường Dự bị Đại Học Dân tộc Trung Ương giúp đỡ tơi nhiều q trình học tập, sưu tầm tài liệu cơng tác để tơi hoàn thành luận văn Dù cố gắng với tận tâm thầy giáo hướng dẫn song trình độ cịn hạn chế nên khó tránh khỏi thiếu sót Rất mong nhận góp ý thầy bạn Hà Nội, tháng 10 năm 2011 Học viên Vũ Hồng Linh MỤC LỤC MỞ ĐẦU LÝ DO CHỌN ĐỀ TÀI PHẠM VI NGHIÊN CỨU .7 PHƯƠNG PHÁP NGHIÊN CỨU CHƯƠNG TỔNG QUAN VỀ TÍNH TỐN SONG SONG 1.1 CÁC MƠ HÌNH TÍNH TỐN SONG SONG .8 1.1.1 Mơ hình SISD (Single Instruction, Single Data) 1.1.2 Mơ hình SIMD (Single Instruction, Multiple Data) 1.1.3 Mơ hình MISD (Multiple Instruction, Single Data) .9 1.1.4 Mơ hình MIMD (Multiple Instruction, Multiple Data) 10 1.2 MỘT SỐ KỸ THUẬT PHÂN RÃ TRONG TÍNH TỐN SONG SONG 11 1.2.1 Phân rã đệ quy (recursive decomposition) 12 1.2.2 Phân rã liệu (data-decomposition) 13 2.2.3 Phân rã thăm dò (exploratory decomposition) 17 1.3 KỸ THUẬT SONG SONG HÓA TÍNH TỐN DỰA TRÊN PHÂN ĐOẠN DÃY CÁC NGHIỆM CỦA BÀI TOÁN 20 CHƯƠNG BÀI TOÁN DÃY BỊ CHẶN 22 2.1 BÀI TOÁN DÃY BỊ CHẶN 22 2.2 THUẬT TOÁN TÌM CÁC DÃY BỊ CHẶN 23 2.3 SONG SONG HĨA THUẬT TỐN TÌM CÁC DÃY BỊ CHẶN .25 CHƯƠNG ÁP DỤNG CHO MỘT SỐ BÀI TOÁN TỔ HỢP 28 3.1 BÀI TOÁN HOÁN VỊ 28 3.1.1 Bài toán hoán vị 28 3.1.2 Thuật toán sinh hoán vị 29 3.1.3 Song song hóa thuật tốn sinh hốn vị 36 3.1.4 Ứng dụng toán hoán vị 37 3.2 BÀI TOÁN TẬP CON 39 3.2.1 Bài toán tập 40 3.2.2 Thuật toán sinh tập 41 3.2.3 Song song hóa thuật tốn sinh tập 42 3.2.4 Ứng dụng toán tập 42 3.3 BÀI TOÁN PHÂN HOẠCH 43 3.3.1 Bài toán phân hoạch 43 3.3.2 Thuật tốn tìm phân hoạch 47 3.3.3 Song song hóa thuật tốn tìm phân hoạch .49 3.3.4 Ứng dụng toán phân hoạch 49 KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN 51 TÀI LIỆU THAM KHẢO 53 PHỤ LỤC 54 PHỤ LỤC BÀI TOÁN DÃY BỊ CHẶN 54 Chương trình cho thuật tốn 54 Chương trình cho thuật toán phân đoạn nghiệm 55 PHỤ LỤC BÀI TOÁN HOÁN VỊ 58 Chương trình cho thuật tốn 58 Chương trình cho thuật toán phân đoạn nghiệm 59 PHỤ LỤC BÀI TOÁN TẬP CON 62 Chương trình cho thuật toán 62 Chương trình cho thuật tốn phân đoạn nghiệm 63 PHỤ LỤC BÀI TOÁN PHÂN HOẠCH 65 Chương trình cho thuật toán 65 Chương trình cho thuật tốn phân đoạn nghiệm 66 MỤC LỤC CÁC HÌNH VẼ Hình Mơ hình tính tốn Hình 1.1 Mơ hình máy tính SISD Hình 1.2 Mơ hình máy tính SIMD .9 Hình 1.3 Mơ hình máy tính MISD .10 Hình 1.4 Mơ hình máy tính MIMD 11 Hình 1.5 Phân rã đệ quy xếp dãy gồm 12 chữ số 13 Hình 1.6 Phân rã phép nhân ma trận 14 a) Phân hoạch ma trận đầu vào đầu thành 2x2 ma trận 14 b) Một phân rã phép nhân ma trận thành bốn công việc dựa phân hoạch ma trận (a) 14 Hình 1.7 Nhân hai ma trận A B với phân hoạch ma trận trung gian chiều D .16 Hình 1.8 Một phân rã phép nhân ma trận dựa việc phân hoạch ma trận trung gian chiều D .17 Hình 1.9 Đồ thị phụ thuộc phân rã Hình 1.8 17 Hình 1.10 Phân rã thăm dị minh họa cho Bài tốn đố thứ 15 19 Hình 1.11 Sơ đồ tính tốn song song tìm nghiệm tốn 21 Hình 3.1 Loại dồn danh sách XS 35 MỞ ĐẦU LÝ DO CHỌN ĐỀ TÀI Trong tính tốn truyền thống, phần mềm máy tính viết cho tính tốn Để giải toán, thuật toán xây dựng thực chuỗi lệnh Các lệnh thực xử lý trung tâm (CPU) máy tính Tại thời điểm, có lệnh thực Sau lệnh trước kết thúc lệnh thực Quá trình thực lệnh thể hình Hình Mơ hình tính tốn Tính tốn song song hình thức tính tốn, nhiều tính tốn thực đồng thời Tính toán song song hoạt động nguyên tắc toán lớn chia thành toán nhỏ hơn, sau tốn giải đồng thời Song song sử dụng nhiều năm năm gần tính tốn song song trở thành mơ hình thống trị kiến trúc máy tính, chủ yếu hình thức đa xử lý (multi-processors) Vậy, phải tính tốn song song? Mặc dù tốc độ xử lý xử lý tăng lên nhiều, giới hạn vật lý nên khả tính tốn chúng khơng thể tăng Điều dẫn tới muốn tăng khả tính tốn hệ thống máy tính phải khai thác khả xử lý song song chúng Nhiều toán với số lượng tính tốn lớn tốn mơ thời tiết, tốn tạo hình y học hay phân tích mật mã… khơng thể giải khoảng thời gian hợp lý sử dụng tính tốn - ta thực siêu máy tính, địi hỏi phải sử dụng hệ thống đa xử lý xử lý song song Để song song hóa tính tốn, chia tốn thành tốn nhỏ giải song song toán chiến lược chia để trị Hoặc chia nhỏ liệu toán giải song song theo phần Tuy nhiên, với tốn tổ hợp hai phương pháp khơng khả thi Với hướng tiếp cận mới, song song hóa tính tốn dựa phân đoạn dãy nghiệm tốn, chúng tơi giải vấn đề song song hóa thuật tốn tổ hợp PHẠM VI NGHIÊN CỨU Trong phạm vi luận văn thạc sĩ, đề tài tập trung nghiên cứu sở lý thuyết ứng dụng Trên sở đó, tiến hành phân đoạn dãy nghiệm cho số toán tổ hợp tiêu biểu PHƯƠNG PHÁP NGHIÊN CỨU - Phương pháp nghiên cứu tài liệu - Phương pháp phân tích - Phương pháp tổng hợp - Phương pháp thực nghiệm - Phương pháp lập trình CHƯƠNG TỔNG QUAN VỀ TÍNH TỐN SONG SONG 1.1 CÁC MƠ HÌNH TÍNH TỐN SONG SONG Có nhiều cách phân loại kiến trúc tính tốn khác phân loại M Flynn dùng phổ biến Flynn phân loại kiến trúc máy tính dựa số đặc tính như: số lượng xử lý, số lượng chương trình chúng thực cấu trúc nhớ Sự phân loại dẫn đến bốn mơ hình kiến trúc tính tốn sau: 1.1.1 Mơ hình SISD (Single Instruction, Single Data) Những máy tính SISD có CPU mà thời điểm chúng thực lệnh (Single Instruction) xử lý đối tượng liệu (Single Data) Control Signals Control Unit Instruction Arithmetic Processor Results Data Stream Memory Hình 1.1 Mơ hình máy tính SISD Chẳng hạn, thực phép tính C = A + B A = B*2 máy thực sau: Mơ hình SISD mơ hình máy tính truyền thống kiểu Von Neumann 1.1.2 Mơ hình SIMD (Single Instruction, Multiple Data) Những máy tính SIMD có điều khiển thực lệnh thời điểm chúng có nhiều phần tử xử lý Con t r o l Unit Cotrol signals Processing Element Cotrol signals Processing Element Processing Element Hình 1.2 Mơ hình máy tính SIMD Bộ điều khiển phát tín hiệu điều khiển cho phần tử xử lý phần tử xử lý thực thao tác đối tượng liệu khác 1.1.3 Mô hình MISD (Multiple Instruction, Single Data) Máy tính loại MISD ngược lại với SIMD Máy tính MISD thực nhiều chương trình (nhiều lệnh) mục liệu, nên gọi MPSD (đa chương trình, đơn luồng liệu) Kiến trúc kiểu chia thành hai nhóm:  Lớp máy tính u cầu xử lý khác nhận lệnh khác để thực mục liệu Instruction Stream Control Unit1 Control Unit Control Unit n Instruction Stream2 Instruction Stream n Arithmetic Processor Arithmetic Processor Data stream Arithmetic Processor n Hình 1.3 Mơ hình MISD  Lớp máy tính có luồng liệu chuyển theo dãy CPU liên tiếp 1.1.4 Mô hình MIMD (Multiple Instruction, Multiple Data) MIMD hệ thống đa xử lý đa máy tính Mỗi xử lý hệ thống có điều khiển riêng cout =1) T[i]=T[i]+1; } getch(); } Chương trình chạy thuật tốn phân đoạn nghiệm #include #include #include #define max 100 int S[max],G[max],T[max];int n,i; void InRa(int a[max]) { cout