Drive ya Nuts
November 25th, 2010
Last time I was home I found my old "Drive Ya Nuts" puzzle. I don't remember ever solving it. Here it is, unsolved, in all its frustrating glory.
This Thanksgiving I'm on a long overnight in Nashville, TN so I wrote a prolog program to end this once and for all. New puzzles come solved in the retail box but there is no good reason to believe that this is the only solution.
use_module(library(lists)).
% Nuts.
nut(t, 1, 2, 3, 4, 5, 6).
nut(u, 1, 2, 5, 6, 3, 4).
nut(v, 1, 3, 5, 2, 4, 6).
nut(w, 1, 3, 5, 4, 2, 6).
nut(x, 1, 4, 2, 3, 5, 6).
nut(y, 1, 5, 3, 2, 6, 4).
nut(z, 1, 6, 5, 4, 3, 2).
% Rotation successors.
succ(r0, r1).
succ(r1, r2).
succ(r2, r3).
succ(r3, r4).
succ(r4, r5).
% A nut is zero rotated if marks match
% a nut definition.
rotate(r0, nut(Name,A,B,C,D,E,F)) :-
nut(Name,A,B,C,D,E,F).
% A nut is rotated R if there is a
% sequence of preceding rotations.
rotate(R, nut(Name,A,B,C,D,E,F)) :-
succ(PrevR, R),
rotate(PrevR, nut(Name,F,A,B,C,D,E)).
% Solution for the seven (*) pegs.
% Letter variables are matching edges.
% * I *
% J H
% C B
% * D * A *
% E F
% K G
% * L *
% Nuts are marked CCW starting from the
% right edge.
solution(Center, Right, TopRight, TopLeft, Left, BottomLeft, BottomRight) :-
Center = nut(N1, A,B,C,D,E,F),
Right = nut(N2, _,_,H,A,G,_),
TopRight = nut(N3, _,_,_,I,B,H),
TopLeft = nut(N4, I,_,_,_,J,C),
Left = nut(N5, D,J,_,_,_,K),
BottomLeft = nut(N6, L,E,K,_,_,_),
BottomRight = nut(N7, _,G,F,L,_,_),
rotate(r0, Center),
rotate(_, Right),
rotate(_, TopRight),
rotate(_, TopLeft),
rotate(_, Left),
rotate(_, BottomLeft),
rotate(_, BottomRight),
permutation([t,u,v,w,x,y,z], [N1,N2,N3,N4,N5,N6,N7]).
?- [drive_ya_nuts].
% drive_ya_nuts compiled 0.00 sec, -48 bytes
true.
?- solution(A,B,C,D,E,F,G).
A = nut(w, 1, 3, 5, 4, 2, 6),
B = nut(y, 2, 6, 4, 1, 5, 3),
C = nut(t, 5, 6, 1, 2, 3, 4),
D = nut(v, 2, 4, 6, 1, 3, 5),
E = nut(z, 4, 3, 2, 1, 6, 5),
F = nut(u, 1, 2, 5, 6, 3, 4),
G = nut(x, 3, 5, 6, 1, 4, 2) ;
false.
?-
Yup, only one solution. I bought this puzzle used at a garage sale around 1990 so it hasn't been arranged for at least 20 years. I'd love to get some insight that makes the computer unnecessary but this is good enough for now. Happy Thanksgiving!
on October 13th, 2011 at 04:11 AM
Really like your blog,thanks for sharing it with us.And I also llike 49ers jerseys.Despite your Super Bowl has ended, the Seattle Seahawks Jerseys article off calendar year auction can completely however accelerate your admirers and aswell accompany beatitude that will them. As we could see that you will discover multitudes of NFL jerseys of Reebok during the industry. The NFL will admission a 10-12 months absolute authorization to Reebok alpha during the 2002 NFL division to accomplish and promote NFL accountant merchandise, together with jerseys, amusement apparel, cossack and an NFL-branded accoutrement line. The acceding aswell offers Reebok absolute rights to advance a fresh band of NFL exercising devices. The 49ers jerseys aswell has the edge to entry an disinterestedness situation during the new small business.
on October 20th, 2011 at 04:46 AM
Really like your blog,thanks for sharing it with us.And I also like beats by dr dre. Monster hammers headphones is so accustomed in accompany offworld,beats by dr dre, it truly is abreast at audio followers for audio fanatics, what is more, it is acclimatized devising to buck your admired audio with antic accurateness and acclimatized audio. Get an accessory with the photo, you appetite applause it,beats by dr dre studio, having an ambrosial bloom training course,monster beats flat the Monster Beats abandoned has afflicted a allocation in the boyish ladies. The acceding a affiliate of Monster, Lady Gaga, and red-colored was show up afore these days.The Monster Beats Solo Acclimatized Version essentially appears absolute apparent, and is also no which the adapt individuality that youngster peoples ambition?
on October 24th, 2011 at 04:16 AM
Really like your blog,thanks for sharing it with us.And I also like beats by dr dre.They accept the abeyant to get a true activating beats by dr dre headphones determined by what EQ ambience you are application on your iPod or MP3 player, but all-embracing are true affectionate in their activating reproduction in the recording. In added words, they do not accord you a apocryphal faculty of bass, midrange or treble. If alike properly, the bass is abysmal and capable just after drowning out the blow with the sound, the midrange is harmonic along with the acute is vibrant and concise. They finish abundant with all kinds of new music activated which includes: classical, rock, hip hop, jazz, blues,nation, simple notify and aggregate in in between. They appear with additional than a dozen altered ear ideas in altered sizes and abstracts including the Monster Beats Lady GaGa Heart Beats Evaluation, which might be abundantly enough and I can take for hrs soon after fatigue.
on October 28th, 2011 at 04:13 AM
Really like your blog,thanks for sharing it with us.And I also like beats by dr dre.Individuals you should not accept to anniversary with the audio. Artists as able-bodied as makers plan tougher from the flat allowance arrive his / her audio. Even so, it may not in fact apprehend the large conquer permitted beats by dr dre. Nearly all earbuds won’t be able to cope with the bass, abyss forth with electrical electricity. Tha acrid fact, the audio won’t advance you. Whilst software conquer, women and men spend absorption to shell out absorption into the performers, tune in to new music how they must: the best way during which I the truth is do. Admirable total superior software the actualization of precisely what is termed Massive Monster earbuds. You could biking to a admirable audio central audition headsets DRE. You’ll be take apprenticed that it’s admirable superior of audio. We’re able to accommodate you want the suitable Monster headphone . What’s 100% correct superior make certain, now space you can purchase, you might end up delighted!monster bound egold.
on August 14th, 2012 at 01:55 AM
hi