Weekly sudoku #10- 9.1

[Administrator]

Tuần này tiếp tục với đề 9.1 của JPF:

Text:

00700500806001004030060000000100600502008007080050 0200000009003070000050600200800

Thanks

[ttt]

Theo ttt biết thì hấu hết các đề có độ khó tứ SE9.1 trở lên đều có lời giải khá dài (đặc biệt là các đề non-symmetry), do đó nhằm giảm các bước giải thì phải sử dụng một số bước giải khá phức tạp…
Đề ra hàng tuần chỉ nên cho đến độ khó SE9.0 là vừa.

Về Weekly sudoku #11-9.2 đã post ở đây : ttt bỏ cả buổi trưa để giải mà không tìm ra một phép khử nào khả dĩ hiệu quả cả…, cuối cùng thử kiểm tra lại thì thấy rằng đề đó có độ khó là SE9.9. Để giải đề này thì lời giải rất phức tạp do đề này không có SK loop hay “bibi” patterns.

Dưới đây là lời giải của ttt cho đề tuần này, do lời giải quá dài nên ttt không kèm theo grid cho từng bước giải.

Code:

*--------------------------------------------------------------------*
| 1249   149    7      | 349    349    5      | 1369   12369  8      |
| 259    6      2589   | 3789   1      2378   | 3579   4      279    |
| 3      14589  24589  | 6      479    2478   | 1579   129    1279   |
|----------------------+----------------------+----------------------|
| 7      349    1      | 349    2      6      | 349    8      5      |
| 459    2      34569  | 1349   8      134    | 13469  7      1469   |
| 8      349    3469   | 5      3479   1347   | 2      1369   1469   |
|----------------------+----------------------+----------------------|
| 1245   1458   2458   | 1478   4567   9      | 1467   126    3      |
| 1249   7      23489  | 1348   346    1348   | 1469   5      12469  |
| 6      13459  3459   | 2      3457   1347   | 8      19     1479   |
*--------------------------------------------------------------------*

01: 7’s r2c4=r7c4-r7c7=r9c9 => r2c9<>7
02: (259=8)r2c139-(8)r2c46=(8-2)r3c6=(2)r2c6-(2=59)r2c19
=> r2c4<>9, r2c7<>59, r3c6<>47, r3c7=5
03: X-wing 7’s r27c47 => r2c6, r7c5<>7
04: Trình bày dưới dạng net: => r5c6<>1

Code:

AALS(134679)r6c2568
||
(69)r6c8-(3)r6c8=(3-126)r1c278=[SwordFish:1’s]r578c147*
||
(9)r6c5-(9)r13c5=(9)r1c4--------------------(9)r1c2
||    |                                     ||
||     --(9)r1c5         ------------------(4)r1c2
||    |   ||            |         |         ||
||    |  (4)r1c5--------         (4)r6c2   (1)r1c2
||    |   ||                      ||         |
||    |  (3)r1c5-(3)r1c8=(3)r6c8-(3)r6c2     |
||    |                           ||         | 
||     --------------------------(9)r6c2     |
||                                           |
(9)r6c2---(9)r6c5=(9)r13c5-                   |
||    |                   |                  | 
||    |  (9)r1c4----------                   |
||    |   ||                                 |
||    |  (4)r1c4-(4)r1c2                     |
||    |   ||      ||                         |
||     ----------(9)r1c2                     |
||        ||      ||                         |
||        ||     (1)r1c2----------------------(1)r1c17=[SwordFish:1’s]r578c147*
||        ||                                 |
||       (3)r1c4-(3)r5c4                     |
||                ||                         |
||               (3)r5c6*                    |
||                ||                         |
||               (3)r5c7-(3)r2c7=(236)r1c178- -------------------
||                ||                                             | 
||               (3)r5c3-(3)r46c2=(358)r379c2-(1)r379c2=(1)r1c2--
||                                                               | 
(1347)r6c2568-(69)r6c2568=(69)r6c49-(1)r6c9                       |
                                  ||                           |
                                 (1)r5c79*                     |
                                  ||                           |
                                 (1)r6c8-(3)r6c8=(236)r1c178---

05: Trình bày dưới dạng net: => r1c7<>1, (17)r69c6

Code:

(6)r7c8-(6)r1c8=(6)r1c7*
||
(6)r7c7-(7)r7c7=(7-3)r2c7=(36)r1c78*
||
(6)r7c5-(5)r7c5=(5-8)r7c2=(8-1)r3c2=(1)r1c12*

06: Trình bày dưới dạng net: => r8c6<>1

Code:

(1)r8c7*
||
(1)r7c7-(7)r7c7=(7-3)r2c7=(236)r1c178-(1)r1c17=[SwordFish:1’s]r578c147*
||
(1)r5c7-(1)r5c46=(1)r6c6*

07: Trình bày dưới dạng net: => r79c8<>1, r9c8=9

Code:

(1)r6c8*
||
(1)r6c9-(1)r3c9=(1)r13c8*
||
(1)r6c6-(7)r6c6=(7)r6c5-(7)r3c5=(7-1)r3c9=(1)r13c8*

08:[SwordFish:1’s]r578c147=(1-2)r1c1=(2)r1c8-(2)r7c8=(2)r8c9 => r8c9<>1
09: (9)r8c1=(9-2)r8c3=(2)r8c9-(2=9)r2c9 => r2c1<>9
10: Trình bày dưới dạng net: => r5c9<>1

Code:

(1)r7c1-(1)r7c47/r8c1=(X-wing:1’s)r58c47*
||
(2)r7c1—-(2=5)r2c1-(5)r5c1=(5)r5c3-(6)r5c3
||    |                            ||
||     -(2=6)r7c8-(6)r1c8=(6)r1c7-(6)r5c7
||                                 || 
||                                (6)r5c9*
||
(4)r7c1----(1)r7c1
    |    ||
    |   (1)r8c1-(1)r8c47/r7c2=(X-wing:1’s)r57c47*
    |    ||
    |   (1)r1c1-(2)r1c1=(2)r1c8-(2=6)r7c8-
    |                                     |   
    |   (6)r7c5---------------------------
    |    ||
     ---(4)r7c5
         || 
        (5)r7c5-(5)r7c2=(5)r9c2-(1)r9c2=(FinnedX-wing:1’s)r6c689/r9c69*

11: Trình bày dưới dạng net: => r9c2<>3

Code:

(4)r78c1-(4=3)r9c3*
||
(4)5c1-(4=39)r46c2*
||
(4)r1c1--(2)r1c1=(2)r1c8-(2=6)r7c8-(6)r7c5
    |                            ||
     ----------(4)r1c45=(4)r3c5-(4)r7c5
                                 ||
                                (5)r7c5-(5)r7c2=(5)r9c2* 

12: 2’s r1c1=r1c8-r7c8=r8c9 => r8c1<>2
13: Trình bày dưới dạng net: => r8c9<>4

Code:

(4)r5c1-(4)r5c6=(4)r8c6
||
(5)r5c1=(5=2)r2c1-(2)r1c1=(2)r1c8-(2)r7c8=(2)r8c9
||
(9)r5c1-(9)r8c1=(9-2)r9c3=(2)r8c9

14: Trình bày dưới dạng net: => r5c7<>1, r5c4=1, r9c6=1, r6c7=7

Code:

(4)r4c7-(4=1)r8c7
||
(4)r4c4-(4)r6c6=(4)r8c6-(4=1)r8c7
||
(4-3)r4c2=(3)r6c2-(3)r6c8=(3)r1c8-(3=7)r2c7-(7)r3c9=(7)r3c5-(7)r6c5=(7-1)r6c6=(1)r5c4

15: (9)r1c45=(9-7)r3c5=(7-5)r9c5=(5-6)r7c5-(6)r7c8-(6)r1c8=(6)r1c7 => r1c7<>9
16: (6)r6c3=(6-5)r5c3=(5)r5c1-(5=2)r2c1-(2)r1c1=(2-3)r1c8=(3-1)r6c8=(1)r6c9 => r6c89<>6, r6c3=6
17: 9’s r6c2=r6c5-r5c4=r1c4 => r1c2<>9
18: (FinnedX-wing:4’s)r3c235/r6c25=(4-1)r6c9=(1-7)r3c9=(7-4)r3c5=(4)r1c45 => r1c2<>4, r1c2=1
19: (X-wing:9’s)r58c13=(9-6)r5c7=(6)r5c9-(6=2)r8c9-(2=9)r2c9 => r2c3<>9, r2c9=9
20: (2=8)r3c6-(8)r3c2=(8-5)r7c2=(5-6)r7c5=(6)r8c5-(6=2)r8c9 => r3c9<>2, r8c9=2, r7c8=6…
21: (3)r3c7=(3-2)r1c8=(2)r3c8-(2)r3c6=(2)r2c6 => r2c6<>3
22: 3’s r2c4=r2c7-r5c7=r5c6 => r4c4<>3
23: (3)r5c6=(3-9)r57=(9)r4c7-(9=4)r4c4 => r5c6<>4, r5c6=3, r8c6=4…
24: 4’s r7c2=r7c7-r9c9=r6c9 => r6c2<>4
25: XY-wing (4=1)r6c9-(1=7)r3c9-(7=9)r3c5 => r6c5<>4, r6c5=9… và kết thúc đề này.

ttt

[Administrator]

Trích:

Về Weekly sudoku #11-9.2 đã post ở đây : ttt bỏ cả buổi trưa để giải mà không tìm ra một phép khử nào khả dĩ hiệu quả cả…, cuối cùng thử kiểm tra lại thì thấy rằng đề đó có độ khó là SE9.9. Để giải đề này thì lời giải rất phức tạp do đề này không có SK loop hay “bibi” patterns.

chà cái này em lấy của tác giả mà em quên kiểm tra lại, có thể được đề đánh giá bằng phần mềm khác nên ko ra kết quả chính xác.

Cái đề 9.1 này nhìn vào em thấy ớn luôn. ai muốn đọc về vẽ grid lại cho dễ theo dõi.

Sk loop và bibi parten trong diễn đàn cũng có khác nhiều bài và ví dụ rồi nên chuyển lên cho nó phức tạp hơn 1 xíu

theo em có thể từ giờ trở đi với đề độ khó lớn hơn 9.0 em sẽ post 2 tuần 1 đề thôi, lúc đó mọi người sẽ đủ thời gian xem xét hơn.

[sonicloveamy]

Ôi trời . Em mới vô định chơi thử mà sao anh trên ghi số gì loạn wa' em ko hieu ?

[anhbi_q12]

[QUOTE=Administrator;10736]Tuần này tiếp tục với đề 9.1 của JPF:

Text:mình đọc không hiểu gì hết. Bạn có thể mình để mình chơi dược không vậy. ai vào chỉ mình với nha. Thanks

Thanks

Text:mình đọc không hiểu gì hết. Bạn có thể mình để mình chơi dược không vậy. ai vào chỉ mình với nha. Thanks