Bus Planning Kattis - busplanning (状压DP)

状压DP解决公交车规划问题
本文介绍了一种使用状态压缩动态规划(状压DP)解决公交车规划问题的方法。问题中,考虑到乘客间的矛盾关系及车辆容量限制,目标是最小化所需车辆数量。通过状态压缩技巧,将每位乘客的状态编码,利用DP寻找最优解。

题目

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

题意

给你n个人,有些人有矛盾,给定每个车的容量,问最少多少辆车能装下。

思路

状压DP

#include <bits/stdc++.h>
#define rep(i,a,b) for(int i = (a);i <= (b);i++)
using namespace std;
typedef long long ll;
const int inf = 0x3f3f3f3f;
int n,c,k;
string s[18];
int vis[1<<18];
int dp[1<<18];
map<string,int> mp;
int state;
struct node
{
    int x,y;
}qw[4000];
int init(int x)
{
    int ans = 0;
    for(int i = 0;i < n;i++) if((1<<i)&x) ans++;
    if(ans > c) return inf;
    for(int i = 0;i < k;i++)
    {
        int a = qw[i].x,b = qw[i].y;
        if(((1<<a)&x)&&((1<<b)&x)) return inf;
    }
    return 1;
}
void dfs(int x)
{
    if(dp[x] == 1)
    {
        for(int i = 0;i < n;i++)
        {
            if((1<<i)&x) cout<<s[i]<<" ";
        }
        cout<<endl;
        return ;
    }
    dfs(x^vis[x]);
    dfs(vis[x]);
}
int main()
{
    ios::sync_with_stdio(false);
    cin>>n>>k>>c;
    state = 1<<n;
    for(int i = 0;i < n;i++)
    {
        cin>>s[i];
        mp[s[i]] = i;
    }
    memset(qw,0,sizeof(mp));
    string a,b;
    for(int i =0;i < k;i++)
    {
        cin>>a>>b;
        qw[i].x = mp[a];
        qw[i].y = mp[b];
    }
    for(int i = 0;i < state;i++) dp[i] = init(i);
    for(int i = 0;i < state;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[state-1]<<endl;
    dfs(state-1);
    return 0;
}

 

### 内容概要: 通过自研的工业相机&镜头智能选型软件(含飞拍场景),从0到1掌握工业视觉检测场景下相机与镜头的核心选型逻辑。软件实现过程中聚焦工业视觉成像核心原理,简化复杂的行业参数计算流程,保留关键选型功能,例如:基础参数输入、相机分辨率/快门/传感器选型计算、镜头焦距/类型匹配、飞拍场景帧率/曝光时间/行频专项计算、选型结果Excel标准化导出等核心模块,同时融入科技感WinForm界面设计(圆角面板、发光按钮、渐变样式)。 ### 适合人群: 具备C#基础,从事工业视觉检测、自动化设备研发工作1-3年的研发/工程师,或需要快速完成工业相机选型的技术人员、项目工程师。 ### 能学到什么: ① 工业视觉核心参数(视野范围、检测精度、工作距离、帧率、曝光时间)的关联逻辑与计算公式; ② WinForm自定义控件(圆角面板、发光按钮)的设计与实现,科技感界面的样式优化思路; ③ 工业相机/镜头选型的全流程(需求分析→参数计算→标准匹配→飞拍专项适配→结果验证); ④ EPPlus库实现Excel标准化报表导出的方法,包含样式定制、数据填充、格式优化; ⑤ 飞拍场景(面阵/线扫)的专项选型逻辑,解决运动模糊、漏拍等核心问题的技术方案。 ### 阅读建议: 此资源以开发完整的工业相机选型软件为核心学习工业视觉选型原理,不仅注重代码编写与功能实现,更强调选型需求分析、参数逻辑推导和场景化适配设计。学习过程中需结合实际工业检测场景(静态/动态/飞拍)输入测试参数,调试代码验证计算结果,并导出Excel报表分析选型建议,同时可尝试扩展功能(如添加参数可视化图表、设备型号推荐库),加深对选型逻辑的理解。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值