AI约束算法->密码算术问题

题目：

FOURTW 限制条件，六个值都不一样，且首位不能为0。
可以得出T!=0，F!=0。F由T进位产生，则F一定为1，2T>10 ,T>5,故T的取值范围为（5，6，7，8，9）。再根据算术关系式和六个值互不相同的限制添加来对T的各种取值条件下其他的可能取值进行寻找。
答案求解：

F=1  当O》5时，U的值上加上进位
当T=5时:{O=0,W不产生进位 ->R=0 与O冲突 
		 {O=1,W产生进位   ->与F冲突 
此时无满足值。
当T=6时:{O=2 , W不产生进位 ->R=4->W可取3 (1,2,4冲突)，U=6 T冲突
		 {O=3 , W产生进位   ->R=6-> T冲突
C此时无满足值。
当T=7时:{O=4, W不产生进位 ->R=8 ->W可取(2,3){W=2,U=4,冲突}{W=3,U=6，满足}
		{O=5, W产生进位->R=0 -W可取(6,8,9){W=6,U=3满足}{W=8,U=5冲突}{W=9,U=9，冲突}
此时T=7满足两种：1:FTUWRO->1 7 6 3 8 4
				  2:FTUWRO->1 7 3 6 0 5
当T=8时: {O=6, W不产生进位 ->R=2->W可取(3,4){W=3,U=7}{W=4,U=9}都满足
		{O=7,  W产生进位	->R=4 ->W可取(5,6,9){W=5,U=1,冲突}{W=6,U=3,满足}{W=9,U=9冲突}
此时T=8满足三种：1:FTUWRO->1 8 3 6 4 7
				  2:FTUWRO->1 8 9 4 2 6				  
3:	FTUWRO->1 8 7 3 2 6 
当T=9时:{O=8, W不产生进位->R=6->W可取(2,3,4){W=2,U=5满足}{W=3,U=7，满足}{W=4,U=9，冲突}
		 {O=9, 与T冲突 
此时T=9满足两种: 1:FTUWRO->1 9 5 2 6 8 		  
				2:FTUWRO->1 8 7 3 6 8