SK Loop được phát hiện bởi Stephen Kurzhals
1 mô hình khá thú vị :v
Mô hình:
*--------*--------*--------*
| * H H | . . . | G G * |
| A . . | . . . | . . F |
| A . . | . . . | . . F |
*--------*--------*--------*
| . . . | . . . | . . . |
| . . . | . . . | . . . |
| . . . | . . . | . . . |
*--------*--------*--------*
| B . . | . . . | . . E |
| B . . | . . . | . . E |
| * C C | . . . | D D * |
*--------*--------*--------*
Ví dụ:
A2C2(29-68) -- G2I2(68-15) -- H1H3(15-46) -- H7H9(46-29) -- G8I8(29-86) --A8C8(26-15) --
B7B9(15-86) -- B1B3(86-29)
Giống XY Chain vậy, ta sẽ loại các ứng viên khác trong liên kết,
ví dụ:
+ A2C2 liên hệ (68) với G2H2, nên ta loại(6,8) khỏi D2 E2 F2 ( D2 có 8 để loại, E2 loại được cả 6,8 còn D2 thì là 4 sẵn rồi)
+ G2I2 và H1H3 liên hệ (15) nên loại 1 ở G3 và loại 5 ở I1
Để hiểu nó: bình thg mô hình này cần 8 cặp ô, hãy đơn giản nó thành 4 cặp
ABCD(1) - CDEF(2) - EFGH(3) - GHAB(4)
ABCD(1) - CDEF(2) - EFGH(3) - GHAB(4)
nếu (1) là CD( 2 ô trong cặp (1) là C và D ) đương nhiên loại C,D trong 1iên hệ (1) - (2)
nếu (1) là AB thì (2) là CD
Nếu trong cặp (1) , 1 ô là (A hoặc B ) 1 ô là (C hoặc D) thì (2) không thể là EF => 1 otrng 2 ô của (2) là C hoặc D => loại C,D trong liên hệ
0 comments:
Đăng nhận xét