DTOJ 4853. 骨灰

题意

几乎与此同时，发自木星基地的实况图像也到达了地球，人们在电视中看到，漆黑的太空中，突然出现了两千个太阳！它们排成一个长方形的严整阵列，赫然出现在永恒的宇宙之夜中，让人们不约而同地想起了一句话：上帝说要有光，于是有了光。

……

目前，敌人主力仍在遥远的两光年之外，舰队的密集编队当然不会有什么危险。

……

碎片从爆炸点到阵列一角共飞行了约一千五百公里，耗时约五十秒钟，当它到达阵列一角时，速度已经达到了31.7公里/秒，这时它处于阵列外围，距处于矩形这一角的第一艘战舰“无限边疆”号一百六十公里。碎片没有从那里掠过阵列，而是拐了一个三十度的锐角，速度丝毫未减，直冲“无限边疆”号而来。

……

水滴用了一分钟十八秒飞完了二千公里的路程，贯穿了联合舰队矩形阵列第一队列中的一百艘战舰。

……

为了简化问题，我们把联合舰队当作一个无限大的二维网格，有 $n$ 艘战舰分布在不同的格子中。

因为战舰都变成了骨灰，定义多米诺骨灰是一个边长 $1:2$ 的矩形网格（两种方向均可），满足每个与边界有公共边的格子都有战舰。水滴想知道联合舰队中多米诺骨灰的数量。于是它找到了你，如果你不能完成这个任务，水滴会在三天之内杀了你。

这对你来说太简单了，所以水滴还提出了一个要求：只统计一些特定大小的骨灰，具体形式请参考“输入格式”。

请使用较快的读入方式。

• 对于 $20\%$ 的测试点，$n\le 1000$。
• 对于 $60\%$ 的测试点，$n\le 10^5$。
• 对于 $100\%$ 的测试点，$1\le n\le 10^6,1\le x_i,y_i\le n$。

均匀分布着一半的测试点，输入的 01 串仅包含 1。

题解

如果要直接算每种长度的个数，难以用数据结构维护（原本想了半天感觉完全不可做）。这个时候应该考虑一下题目的性质：直观地感觉满足条件的矩形不会很多，一种比较极端的情况是所有点在一个块内，个数为$n\sqrt{n}$。

考虑证明个数上界为$n\sqrt{n}$，如果一行的点数大于$\sqrt{n}$，那么以这些点为右上角的矩形不会超过$n$个（每多一个就要向下延伸一个点，总点数为$n$），而这样的行数不超过$\sqrt{n}$；如果一行的点数不超多$\sqrt{n}$，那么以这些点为右上角的矩形不会超过$\sqrt{n}$个（每多一个就要向左延伸一个点，该行不超过$\sqrt{n}$个）。

于是只需要$O(1)$找出每个矩形即可。参照证明的过程，枚举右上角，向左、下延伸并判断就是$O(n\sqrt{n})$的。而刚才的证明其实是比较宽松的，实际上矩形的个数会略小于$n\sqrt{n}$，常数优秀即可通过。

卡常技巧：本来向左、下延伸时寻找对应的点，比较自然的做法是跳链表，但由于该过程访问的内存下标是不连续的，会很慢，所以要多记两个数组使得$x,y$坐标相同的分别在一起，这样会快很多。

总结：遇到直接做感觉很不可做的题时，要多感知一下题目的特殊性质，分析找到可以下手的地方。