A

题目链接：

https://cn.vjudge.net/problem/Kattis-busplanning

题目大意：

自己翻译

具体思路：

问的别的，不是我的思路，，

二进制枚举这n个人的子集，判断哪几个状态是能够在一辆车上的，然后对于所有状态判断他的哪两个互补的子集能使得这个状态的人最少。

记录每个状态是有哪些子集构成的，便于输出。

vis[i]代表i状态的一个子集是什么

AC代码：

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define LL_inf (1ll << 60)
const int maxn = 1e6 + 100;
const int mod = 1e9 + 7;
vector<int>Edge[maxn];
map<string,int>sto;
map<int,string>un_sto;
int dp[maxn];
int n,k,c;
int vis[maxn];
map<int,int>q;
int cal(int sta)
{
    q.clear();
    vector<int>tmp;
    for(int i=0; i<n; i++)
    {
        if((1ll<<i)&sta)
            tmp.push_back(i),q[i]=1;
    }
    if(tmp.size()>c)return inf ;
    int len=tmp.size();
    for(int i=0; i<len; i++)
    {
        for(int j=0; j<Edge[tmp[i]].size(); j++)
        {
            if(q[Edge[tmp[i]][j]])
            {
                return inf ;
            }
        }
    }
    return 1;
}
void dfs(int u)
{
    if(dp[u]==1)// 如果这个子集可以放在一个车上
    {
        for(int i=0; i<n; i++)
        {
            if((1<<i)&u)
                cout<<un_sto[i]<<" ";
        }
        cout<<endl;
        return ;
    }
    dfs(u^vis[u]);// 按照他的子集往下搜
    dfs(vis[u]);
}
int main()
{
    string str;
    cin>>n>>k>>c;
    for(int i=0; i<n; i++)
    {
        cin>>str;
        sto[str]=i;
        un_sto[i]=str;
    }
    string str1,str2;
    for(int i=1; i<=k; i++)
    {
        cin>>str1>>str2;
        Edge[sto[str1]].push_back(sto[str2]);
        Edge[sto[str2]].push_back(sto[str1]);
    }
    int maxstate=(1ll<<n)-1;
    for(int i=0; i<=maxstate; i++)
    {
        dp[i]=cal(i);
    }
    for(int i=0; i<=maxstate; i++)
    {
        for(int j=i; j; j=(j-1)&i) // 枚举子集
        {
            if(dp[i]>dp[i^j]+dp[j])
            {
                dp[i]=dp[i^j]+dp[j];
                vis[i]=j;
            }
        }
    }
    cout<<dp[maxstate]<<endl;
    dfs(maxstate);
}