dailysudoku.com Forum Index dailysudoku.com
Discussion of Daily Sudoku puzzles
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

Jun 2 VH

 
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Daily Sudoku puzzles
View previous topic :: View next topic  
Author Message
ZeroAssoluto



Joined: 05 Feb 2017
Posts: 871
Location: Rimini, Italy

PostPosted: Thu Jun 01, 2017 10:43 pm    Post subject: Jun 2 VH Reply with quote

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
View user's profile Send private message
Ajò Dimonios



Joined: 01 May 2017
Posts: 339
Location: Sassari Italy

PostPosted: Fri Jun 02, 2017 7:23 am    Post subject: Reply with quote

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
View user's profile Send private message
Marty R.



Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA

PostPosted: Sat Jun 03, 2017 2:27 am    Post subject: Reply with quote

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
View user's profile Send private message
arkietech



Joined: 31 Jul 2008
Posts: 1834
Location: Northwest Arkansas USA

PostPosted: Sat Jun 03, 2017 7:42 am    Post subject: Reply with quote

How about an xy-wing?
[(9=5)r4c8-(5=2)r5c9-(2=9)r8c9]-9r78c8; ste
Back to top
View user's profile Send private message
Ajò Dimonios



Joined: 01 May 2017
Posts: 339
Location: Sassari Italy

PostPosted: Sat Jun 03, 2017 3:11 pm    Post subject: Reply with quote

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
View user's profile Send private message
Marty R.



Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA

PostPosted: Sat Jun 03, 2017 3:55 pm    Post subject: Reply with quote

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
View user's profile Send private message
Marty R.



Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA

PostPosted: Sat Jun 03, 2017 3:57 pm    Post subject: Reply with quote

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
View user's profile Send private message
Ajò Dimonios



Joined: 01 May 2017
Posts: 339
Location: Sassari Italy

PostPosted: Sat Jun 03, 2017 5:44 pm    Post subject: Reply with quote

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
View user's profile Send private message
Marty R.



Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA

PostPosted: Sat Jun 03, 2017 8:24 pm    Post subject: Reply with quote

Paolo,

Thanks. Math was my best subject in high school. Was my question unclear?
Back to top
View user's profile Send private message
Ajò Dimonios



Joined: 01 May 2017
Posts: 339
Location: Sassari Italy

PostPosted: Sat Jun 03, 2017 9:25 pm    Post subject: Reply with quote

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
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Daily Sudoku puzzles All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum


Powered by phpBB © 2001, 2005 phpBB Group