c2||r3.c2||r4.c2||r5.c2||r6.c2
||r1.c1||r2.c1||r3.c1||r4.c1||r5.c1||r6.c1
s6,
r6.c1||r5.c1||r4.c1||r3.c1||r2.c1||r1.c1
||r6.c2||r5.c2||r4.c2||r3.c2||r2.c2||r1.c2
||r6.c3||r5.c3||r4.c3||r3.c3||r2.c3||r1.c3
||r6.c4||r5.c4||r4.c4||r3.c4||r2.c4||r1.c4
||r6.c5||r5.c5||r4.c5||r3.c5||r2.c5||r1.c5
||r6.c6||r5.c6||r4.c6||r3.c6||r2.c6||r1.c6
s7,
r6.c6||r5.c6||r4.c6||r3.c6||r2.c6||r1.c6
||r6.c5||r5.c5||r4.c5||r3.c5||r2.c5||r1.c5
||r6.c4||r5.c4||r4.c4||r3.c4||r2.c4||r1.c4
||r6.c3||r5.c3||r4.c3||r3.c3||r2.c3||r1.c3
||r6.c2||r5.c2||r4.c2||r3.c2||r2.c2||r1.c2
||r6.c1||r5.c1||r4.c1||r3.c1||r2.c1||r1.c1
s8
from a r1, a r2, a r3, a r4, a r5,a r6 --笛卡尔连接生成所有行符合要求的排列组合
where
--列判断
r1.c1+r2.c1+r3.c1+r4.c1+r5.c1+r6.c1=2
and r1.c2+r2.c2+r3.c2+r4.c2+r5.c2+r6.c2=2
and r1.c3+r2.c3+r3.c3+r4.c3+r5.c3+r6.c3=2
and r1.c4+r2.c4+r3.c4+r4.c4+r5.c4+r6.c4=2
and r1.c5+r2.c5+r3.c5+r4.c5+r5.c5+r6.c5=2
and r1.c6+r2.c6+r3.c6+r4.c6+r5.c6+r6.c6=2
--斜边1判断
and r1.c2+r2.c1<=2
and r1.c3+r2.c2+r3.c1<=2
and r1.c4+r2.c3+r3.c2+r4.c1<=2
and r1.c5+r2.c4+r3.c3+r4.c2+r5.c1<=2
and r1.c6+r2.c5+r3.c4+r4.c3+r5.c2+r6.c1<=2
and r2.c6+r3.c5+r4.c4+r5.c3+r6.c2<=2
and r3.c6+r4.c5+r5.c4+r6.c3<=2
and r4.c6+r5.c5+r6.c4<=2
and r5.c6+r6.c5<=2
--斜边2判断
and r5.c1+r6.c2<=2
and r4.c1+r5.c2+r6.c3<=2
and r3.c1+r4.c2+r5.c3+r6.c4<=2
and r2.c1+r3.c2+r4.c3+r5.c4+r6.c5<=2
and r1.c1+r2.c2+r3.c3+r4.c4+r5.c5+r6.c6<=2
and r1.c2+r2.c3+r3.c4+r4.c5+r5.c6<=2
and r1.c3+r2.c4+r3.c5+r4.c6<=2
and r1.c4+r2.c5+r3.c6<=2
and r1.c5+r2.c6<=2
--以下为优化
and r1.c1+r2.c1+r3.c1<=2
and r1.c2+r2.c2+r3.c2<=2
and r1.c3+r2.c3+r3.c3<=2
and r1.c4+r2.c4+r3.c4<=2
and r1.c5+r2.c5+r3.c5<=2
and r1.c6+r2.c6+r3.c6<=2
and r1.c1+r2.c1+r3.c1+r4.c1<=2
and r1.c2+r2.c2+r3.c2+r4.c2<=2
and r1.c3+r2.c3+r3.c3+r4.c3<=2
and r1.c4+r2.c4+r3.c4+r4.c4<=2
and r1.c5+r2.c5+r3.c5+r4.c5<=2
and r1.c6+r2.c6+r3.c6+r4.c6<=2
and r1.c1+r2.c1+r3.c1+r4.c1+r5.c1<=2
and r1.c2+r2.c2+r3.c2+r4.c2+r5.c2<=2
and r1.c3+r2.c3+r3.c3+r4.c3+r5.c3<=2
and r1.c4+r2.c4+r3.c4+r4.c4+r5.c4<=2
and r1.c5+r2.c5+r3.c5+r4.c5+r5.c5
| 评论 |
|
|