潜水数月复出，特发新作公式最少步数定律

brainyuan

仅为实验总结，尚无证明。
公式调整相同数量的块到相同的位置和相同的色相，不考虑其它非目的性块状态，则公式涉及旋转面越少，包含180°旋转越多，长度越短。
该理论可广泛用于魔方又少又快还原的研究。

新补充：意思就是说，如果你得到一个状态的两种公式，其中一个步数多，但涉及旋转面少，就表明这条长的公式未优化到最简状态。

[ 本帖最后由 brainyuan 于 2009-9-19 08:24 编辑 ]

raka

  路过，等待楼主的更新。

versionxp

用CE解    B2D'BU2B'DBU2B      这个公式得：
Using D-Face accelerator table.
computation started...
Searching depth 7
Searching depth 8
Searching depth 9
B' U2 B' D' B U2 B' D B2  (9f*)
Searching depth 10
F2 B D2 B' U' B D2 B' U F2  (10f)
F' D R2 D' L2 D R2 D' L2 F  (10f)
F' L2 B' R' B L2 B' R F B  (10f)
B' L D2 L' U2 L D2 L' U2 B  (10f)
Searching depth 11
U R' U2 R' D' R U2 R' D R2 U'  (11f)
U2 F' U2 F' D' F U2 F' D F2 U2  (11f)
U' L' U2 L' D' L U2 L' D L2 U  (11f)
R F2 D' F' U2 F D F' U2 F' R'  (11f)
R2 B' U2 B' D B U2 B' D' B2 R2  (11f)
R' F2 D F' U2 F D' F' U2 F' R  (11f)
F R' F R' B2 R F' R' B2 R2 F'  (11f)
F B2 R2 B' L' B R2 B' L F' B'  (11f)
F2 U2 R' D' R U' R' D R U' F2  (11f)
F2 U' L D' L' U' L D L' U2 F2  (11f)
F' L' F R' F' L2 F R F' L' F  (11f)
D B' U2 B' D' B U2 B' D B2 D'  (11f)
D2 B' U2 B' D' B U2 B' D B2 D2  (11f)
D' B' U2 B' D' B U2 B' D B2 D  (11f)
L D2 B' D' F2 D B D' F2 D' L'  (11f)
L2 F' D2 F' U F D2 F' U' F2 L2  (11f)
L' U2 F U' B2 U F' U' B2 U' L  (11f)
B U' F U' B2 U F' U' B2 U2 B'  (11f)
B2 D2 L' U' L D' L' U L D' B2  (11f)
B2 D' R U' R' D' R U R' D2 B2  (11f)
B' U' F D' F' U2 F D F' U' B  (11f)
B' R B2 R' U2 B2 L' B2 L U2 B'  (11f)
B' L U2 L' U2 B2 R' U2 R U2 B'  (11f)
Searching depth 12
U R L2 D2 R' U' R D2 R' U L2 U'  (12f)
U R' B D2 B' U2 B D2 B' U2 R U'  (12f)
U L' D F2 D' B2 D F2 D' B2 L U'  (12f)
U L' B2 R' F' R B2 R' F R L U'  (12f)
U2 F B2 D2 F' U' F D2 F' U B2 U2  (12f)
U2 F' R D2 R' U2 R D2 R' U2 F U2  (12f)
U2 B' R2 F' L' F R2 F' L F B U2  (12f)
U2 B' D L2 D' R2 D L2 D' R2 B U2  (12f)
U' R2 L D2 L' U' L D2 L' U R2 U  (12f)
U' R' F2 L' B' L F2 L' B R L U  (12f)
U' R' D B2 D' F2 D B2 D' F2 R U  (12f)
U' L' F D2 F' U2 F D2 F' U2 L U  (12f)
R F B R' F' L2 F R F' L2 B' R'  (12f)
R F2 R' U R D R' U' R D' F2 R'  (12f)
R F' L2 U R' U' L2 U R U' F R'  (12f)
R B2 U' F' D2 F U F' D2 F B2 R'  (12f)
R B2 L' D L U L' D' L U' B2 R'  (12f)
R B' U2 R D' R' U2 R D R' B R'  (12f)
R2 F R' D R U2 R' D' R U2 F' R2  (12f)
R2 F2 U' L D' L' U L D L' F2 R2  (12f)
R2 F2 B D2 B' U B D2 B' U' F2 R2  (12f)
R2 F' L2 F' U F L2 F R2 B2 D B2  (12f)
R2 F' L2 B' R B L2 B' R' F B R2  (12f)
R2 B U' R U L2 U' R' U L2 B' R2  (12f)
R2 B2 D' R U' R' D R U R' B2 R2  (12f)
R' F U2 L' D2 L U2 L' D2 L F' R  (12f)
R' F B R F' L2 F R' F' L2 B' R  (12f)
R' B L2 D' R2 D L2 D' R2 D B' R  (12f)
R' B2 U F' D2 F U' F' D2 F B2 R  (12f)
F R L2 B R' F2 R B' R' F2 L2 F'  (12f)
F R2 B2 U' F2 U B2 U' F2 U R2 F'  (12f)
F L2 F2 D' B2 D F2 D' B2 D L2 F'  (12f)
F L' U R' D2 R U' R' D2 R L F'  (12f)
F B2 U R2 U' R2 B2 D' R2 D R2 F'  (12f)
F B2 U L2 U' R2 U L2 U' R2 F' B2  (12f)
F B2 D B2 D' R2 B2 U' B2 U R2 F'  (12f)
F2 U R B R' F' R B' R' F U' F2  (12f)
F2 U D B' D' B U' B' D B D' F2  (12f)
F2 U D2 R D' R' U' R D R' D2 F2  (12f)
F2 U D' R D2 R' U' R D2 R' D F2  (12f)
F2 R2 B U' F2 U B' U' F2 U R2 F2  (12f)
F2 D B L B' R' B L' B' R D' F2  (12f)
F2 D2 L' D' L U' L' D L U D2 F2  (12f)
F2 D' B D' B' U' B D B' U D F2  (12f)
F2 L2 F D' B2 D F' D' B2 D L2 F2  (12f)
F2 B R U2 R' D2 R U2 R' D2 F2 B'  (12f)
F' U R B R' F2 R B' R' F2 U' F  (12f)
F' U R2 F2 D R2 D' R2 F2 U' R2 F  (12f)
F' U F2 D' B2 D F2 D' B2 U' D F  (12f)
F' U B2 U' L2 B2 D' B2 D L2 F B2  (12f)
F' U2 D' L2 D' R2 U2 D' R2 D' L2 F  (12f)
F' R L2 U R' U' L2 U R U' R' F  (12f)
F' R2 F' R' F L2 F' R F R2 L2 F  (12f)
F' R2 L2 U R2 U' L2 U R2 U' R2 F  (12f)
F' R' D R' D' L2 D R D' R L2 F  (12f)
F' D R2 U2 D R2 D L2 U2 D L2 F  (12f)
F' D L2 D' L2 B2 U' L2 U L2 F B2  (12f)
F' D B L B' R2 B L' B' R2 D' F  (12f)
F' D B2 R2 U R2 U' B2 R2 D' R2 F  (12f)
F' L2 U' B U B' L2 B U' B' U F  (12f)
F' L2 F' U' F L2 F R2 B2 D' B2 R2  (12f)
D F2 B D2 B' U' B D2 B' U F2 D'  (12f)
D F' D R2 D' L2 D R2 D' L2 F D'  (12f)
D F' L2 B' R' B L2 B' R F B D'  (12f)
D B' L D2 L' U2 L D2 L' U2 B D'  (12f)
D2 F2 B D2 B' U' B D2 B' U F2 D2  (12f)
D2 F' D R2 D' L2 D R2 D' L2 F D2  (12f)
D2 F' L2 B' R' B L2 B' R F B D2  (12f)
D2 B' L D2 L' U2 L D2 L' U2 B D2  (12f)
D' F2 B D2 B' U' B D2 B' U F2 D  (12f)
D' F' D R2 D' L2 D R2 D' L2 F D  (12f)
D' F' L2 B' R' B L2 B' R F B D  (12f)
D' B' L D2 L' U2 L D2 L' U2 B D  (12f)
L U D R' D' L2 D R D' L2 U' L'  (12f)
L U2 F' D' B2 D F D' B2 U2 D L'  (12f)
L U2 L' B L F L' B' L F' U2 L'  (12f)
L U' F2 R B' R' F2 R B R' U L'  (12f)
L F R U2 R' F2 L2 B L' F L2 B'  (12f)
L D2 R' F R B R' F' R B' D2 L'  (12f)
L D' L2 F R' F' L2 F R F' D L'  (12f)
L2 F D' R D L2 D' R' D L2 F' L2  (12f)
L2 F B2 U2 F' D F U2 F' D' B2 L2  (12f)
L2 F2 U' R D' R' U R D R' F2 L2  (12f)
L2 B R' U R D2 R' U' R D2 B' L2  (12f)
L2 B2 D' L U' L' D L U L' B2 L2  (12f)
L2 B' L2 F' R F L2 F' R' F B L2  (12f)
L' U D R U' L2 U R' U' L2 D' L  (12f)
L' U B2 L' F2 L B2 L' F2 L U' L  (12f)
L' D L2 F' R2 F L2 F' R2 F D' L  (12f)
L' D2 B U' F2 U B' U' F2 U D2 L  (12f)
B U D2 B U' F2 U B' U' F2 D2 B'  (12f)
B U2 B2 L' F2 L B2 L' F2 L U2 B'  (12f)
B D2 F2 R' B2 R F2 R' B2 R D2 B'  (12f)
B D' L U' R2 U L' U' R2 U D B'  (12f)
B L B2 D2 B2 L' B' L B' D2 B L'  (12f)
B L2 F' L B R D2 R' B2 L2 F L'  (12f)
B2 U D B' U' B D' B' U B U' B2  (12f)
B2 U B R B' L' B R' B' L U' B2  (12f)
B2 U2 R' U' R D' R' U R U2 D B2  (12f)
B2 U2 D L U' L' D' L U L' U2 B2  (12f)
B2 U' D L U2 L' D' L U2 L' U B2  (12f)
B2 U' B U' B' D' B U B' U D B2  (12f)
B2 R2 F U' B2 U F' U' B2 U R2 B2  (12f)
B2 D L B L' F' L B' L' F D' B2  (12f)
B2 L2 B D' F2 D B' D' F2 D L2 B2  (12f)
B' U2 R' B R B' U2 B R' B' R B  (12f)
B' U2 D R D' R' U2 R D R' D' B  (12f)
B' U2 D2 R D2 R' U2 R D2 R' D2 B  (12f)
B' U2 B' D2 F2 B2 U B D2 B' U F2  (12f)
B' R F2 L' B2 L F2 L' B2 R' L B  (12f)
B' R D B D' F2 D B' D' F2 R' B  (12f)
B' R D2 F2 L D2 L' D2 F2 R' D2 B  (12f)
B' R2 L' U2 L' D2 R2 L' D2 L' U2 B  (12f)
B' D2 F' D' F U2 F' D F U2 D2 B  (12f)
B' D' L D' L' U2 L D L' U2 D B  (12f)
B' L D2 R2 L D2 L U2 R2 L U2 B  (12f)
B' L B U B' D2 B U' B' D2 L' B  (12f)
B' L B2 D2 R D2 R' B2 D2 L' D2 B  (12f)
Searching depth 13
U R U' L U' R2 U L' U' R2 U2 R' U'  (13f)
U R2 D2 B' U' B D' B' U B D' R2 U'  (13f)
U R2 D' F U' F' D' F U F' D2 R2 U'  (13f)
U R2 L F2 R' B' R F2 R' B R' L' U'  (13f)
computation stopped.



有的涉及的180度转动多，在旋转面数相同的情况下却不是最短。。。
我认为楼主表达的不够准确。。。

[ 本帖最后由 versionxp 于 2010-7-10 21:32 编辑 ]