LeetCode 1240. 铺瓷砖（深搜剪枝）

1240. 铺瓷砖

你是一位施工队的工长，根据设计师的要求准备为一套设计风格独特的房子进行室内装修。

房子的客厅大小为 n x m，为保持极简的风格，需要使用尽可能少的 正方形 瓷砖来铺盖地面。

假设正方形瓷砖的规格不限，边长都是整数。

请你帮设计师计算一下，最少需要用到多少块方形瓷砖？

示例 1：

输入：n = 2, m = 3
输出：3
解释：3 块地砖就可以铺满卧室。
2 块 1x1 地砖
1 块 2x2 地砖
示例 2：

输入：n = 5, m = 8
输出：5
示例 3：

输入：n = 11, m = 13
输出：6

提示：

1 <= n <= 13
1 <= m <= 13

思路

深搜。用二进制表示矩形每行的状态（每一个位上1表示已经被正方形覆盖，0表示还没有被正方形覆盖），用整数数组表示整个矩形的状态。剪枝：

1. 反证法易证最多使用max(n, m)个矩形，如果已经使用的矩形超过该值则剪枝
2. 如果已经使用的矩形超过当前的使用矩形的最小值则剪枝

代码

class Solution {
   
    private int minVal = Integer.MAX_VALUE;

    /**
    * Add a square sized {@code w} * {@code w} at position ({@code x}, {@code y}) on current state {@code state}
    */
    private void addSquare(int[] state, int x, int y, int w) {
   
        for (int i=x, r=x+w; i<r; ++i) {
   
            for (<