CHUYÊN ĐỀ : SÁNG TẠO TRONG THUẬT TOÁN ĐỂ CẢI TIẾN BÀI TOÁN “CÁC QUÂN HẬU” I. PHƯƠNG PHÁP QUAY LUI Giả sử ta phải tìm trong một tập dữ liệu D cho trước một dãy dữ liệu: v = (v1, v2,..., vn) thoả mãn đồng thời hai tính chất P và Q. Trước hết ta chọn một trong hai tính chất đã cho để làm nền, giả sử ta chọn tính chất P. Sau đó ta thực hiện các bước sau đây: Bước 1. (Khởi trị) Xuất phát từ một dãy ban đầu v = (v1,..., vi) nào đó của các phần tử trong D sao cho v thoả P. Bước 2. Nếu v thoả Q ta dừng thuật toán và thông báo kết quả là dãy v, ngược lại ta thực hiện Bước 3.
BÁO CÁO THAM LUẬN TẠI HỘI THẢO BỒI DƯỠNG HỌC SINH GIỎI MÔN TIN HỌC NĂM HỌC 2015 – 2016 CHUYÊN ĐỀ : SÁNG TẠO TRONG THUẬT TOÁN ĐỂ CẢI TIẾN BÀI TOÁN “CÁC QUÂN HẬU” I PHƯƠNG PHÁP QUAY LUI Giả sử ta phải tìm tập liệu D cho trước dãy liệu: v = (v[1], v[2], , v[n]) thoả mãn đồng thời hai tính chất P Q Trước hết ta chọn hai tính chất cho để làm nền, giả sử ta chọn tính chất P Sau ta thực bước sau đây: Bước (Khởi trị) Xuất phát từ dãy ban đầu v = (v[1], , v[i]) phần tử D cho v thoả P Bước Nếu v thoả Q ta dừng thuật tốn thơng báo kết dãy v, ngược lại ta thực Bước Bước Tìm tiếp phần tử v[i + 1] để bổ sung cho v cho v = (v[1], , v[i], v[i + 1]) thoả P Có thể xảy trường hợp sau đây: 3.1 Tìm phần tử v[i + 1]: quay lại bước 3.2 Khơng tìm v[i + 1] vậy, tức với v[i + 1] lấy D, dãy v = (v[1], , v[i], v[i + 1]) không thoả P Điều có nghĩa theo đường v = (v[1], , v[i]) không dẫn tới kết Ta phải đổi hướng vị trí Để khỏi ngõ cụt này, ta tìm cách thay v[i] giá trị khác D Nói cách khác, ta loại v[i] khỏi dãy v, giảm i đơn vị quay lại Bước Cách làm gọi quay lui: lùi lại bước Dĩ nhiên ta phải đánh dấu v[i] phần tử loại vị trí i để sau khơng đặt lại phần tử vào vị trí i dãy v Khi trả lời khơng tồn dãy v thoả đồng thời hai tính chất P Q? Nói cách khác, ta trả lời tốn vơ nghiệm? Dễ thấy, tốn vơ nghiệm ta duyệt hết khả Ta nói vét cạn khả Chú ý đến lúc ta phải lùi liên tiếp nhiều lần Từ suy rằng, thơng thường tốn vơ nghiệm ta khơng lùi Có nhiều sơ đồ giải toán quay lui, hai sơ đồ đơn giản, không đệ quy Sơ đồ 1: Giải toán quay lui (tìm nghiệm) Khởi trị v: v thoả P; repeat if (v thoả Q) then begin Ghi nhận nghiệm; exit; end; if (Tìm nước đi) then Tiến else if (có thể lùi được) then Lùi else begin Ghi nhận: vô nghiệm; exit; end; until false; Sơ đồ 2: Giải tốn quay lui (tìm nghiệm) Khởi trị v: v thoả P; repeat if (v thoả Q) then begin Ghi nhận nghiệm; exit; end; if (Hết khả duyệt) then begin Ghi nhận vô nghiệm; exit; end; if (Tìm nước đi) then Tiến Thơng thường ta khởi trị cho v dãy rỗng (không chứa phần tử nào) dãy có phần tử Ta yêu cầu dãy v khởi trị cho v thoả P Lưu ý dãy v thoả P phần tử v thoả P Có tốn u cầu tìm tồn (mọi nghiệm) dãy v thoả đồng thời h tính chất P Q Nếu biết cách tìm nghiệm ta dễ dàng suy cách tìm nghiệm sau: tìm nghiệm, ta thơng báo nghiệm hình ghi vào tệp thực thao tác Lùi, tức giả vờ khơng cơng nhận nghiệm đó, phải loại v[i] cuối dãy v để tiếp tục tìm hướng khác Phương pháp có tên phương pháp giả sai Hai sơ đồ sửa chút sau để tìm nghiệm Sơ đồ 3: Giải tốn quay lui (tìm nghiệm) Khởi trị: v thoả P; d := 0; {đếm số nghiệm} repeat if (v thoả Q) then begin d := d+1; Ghi nhận nghiệm thứ d; Lùi; { giả sai } end; if (Tìm nước đi) then Tiến else if (có thể lùi được) then Lùi else { hết khả } begin if d = then Ghi nhận: vô nghiệm; else Ghi nhận: d nghiệm; exit; end; until false; Sơ đồ 4: Giải tốn quay lui (tìm nghiệm) Khởi trị: v thoả P; d := 0; {đếm số nghiệm} repeat if (v thoả Q) then begin d := d+ 1; Ghi nhận nghiệm thứ d; Lùi; { giả sai } end; if (Hết khả duyệt) then begin if d = then Ghi nhận: vô nghiệm; else Ghi nhận: d nghiệm; exit; end; if (Tìm nước đi) then Tiến II BÀI TOÁN: Các quân Hậu Quân Hậu bàn cờ Vua ăn theo hàng, theo cột chứa theo đường chéo hình vng nhận làm đỉnh a) Tìm cách đặt N quân Hậu bàn cờ Vua kích thước N x N cho khơng qn ăn quân b) Tìm cách đặt N quân Hậu theo điều kiện Ghi kết vào tệp văn tên N_HAU.OUT Thuật toán Trước hết ta đặt quân Hậu mép bàn cờ Hậu thứ i đứng đầu cột thứ i Sau ta dịch dần Hậu vào dòng bàn cờ ghi nhận vị trí chúng vào mảng v Phần tử v[i] mảng v cho biết phải đặt Hậu thứ i, tức Hậu chiếm cột i dòng v[i] Thí dụ, với bàn cờ x ta có lời giải v = (2, 4, 1, 3) với ý nghĩa: - Đặt Hậu thứ (cột 1) dòng 2, Hậu thứ (cột 2) dòng 4, Hậu thứ (cột 3) dòng Hậu thứ (cột 4) dòng 3 - Mỗi đặt Hậu thứ i ta chuyển qua Hậu i + Điều kiện đặt Hậu i dòng d bàn cờ khơng bị Hậu đặt trước đó, tức Hậu j = (i - 1) chiếu Đây tính chất P - Hậu j < i chiếu (đụng độ) Hậu i v[j] = v[i] (cùng hàng) i - j = abs(v[i] - v[j]) (Hậu i Hậu j nằm hai đỉnh đối diện hình vng, hai cạnh liên tiếp hình vng phải nhau) - Tính chất Q là: đặt đủ N Hậu Sơ đồ tìm nghiệm XepHau1 sau: (* -Tim nghiem: xep M quan hau tren ban co M X M *) procedure XepHau1(M: byte); var i: byte; begin if (M < 1) or (M > MN) then exit; {MN = 20 la gioi han kich thuoc ban co} n := M; {Khởi trị: Đặt cọc hậu N bàn cờ Hậu i Đặt đầu cột i, i=1 N.} for i := to n v[i] := 0; i := 1; {Hậu xét} repeat if i > n then {co nghiem v[1 n]} begin KetQua1(n); exit; end; if i < then {vo nghiem} begin KetQua1(0); exit; end; if Tim(i) {co cach di } then inc(i) {Tien} else begin {Lui} v[i] := 0; dec(i); end; until false; end; Thủ tục có hai tình huống, KetQua1(n): hiển thị mảng v[1 n], v[i] dòng đặt Hậu i, KetQua1(0): thơng báo vơ nghiệm Hàm Tim(i) thực chức sau đây: xuất phát từ dòng Hậu i đứng v[i] đẩy tiếp Hậu i xuống dòng để tìm dòng đặt cho khơng bị Hậu đặt trước đó, tức khơng bị Hậu j = (i – 1) ăn Tim(i)=true: tìm vị trí (dòng) đặt Hậu i, ngược lại Tim=false (* Xuat phat tu dong v[i]+1, tim dong moi co the dat duoc Hau i *) function Tim(i: byte): Boolean; begin Tim := true; while v[i] < n begin inc(v[i]); if DatDuoc(i) then exit; end; Tim := false; end; Hàm Boolean DatDuoc(i) cho giá trị true Hậu i không bị Hậu j = 1, 2,…, i – đặt trước ăn Ngược lại, Hậu i bị Hậu ăn hàm cho giá trị false (* -Kiem tra xem co dat duoc Hau i tai o (v[i],i) cua ban co khong ? *) function DatDuoc(i: byte): Boolean; var j: byte; begin DatDuoc := false; for j := to i-1 if (v[i] = v[j]) or (i-j = abs(v[i]-v[j])) {Hau j an duoc Hau i} then exit; DatDuoc := true; end; Thao tác Tiến đơn giản chuyển qua xét Hậu kế tiếp, Hậu i + Tien: Chuyển qua Hậu inc(i); Thao tác Lùi đưa Hậu ngồi bàn cờ, chuyển qua xét Hậu trước đó, Hậu i – Lui: Đưa Hậu bàn cờ, chuyển qua Hậu trước v[i ]:= 0; dec(i); Ta viết thủ tục XepHau để tìm nghiệm toán Với bàn cờ x ta thu 92 nghiệm Với bàn cờ 10 x 10 ta thu 724 nghiệm (* Tim moi cach dat M Hau tren ban co M X M *) procedure XepHau(M: byte); var i: byte; d: integer; {dem so nghiem} begin if (M < 1) or (M > MN) then exit; n := m; for i := to n v[i] := 0; assign(g,gn); rewrite(g); i := 1; {Hau dang xet} d := 0; {dem so nghiem} repeat if i > n then {Tim duoc nghiem} begin inc(d); KetQua(d); {v[1 n] la nghiem thu d} i := n; {gia sai} end; if i < then {Tim het cac nghiem} begin writeln(g,'Tong cong ',d,' nghiem '); close(g); writeln('Xem ket qua file ',gn); readln; exit; end; if Tim(i) then inc(i) else begin v[i] := 0; dec(i); end; until false; end; CHƯƠNG TRÌNH MẪU (*============================ N Hau ==============================*) {$B-} uses crt; const MN = 20; gn = 'N_HAU.OUT'; BL = #32; {dau cach} var v: array[0 MN] of byte; n: byte; {so quan hau, kich thuoc ban co} g: text; {tep ket qua} function DatDuoc(i: byte): Boolean; tự viết function Tim(i: byte): Boolean; tự viết (* Hien thi nghiem tren man hinh Cho bai toan tim nghiem k=0: vo nghiem k=n: co nghiem v[1 n] *) procedure KetQua1(k: byte); var i: byte; begin writeln; if k = then write('Vo nghiem') else for i := to k write(v[i]:3); writeln; end; (* -Tim nghiem: xep M quan hau tren ban co M X M *) procedure XepHau1(M: byte); tự viết (* Ghi nghiem thu d vao tep g 'N_Hau.out' Bai toan tim moi nghiem *) procedure KetQua(d: integer); var i: byte; begin write(g,'Nghiem thu ',d,': '); for i := to n write(g,v[i],BL); writeln(g); end; (* Tim moi cach dat M Hau tren ban co M X M *) procedure XepHau(M: byte); tự viết BEGIN XepHau1(8); {tim nghiem} XepHau(8); {tim du 92 nghiem} END PHƯƠNG ÁN CẢI TIẾN Ta xét phương án cải tiến tập trung vào việc nâng cao tốc độ tính tốn kiểm tra hai hậu đụng độ Mỗi tìm vị trí đặt hậu thứ i bàn cờ ta cần kiểm tra xem hậu i có đụng độ với tất (i-1) hậu đặt trước khơng Thời gian chi phí tập trung điểm Để cải tiến, ta sử dụng thêm mảng đánh dấu dòng đường chéo hậu đặt bàn cờ với ý nghĩa sau đây: - Mảng dd[1 n] dùng để đánh dấu dòng Nếu dd[i] = tức chưa có hậu chiếm dòng i, chọn dòng i để đặt hậu khác Ngược lại, dd[i] = có nghĩa có hậu đặt dòng i Các hậu khác khơng phép chiếm dòng i - Mảng c1[-(n-1) (n-1)] kiểm sóat đường chéo theo hướng Tây Bắc Đông Nam Ta tạm gọi đường chéo Có thảy 2n-1 đường chéo bàn cờ vuông cạnh n Nếu hậu i đặt dòng j kiểm sốt đường chéo i-j Như c1[i-j] = có nghĩa có hậu kiểm sốt đường chéo Ngược lại, c1[i-j] = đường chéo rỗi ta đặt quân hậu vào (x,y) bàn cờ, y-x = i-j, đó, x, i tọa độ dòng y, j tọa độ cột - Mảng c2[2 2n] kiểm sóat đường chéo theo hướng Đông Bắc - Tây Nam Ta tạm gọi đường chéo phụ Nếu hậu i đặt dòng j kiểm sốt đường chéo phụ i+j Như c1[i+j] = có nghĩa có hậu kiểm sốt đường chéo Ngược lại, c1[i+j] = đường chéo rỗi ta đặt quân hậu vào (x,y) bàn cờ, y+x = i+j, đó, x, i tọa độ dòng y, j tọa độ cột Điều kiện để hậu i đặt dòng j là: (dd[j] = 0) and (c1[i-j] = 0) and (c2[i+j] = 0), hay (dd[j] + c1[i-j] + c2[i+j] = 0) CHƯƠNG TRING CẢI TIẾN MẪU (*============================ N Hau ==============================*) {$B-} uses crt; const MN = 20; gn = 'N_HAU.OUT'; BL = #32; {dau cach} nl = #13#10; { Chuyen dong } type mi1 = array[0 MN] of integer; var v: mi1; { vi tri dat hau } c1: array[-mn mn] of integer; { cheo } c2: array[0 2*mn] of integer; { cheo } dd: mi1; { dong } n: integer; { so quan hau, kich thuoc ban co } g: text; { file ket qua } (* -Nhac Hau i khoi ban co *) procedure NhacHau(i: integer); begin if v[i] = then exit; c1[i-v[i]] := 0; c2[i+v[i]] := 0; dd[v[i]] := 0; end; (* -Dat Hau i vao dong j *) procedure DatHau(i,j: integer); begin c1[i-j] := 1; c2[i+j] := 1; dd[j] := 1; end; (* Xuat phat tu dong v[i]+1, tim dong j co the dat duoc Hau i *) function Tim(i: integer): integer; var j: integer; begin Tim := 0; for j := v[i] + to n if ( c1[i-j] + c2[i+j] + dd[j] = ) then begin Tim := j; exit; end; end; (* Hien thi nghiem tren man hinh Cho bai toan tim nghiem k = 0: vo nghiem k = n: co nghiem v[1 n] *) procedure Ket1(k: integer); var i: integer; begin writeln; if k = then write('Vo nghiem') else for i := to k write(v[i]:3); writeln; end; (* -Tim nghiem: xep M quan hau tren ban co M X M *) procedure XepHau1(M: integer); var i,j: integer; begin if (M < 1) or (M > MN) then exit; fillchar(c1,sizeof(c1),0); fillchar(c2,sizeof(c2),0); fillchar(dd,sizeof(dd),0); fillchar(v,sizeof(v),0); n := M; i := 1; { Dang xet Hau i } repeat if i > n then begin Ket1(n); { co nghiem v[1 n] } exit; end; if i < then begin 10 Ket1(0); {vo nghiem} exit; end; NhacHau(i); j := Tim(i); if j > then begin { Tien: Dat Hau i tai dong j } DatHau(i,j); v[i] := j; inc(i); { Xet Hau i+1 } end else begin { Lui: Dat Hau i ngoai ban co } v[i] := 0; dec(i); { Xet Hau i-1 } end; until false; end; (* Ghi nghiem thu d vao tep g 'N_Hau.out' Bai toan tim moi nghiem *) procedure Ket(d: integer); var i: integer; begin write(g,'Nghiem thu ',d,': '); for i := to n write(g,v[i],BL); writeln(g); end; (* Tim moi cach dat M Hau tren ban co M X M *) procedure XepHau(M: integer); var i,j: integer; d: integer; { dem so nghiem } begin if (M < 1) or (M > MN) then exit; n := m; fillchar(v,sizeof(v),0); fillchar(c1,sizeof(c1),0); fillchar(c2,sizeof(c2),0); fillchar(dd,sizeof(dd),0); assign(g,gn); rewrite(g); i := 1; {Hau dang xet} 11 d := 0; {dem so nghiem} repeat if i > n then begin inc(d); Ket(d); { v[1 n] la nghiem thu d } i := n; end; if i < then begin writeln(g,'Tong cong ',d,' nghiem '); close(g); writeln('Xem ket qua file ',gn); exit; end; NhacHau(i); j := Tim(i); if j > then begin { Tien } DatHau(i,j); v[i] := j; inc(i); end else begin { Lui } v[i] := 0; dec(i); end; until false; end; procedure Test; begin XepHau1(8); { tim nghiem } XepHau(8); { tim du 92 nghiem } readln; end; BEGIN Test; END 12 ... Ghi nhận: d nghiệm; exit; end; if (Tìm nước đi) then Tiến II BÀI TOÁN: Các quân Hậu Quân Hậu bàn cờ Vua ăn theo hàng, theo cột chứa theo đường chéo hình vng nhận làm đỉnh a) Tìm cách đặt N quân. .. XepHau(M: byte); var i: byte; d: integer; {dem so nghiem} begin if (M < 1) or (M > MN) then exit; n := m; for i := to n v[i] := 0; assign(g,gn); rewrite(g); i := 1; {Hau dang xet} d := 0; {dem... DatDuoc(i: byte ): Boolean; var j: byte; begin DatDuoc := false; for j := to i-1 if (v[i] = v[j]) or (i-j = abs(v[i]-v[j])) {Hau j an duoc Hau i} then exit; DatDuoc := true; end; Thao tác Tiến đơn