SudokuSolver Forum

A forum for Sudoku enthusiasts to share puzzles, techniques and software
It is currently Sat Apr 27, 2024 8:11 pm

All times are UTC




Post new topic Reply to topic  [ 14 posts ]  Go to page 1, 2  Next
Author Message
 Post subject: OAK
PostPosted: Sun Dec 05, 2010 11:19 am 
Offline
Grand Master
Grand Master

Joined: Wed Apr 30, 2008 9:45 pm
Posts: 694
Location: Saudi Arabia
OAK (Over-Algebraic-Killer)

Over: more candidates allowed than the row length
Algebraic: cage totals do not have to be sums: note some of us were creating these before KenKen hit the English speaking streets
Killer: a debased way of saying samunamupure (noting of course that sudoku is a debased way of saying number place)

This is a basic Ken-Ken 6*6 however instead of the candidates being 1 to 6 they are a set of six numbers from 0 to 9 and part of the puzzle is, of course, to derive which six.


In the puzzles below cages without a sign are sum cages this is the JSudoku convention. I will make it fully clear in future puzzles.
In these puzzles all cage totals will have a determined sign.

OAK 1

This is easy-peasy to get you going.

Although I did not intend it, this is solvable limited-operator as Simon and Tarek have done - a better puzzle this way. It might be solvable no-operator but I'll leave that for another day.


Image

OAK 2

This one is harder. Note I allow a certain element of T&E in eliminating candidates.

Image

[size=120]If you wish to work on a solver use the first six rows and columns of a 12*12 Latin square.
As Simon points out you can do it on 10*10, but then the 10*10 does not have a valid solution. This is more important when creating the puzzle as you can use JSudoku to check that your approach is valid.[/size]

Edited following Simon's post.


Last edited by HATMAN on Wed Dec 08, 2010 7:03 pm, edited 2 times in total.

Top
 Profile  
Reply with quote  
 Post subject: Re: OAK
PostPosted: Mon Dec 06, 2010 3:33 am 
Offline
Master
Master
User avatar

Joined: Thu Oct 07, 2010 3:21 pm
Posts: 170
HATMAN wrote:
If you wish to work on a solver use the first six rows and columns of a 12*12 Latin square.

Does this imply the second puzzle the values are ranged from 0 to 11?

I used a 10*10 Latin square with values 0 to 9 to solve the first puzzle. Is the second puzzle using the same range or a larger range (like it is not difficult enough).

Solution for the first puzzle:
351270
527031
703512
170325
215703
032157


Brief spoiler for the first puzzle:
From 10x(2) and 15x(2), three of the values must be {2,3,5}.
The 8(3) with 6x(2)={16/23} = {017/035/019}.
So the set of 6 values = {01235}+{6/7/9}.
The only combination from these 3 sets to produce the 11(3) is {137}.
So the set is determined as {012357}, and its cracked.


Before I try the second puzzle, I need to clarify two points:

1: Are repeats allowed within cages? (There aren't any in the first puzzle, but I know repeats are allowed in kenken.)

2: If the operator is subtract or divide in 3-cell cages, do we subtract/divide the 2 small values from the largest values?


Top
 Profile  
Reply with quote  
 Post subject: Re: OAK
PostPosted: Mon Dec 06, 2010 6:18 am 
Offline
Grand Master
Grand Master

Joined: Wed Apr 30, 2008 9:45 pm
Posts: 694
Location: Saudi Arabia
Simon

Numbers are 0-9 but I had some problems (probably fingers) when I tried it on 10*10.

Yes repeats are allowed

Yes triplet subtract/divide is two smallest from largest (does largest have to be the first digit? - I will state). I intend to only use doublets for know.

I'm going to post about five of them. Let me know what you think of them as a puzzle type when you've tried them.

Maurice


Top
 Profile  
Reply with quote  
 Post subject: Re: OAK
PostPosted: Wed Dec 08, 2010 1:18 pm 
Offline
Master
Master
User avatar

Joined: Thu Oct 07, 2010 3:21 pm
Posts: 170
I am afraid I will have to give up on #2. I cannot even verify if the puzzle has a unique solution without extensive trial-and-error, and it is not my thing to repeatedly use a lot of trial-and-error.

Perhaps HATMAN will kindly offer us some spoilers/hints later but for now I don't think there are enough clues to even get started.

Some information I gathered on the puzzle:

Cage combinations:

1(2)=1-(2)={01/12/23/34/45/56/67/78/89}
2-(2)={02/13/24/35/46/57/68/79}
4(2)={04/13/ 15/26/37/48/59/ 14/28}
7-(2)={07/18/29}
5(3)={005/014/023/113/122/ 049/139/229/038/128/027/117/016 /115}
6(3)={006/015/024/033/114/123/ 039/129/028/118/017 /116/123}
17(3)={089/179/188/269/278/359/368/377/449/458/467/557/566}
18(3)={099/189/279/288/369/378/459/468/477/558/567 /129/136/233}
19(3)={199/289/379/388/469/478/559/568/577/667}
24x(3)={138/146/226/234}

As one can see apart from the 7-(2) and the 24x(3), all other cages have so many possibilities so it is not possible to do systematic trial-and-error, especially the 5(3), 6(3) and the 18(3). I think it is a bit inhuman for a puzzle to require solvers to consider so many different possibilities in so many cages.

Even if we try out the 3x4=12 combinations of these 2 cages to identify which one(s) out of the 12 can lead to a valid solution, it is not a fun process and it does not guarantee real progress.

Other bits and pieces I can gather include the fact that the set of 6 values must include 1 or 2 (from the 24x(3) cage), and must include 8 or 9 (from the 19(3) & 17(3) together, or max sum for these 2 cages =4+5+6+7+6+7 =35 <36 =17+19). Also the second largest value must be at least 6 (or max sum for the 2 cages =3+4+5+9+5+9 =35 <36 = 17+19). So the 2 largest values must be from {6,7,8,9} and {1,2} must be one of the smaller values.

Perhaps if I can glance at the final solution I might spot the logic to solve this without (too much) trial-and-error, or (not unlikely) I might found that there were actually alternative solutions overlooked by HATMAN?


Top
 Profile  
Reply with quote  
 Post subject: Re: OAK
PostPosted: Wed Dec 08, 2010 3:08 pm 
Offline
Grand Master
Grand Master
User avatar

Joined: Tue Aug 05, 2008 11:43 am
Posts: 251
Thanks Maurice,

I managed to solve Puzzle#1 with difficulty :scratch: . After looking at Simon's spoiler, I discovered where I made the mistake that made things difficultfor me :oops: . I don't think I'll try solving any more today.

The algebric Killer highlights that "Zero cages" and "Zero Killers" terms should be revised :cheesey: .

The wildcard "*" (Star) sounds about right so that you can use "Star cages" & "Star Killers" in both Sum cages & Algebric cages :applause: .

tarek


Top
 Profile  
Reply with quote  
 Post subject: Re: OAK
PostPosted: Wed Dec 08, 2010 6:29 pm 
Offline
Grand Master
Grand Master

Joined: Wed Apr 30, 2008 9:45 pm
Posts: 694
Location: Saudi Arabia
Simon

Apologies for my labeling oversight - see above.

I do not intend to do these with no-operator until well down the track.

Maurice


Top
 Profile  
Reply with quote  
 Post subject: Re: OAK
PostPosted: Wed Dec 08, 2010 6:43 pm 
Offline
Master
Master
User avatar

Joined: Thu Oct 07, 2010 3:21 pm
Posts: 170
Gee HATMAN to think all the way along I thought they were unknown-operator cages! :rambo:

Plus I solved #1 treating all those cages as unknown-operator!!!

Yes please include the + sign for all + cages in the future.


By the way, as a matter of fact, yours are not the very first in this genre. Motris posted a 7x7 "mystery kenken" many months ago in here.

You can also find many of his (great) kenken puzzles with this link. Note in his kenken puzzles cages without operators means unknown-operator! I thought that was the "industry standard".


I'll try to solve your #2 later, now that I know it is not as evil as I thought. ;-)


Top
 Profile  
Reply with quote  
 Post subject: Re: OAK
PostPosted: Wed Dec 08, 2010 7:26 pm 
Offline
Grand Master
Grand Master

Joined: Wed Apr 30, 2008 9:45 pm
Posts: 694
Location: Saudi Arabia
Well if Motris has been doing them they are likely to be worth pursuing so I will continue with them.

On the name, when Ken-kens first came out I found them to easy and started doing them without the operators and posted them on the players forum (and the other one) as no-operator. If you look back at Motris’s early posts on Ken-kens he comments that we were doing them this way in Europe. However if the standard has migrated to the more understandable unknown-operator I’ll go along with it.


Top
 Profile  
Reply with quote  
 Post subject: Re: OAK
PostPosted: Thu Dec 09, 2010 9:37 am 
Offline
Grand Master
Grand Master

Joined: Wed Apr 30, 2008 9:45 pm
Posts: 694
Location: Saudi Arabia
Tarek

The name was started by Mike-Japan long ago - revision is probably a good idea.
*cages (non-repeat - unknown total) this seems a reasonable usage.
Star killer is not so clear - perhaps empty killer? However star killer has a nice ring to it.

Maurice


Top
 Profile  
Reply with quote  
 Post subject: Re: OAK
PostPosted: Thu Dec 09, 2010 9:14 pm 
Offline
Master
Master
User avatar

Joined: Thu Oct 07, 2010 3:21 pm
Posts: 170
HATMAN

By "standard" I mean the practice that when you omit the operator symbols the operators can be anything, in contrast to your assumption that without symbols by default it means they are "add cages".

By all means please use any naming convention convenient to you. "No-operator" is better than "unknown-operator" because it is 5 letters shorter. Even better we can use "no-op" or "noop", even fewer letters to type.

Talking about names, motris seems to call his puzzles "TomTom" instead of "KenKen". Do you know why?


Here is a solution I found for #2. Haven't managed to prove it is the unique one yet.

My solution for OAK2:
650184
814056
105468
068541
546810
481605


Top
 Profile  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 14 posts ]  Go to page 1, 2  Next

All times are UTC


Who is online

Users browsing this forum: Bing [Bot] and 59 guests


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 post attachments in this forum

Search for:
Jump to:  
Powered by phpBB® Forum Software © phpBB Group