[Zjoi2012]小蓝的好友(mrx)
在这次选拔赛的最后一题中,主角是贯穿整场比赛的关键人物——小蓝的好友。
在帮小蓝确定旅游路线后,小蓝的好友也不会浪费这个难得的暑假。与小蓝不同,他并不想将时间花在旅游上,而是盯上了最近发行的即时战略游戏——SangoCraft。然而,在通往通关之路的道路上,一个小游戏挡住了他的步伐。
“国家的战争,其本质是抢夺资源的战争”是整款游戏的核心理念,这个小游戏也不例外。简单来说,用户需要在给定的长方形土地上选出一块子矩形,系统随机生成了 个资源点。用户所选的长方形土地上包含的资源点越多,获得的奖励也越多。
悲剧的是,小蓝的好友虽然拥有极其优秀的能力,却同时有着极差的运气,他所选的区域总是没有任何资源点。
终于有一天,小蓝的好友决定投诉这款游戏的制造厂商。为了搜集证据,他想计算出至少包含一个资源点的区域数量。作为小蓝的好友,这自然是你分内之事。
输入格式
每个输入文件中仅包含一组测试数据。
第一行包含三个由空格隔开的正整数 、、,表示游戏在一块 的地图上生成了 个资源点。
接下来 行,每行包含两个整数 、,表示一个资源点的坐标。
输出格式
输出一个整数,表示至少包含一个资源点的区域数量。
具体来说,设 个资源点的坐标为 ,其中 。需要计算满足以下条件的四元组 的数量:
并且存在某个 ,使得
样例输入
5 5 4
1 2
2 3
3 5
4 1
样例输出
139
数据范围
- 对于 的数据,,;
- 资源点的位置两两不同,且位置为随机生成。
来源与许可
本题为 ZJOI 2012 试题「小蓝的好友」,题面与测试数据整理自 BZOJ 2658。
样例 1
输入
5 5 4
1 2
2 3
3 5
4 1
输出
139