刚回复的被度娘吞了??没办法,重发一次.

另外,编程解这道题属于歪门邪道...严格的分析才是王道.
其实,就像数独不必只有17个必要数字一样,题目也不是越难越好...即使冗余也没必要去掉.
要知道重要的是解题的思路而不是结果(我好象最没有资格说这话了)
啊,突然想到也许可以用非线性规划来解这道题.通过增加未知量个数,将取整转化为不等式;再将所有的条件作为非线形规划的约束条件;目标函数可以取所有未知量之和.如果原题有唯一解,那么对应的非线性规划的可行解唯一存在,进而这个可行解就是最优解.
如此一来,问题就只剩下两个了:1.取整转化为不等式:如兽人和黄骑士先攻者胜的方程为ceil(426/(40+x6))=ceil(610/(55+x8)),简记为ceil(x)=ceil(y),可以转化为z-0.999<=x;z>=x;z-0.999<=y;z>=y四个不等式,这里之所以取0.999而不取1,是因为规划中没有小(大)于,只有小(大)于等于,而根据题中的数据,可以估计误差不大于0.001
2.如何解整数非线性规划,这个有兴趣的话自行研究吧.
貌似说的太深了,已经到了纯数学的领域了-_-