rongduo 发表于 2004-11-29 08:29:51

魔方表示定理

<P ><FONT size=3>约三月前,我在论坛披露有一部名为《魔方的解法与原理》的手稿,但未录入电脑。此后一直有网友催问何时能发表,有的甚至多次发短信来催促。但惭愧得很,至今我仍未完成录入任务。我只能在周末和周日来做这件事,而且录入的过程同时也是一个完善提高甚至再创作的过程,故而进展异常缓慢。但我仍然敢说,我不会使朋友们失望的。</FONT></P>
<P ><FONT size=3>现在已将这部书稿重命名为《魔方组合原理》,这一名称更符合书的内容——它其实主要是一本讲魔方组合而非开解的书。由于多次在论坛上看到人们讨论魔方的组合数而又不得要领(请恕冒犯),我终于决定先将书中与此有关的一点内容发表于论坛,算是向对我工作效率不满的网友告罪。</FONT></P>

rongduo 发表于 2004-11-29 08:31:19

<P 0pt? 0cm><FONT size=3>书中有这样一个定理:</FONT></P>
<P 0pt? 0cm><FONT size=3><I>魔方表示定理:</I><FONT face="Times New Roman">把一个正常的魔方拆散后随意组装,不管在组装过程中发生了多少组装错误,组装完成后总可以使这些错误化归为不超过三个方块的错误。

</FONT></FONT>
<P>
<P 0cm exactly? mso-line-height-rule: 5.26gd; mso-para-margin-left: .0001pt; mso-para-margin-bottom: 0cm; mso-para-margin-right: 6.0pt; mso-para-margin-top: -2.47; mso-char-indent-count: 16pt; LINE-HEIGHT: -29.65pt; TEXT-INDENT: 92.75pt; 0pt 6pt>【说明】定理中所说的化归后的错误只能是如下11类错误中的一类:

<P>
<P>
<P 0cm exactly? mso-line-height-rule: mso-para-margin-left: .0001pt; mso-para-margin-bottom: 0cm; mso-para-margin-right: 6.0pt; mso-para-margin-top: mso-char-indent-count: 16pt; LINE-HEIGHT: TEXT-INDENT: 0pt 6pt 8.07gd; .04; 0.5pt; 96.85pt;>当其它所有方块都正确时,

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(i) 一个下角块顺时针扭转;

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(ii) 一个下角块逆时针扭转;

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(iii) 一个下边块翻转;

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(iv) 两个下边块对换;

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(v) 一个下边块翻转且它同时与另一个下边块对换;

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(vi) (i)和(iii)的组合;

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(vii) (ii)和(iii)的组合;

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(viii) (i)和(iv)的组合;

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(ix) (ii)和(iv)组合;

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(x) (i)和(v)的组合;

<P>
<P>
<P 0cm mso-line-height-rule: LINE-HEIGHT: TEXT-INDENT: 0pt 6pt auto? mso-margin-bottom-alt: exactly; 12pt; 24.4pt; 62.4pt;>(xi) (ii)和(v)的组合。

<P>
<P>
<P 0pt? 0cm><FONT size=3>以上11类错误再加上正确的一类,正好对应于所谓的魔方组装的12个族。

<P></FONT>
<P>这一定理(以下简称为“表示定理”)的证明冗长且所涉面广,但定理本身的内容却很直观——熟练的玩家很容易验证它的正确性。这里我们只打算引用它来计算魔方的组合数。</P>
[此贴子已经被作者于2004-11-30 16:12:58编辑过]

rongduo 发表于 2004-11-29 08:39:33

<P 0pt? 0cm><FONT size=3>按照中学数学中的排列组合的理论与方法,易知<FONT face="Times New Roman">8</FONT>个角块在魔方上的全部可能的组合可以看成是<FONT face="Times New Roman">8</FONT>个角块的全排列,其数值为<FONT face="Times New Roman">8!</FONT>;同理<FONT face="Times New Roman">12</FONT>个边块的可能的组合数值为<FONT face="Times New Roman">12!</FONT>。<FONT face="Times New Roman">8</FONT>个角块方向的可能的组合数为<FONT face="Times New Roman">3<SUP>8</SUP></FONT>,<FONT face="Times New Roman">12</FONT>个边块方向的可能的组合数为<FONT face="Times New Roman">2<SUP>12</SUP></FONT>。这样魔方全部可能的图案组合数为:</FONT></P>
<P 0cm TEXT-INDENT: 0pt 62.4pt; 24.4pt?>8!×3<SUP><FONT size=5>8</FONT></SUP><SUP> </SUP>×12!×2<FONT size=5><SUP>12</SUP><SUB>&shy;</SUB>

</FONT>
<p>
<P 0pt? 0cm><FONT size=3>这是所有组装正确和错误的魔方图案的总数。由表示定理知道,这样的图案可分为<FONT face="Times New Roman">12</FONT>族。各族的图案数都相等——这是因为,一个组装错误的魔方与组装正确的魔方有着完全相同的物理构造和转动方式。不妨想象已知的组装错误的魔方只是对一个组装正确的魔方进行重“染色”而成的,“染色”行为显然不会改变这个魔方中方块的组合数。故而,任意一个三阶魔方(无论其组装正确与错误)的图案的总数应为:</FONT></P>
<P 0cm 0pt 62.4pt?><v:shapetype><v:stroke joinstyle="miter"></v:stroke><v:formulas><v:f eqn="if lineDrawn pixelLineWidth 0"></v:f><v:f eqn="sum @0 1 0"></v:f><v:f eqn="sum 0 0 @1"></v:f><v:f eqn="prod @2 1 2"></v:f><v:f eqn="prod @3 21600 pixelWidth"></v:f><v:f eqn="prod @3 21600 pixelHeight"></v:f><v:f eqn="sum @0 0 1"></v:f><v:f eqn="prod @6 1 2"></v:f><v:f eqn="prod @7 21600 pixelWidth"></v:f><v:f eqn="sum @8 21600 0"></v:f><v:f eqn="prod @7 21600 pixelHeight"></v:f><v:f eqn="sum @10 21600 0"></v:f></v:formulas><v:path extrusionok="f" gradientshapeok="t" connecttype="rect"></v:path><LOCK v:ext="edit" aspectratio="t"></LOCK></v:shapetype><v:shape><v:imagedata><FONT size=3></FONT></v:imagedata></v:shape><FONT face="Times New Roman" size=5></P>
<P 0cm TEXT-INDENT: 0pt 62.4pt; 24.4pt?>8!×3<SUP><FONT size=5>8</FONT></SUP><SUP> </SUP>×12!×2<FONT size=5><SUP>12</SUP><SUB>&shy;<FONT size=7>/</FONT><FONT size=6>12</FONT></SUB></FONT></P>
<P 0cm 0pt 62.4pt?></FONT><FONT size=5>≈<FONT face="Times New Roman"> </FONT></FONT>4.3 × 10<SUP><FONT size=5>19</FONT></SUP>
<p>
<p>
[此贴子已经被作者于2004-11-29 9:10:37编辑过]

cube_master 发表于 2004-11-29 10:10:58

期待中......

loy 发表于 2004-12-1 19:02:30

<P><FONT face=宋体 size=4>一个魔方拼成一种图案后放在桌子上,然后改变魔方与桌子的接触面,这是不是算有六种不同的图案呢?按照上面的理论是应该算的吧,但实际这只是同一种图案.所以应该再除以6啊!~</FONT></P>

rongduo 发表于 2004-12-6 10:17:06

<P ><FONT size=3><FONT face="Times New Roman">loy</FONT>网友:您所想的问题,属于魔方在现实空间的方向问题。但我们的讨论不涉及于此。</FONT></P>譬如方块位置的确定是以魔方的有关中心块为参照系,而不是看它在生活中的三维空间中的位置。同样,边块是否发生翻转,也只是以这边块所在的魔方的两个平面的中心块为参照系;角块的扭转,只是以这个角块的所涉的魔方的三个平面的中心块为参照系。既然在论证中未考虑生活中三维空间的六个向度,也就没有必要去除以6了。

rongduo 发表于 2004-12-6 10:19:25

<P ><FONT size=3>其实,现实中三维空间的方向有无数个,比如,我们可以先让魔方的一个顶点接触桌面,后让某一条棱接触桌面等等——这样的摆放将是无限的,又岂止<FONT face="Times New Roman">6</FONT>个方向!但这无限个摆放显然与魔方方块的组合数无关。一间房子在白天其方向是确定的,到了午夜我们并不会说它的方向因地球的自转而发生了变化。因为,我们不是站在地球外来看它的方向的。房子的方向仅仅由地球决定,而与太阳无关。</FONT><p></p></P>

loy 发表于 2004-12-6 18:11:08

<P><FONT color=#00ccff size=4>rongduo网友,你说以中心块为参照系我就想通了,之前我没有考虑中心块的颜色问题,也就是把所以中心块都看成一样的了,所以结果就是正解的六分之一了.</FONT></P><P></P>

pengw 发表于 2005-1-7 23:52:59

<DIV class=quote><B>以下是引用<I>rongduo</I>在2004-11-29 8:31:19的发言:</B>
<P 0cm 0pt?><FONT size=3>书中有这样一个定理:</FONT></P>
<P 0cm 0pt?><FONT size=3><I>魔方表示定理:</I><FONT face="Times New Roman">把一个正常的魔方拆散后随意组装,不管在组装过程中发生了多少组装错误,组装完成后总可以使这些错误化归为不超过三个方块的错误。

</FONT></FONT>
<P>
<P 0cm 6pt 0pt 92.75pt; TEXT-INDENT: -29.65pt; LINE-HEIGHT: 16pt; mso-char-indent-count: -2.47; mso-para-margin-top: 6.0pt; mso-para-margin-right: 0cm; mso-para-margin-bottom: .0001pt; mso-para-margin-left: 5.26gd; mso-line-height-rule: exactly?>【说明】定理中所说的化归后的错误只能是如下11类错误中的一类:



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: 16pt; mso-char-indent-count: mso-para-margin-top: 6.0pt; mso-para-margin-right: 0cm; mso-para-margin-bottom: .0001pt; mso-para-margin-left: mso-line-height-rule: exactly? 96.85pt; 0.5pt; .04; 8.07gd;>当其它所有方块都正确时,



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(i) 一个下角块顺时针扭转;



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(ii) 一个下角块逆时针扭转;



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(iii) 一个下边块翻转;



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(iv) 两个下边块对换;



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(v) 一个下边块翻转且它同时与另一个下边块对换;



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(vi) (i)和(iii)的组合;



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(vii) (ii)和(iii)的组合;



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(viii) (i)和(iv)的组合;



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(ix) (ii)和(iv)组合;



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(x) (i)和(v)的组合;



<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(xi) (ii)和(v)的组合。



<P>
<P>
<P 0cm 0pt?><FONT size=3>以上11类错误再加上正确的一类,正好对应于所谓的魔方组装的12个族。



<P></FONT>
<P>这一定理(以下简称为“表示定理”)的证明冗长且所涉面广,但定理本身的内容却很直观——熟练的玩家很容易验证它的正确性。这里我们只打算引用它来计算魔方的组合数。</P></DIV><FONT style="BACKGROUND-COLOR: #f3f3f3">此说法未包含中心块的未复位的情况,如一个貌似复原的魔方,可能有一个中心错转90度,还有中心块错误与其它几项错误的组合,因此错误涉及块最大数限制在一个角块方向错误,二个棱块互换及方向错误,一个中心块方向错误,特此更正</FONT>
[此贴子已经被作者于2005-1-8 0:08:40编辑过]

pengw 发表于 2005-1-12 15:09:51

魔方表示定理

<DIV class=quote><B>以下是引用<I>rongduo</I>在2004-11-29 8:31:19的发言:</B>

<P 0cm 0pt?><FONT size=3>书中有这样一个定理:</FONT></P>
<P 0cm 0pt?><FONT size=3><I>魔方表示定理:</I><FONT face="Times New Roman">把一个正常的魔方拆散后随意组装,不管在组装过程中发生了多少组装错误,组装完成后总可以使这些错误化归为不超过三个方块的错误。

</FONT></FONT>
<P>
<P 0cm 6pt 0pt 92.75pt; TEXT-INDENT: -29.65pt; LINE-HEIGHT: 16pt; mso-char-indent-count: -2.47; mso-para-margin-top: 6.0pt; mso-para-margin-right: 0cm; mso-para-margin-bottom: .0001pt; mso-para-margin-left: 5.26gd; mso-line-height-rule: exactly?>【说明】定理中所说的化归后的错误只能是如下11类错误中的一类:


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: 16pt; mso-char-indent-count: mso-para-margin-top: 6.0pt; mso-para-margin-right: 0cm; mso-para-margin-bottom: .0001pt; mso-para-margin-left: mso-line-height-rule: exactly? 96.85pt; 0.5pt; .04; 8.07gd;>当其它所有方块都正确时,


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(i) 一个下角块顺时针扭转;


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(ii) 一个下角块逆时针扭转;


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(iii) 一个下边块翻转;


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(iv) 两个下边块对换;


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(v) 一个下边块翻转且它同时与另一个下边块对换;


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(vi) (i)和(iii)的组合;


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(vii) (ii)和(iii)的组合;


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(viii) (i)和(iv)的组合;


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(ix) (ii)和(iv)组合;


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(x) (i)和(v)的组合;


<P>
<P>
<P 0cm 6pt 0pt TEXT-INDENT: LINE-HEIGHT: mso-line-height-rule: 62.4pt; 24.4pt; 12pt; exactly; mso-margin-bottom-alt: auto?>(xi) (ii)和(v)的组合。


<P>
<P>
<P 0cm 0pt?><FONT size=3>以上11类错误再加上正确的一类,正好对应于所谓的魔方组装的12个族。


<P></FONT>
<P>这一定理(以下简称为“表示定理”)的证明冗长且所涉面广,但定理本身的内容却很直观——熟练的玩家很容易验证它的正确性。这里我们只打算引用它来计算魔方的组合数。</P>
</DIV>
<P>以上内容未考虑中心块问题,不全对.同时错装问题,可用已发表的P3定理轻易发现</P>
页: [1] 2
查看完整版本: 魔方表示定理