View previous topic :: View next topic |
Author |
Message |
ZeroAssoluto
Joined: 05 Feb 2017 Posts: 939 Location: Rimini, Italy
|
Posted: Thu Jun 01, 2017 10:43 pm Post subject: Jun 2 VH |
|
|
Hi everyone
Code: |
+---------------+--------------+------------+
| 47 8 3 | 467 2467 1 | 29 459 59 |
| 5 147 2 | 47 9 347 | 13 8 6 |
| 9 146 146 | 5 234 8 | 123 34 7 |
+---------------+--------------+------------+
| 6 3 79 | 1 57 2 | 4 59 8 |
| 14 14 8 | 9 35 6 | 7 235 25 |
| 2 79 5 | 8 347 347 | 39 6 1 |
+---------------+--------------+------------+
| 178 2 179 | 3 78 5 | 6 79 4 |
| 3 5 4679 | 467 1 479 | 8 279 29 |
| 478 4679 4679 | 2 4678 479 | 5 1 3 |
+---------------+--------------+------------+
|
Play this puzzle online at the Daily Sudoku site
two possible solution are
Quote: | W-Wing with 5,9 in r1c9, r4c8 connected by number 9 in r16c7 and -5 in r1c8 and r5c9;
or XY-Wing 2,5,9 in r4c8, r58c9 and -9 in r78c8. |
Ciao Gianni |
|
Back to top |
|
|
Ajò Dimonios
Joined: 01 May 2017 Posts: 339 Location: Sassari Italy
|
Posted: Fri Jun 02, 2017 7:23 am Post subject: |
|
|
Quote: | 9 x-wing ( line 4 and line 7) -9 R1C8, -9 R8C8, -9 R8C3, -9 R9C3
AIC(xy chain) R8C9≠9=>R7C8=9=>R4C4≠9=>R4C4=5=>R1C8≠5=>R1C9=5=>-9 R1C9
|
Ciao a tutti
Paolo |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Sat Jun 03, 2017 2:27 am Post subject: |
|
|
Code: | +---------------+--------------+------------+
| 47 8 3 | 467 2467 1 | 29 45 59 |
| 5 147 2 | 47 9 347 | 13 8 6 |
| 9 146 146 | 5 234 8 | 123 34 7 |
+---------------+--------------+------------+
| 6 3 79 | 1 57 2 | 4 59 8 |
| 14 14 8 | 9 35 6 | 7 235 25 |
| 2 79 5 | 8 347 347 | 39 6 1 |
+---------------+--------------+------------+
| 178 2 179 | 3 78 5 | 6 79 4 |
| 3 5 467 | 467 1 479 | 8 27 29 |
| 478 4679 467 | 2 4678 479 | 5 1 3 |
+---------------+--------------+------------+ |
Quote: | 9 x-wing ( line 4 and line 7) -9 R1C8, -9 R8C8, -9 R8C3, -9 R9C3
AIC(xy chain) R8C9≠9=>R7C8=9=>R4C4≠9=>R4C4=5=>R1C8≠5=>R1C9=5=>-9 R1C9 |
Paolo,
So you've got a two-step solution, an X-Wing and an AIC, which I think is branched. It also looks like a typographical error in the AIC. Perhaps r4c4 should be r4c8? I think the above grid is after the X-Wing and the starting point of the AIC. I'm going to try and write the AIC using Eureka notation.
(9=2)r8c9-(2=7)r8c8-(7=9)r7c8-(9=5)r4c8-r1c8=5*r1c9; (9=2)r8c9-(2=5)r5c9-(5=9*)r1c9 *contradiction => 9r8c9 or => -2r8c9
How do you type the unequal sign (≠)? |
|
Back to top |
|
|
arkietech
Joined: 31 Jul 2008 Posts: 1834 Location: Northwest Arkansas USA
|
Posted: Sat Jun 03, 2017 7:42 am Post subject: |
|
|
How about an xy-wing?
[(9=5)r4c8-(5=2)r5c9-(2=9)r8c9]-9r78c8; ste |
|
Back to top |
|
|
Ajò Dimonios
Joined: 01 May 2017 Posts: 339 Location: Sassari Italy
|
Posted: Sat Jun 03, 2017 3:11 pm Post subject: |
|
|
Hi Marty
Yes a two step solution.
AIC (9)R8C9=(9)R7C8-(9=5)R4C4-(5)R1C8=(5)R1C9=>-9 R1C9. Quote: | How do you type the unequal sign (≠)? | An AIC always starts with a <> or ≠, Because it always starts with a strong inference.
It is necessary to have a pair conjugate at the beginning of an AIC. Only with an initial negation you are certain that the other element bound by the inference is true.While in the second weak inference there is no need to have a pair conjugate and consequently you can start from a true value.
Ciao a tutti
Paolo |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Sat Jun 03, 2017 3:55 pm Post subject: |
|
|
Quote: | Quote:
How do you type the unequal sign (≠)?
An AIC always starts with a <> or ≠, Because it always starts with a strong inference.
|
What key or combination of keys produce that ≠ ?
It is not on my keyboard |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Sat Jun 03, 2017 3:57 pm Post subject: |
|
|
arkietech wrote: | How about an xy-wing?
[(9=5)r4c8-(5=2)r5c9-(2=9)r8c9]-9r78c8; ste |
Hi Dan, that's what I used. The original poster showed that as one of his two possible solutions. |
|
Back to top |
|
|
Ajò Dimonios
Joined: 01 May 2017 Posts: 339 Location: Sassari Italy
|
Posted: Sat Jun 03, 2017 5:44 pm Post subject: |
|
|
The symbol ≠ in math means not equal, is the same meaning of <> (minor or greater). In fact, a number, when it is smaller or larger, means it is different or unequal. The conditions for a number in a cell are only two or is true (=) or is false (≠). |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Sat Jun 03, 2017 8:24 pm Post subject: |
|
|
Paolo,
Thanks. Math was my best subject in high school. Was my question unclear? |
|
Back to top |
|
|
Ajò Dimonios
Joined: 01 May 2017 Posts: 339 Location: Sassari Italy
|
Posted: Sat Jun 03, 2017 9:25 pm Post subject: |
|
|
Sorry Marty
I did not understand the question. I no type ≠.
I add the symbol from "symbol" of excel or Word (office) using the copy function.
Ciao a tutti
Paolo |
|
Back to top |
|
|
|