Tham Khảo thuật toán Robinson

by TranNgocSang 6/12/2009, 11:21

+Câu là một mảng gồm các mệnh đề

+Mệnh đề là một mảng gồm các biến

Khai báo struct để lưu một biến trong một mệnh đề

Code:: struct typedef { char val; //lưu tên biến int sign; //lưu giá trị của biến đó }LITERAL;

Khai báo struct để lưu một mệnh đề

Code:: struct typedef { int nLiterals; //số biến trong một mệnh đề LITERAL LitArr[MAX_CLAUSE]; // mảng để lưu số mệnh đề với MAX_CLAUSE phần từ }CLAUSE;

Khai báo struct để lưu một câu

Code:: struct typedef { int nClause; //số mệnh đề trong một câu CLAUSE ClauseArr[MAX_SENTENCE]; // mảng để lưu số mệnh đề với MAX_SENTENCE phần tử };

ví dụ về biến :

~p thì val = 'p' và sign = -1

Mã giả:

Code:: LITERAL a;//khai báo biến a kiểu LITERAL để lưu một biến trong mệnh đề a.val = 'p'; a.sign = -1;

q thì val = 'q' và sign = 1
Mã giả:

Code:: LITERAL a;//khai báo biến a kiểu LITERAL để lưu một biến trong mệnh đề a.val = 'q'; a.sign = 1;

Ví dụ về mệnh đề:
ta có mệnh đề:~p|q
+ biến 1 là : ~p
+ biến 2 là : q

Mã giả:

Code:: char s[] = "~p|q"; CLAUSE a;// khai báo mệnh đề a để lưu tất cả các biến trong mệnh đề a.nLiterals = 0;//số biến trong mệnh đề lúc đầu bằng 0 vì chưa có biến nào trong mệnh đề //lay chuoi tu dau den ky tu "|" char * str = strtok(s,"|");//theo chuoi s = "~p|q" thì lúc đầu str sẽ lấy được chuỗi "~p" while(str != NULL//khi chưa lưu hết các biến vào mệnh đề) { if(biến phủ định) { a.LitArr[a.nLiterals].val = str[1]; a.LitArr[a.nLiterals].sign = -1; } else //ngược lại là biến khẳng định { a.LitArr[a.nLiterals].val = str[0]; a.LitArr[a.nLiterals].sign = 1; } a.nLiteral ++; //tăng số lượng biến của mệnh đề lên 1 đơn vị khi lưu được một biến vào mệnh đề str = strtok(NULL,"|");//lấy từ đầu chuỗi còn lại sau khi lây lần đầu cho đến "|" // NULL sẽ chứa chuỗi "q" }

hy vọng bài viết này có thể mang đến cho bạn một hướng đi cũng như tư duy trong đồ án thuật toán robinson. Chúc các bạn thành công.

by mrsangit 21/11/2010, 23:53

bạn ơi bạn có thể làm bằng C# cho mọi người tham khảo được không, thanks

Re: Tham Khảo thuật toán Robinson