AtCoder Beginner Contest 310 D题 Peaceful Teams

D题：Peaceful Teams

标签：深搜$dfs$、状压$dp$
题意：给定$n$个运动员要分成$t$只队伍（每只队伍至少$1$人），并且给定$m$个矛盾关系$a_i$运动员和$b_i$运动员，分成的队伍中两两运动员之间不能有矛盾，求满足条件的方法数有多少种。
题解：$n<=10$，考虑直接暴力搜索，暴力搜索的过程中需要考虑把第$i$个人是分到新的一只队伍里面还是放在原来的前$mx$只队伍里面，通过这样可以降低时间复杂度，不然如果选择把每个人往$1-t$只队伍里面放一边，时间复杂度太高了。最后把第$n$个人处理完之后，检测一下是否有矛盾冲突的情况。
代码：

#include <bits/stdc++.h>
using namespace std;

int n, t, m, a[50], b[50], vis[50], ans = 0;

void dfs(int k, int mx) {
    if (k == n + 1) {
        if (mx != t) return ;
        for (int i = 1; i <= m; i++) {
            if (vis[a[i]] == vis[b[i]]) return ;
        }
        ans++;
        return;
    }
    for (int i = 1; i <= mx + 1; i++) {
        vis[k] = i;
        dfs(k + 1, max(i, mx));
        vis[k] = 0;
    }
}

int main() {
    cin >> n >> t >> m;
    for (int i = 1; i <= m; i++)
    cin >> a[i] >> b[i];
    dfs(1, 0);
    cout << ans;
    return 0;
}