Có thể còn ít người Việt Nam biết Tháp Hà Nội, nhưng rất nhiều thanh niên sinh viên trên toàn thế giới lại biết đến nó. Đó là vì, Tháp Hà Nội là tên một bài toán rất nổi tiếng trong Chương trình khoa học tính toán (Computing Science) dành cho sinh viên những năm đầu tại các trường đại học ở nhiều nơi trên thế giới.
Tương truyền rằng ngày xửa ngày xưa, lâu lắm rồi, ở một vùng xa xôi viễn đông, thành phố Hà Nội của Việt Nam, vị quân sư của Hoàng đế vừa qua đời, Hoàng đế cần một vị quân sư mới thay thế. Bản thân Hoàng đế cũng là một nhà thông thái, nên ngài đặt ra một bài toán đố, tuyên bố ai giải được sẽ được phong làm quân sư. Bài toán của Hoàng đế là: cho n cái đĩa (ngài không nói chính xác là bao nhiêu) và ba cái trục: A là trục nguồn, B là trục đích, và C là trục trung chuyển. Những cái đĩa có kích cỡ khác nhau và có lỗ ở giữa để có thể lồng vào trục, theo quy định "nhỏ trên lớn dưới". Đầu tiên, những cái đĩa này được xếp tại trục A. Vậy làm thế nào để chuyển toàn bộ các đĩa sang trục B, với điều kiện chuyển từng cái một và luôn phải đảm bảo quy định "nhỏ trên lớn dưới", biết rằng trục C được phép sử dụng làm trục trung chuyển?
Vì địa vị quân sư được coi là vinh hiển nên có rất nhiều người dự thi. Từ vị học giả đến bác nông phu, họ đua nhau trình lên Hoàng đế lời giải của mình. Nhiều lời giải dài tới hàng nghìn bước, và nhiều lời giải có chữ "chuyển sang bước tiếp theo" (go to). Nhưng hoàng đế thấy mệt mỏi vì những lời giải đó, nên cuối cùng hạ chiếu: "Ta không hiểu những lời giải này. Phải có một cách giải nào khác dễ hiểu và nhanh chóng hơn". May mắn thay, cuối cùng đã có một cách giải như thế.
Thật vậy, ngay sau khi chiếu vua ban ra, một vị cao tăng trông bề ngoài giống như một kỳ nhân hạ sơn tới xin yết kiến hoàng đế. Vị cao tăng nói: "Thưa Bệ hạ, bài toán đố đó dễ quá, hầu như nó tự giải cho nó". Quan trùm cấm vệ đứng hầu ngay bên cạnh vua quắc mắt nhìn gã kỳ nhân, muốn quẳng gã ra ngoài, nhưng Hoàng đế vẫn kiên nhẫn tiếp tục lắng nghe. "Nếu chỉ có 1 đĩa, thì...; nếu có nhiều hơn 1 đĩa (n>1), thì...", cứ thế vị cao tăng bình tĩnh giảng giải. Im lặng được một lát, cuối cùng Hoàng đế sốt ruột gắt: "Được, thế cao tăng có nói rõ cho ta lời giải hay không cơ chứ?". Thay vì giải thích tiếp, gã kỳ nhân mỉm cười thâm thúy rồi biến mất, bởi vì hoàng đế tuy giỏi giang nhưng rõ ràng là chưa hiểu ý nghĩa của phép truy hồi (recursion). Nhưng các bạn sinh viên ngày nay thì có thể thấy cách giải của vị cao tăng là hoàn toàn đúng.
Toàn bộ đoạn chữ nghiêng ở trên được trích nguyên văn từ cuốn sách giáo khoa dành cho sinh viên ngành thuật toán và lập trình - "giải toán nâng cao và cấu trúc dữ liệu" (intermediate problem solving and data structures) do Paul Henman và Robert Veroff, hai giáo sư Đại học New Mexico, cùng biên soạn với Frank Carrano, giáo sư Đại học Rhode Island (Mỹ).
Vậy thay vì mô tả toàn bộ quá trình chuyển đĩa từng cái một như những thí sinh trước đó đã làm, vị cao tăng chỉ mô tả một quy tắc chung. Cứ làm theo quy tắc đó, lặp đi lặp lại chẳng cần suy nghĩ gì, rồi cuối cùng tự nhiên sẽ tới đích. Vì thế vị cao tăng nói rằng bài toán này "tự nó giải nó".
Trong khoa học tính toán ngày nay, phép truy hồi là thuật toán cơ bản để lập trình. Ưu điểm của phương pháp truy hồi là ở chỗ nó dùng một công thức nhất định để diễn tả những phép tính lặp đi lặp lại bất chấp số lần lặp lại là bao nhiêu. Nếu số lần lặp lại lên đến con số hàng triệu hàng tỷ thì con người không đủ sức và thời gian để làm, nhưng máy tính thì có thể giải quyết trong chớp mắt. Điểm mạnh của computer là ở chỗ nó không hề biết e ngại và mệt mỏi trước những công việc lặp đi lặp lại lên đến hàng triệu hàng tỷ lần. Và vì thế, việc cộng tác giữa computer với con người là mô hình lý tưởng của lao động trí óc trong cuộc sống hiện đại.
Về mặt lịch sử, Tháp Hà Nội được E. Lucas phát hiện từ năm 1883, nhưng mãi đến gần đây người ta mới nhận ra ý nghĩa hiện đại của nó. Hiện vẫn chưa rõ vì sao Lucas lại gọi chồng đĩa trong bài toán là Tháp Hà Nội, mà không gọi là Tháp Bắc Kinh, hay Tháp Tokyo.
Tháp Hà Nội đã mở tung cánh cửa cho tương lai khi nhiều nghiên cứu lấy Tháp Hà Nội làm điểm xuất phát đã đạt được thành tựu mới:
(1) Nâng câu hỏi của Tháp Hà Nội lên một mức cao hơn, sao cho số lần chuyển đĩa là nhỏ nhất. Các nhà toán học đã phát hiện ra rằng Tháp Hà Nội có cùng bản chất với bài toán tìm Đường Hamilton (Hamilton Path) trên một hình giả phương cấp n (n-Hypercube), một bài toán cũng rất nổi tiếng.
(2) Nhà toán học D.G. Poole đã sáng tạo ra Lược Đồ Hà Nội - một tam giác có các đỉnh tương ứng với các cách sắp xếp đĩa trong Tháp Hà Nội, từ đó tìm ra những liên hệ lý thú giữa Tam giác Pascal với Lược đồ Hà Nội. Liên hệ này đã được công bố trong một công trình mang một cái tên đầy liên tưởng: Pascal biết Hà Nội (Pascal knows Hanoi).
Hiện nay, tại một số đại học ở Australia, uy tín của sinh viên Việt Nam trong lĩnh vực lập trình được đánh giá ngang với sinh viên Ấn Độ - một cường quốc lập trình của thế giới, làm cho Tháp Hà Nội vốn đã nổi tiếng lại càng nổi tiếng hơn.
Cách giải Bài toán:
Chiều nghịch thì dân lập trình hay gọi là bài toán đệ qui. Bài toán này có ví dụ đơn giản như sau: giaithừa(n)=giaithừa(n-1)*n. Muốn tính giai thừa của n thì đơn giản, lấy n nhân với giai thừa của (n-1). Còn giai thừa của (n-1) thì tính sao? Đơn giản, cứ lấy (n-1) nhân với giai thừa của (n-2) …
Còn (n-1) khối tròn từ A sang B thì làm sao mà đưa? Đơn giản, khi đó xem A là cột nguồn, B là cột đích và C là cột trung gian. Việc tiến hành tương tự, đưa (n-2) khối từ cột nguồn qua cột trung gian, 1 khối từ cột nguồn sang cột đích và cuối cùng là (n-2) khối từ cột trung gian sang cột đích. Còn về source code thì sao, xin xem phần sau cùng vì nếu viết ở đây sẽ có thể gây rối một vài bạn đọc không được học về lập trình.
Với khối tròn đầu tiên thì chuyển về cột đích (với n là số lẻ) và cột trung gian (với n là số chẳn). Xếp được 1 khối tròn (khối nhỏ nhất) theo đúng yêu cầu thì tiếp theo là xếp 2 khối tròn theo đúng yêu cầu (2 khối nhỏ nhất và nhỏ nhì). Cứ xếp 2 khối đó vào cột còn lại so với lần đầu tiên và làm tiếp vớ 3, 4, … khối tròn.
Phát triển của cách làm trên: Muốn chuyển n khối tròn từ cột nguồn sang cột đích thì làm như sau (ở đây ta phải hiểu rõ cột nguồn không nhất thiết là cột A, cột đích là C hay cột trung gian là B mà phải hiểu tổng quát, có thể cột nguồn là B chẳng hạn (trong phép chuyển (n-1) cột từ cột B sang cột C như trong cách làm ở phần nghịch)):
Với n lẻ: cách xếp các khối như sau. Đầu tiên là xếp được 1 khối nhỏ nhất (bài toán với n=1). Sau đó xếp 2 khối nhỏ nhất (bài toán với n=2) ….
• 1 khối nhỏ nhất qua cột đích
• 2 khối nhỏ nhất qua cột trung gian
• 3 khối nhỏ nhất qua cột đích
• 4 khối nhỏ nhất qua cột trung gian
• Tiếp tục như trên
Với n chẳn: cách xếp các khối như sau. Đầu tiên là xếp được 1 khối nhỏ nhất (bài toán với n=1). Sau đó xếp 2 khối nhỏ nhất (bài toán với n=2) ….
• 1 khối nhỏ nhất qua cột trung gian
• 2 khối nhỏ nhất qua cột đích
• 3 khối nhỏ nhất qua cột trung gian
• 4 khối nhỏ nhất qua cột đích
• Tiếp tục như trên
- Như vậy thì số lần chuyển cho bài toán là bao nhiêu? Với bài toán tháp Hà Nội chuyển n khối tròn từ cột nguồn A sang cột đích C thông qua cột trung gian B thì cần có 2^0 + 2^1 + 2^2 + … + 2^n lần chuyển
4 đĩa
3 đĩa
code C++
// ThapHaNoi.cpp : Defines the entry point for the console application.
// So dia nhap vao voi may tinh cau hinh hien tai thi khoang 50, o day minh gioi han la 10
#include "stdafx.h"
#include<stdio.h>
#include<conio.h>
#include<stdlib.h>
#define MAX 50
//Khai bao cau truc cho thap Ha Noi
//Bao gom:so dia,coc nguon,coc dich
typedef struct HaNoi
{
int n;//So dia can di chuyen
int Nguon;//Cot bat dau di chuyen
int Dich;//Cot duoc chuyen den
int Tam;//cot trung gian
}ThapHaNoi;
//Dinh nghia lai du lieu
typedef ThapHaNoi DataType;
//Khai bao cau truc cho node
typedef struct node
{
DataType info;
struct node*Next;
}Node;
//Dinh nghia lai node
typedef Node *NodePtr;
NodePtr pTop;
/*
typedef struct Stack{
NodePtr pTop;
}STACK; */
//pTop=NULL;
//Khoi tao stack
//Ban dau stack rong
void initStack(NodePtr &pTop)
{
pTop=NULL ;
}
NodePtr NewNode()
{
NodePtr newnode;
newnode=(NodePtr)malloc(sizeof(Node));
return newnode;
}
NodePtr CreateNode(DataType x)
{
NodePtr p=(NodePtr)malloc(sizeof(Node)) ;
p->info=x;
p->Next=NULL;
return p;
}
//Kien tra stack rong?
int isEmpty(NodePtr pTop)
{
if(pTop==NULL)
return 1;
else
return 0;
}
//Gai phong stack
void FreeNode(NodePtr p)
{
free(p);
}
//Lay phan tu dau stack
ThapHaNoi Pop(NodePtr &pTop)
{
NodePtr p;
DataType value;
if(isEmpty(pTop))
{
printf("Stack is empty");
}
else
p=pTop;//Luu phan tu dau stack vao p
pTop=pTop->Next;//Cap nhat lai pTop
value=p->info;
FreeNode(p);
return value;
}
//Dua phan tu vao stack
void Push(NodePtr &pTop,DataType x)
{
NodePtr node;
node=NewNode();
node->info=x;
node->Next=pTop;
pTop=node;
}
/*HaNoi Top(NodePtr pTop)
{
DataType value;
if(isEmpty(pTop))
{
printf("Stack is empty");
//return -1;
}
value=pTop->info;
return value5;
} */
//Thap Ha Noi
//Du lieu dau vao
//n:so dia can di chuyen,ng:cot nguon chua dia can di chuyen
//d:cot dich can chuyen den
//t:cot trung gian
void HaNoi(int &n)
{
NodePtr pTop;//Stack chua thong tin di chuyen
initStack(pTop);//Khoi tao stack
//Dua bai toan ban dau vao stack
ThapHaNoi hn;
hn.n=n;
hn.Nguon=1;
hn.Dich=2;
hn.Tam=3;
Push(pTop,hn);
while(!isEmpty(pTop))
{
hn=Pop(pTop);//Lay phan tu dau stack
//Truong hop chi co 1 dia,thi di chuyen dia nguon->dich
if(hn.n==1)
printf("\nDi chuyen dia tu cot %d -> %d",hn.Nguon,hn.Dich);
//Truong hop co nhieu hon 1 dia
else
{
ThapHaNoi hn1;
//ThapHaNoi hn1,hn2,hn3;
//Dua thong tin di chuyen n-1 dia tu tam(cot trung gian) -> dich
hn1.n=hn.n-1;
hn1.Nguon=hn.Tam;
hn1.Dich=hn.Dich;
hn1.Tam=hn.Nguon;
Push(pTop,hn1);
//Dua thong tin di chuyen 1 dia tu nguon -> dich
hn1.n=1;
hn1.Nguon=hn.Nguon;
hn1.Dich=hn.Dich;
hn1.Tam=hn.Tam;
Push(pTop,hn1);
//Dua thong tin di chuyen n-1 dia tu nguon -> tam(trung gian)
hn1.n=hn.n-1;
hn1.Nguon=hn.Nguon;
hn1.Dich=hn.Tam;
hn1.Tam=hn.Dich;
Push(pTop,hn1);
}
}
}
void main()
{
int n;
printf("\t \t CHUONG TRINH MINH HOA THAP HA NOI BANG STACK \n \n \n");
do{
printf("\n Nhap vao so dia(1->10):");
scanf("%d",&n);
if(n>10)
{
printf(" \n So dia qua lon xin vui long nhap lai");
}
else
HaNoi(n);
}while(n>10);
getch();
}
0 nhận xét:
Đăng nhận xét