ICode9

　　没做过 P1080 [NOIP2012 提高组] 国王游戏 的可以去做做（） 　　这道题的大臣是有全序关系的（就是说可以比较优劣且具有传递性），所以直接定义小于号排序就好了。 　　以下是我在新建文本文档推导全序关系的过程（英语能理解就行，也不保证推对了，仅供参考）。 let j = i+1, sum = \sum^{i