CF79D Password(P3943 星空)

CF79D Password(P3943 星空)

题意:

你有 n 个灯泡,一开始都未点亮。
同时你有 l 个长度,分别为 a1∼ala_1∼ a_la1al
每次你可以选择一段连续的子序列,且长度为某个 aia_iai,并将这些灯泡的明灭状态取反。
求最少的操作次数,使得最后有且仅有 k 个位置是亮的,这些位置已经给定,为 x1∼xkx_1 \sim x_kx1xk
1<=k<=10
1<=n<=10000
1<=l<=100

题解:

k小于等于10,这么小的范围很容易联想到状压dp,我们先试着将问题转换
题目的意思是一开始都没亮,最后指定k个位置亮了,我们可以将题目反过来,一开始有k个地方是亮的,现在要全部熄灭
有l个修改的选择,区间修改可以用线段树,但是本题没必要,线段树常数也大,我们使用差分就可以
我们利用异或差分,bi=ai⨁ai+1b_i=a_i \bigoplus a_{i+1}bi=aiai+1
就比如样例1:

10 8 2
1 2 3 5 6 7 8 9
3 5

原始序列:1110111110
异或差分序列:10011000010
我们想让原序列种翻转[l,r]区间就等于在差分序列种取反bl−1,brb_{l-1},b_rbl1,br,这样修改操作就是O(1)的,题目就变成:
给定一个01串,每次操作为:
从给定的l种长度中选择一种lenilen_ileni,选择序列上相距这个长度lenilen_ileni的两个位同时取反
求让序列归零的最少次数
现在就可以用状压dp了,因为异或差分后的序列中我们只需要关心1的情况,而最多也就2*k个1,直接状压即可
dp[i]表示当前状态为i下所需要的最小次数,x和y为当前状态下未被选过的位,显然有:
dpi∣(1<<x)∣(1<<y)=min(dpi∣(1<<x)∣(1<<y),dpi+cost(x,y))dp_{i|(1<<x)|(1<<y)}=min(dp_{i|(1<<x)|(1<<y)},dp_i+cost(x,y))dpi(1<<x)(1<<y)=min(dpi(1<<x)(1<<y),dpi+cost(x,y))
cost(x,y)cost(x,y)cost(x,y)表示同时将x和y位同时变为0所需要的最少次数
这个cost咋求?我们可以预处理这个数组,对于异或差分序列中每个1的位置跑一边迪杰斯特拉,这样就解决了

代码:

#include <bits/stdc++.h>
#include <unordered_map>
#define debug(a, b) printf("%s = %d\n", a, b);
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> PII;
clock_t startTime, endTime;
//Fe~Jozky
const ll INF_ll= 1e18;
const int INF_int= 0x3f3f3f3f;
void read(){};
template <typename _Tp, typename... _Tps> void read(_Tp& x, _Tps&... Ar)
{x= 0;char c= getchar();bool flag= 0;while (c < '0' || c > '9')flag|= (c == '-'), c= getchar();while (c >= '0' && c <= '9')x= (x << 3) + (x << 1) + (c ^ 48), c= getchar();if (flag)x= -x;read(Ar...);
}
template <typename T> inline void write(T x)
{if (x < 0) {x= ~(x - 1);putchar('-');}if (x > 9)write(x / 10);putchar(x % 10 + '0');
}
void rd_test()
{
#ifdef ONLINE_JUDGE
#elsestartTime = clock ();freopen("data.in", "r", stdin);
#endif
}
void Time_test()
{
#ifdef ONLINE_JUDGE
#elseendTime= clock();printf("\nRun Time:%lfs\n", (double)(endTime - startTime) / CLOCKS_PER_SEC);
#endif
}
const int maxn=2e5+9;
int len[maxn];
int x[maxn];
int cnt[maxn];
int cost[500][500];
int minDis[maxn]; 
int dp[20000003];
int num;
int n,k,l;
void Dijk(int s){memset(minDis,INF_int,sizeof(minDis));minDis[cnt[s]]=0;queue<int>q;q.push(cnt[s]);while(!q.empty()){int now=q.front();q.pop();for(int i=1;i<=l;i++){if(now+len[i]<=n&&minDis[now+len[i]]>minDis[now]+1){minDis[now+len[i]]=minDis[now]+1;q.push(now+len[i]);}if(now-len[i]>=0&&minDis[now-len[i]]>minDis[now]+1){minDis[now-len[i]]=minDis[now]+1;q.push(now-len[i]);}}}for(int i=0;i<num;i++){cost[s][i]=minDis[cnt[i]];}
}
int main()
{rd_test();read(n,k,l);for(int i=1;i<=k;i++){//需要点亮的点 int t;read(t);x[t]=1;} for(int i=1;i<=l;i++){//所能操作的长度 read(len[i]);}for(int i=0;i<=n;i++){x[i]^=x[i+1];}for(int i=0;i<=n;i++){if(x[i]){cnt[num++]=i;}}for(int i=0;i<num;i++)Dijk(i);//	for(int i=0;i<num;i++){
//		for(int j=0;j<num;j++){
//			printf("cost[%d][%d]=%d\n",i,j,cost[i][j]);
//		} 
		cout<<endl;
//	}memset(dp,INF_int,sizeof(dp));dp[0]=0;int state=(1<<num)-1;for(int i=0;i<=state;i++){for(int x=0;x<num;x++){if((i>>x)&1)continue;//如果已经出现x,跳过 for(int y=x+1;y<num;y++){if((i>>y)&1)continue;//如果已经出现y,跳过 dp[i | (1ll << x) | (1ll << y)]= min(dp[i | (1ll << x) | (1ll << y)], dp[i] + cost[x][y]);}}}
//	for(int i=0;i<=state;i++)
//		printf("dp[]=%d\n",dp[i]);if(dp[state]==INF_int)puts("-1");else cout<<dp[state]<<endl;//Time_test();
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/315936.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

.NET Core 如何禁止.resx文件自动生成Designer.cs

点击上方蓝字关注“汪宇杰博客”在 Visual Studio 中&#xff0c;如果我们在一个 .NET Core 工程里加入了一个资源文件&#xff08;.resx&#xff09;&#xff0c;那么你会发现有个对应的 .Designer.cs 文件被自动生成了&#xff0c;每次资源文件的内容有变化&#xff0c;这个设…

P1450 [HAOI2008]硬币购物

P1450 [HAOI2008]硬币购物 题意&#xff1a; 共有 4 种硬币。面值分别为c1,c2,c3,c4c_1,c_2,c_3,c_4c1​,c2​,c3​,c4​。 某人去商店买东西&#xff0c;去了 n 次&#xff0c;对于每次购买&#xff0c;他带了 did_idi​枚 i 种硬币&#xff0c;想购买 s 的价值的东西。请问…

.net core百万设备连接服务和硬件需求测试

随着物联网的普及&#xff0c;服务应用将面对大量物联设备处理&#xff1b;早期.NET在通讯上的处理能力一直给人的印像并不怎样&#xff0c;但net core经历过大量的优化后在各个模块的处理性能都有着比较出色的提升&#xff0c;针对网络方向的处理模块也有着显著的提升。以下主…

字符串匹配(多模式匹配篇)

字符串匹配&#xff08;多模式匹配篇&#xff09;摘要&#xff1a;问题的提出&#xff1a;众所周知&#xff0c;KMP算法在O&#xff08;n&#xff09;的时间中solve单模式串匹配问题。但怎样solve多模式串匹配问题呢&#xff1f;Solve&#xff1a;本文用简要记叙了使用trie树&a…

.net core编写转发服务

我有个小伙伴问我&#xff0c;他需要写一个转发服务的他有很多功能要通过他的服务转发~技术栈又不一定asp.net core&#xff0c;我就想起泥水老前辈的BeetleX.FastHttpApi中午午休&#xff0c;折腾了一会儿前辈&#xff0c;问清楚了FastHttpApi如何配置控制器依赖注入和控制器的…

Jumping Monkey(CCPC网络赛重赛)

Jumping Monkey(CCPC网络赛重赛) 题意&#xff1a; n个点的树&#xff0c;每个点有一个不同的值aia_iai​.现在一个猴子在树上&#xff0c;这个猴子从点u跳到点v当且仅当ava_vav​是u到v最短路径上的最大值。如果没有点能跳将停止。 对于k∈[1,n]&#xff0c;计算猴子在点k开…

数据结构(终极线段树篇)

数据结构&#xff08;终极线段树篇&#xff09; 摘要&#xff1a; 问题的提出&#xff1a;如何解决多样化的区间操作问题&#xff1f; solve&#xff1a;线段树&#xff01;&#xff01;&#xff01; 关键字&#xff1a; 线段树&#xff0c;可持久化线段树&#xff0c;权值线段…

.NET Core 3.0之深入源码理解Configuration(一)

微软在.NET Core里设计出了全新的配置体系&#xff0c;并以非常灵活、可扩展的方式实现。从其源码来看&#xff0c;其运行机制大致是&#xff0c;根据其Source&#xff0c;创建一个Builder实例&#xff0c;并会向其添加Provider&#xff0c;在我们使用配置信息的时候&#xff0…

摊还分析

摊还分析 1何为摊还分析&#xff1f; 摊还分析主要求解数据结构维护序列执行的所有操作的平均时间&#xff0c;来评价操作的代价&#xff0c;从而保证最坏情况下每个操作的平均性能。 2聚合分析 2.1何为聚合分析&#xff1f; 若长度为n的操作序列最坏情况下所花费时间为T(…

Bigraph Extension

Bigraph Extension 题意&#xff1a; 有2n个点&#xff0c;n为偶数&#xff0c;n个点属于集合A&#xff0c;n个点属于集合B。起初在途中有m个无向边&#xff0c;边的两侧端点分别在两个集合里&#xff0c;任何两个边都没有公共交点。 现在你可以执行任意次操作&#xff1a; 在…

微服务划分的姿势

我们知道微服务是一种理念&#xff0c;没有确切的定义和边界&#xff0c;好比设计原则&#xff0c;是属于抽象的概念。在定义不明确的情况下谈划分也是一种各说各话&#xff0c;具体问题需要具体分析&#xff0c;所以这篇文章谈到的划分也不是绝对标准&#xff0c;仅供参考。有…

点(树)分治

0.引言 对于树上问题&#xff0c;有许多特殊的求解方法&#xff0c;如&#xff1a;树链剖分。点分治算法也是其中之一&#xff0c;常用于解决树上路径问题。 1.0.问题的引入 给定一棵树&#xff0c;求这棵树的直径&#xff08;树上最长链长度&#xff0c;n<10^5&#xff…

CF1550E Stringforces

CF1550E Stringforces 题意&#xff1a; 设 s 是一个由前 k 个小写字母构成的字符串&#xff0c;v 是前 k 个小写字母中的某一个。定义MaxLen(s,v)\mathrm{MaxLen}(s,v)MaxLen(s,v) 表示 s 所有仅由字母 v 构成的连续子串的最长长度。 定义 s 的价值为所有 MaxLen(s,v)\mathr…

斜率优化Convex Hull Trick

斜率优化 一、简单DP 首先从一道简单题引入。 [IOI2002]任务安排 Description N个任务排成一个序列在一台机器上等待完成&#xff08;顺序不得改变&#xff09;&#xff0c;这N个任务被分成若干批&#xff0c;每批包含相邻的若干任务。从时刻0开始&#xff0c;这些任务被分…

分布式部署携程Apollo构建配置中心

一、开场白在系统设计里我们有很多配置希望独立于系统之外&#xff0c;而又能够被系统实时读取。但是在传统的系统设计里&#xff0c;配置信息通常是耦合在系统内的&#xff0c;比如.net里通常会放在App.config或者web.config里&#xff0c;.net core则是appsettings.json里&am…

CF1550F Jumping Around

CF1550F Jumping Around 题意&#xff1a; 数轴上顺次有 n 个点a1<a2<⋯<an。a_1 < a_2 < \cdots < a_n。a1​<a2​<⋯<an​。 有一只小青蛙&#xff0c;初始时在asa_sas​处。小青蛙有两个参数&#xff1a;步长 d 和灵活程度 k。其中&#xff0c…

[COCI 2017-2018-2]-San

[COCI 2017-2018-2]-San san(1s64M) 游戏世界中有N个楼从左到右排列&#xff0c;从左到右编号为1到N&#xff0c;第i幢楼的高度为Hi,楼上的金币数为Gi,游戏可以从任意一个楼开始且包涵几步。每一步玩家可以从当前位置向右跳&#xff08;可以跳过一些楼&#xff09;但必须跳到…

领域模型架构 eShopOnWeb项目分析 上

一.概述本篇继续探讨web应用架构&#xff0c;讲基于DDD风格下最初的领域模型架构&#xff0c;不同于DDD风格下CQRS架构&#xff0c;二者架构主要区别是领域层的变化。 架构的演变是从领域模型到CQRS, 一开始DDD是用领域模型的分层架构&#xff0c;用单一的领域模型处理业务逻辑…

最小生成树--Boruvka算法

参考文章 介绍 第一次听说这个算法。。 对于最小生成树一定学过prim和krusal&#xff0c;prim复杂度是O(n2)或者O(elogn)O(n^2)或者O(elogn)O(n2)或者O(elogn),krusal复杂度是O(eloge)O(eloge)O(eloge)&#xff0c;这里介绍一下Boruvka算法 Boruvka算法解决某些特定问题非常好…

[NOIP2016]愤怒的小鸟(状压DP)

[NOIP2016]愤怒的小鸟&#xff08;状压DP&#xff09; 题目描述 输入输出格式 输入格式&#xff1a; 第一行包含一个正整数 T&#xff0c;表示游戏的关卡总数。 下面依次输入这 T个关卡的信息。每个关卡第一行包含两个非负整数 n,m&#xff0c;分别表示该关卡中的小猪数量和…