Lời Hay Ý Đẹp
Latest topics
» Tự học lập trình IOS trong vòng 24h
by kenanh 27/1/2014, 22:28

» xin tài liệu một số môn học
by nguyentvvan 21/8/2013, 21:34

» [Thảo luận] Bài toán đong nước
by giathinh9x 9/1/2013, 22:39

» Học Marketing Online, Học Chuyên viên Internet Marketing Online tại iNET
by NIIT-iNET 19/6/2012, 14:23

» Học PHP nâng cao, Học lập trình web với PHP nâng cao tại học viện iNET
by NIIT-iNET 19/6/2012, 14:22

» Học PHP, học lập trình web với PHP tại iNET vào ngày 19/07/2012
by NIIT-iNET 19/6/2012, 14:20

» PHIÊN BẢN MỚI CHO THIÊN ĐƯỜNG CÁ Ô LA LA !!!
by todaytv 13/3/2012, 15:35

» [hot] game khu vườn địa đàng phiên bản mobile của KVTM
by trantinh1713 3/1/2012, 15:20

» Đề tham khảo (update phút 90)
by ndc_2209 29/12/2011, 10:26

» Học bổng Lời Dịch tuần này.
by tienganh123 1/11/2011, 13:13

» [Thảo luận] Quản lý phân công giảng dạy PTTH
by huyquang0510 5/10/2011, 09:52

» Học tiếng Nhật - Top Globis
by tuquynh 21/9/2011, 10:35

» Học tiếng Nhật - Top Globis
by tuquynh 8/8/2011, 11:19

» Order Imitrex Online
by Khách viếng thăm 4/8/2011, 18:46

» Speeds Caffeine Metabolism Up
by Khách viếng thăm 4/8/2011, 18:12

» Skin For Good Caffeine
by Khách viếng thăm 3/8/2011, 14:54

» Cheap Pvc Figures
by Khách viếng thăm 1/8/2011, 19:32

» Action Rapid Onset Zolpidem Of
by Khách viếng thăm 31/7/2011, 01:13

» TUYỂN NHÂN VIÊN KINH DOANH ( làm việc tại văn phòng )
by canhkientp 5/7/2011, 14:59

» Demo + Vài điểm thảo luận về LINQ - Nhóm 7
by ChuongTienPhat 3/7/2011, 12:19


Tham Khảo thuật toán Robinson

Xem chủ đề cũ hơn Xem chủ đề mới hơn Go down

Tham Khảo thuật toán Robinson

Bài gửi by TranNgocSang on 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.
avatar
TranNgocSang

Nam
Tổng số bài gửi : 17
Age : 28
Registration date : 11/05/2009

Về Đầu Trang Go down

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

Bài gửi by mrsangit on 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
avatar
mrsangit

Nam
Tổng số bài gửi : 1
Age : 27
Registration date : 21/11/2010

Về Đầu Trang Go down

Xem chủ đề cũ hơn Xem chủ đề mới hơn Về Đầu Trang


 
Permissions in this forum:
Bạn không có quyền trả lời bài viết