You are viewing motris

 
 
05 March 2009 @ 12:03 am
Where's The Beef?  
Difficulty: Harder 7x7



A lot of people in the puzzle community are currently having a negative reaction to KenKen because of the excessive hype from St. Martin's and the NYT. I understood KenKen appearing at the US Sudoku Championship as another logic puzzle to market there, but it felt much more forced when it was a large component of the extra program at the ACPT this year, a likely cause for some puzzle bloggers to state they had mean things to say about the puzzle. I can understand some of that disgust, but that is not why I dislike KenKen.

The one time I managed to attend the ACPT was when Wayne Gould was the honored guest and the focus of Friday night was sudoku, a "non-crossword" puzzle that was garnering a negative reaction from some in the word puzzle community as it loomed as another puzzle that might diminish the great crossword, when in reality it could not and will not. I could ignore the knee-jerk reaction then because I'd come to respect sudoku as a very elegant and addicting puzzle which deserved the success it received after Japanese constructors improved Number Place from a good idea without polish to a superb puzzle (yes, most domestic sources of sudoku are incredibly poor, but I digress). Hearing a similar reaction to KenKen at a similar time post-ACPT is not unexpected from a crowd where the feelings for KenKen will most likely range from, at best, apathy to disappointment or disgust.

My beef with KenKen starts elsewhere, specifically with never seeing a correct mathematical description of the puzzle from the company selling the puzzle around the world. It was created to teach elementary school Japanese students the basics of mathematics without feeling like arithmetic or times tables. This is a valid goal, and I am maybe most interested right now, if I were to choose a career in puzzles, in focusing on using puzzle designs to teach math and science concepts. The problem is that the math is never well described or used for two of the operations, namely subtraction and division.

From one of Will's books: "Cages with more than two squares will always involve addition or multiplication. Subtraction and division occur only in cases with two cells." Why must this be?

Wikipedia says this: "In the English-language KenKen books of Will Shortz, the issue of the non-associativity of division and subtraction is addressed by restricting clues based on either of those operations to cages of only two cells." I got a similar blog comment yesterday mentioning the problem with associativity at play here. This seems to be the company line and people are eating it up. However, there is nothing truly associative [ a + (b+c) = (a+b) + c] at play in KenKen. I'm sorry. There isn't. The cells aren't always naturally ordered, and parentheses can't really exist in a KenKen universe as is. People tend to solve in running tallies anyway so the first time they ID a thing, it becomes the "a" in their equation and whatever they find next is the "b". As long as a + b and b + a are the same, it doesn't matter what order people find/assign things.

The problem with KenKen and operations comes exclusively in the non-commutativity of subtraction and division. Here, the puzzle "cheats" with division and subtraction and never formally says it. a-b is not equal to b-a, but you choose a>b so a-b is positive and matches the value. Incorporating this identification of a maximum cell into the rules, the correct mathematical description of the puzzle should be this:

Fill in an n x n grid of cells such that the digits 1 to n appear once in each row and column. In the bold regions of size j and value v, the cells x1, x2, ..., xj with x1 = max(x1,x2,...,xj) can have a binary operation $ (from the set {+,-,/,x}) applied such that, evaluating from left to right, x1$x2$...$xj = v.

The puzzle is now defined without any inelegance, and in a subtle way where I don't need to separate out subtraction and division and certainly don't limit them to two-cell regions. Once the "largest element" is identified, to make - or / work for any sized region, the remaining $xi operations are commutative (and associative) regardless of the order of xi's for both subtraction and division as they've become the addition of negative numbers and the multiplication of divisors respectively. I'm tired of being told by the creators of KenKen that subtraction and division only go into two cells, and when asked for an explanation, being told associativity limits them. This is not the case.

What does the new rule definition mean puzzle-wise? As is, if I saw two cells with 4 and 2, I could figure out it was valid for 2- because 4>2 and 4-2 = 2. Well, if I have four cells with 5,1,2,1 and a value 1-, I can also figure out that is valid in the same way for 5-1-2-1 (or any other arrangement with 5 first). I don't have to write a puzzle where I say "Subtraction and division occur only in cases with two cells" when that makes no sense as a "necessary" constraint. If removing the identification of the operator is the be-all end-all of KenKen difficulty, I can now have a puzzle where an encountered logical step is never "well, its three cells, so it must be either + or x".

So, that's a real inelegance in KenKen that I've never ever ever ever been happy about where I've seen it presented. I don't have the original Japanese books so I can only comment on the Times (of London and New York) and how they've handled it, but the arbitrary two-cell limitation is everywhere I've looked. The rule on - or / is not specifically given at KenKen.com, the place where NexToy highlights their trademarked puzzle name, but I've never seen a three-cell handling of the operation in either place because I doubt the "Kenerator" can handle it.

[Djape.net and potentially others are ahead of the curve here, but that's not the "highly commercial" form of the puzzle. They also do not use the name KenKen for trademark reasons, so djape having the correct rule-set as I propose here does not fix the problem on the crowded bookshelves.]

So, while there is plenty of room to complain about the hype surrounding the puzzle and also room for some envy of not being able to saturate the market with good logic puzzle books because shelf space is being given to crummy logic puzzle books based on the Shortz brandname (do we really need KenKen books "by the seaside" and "for the coffee break" already?), the incredible inelegance of the math in a puzzle that is supposed to be teaching math has always bothered me. Coupled with the computer-generation that leads to bland, uninteresting puzzles, and you get in my opinion the exact opposite of what the "next sudoku" should look like.

As I'm showing this week, there is some depth available to the puzzle for theming and interesting logic. If you stop compromising 2 of the 4 basic operations, you can have a much more elegant and challenging puzzle. The example above, a union jack for all the beef-eaters out there dealing with my dislike of KenKen this week, has no 2-cell regions, but has all 4 operators used. Before now, you might have thought that impossible, at least if you were only getting your KenKen from the official provider of them.

(PS: For those that find it ironic that a person who could post a puzzle yesterday where he could neither correctly multiply 3^6*5^5 nor correctly orient a division symbol (/) dislikes KenKen because of problems with its mathematical formalism, my defense is that the people I know that care the most about mathematical things are probably the worst at arithmetic. In my many years at Caltech playing Scrabble, I never let the mathematicians tally word scores.)
 
 
( Read 46 comments )
motrismotris on March 6th, 2009 05:48 am (UTC)
Is that observation a jrivet original? Its both cute and apt, given my recent problems.
(Frozen)(Parent) (Thread) (Link)
jrivet on March 6th, 2009 06:27 pm (UTC)
I'm sure other great minds have come up with the same thing independently.
(Frozen)(Parent) (Thread) (Link)