ZOJ1654.Place the Robots放置机器人——最大独立集

http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=654

题目描述：
Robert 是一个著名的工程师。一天，他的老板给他分配了一个任务。任务的背景是：给定一
个m×n 大小的地图，地图由方格组成，在地图中有3 种方格－墙、草地和空地，他的老板希望
能在地图中放置尽可能多的机器人。每个机器人都配备了激光枪，可以同时向四个方向（上、下、
左、右）开枪。机器人一直待在最初始放置的方格处，不可移动，然后一直朝四个方向开枪。激
光枪发射出的激光可以穿透草地，但不能穿透墙壁。机器人只能放置在空地。当然，老板不希望
机器人互相攻击，也就是说，两个机器人不能放在同一行（水平或垂直），除非他们之间有一堵墙
格开。
给定一张地图，你的程序需要输出在该地图中可以放置的机器人的最大数目。

思路：
以样例解释

在问题的原型中，草地，墙这些信息不是本题所关心的，本题关心的只是空地和空地之间的联系。因此，很自然想到了下面这种简单的模型：以空地为顶点，在有冲突的空地间连边。

把所有的空地用数字标明,得到a图：

把所有有冲突的空地间用边连接后得到图(b)：

于是，问题转化为求图的最大独立集问题：求最大顶点集合，集合中所有顶点互不连接（即互不冲突）。但是最大点独立集问题是一个NP 问题，没有有效的算法能求解。

————————————————————————————————————————————————————————————————————————
将每一行被墙隔开、且包含空地的连续区域称作“块”。显然，在一个块之中，最多只能放一个机器人。把这些块编上号，如图7.25(a)所示。需要说明的是，最后一行，即第4 行有两个空地，但这两个空地之间没有墙壁，只有草地，所以这两个空地应该属于同一“块”。同样，把竖直方向的块也编上号，如图7.25(b)所示。