求进入G3的充分条件

aubell

在G2魔方已经呈现下列状态：
1.棱角方向已好
2.E环的棱已经回到E环

G3是G2的一个子集，
这两个自然是要进入G4的必要条件。

一旦进入G3以后，就会呈现如下状态：
3.对面只包含对面的颜色
4.整个魔方没有Parity
5.M环的棱回到了M环
6.角块每面每种颜色都是偶数

这些应该也是必要条件。
但哪些条件组合起来是最小的充分条件呢？
或者需要其它什么条件？

[ 本帖最后由 aubell 于 2011-2-13 17:12 编辑 ]

aubell

stage1 G0->G1
stage2 G1->G2
Stage3 G2->G3
stage4 G3->G4=I
咦？真的写错了。
是求进入G3的充分条件,已订正。

[ 本帖最后由 aubell 于 2011-2-13 17:12 编辑 ]

aubell

原帖由 yq_118 于 2011-2-13 20:06 发表
"进入G3的充分条件"
还原了就一定进入G3了。

咦？逻辑怎么推导？该如何表达呢？
其实是想要一个“充分必要”条件。