反推的话……容斥吗？”杨远琢磨着，“但x1可以等于x3，x2可以等于x4，其实想到容斥就已经不太容易了，相当于从思维层面进行大翻转，但即使这样也要面对各种要加减的特殊情况，确实很容易漏项啊……”

他还在沉吟，屏幕左下角来自各队的提交依然走马灯般轮番闪动。像一遍遍冲上沙滩又退去的潮水，竭尽全力扑向陆上的风。在某一刻忽然跳上一行字，他一开始也没在意，只是看见又是b题提交时无奈地弯了下唇角，同样的事看了百来遍，已经掀不起波澜，但敬意犹在，感叹哪位勇士在这种情况下还敢死磕b题。却在余光扫到队名时蓦然睁大眼：“——什么！”