17贪心：监控二叉树（Hard）

17贪心：监控二叉树（Hard）

968. 监控二叉树

思路

这道题目首先要想，如何放置，才能让摄像头最小的呢？

从题目中示例，其实可以得到启发，我们发现题目示例中的摄像头都没有放在叶子节点上！

这是很重要的一个线索，摄像头可以覆盖上中下三层，如果把摄像头放在叶子节点上，就浪费的一层的覆盖。

所以把摄像头放在叶子节点的父节点位置，才能充分利用摄像头的覆盖面积。

那么有同学可能问了，为什么不从头结点开始看起呢，为啥要从叶子节点看呢？

因为头结点放不放摄像头也就省下一个摄像头， 叶子节点放不放摄像头省下了的摄像头数量是指数阶别的。

所以我们要从下往上看，局部最优：让叶子节点的父节点安摄像头，所用摄像头最少，整体最优：全部摄像头数量所用最少！

局部最优推出全局最优，找不出反例，那么就按照贪心来！

此时，大体思路就是从低到上，先给叶子节点父节点放个摄像头，然后隔两个节点放一个摄像头，直至到二叉树头结点。

此时这道题目还有两个难点：

1. 二叉树的遍历
2. 如何隔两个节点放一个摄像头

确定遍历顺序

在二叉树中如何从低向上推导呢？

可以使用后序遍历也就是左右中的顺序，这样就可以在回溯的过程中从下到上进行推导了。

int traversal(TreeNode t) {

    // 空节点，该节点有覆盖
    if (终止条件) return ;

    int left = traversal(t.left);    // 左
    int right = traversal(t.right);  // 右

    逻辑处理                            // 中
    return ;
}

如何隔两个节点放一个摄像头

此时需要状态转移的公式，不要和动态的状态转移公式混到一起，本题状态转移没有择优的过程，就是单纯的状态转移！

来看看这个状态应该如何转移，先来看看每个节点可能有几种状态：

有如下三种：

• 该节点无覆盖
• 本节点有摄像头
• 本节点有覆盖

我们分别有三个数字来表示：

• 1：该节点无覆盖
• 2：本节点有摄像头
• 3：本节点有覆盖

注意：本节点无摄像头就是 无覆盖 或者 有覆盖的状态，所以一共还是三个状态。

因为在遍历树的过程中，就会遇到空节点，那么问题来了，空节点究竟是哪一种状态呢？ 空节点表示无覆盖？ 表示有摄像头？还是有覆盖呢？

回归本质，为了让摄像头数量最少，我们要尽量让叶子节点的父节点安装摄像头，这样才能摄像头的数量最少。

那么空节点不能是无覆盖的状态，这样叶子节点就要放摄像头了，空节点也不能是有摄像头的状态，这样叶子节点的父节点就没有必要放摄像头了，而是可以把摄像头放在叶子节点的爷爷节点上。

所以空节点的状态只能是有覆盖，这样就可以在叶子节点的父节点放摄像头了

接下来就是递推关系。

那么递归的终止条件应该是遇到了空节点，此时应该返回3（有覆盖），原因上面已经解释过了。

递归的函数，以及终止条件已经确定了，再来看单层逻辑处理。

主要有如下四类情况：

• 情况1：左右节点都有覆盖

左孩子有覆盖，右孩子有覆盖，那么此时中间节点应该就是无覆盖的状态了。

• 情况2：左右节点至少有一个无覆盖的情况

则中间节点（父节点）应该放摄像头：

• 情况3：左右节点至少有一个有摄像头

那么其父节点就应该是2（覆盖的状态）

• 情况4：头结点没有覆盖

通过左右节点的状态，来判断本(中)节点的处理逻辑，别忘了根节点的特殊，其没有父节点，也就是说在遇到左右节点均覆盖的情况下，不能将摄像头给根节点的父节点，需要另外加一个摄像头

/**
 * Definition for a binary tree node.
 * public class TreeNode {
 *     int val;
 *     TreeNode left;
 *     TreeNode right;
 *     TreeNode() {}
 *     TreeNode(int val) { this.val = val; }
 *     TreeNode(int val, TreeNode left, TreeNode right) {
 *         this.val = val;
 *         this.left = left;
 *         this.right = right;
 *     }
 * }
 */
class Solution {
    //局部最优：让叶子节点的父节点安摄像头，所用摄像头最少，整体最优：全部摄像头数量所用最少！
    int cnt = 0;//摄像头数量
    public int minCameraCover(TreeNode root) {
        //注意根节点的特殊情况：根节点是无法在左右孩子都覆盖的时候让其父节点加一个摄像头，所以必须在根节点加一个摄像头
        if(traversal(root) == 1) cnt++;
        return cnt;
    }
    /*
    节点有三种状态
    1无覆盖
    2有摄像头
    3有覆盖
    */
    public int traversal(TreeNode t) {//需要从叶子节点开始，所以采取后序遍历
        //首先是遍历的终止条件
        if(t == null) return 3;
        
        int left = traversal(t.left);//遍历左节点
        int right = traversal(t.right);//遍历右节点

        //中节点处理逻辑
        /*
        1.左右节点都覆盖
        2.左右节点至少有一个未覆盖
        3.左右节点至少有一个有摄像头
         */

        if(left == 3 && right == 3) return 1;

        if(left == 1 || right == 1) {
            cnt++;
            return 2;
        }

        if(left == 2 || right == 2) return 3;

        return -1;//语法要求,不然通不过编译
    }
}

另外，代码可以精简

class Solution {
    int  res=0;
    public int minCameraCover(TreeNode root) {
        // 对根节点的状态做检验,防止根节点是无覆盖状态 .
        if(minCame(root)==0){
            res++;
        }
        return res;
    }
    /**
     节点的状态值：
       0 表示无覆盖
       1 表示 有摄像头
       2 表示有覆盖
    后序遍历，根据左右节点的情况,来判读 自己的状态
     */
    public int minCame(TreeNode root){
        if(root==null){
            // 空节点默认为 有覆盖状态，避免在叶子节点上放摄像头
            return 2;
        }
        int left=minCame(root.left);
        int  right=minCame(root.right);

        // 如果左右节点都覆盖了的话, 那么本节点的状态就应该是无覆盖,没有摄像头
        if(left==2&&right==2){
            //(2,2)
            return 0;
        }else if(left==0||right==0){
            // 左右节点都是无覆盖状态,那 根节点此时应该放一个摄像头
            // (0,0) (0,1) (0,2) (1,0) (2,0)
            // 状态值为 1 摄像头数 ++;
            res++;
            return 1;
        }else{
            // 左右节点的 状态为 (1,1) (1,2) (2,1) 也就是左右节点至少存在 1个摄像头，
            // 那么本节点就是处于被覆盖状态
            return 2;
        }
    }
}

总结

本题的难点首先是要想到贪心的思路，然后就是遍历和状态推导。

在二叉树上进行状态推导，其实难度就上了一个台阶了，需要对二叉树的操作非常娴熟。