1118总结
t1
强烈谴责qt完全不提证明
错误原因是需要下取整，没法取模，long long 爆炸
实际可以考虑分成两步来求，也就是奇偶分类
实际证明可以考虑两种（极其不严谨）：
- 感性理解，必定最后出来的就是横竖交错的一个矩阵，你画成网格就会发现你要尽量让网格内的多的不匹配，而网格外的匹配是定值，这完全与构造方式没有关系，明显存在多种构造方式
- 考虑归纳，数学归纳法考虑假设你当前考虑的是最优的那么你加入一列，必定会形成2或者3的情况，2只是相当于转移到偶数状态，3就是相当于转移到下一个奇数状态，考虑每一个点都要竖着先选会比横着选更优，所以成立
t2
t1花费太多时间去筛去不正确贪心，看到t2的操作很恶心就去做t4去了
实际上主体就是topsort，但是读入太恶心了，一直没能去掉括号
getline(cin,str),这个操作字符串很舒服
t3
不会容斥
考虑我们的答案是要考虑两个队伍相撞的概率，这个显然是一个容斥问题，我们可以先求出每个队伍到某个点的概率，然后考虑简单的减法原理考虑只包含一个点的情况的概率，从而求得
t4
不会
