Question

1434. 每个人戴不同帽子的方案数

English Version

题目描述

总共有 n 个人和 40 种不同的帽子，帽子编号从 1 到 40 。

给你一个整数列表的列表 hats ，其中 hats[i] 是第 i 个人所有喜欢帽子的列表。

请你给每个人安排一顶他喜欢的帽子，确保每个人戴的帽子跟别人都不一样，并返回方案数。

由于答案可能很大，请返回它对 10^9 + 7 取余后的结果。

 

示例 1：

输入：hats = [[3,4],[4,5],[5]]
输出：1
解释：给定条件下只有一种方法选择帽子。
第一个人选择帽子 3，第二个人选择帽子 4，最后一个人选择帽子 5。

示例 2：

输入：hats = [[3,5,1],[3,5]]
输出：4
解释：总共有 4 种安排帽子的方法：
(3,5)，(5,3)，(1,3) 和 (1,5)

示例 3：

输入：hats = [[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4]]
输出：24
解释：每个人都可以从编号为 1 到 4 的帽子中选。
(1,2,3,4) 4 个帽子的排列方案数为 24 。

示例 4：

输入：hats = [[1,2,3],[2,3,5,6],[1,3,7,9],[1,8,9],[2,5,7]]
输出：111

 

提示：

• n == hats.length
• 1 <= n <= 10
• 1 <= hats[i].length <= 40
• 1 <= hats[i][j] <= 40
• hats[i] 包含一个数字互不相同的整数列表。

解法

方法一：状态压缩动态规划

我们注意到 $n$ 不超过 $10$，因此我们考虑使用状态压缩动态规划的方法求解。

我们定义 $f[i][j]$ 表示在前 $i$ 个帽子中，当前被分配的人的状态为 $j$ 时的方案数。其中 $j$ 是一个二进制数，表示当前被分配的人的集合。初始时 $f[0][0]=1$，答案为 $f[m][2^n - 1]$，其中 $m$ 是帽子的最大编号，而 $n$ 是人的数量。

考虑 $f[i][j]$，如果第 $i$ 个帽子不分配给任何人，那么 $f[i][j]=f[i-1][j]$；如果第 $i$ 个帽子分配给了喜欢它的人 $k$，那么 $f[i][j]=f[i-1][j \oplus 2^k]$。这里 $\oplus$ 表示异或运算。因此我们可以得到状态转移方程：

$$ f[i][j]=f[i-1][j]+ \sum_{k \in like[i]} f[i-1][j \oplus 2^k] $$

其中 $like[i]$ 表示喜欢第 $i$ 个帽子的人的集合。

最终的答案即为 $f[m][2^n - 1]$，注意答案可能很大，需要对 $10^9 + 7$ 取模。

时间复杂度 $O(m \times 2^n \times n)$，空间复杂度 $O(m \times 2^n)$。其中 $m$ 是帽子的最大编号，本题中 $m \leq 40$；而 $n$ 是人的数量，本题中 $n \leq 10$。

class Solution:
  def numberWays(self, hats: List[List[int]]) -> int:
    g = defaultdict(list)
    for i, h in enumerate(hats):
      for v in h:
        g[v].append(i)
    mod = 10**9 + 7
    n = len(hats)
    m = max(max(h) for h in hats)
    f = [[0] * (1 << n) for _ in range(m + 1)]
    f[0][0] = 1
    for i in range(1, m + 1):
      for j in range(1 << n):
        f[i][j] = f[i - 1][j]
        for k in g[i]:
          if j >> k & 1:
            f[i][j] = (f[i][j] + f[i - 1][j ^ (1 << k)]) % mod
    return f[m][-1]

class Solution {
  public int numberWays(List<List<Integer>> hats) {
    int n = hats.size();
    int m = 0;
    for (var h : hats) {
      for (int v : h) {
        m = Math.max(m, v);
      }
    }
    List<Integer>[] g = new List[m + 1];
    Arrays.setAll(g, k -> new ArrayList<>());
    for (int i = 0; i < n; ++i) {
      for (int v : hats.get(i)) {
        g[v].add(i);
      }
    }
    final int mod = (int) 1e9 + 7;
    int[][] f = new int[m + 1][1 << n];
    f[0][0] = 1;
    for (int i = 1; i <= m; ++i) {
      for (int j = 0; j < 1 << n; ++j) {
        f[i][j] = f[i - 1][j];
        for (int k : g[i]) {
          if ((j >> k & 1) == 1) {
            f[i][j] = (f[i][j] + f[i - 1][j ^ (1 << k)]) % mod;
          }
        }
      }
    }
    return f[m][(1 << n) - 1];
  }
}

class Solution {
public:
  int numberWays(vector<vector<int>>& hats) {
    int n = hats.size();
    int m = 0;
    for (auto& h : hats) {
      m = max(m, *max_element(h.begin(), h.end()));
    }
    vector<vector<int>> g(m + 1);
    for (int i = 0; i < n; ++i) {
      for (int& v : hats[i]) {
        g[v].push_back(i);
      }
    }
    const int mod = 1e9 + 7;
    int f[m + 1][1 << n];
    memset(f, 0, sizeof(f));
    f[0][0] = 1;
    for (int i = 1; i <= m; ++i) {
      for (int j = 0; j < 1 << n; ++j) {
        f[i][j] = f[i - 1][j];
        for (int k : g[i]) {
          if (j >> k & 1) {
            f[i][j] = (f[i][j] + f[i - 1][j ^ (1 << k)]) % mod;
          }
        }
      }
    }
    return f[m][(1 << n) - 1];
  }
};

func numberWays(hats [][]int) int {
  n := len(hats)
  m := 0
  for _, h := range hats {
    m = max(m, slices.Max(h))
  }
  g := make([][]int, m+1)
  for i, h := range hats {
    for _, v := range h {
      g[v] = append(g[v], i)
    }
  }
  const mod = 1e9 + 7
  f := make([][]int, m+1)
  for i := range f {
    f[i] = make([]int, 1<<n)
  }
  f[0][0] = 1
  for i := 1; i <= m; i++ {
    for j := 0; j < 1<<n; j++ {
      f[i][j] = f[i-1][j]
      for _, k := range g[i] {
        if j>>k&1 == 1 {
          f[i][j] = (f[i][j] + f[i-1][j^(1<<k)]) % mod
        }
      }
    }
  }
  return f[m][(1<<n)-1]
}

function numberWays(hats: number[][]): number {
  const n = hats.length;
  const m = Math.max(...hats.flat());
  const g: number[][] = Array.from({ length: m + 1 }, () => []);
  for (let i = 0; i < n; ++i) {
    for (const v of hats[i]) {
      g[v].push(i);
    }
  }
  const f: number[][] = Array.from({ length: m + 1 }, () =>
    Array.from({ length: 1 << n }, () => 0),
  );
  f[0][0] = 1;
  const mod = 1e9 + 7;
  for (let i = 1; i <= m; ++i) {
    for (let j = 0; j < 1 << n; ++j) {
      f[i][j] = f[i - 1][j];
      for (const k of g[i]) {
        if (((j >> k) & 1) === 1) {
          f[i][j] = (f[i][j] + f[i - 1][j ^ (1 << k)]) % mod;
        }
      }
    }
  }
  return f[m][(1 << n) - 1];
}