3173. 【GDOI2103模擬3.17】掃雷遊戲（搜索 + 剪枝）

Problem

給出一個類似掃雷的遊戲，有$num$個數字，求至少有多少個雷。

Data constraint

$n,m\le 15,num\le 15$

Solution

• 好搜索啊。

• 現講一種自己的方法：

  顯然是貪心了。就把當前局面中較優的點先選，什麼是較優呢？可以看成一個估價函數，你估價一下選這個點能給多少個數字減一，越多當然越好。當然，這個估價太弱了。。。

  我們還有另外一種估價方法：估價一個點身邊的數字的“緊迫程度”，即如果這個點不選，可能周邊一個數字就不合法了，一個點對它周圍的數字越緊迫，我們越要選。具體的，我們用 原數字 - 還剩格子數 作爲一個數字的緊迫程度，累加一下。

  當然，最後講一種極其牛逼的估價方法：把每個數字的剩餘數加到它周邊的格子去。（目前找不到能卡的數據。。。）

  最後，如果怕被卡，可以這三種方法一齊上，每種都卡一下時，然後取個$min$，注意我們搜索的時候，如果搜到一個解，就不繼續往下搜，這樣不能保證答案最優，但可以保證答案很優。

• 再說一下題解的方法：

  實質上是個狀壓，但我覺得很懸。。把本質相同的點縮起來，然後枚舉選的個數，然後類似搜索一樣做就好。