From mreid@ptc.com Wed Jan 18 10:39:55 1995
Return-Path:
Received: from ptc.com (poster.ptc.com) by life.ai.mit.edu (4.1/AI-4.10) for /com/archive/cube-lovers id AA22619; Wed, 18 Jan 95 10:39:55 EST
Received: from ducie.ptc.com by ptc.com (5.0/SMI-SVR4-NN)
id AA07119; Wed, 18 Jan 95 10:38:31 EST
Received: by ducie.ptc.com (1.38.193.4/sendmail.28-May-87)
id AA00837; Wed, 18 Jan 1995 10:51:39 -0500
Date: Wed, 18 Jan 1995 10:51:39 -0500
From: mreid@ptc.com (michael reid)
Message-Id: <9501181551.AA00837@ducie.ptc.com>
To: cube-lovers@ai.mit.edu
Subject: searching for superflip in quarter turn metric
Content-Length: 3083
here's my approach to searching for superflip in the quarter turn metric.
i gave a maneuver of length 24q for superflip on january 10. suppose
there is a maneuver of length 22q (or shorter). consider three cases:
case 1. there is a minimal maneuver which contains a half-turn.
case 2. no minimal maneuver contains a half-turn, but there is a
minimal maneuver which contains consecutive turns of
opposite faces.
case 3. neither case 1 nor case 2 hold.
in case 1, we may find a minimal sequence of the form
sequence_1 sequence_2,
where sequence_2 is at least 3q long. as in the face turn metric,
we may also suppose that sequence_1 starts with one of
R1 F1, R1 F2, R1 F3, R1 U1, R1 U2, R1 U3,
R1 L1 U1, R1 L1 U2, R1 L1 U3, R1 L1 F1, R1 L1 F2,
R1 L1 F3, R1 L3 U1, R1 L3 U2, R1 L3 F1, R1 L3 F2.
furthermore, the case starting with R1 F2 may be included in the
case starting with R1 F1, and similarly for other cases. thus we
may suppose that sequence_1 starts with one of
R1 F1, R1 F3, R1 U1, R1 U3,
R1 L1 U1, R1 L1 U3, R1 L1 F1, R1 L1 F3,
R1 L3 U1, R1 L3 F1.
in case 2, we may find a minimal sequence of the form
sequence_1 sequence_2,
where sequence_2 is at least 2q long. as in case 1, we may suppose
that sequence_1 starts with one of the ten sequences above.
in case 3, the best we can do is 1q in stage 2. however, i claim
that we can find three consecutive turns of mutual adjacent faces.
otherwise, we'd have a maneuver for superflip using only the four faces
F, R, B, L, (for example) which is ridiculous, because edges can't
change orientation using only these turns.
therefore, we may suppose that a minimal sequence starts with three
consecutive turns of mutual adjacent faces. up to symmetry, there
are eight cases for these turns:
U1 R1 F1, U1 R1 F3, U3 R1 F1, U3 R1 F3,
D1 R1 F1, D1 R1 F3, D3 R1 F1, D3 R1 F3.
replace U1 R1 F1 sequence by R1 F1 sequence U1 , and
similarly for the other seven cases. thus we have a minimal
maneuver in the form sequence_1 sequence_2 , where sequence_2
is 1q long and sequence_1 starts with either R1 F1 or R1 F3.
combining all the above cases, a maneuver for superflip in 22q or less
(assuming one exists) may be found in one of the forms:
R1 L1 U1 sequence_1 sequence_2,
R1 L1 U3 sequence_1 sequence_2,
R1 L1 F1 sequence_1 sequence_2,
R1 L1 F3 sequence_1 sequence_2,
R1 L3 U1 sequence_1 sequence_2,
R1 L3 F1 sequence_1 sequence_2,
where sequence_1 is at most 17q long,
R1 U1 sequence_1 sequence_2,
R1 U3 sequence_1 sequence_2,
where sequence_1 is at most 18q long,
R1 F1 sequence_1 sequence_2,
R1 F3 sequence_1 sequence_2,
where sequence_1 is at most 19q long.
i don't know how feasible this is (but it sure looks formidable).
to get some idea, first i'll test for 20q or less.
mike