AGC005D - ~K Perm Counting(组合数学,背包,dp)

AGC005D - ~K Perm Counting

Solution

经典数排列个数题,写了个大麻烦容斥。

直接容斥,考虑求出fif_ifi表示有iii个位置∣pi−i∣=k|p_i-i|=kpii=k的方案数。一个位置iii满足∣pi−i∣=k|p_i-i|=kpii=k,要么pi=i+kp_i=i+kpi=i+k,要么pi=i−kp_i=i-kpi=ik,当前面的位置选择了pi=i+kp_i=i+kpi=i+k时,后面的pi+2kp_{i+2k}pi+2k就不能选择i+ki+ki+k了,前面可能对后面产生影响。

因此我们发现对于下标modkmod\;kmodk不同的位置之间一定没有影响,于是我们对modkmod\;kmodk余数分类,拉出nmodkn\mod knmodk条长为⌊nk⌋+1\lfloor\frac{n}{k}\rfloor+1kn+1的链和k−nmodkk-n\mod kknmodk条长为⌊nk⌋\lfloor\frac{n}{k}\rfloorkn的链,此时∣pi−i∣=k|p_i-i|=kpii=k等价于选择了该点在链上的相邻点,把这些链的fff值用背包合并起来就是我们要求的fff

于是我们要对每一种jjj,算出一条链上选取jjj个的方案数。令gi,j,kg_{i,j,k}gi,j,k表示前iii点,选取jjj个相邻点,i−1,i,i+1{i-1,i,i+1}i1,i,i+1的选取状态为kkk的方案数。

最后的答案要算上没选的点的任意选取的排列个数,即:
Ans=∑i=0n(−1)ifi(n−i)!Ans=\sum_{i=0}^n(-1)^if_i(n-i)!Ans=i=0n(1)ifi(ni)!

时间复杂度O(n2)O(n^2)O(n2),据说也有O(nlgn)O(nlgn)O(nlgn)的更麻烦做法。

Code

#include <vector>
#include <list>
#include <map>
#include <set>
#include <deque>
#include <queue>
#include <stack>
#include <bitset>
#include <algorithm>
#include <functional>
#include <numeric>
#include <utility>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cctype>
#include <string>
#include <cstring>
#include <ctime>
#include <cassert>
#include <string.h>
//#include <unordered_set>
//#include <unordered_map>
//#include <bits/stdc++.h>#define MP(A,B) make_pair(A,B)
#define PB(A) push_back(A)
#define SIZE(A) ((int)A.size())
#define LEN(A) ((int)A.length())
#define FOR(i,a,b) for(int i=(a);i<(b);++i)
#define fi first
#define se secondusing namespace std;template<typename T>inline bool upmin(T &x,T y) { return y<x?x=y,1:0; }
template<typename T>inline bool upmax(T &x,T y) { return x<y?x=y,1:0; }typedef long long ll;
typedef unsigned long long ull;
typedef long double lod;
typedef pair<int,int> PR;
typedef vector<int> VI;const lod eps=1e-11;
const lod pi=acos(-1);
const int oo=1<<30;
const ll loo=1ll<<62;
const int mods=924844033;
const int MAXN=2005;
const int INF=0x3f3f3f3f;//1061109567
/*--------------------------------------------------------------------*/
inline int read()
{int f=1,x=0; char c=getchar();while (c<'0'||c>'9') { if (c=='-') f=-1; c=getchar(); }while (c>='0'&&c<='9') { x=(x<<3)+(x<<1)+(c^48); c=getchar(); }return x*f;
}
int num=0,h[MAXN],g[MAXN][MAXN][8],f[MAXN],fac[MAXN],tmp[MAXN];
int upd(int x,int y) { return x+y>=mods?x+y-mods:x+y; }
void Merge(int q)
{for (int j=0;j<=q;j++) {h[j]=0;for (int t=0;t<4;t++) h[j]=upd(h[j],g[q][j][t]);}num+=q;for (int j=0;j<=num;j++) tmp[j]=0;for (int j=num;j>=0;j--)for (int k=0;k<=q;k++) if (j>=k) tmp[j]=upd(tmp[j],1ll*f[j-k]*h[k]%mods);for (int j=0;j<=num;j++) f[j]=tmp[j];
}
signed main()
{int n=read(),p=read(),q=n/p+1;fac[0]=1;for (int i=1;i<=n;i++) fac[i]=1ll*fac[i-1]*i%mods;g[1][0][0]=g[1][1][4]=1;for (int i=1;i<q;i++)for (int j=0;j<=i;j++){for (int k=0;k<8;k++) g[i+1][j][k>>1]=upd(g[i+1][j][k>>1],g[i][j][k]);for (int k=0;k<8;k++){if (!((k>>1)&1)) g[i+1][j+1][(k>>1)|1]=upd(g[i+1][j+1][(k>>1)|1],g[i][j][k]);if (!((k>>1)&4)) g[i+1][j+1][(k>>1)|4]=upd(g[i+1][j+1][(k>>1)|4],g[i][j][k]);}}f[0]=1;int r=n%p; for (int i=1;i<=r;i++) Merge(q);for (int i=1;i<=p-r;i++) Merge(q-1);int ans=0;for (int i=0;i<=n;i++) if (i&1) ans=upd(ans,mods-1ll*f[i]*fac[n-i]%mods);else ans=upd(ans,1ll*f[i]*fac[n-i]%mods);printf("%d\n",ans);return 0;
}

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

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

相关文章

Codeforces Round #704 (Div. 2) D. Genius‘s Gambit 构造 + 细节

传送门 题意&#xff1a; 给a,b,ka,b,ka,b,k&#xff0c;要求用aaa个000和bbb个111组成二进制xxx和yyy&#xff0c;并且x−yx-yx−y恰好有kkk个111&#xff0c;并且xxx和yyy不含前导零。 思路&#xff1a; 首先需要看到不含前导零&#xff0c;一开始没看见wa5了。让后一个很明…

ASP.NET Core 应用程序状态

在ASP.NET Core中&#xff0c;由多种途径可以对应用程序状态进行管理&#xff0c;使用哪种途径&#xff0c;由检索状态的时机和方式决定。应用程序状态指的是用于描述当前状况的任意数据。包括全局和用户特有的数据。开发人员可以根据不同的因素来选择不同的方式存储状态数据&a…

HDU6218 2017ACM/ICPC亚洲区沈阳站 Bridge(Set,线段树)

HDU6218 2017ACM/ICPC亚洲区沈阳站 Bridge Solution 我们考虑维护在环上的边的个数&#xff0c;答案就是总边数减去环上边数。 环的形态是这样的&#xff1a;(0,l),(0,l1)...(0,r),(1,r),(1,r−1)...(1,l)(0,l),(0,l1)...(0,r),(1,r),(1,r-1)...(1,l)(0,l),(0,l1)...(0,r),(…

Codeforces Round #704 (Div. 2) E. Almost Fault-Tolerant Database 思维

传送门 题意&#xff1a; 给nnn个长度为mmm的数组&#xff0c;要求构造一个长度为mmm的数组&#xff0c;使得这个数组与前面nnn个数组同一位置最多两个元素不同。 思路&#xff1a; 我们为了方便构造&#xff0c;可以先把要构造的数组看成nnn个数组的第一个数组&#xff0c;让…

Asp.net core使用MediatR进程内发布/订阅

1、背景最近&#xff0c;一个工作了一个月的同事离职了&#xff0c;所做的东西怼了过来。一看代码&#xff0c;惨不忍睹&#xff0c;一个方法六七百行&#xff0c;啥也不说了吧&#xff0c;实在没法儿说。介绍下业务场景吧&#xff0c;一个公共操作A&#xff0c;业务中各个地方…

[APIO2018] New Home 新家(线段树,二分答案,离散化)

[APIO2018] New Home 新家 Solution 对于时间轴我们直接离散化扫描线&#xff0c;维护每一个商店的加入和删除。 对于询问(x,t)(x,t)(x,t)&#xff0c;不好直接回答&#xff0c;这里的关键一步是&#xff1a;我们要求的是kkk种商店最小距离的最大值&#xff0c;于是考虑二分…

Codeforces Round #701 (Div. 2) C. Floor and Mod 数学分块

传送门 题意&#xff1a; 给两个数x,yx,yx,y。现在你计算有多少对a(a<x)a(a<x)a(a<x)和b(b<y)b(b<y)b(b<y)使得⌊ab⌋amodb\left \lfloor \frac{a}{b} \right \rfloora\bmod b⌊ba​⌋amodb。 思路&#xff1a; 因为xxx和yyy都是1e91e91e9的范围&#xff0…

AGC011D - Half Reflector(模拟)

AGC011D - Half Reflector Solution 先考虑改变一次。 我们令LLL表示往左走的球&#xff0c;RRR表示往右走的球&#xff0c;xxx表示任意种类的球&#xff0c;(−x)(-x)(−x)表示与xxx相反种类的球。 当球处于ARAARAARA的状态&#xff08;即有一个向右的球在两个AAA机器人之间…

[开源] FreeSql.Tools Razor 生成器

FreeSql 经过半年的开发和坚持维护&#xff0c;在 0.6.x 版本中完成了几大重要事件&#xff1a;1、按小包拆分&#xff0c;每个数据库实现为单独 dll&#xff1b;2、实现 .net framework 4.5 支持&#xff1b;3、同时支持 MySql.Data、MySqlConnector 的实现&#xff1b;4、自定…

Codeforces Round #701 (Div. 2) D. Multiples and Power Differences 思维构造

传送门 题意&#xff1a; 给定一个矩阵aaa&#xff0c;让你构造一个矩阵bbb&#xff0c;要求矩阵bbb的每个元素是aaa对应位置元素的倍数&#xff0c;且矩阵bbb的每两个相邻元素相差为k4(k>1)k^4(k>1)k4(k>1)。注意aaa的元素范围是1<a<161<a<161<a<…

AGC012D - Colorful Balls(并查集)

AGC012D - Colorful Balls Solution 连边题。 找出www最小的球yyy和www最小且颜色和yyy不同的球zzz。 yyy向所有colt̸coly,wtwy≤Ycol_t\not col_y,w_tw_y\leq Ycolt​​coly​,wt​wy​≤Y的球ttt连边。zzz向所有colt̸coly,wtwz≤Ycol_t\not col_y,w_tw_z\leq Ycolt​…

WebAssembly和Blazor:解决了一个存在十年的老问题

本文要点WebAssembly 是一种新的客户端技术&#xff0c;可以在所有现代浏览器&#xff08;包括移动浏览器&#xff09;中实现近乎原生的性能&#xff0c;而且不需要插件。许多语言&#xff0c;包括 C、C#、Go 和 Rust&#xff0c;都可以编译成面向基于栈的 WebAssembly 虚拟机的…

Educational Codeforces Round 103 (Rated for Div. 2) D. Journey dp

传送门 题意&#xff1a; 给n1n1n1个点&#xff0c;每两个点之间有一个字符L(表示i1连向i)L(表示i1连向i)L(表示i1连向i)或者R(表示i连向i1)R(表示i连向i1)R(表示i连向i1)&#xff0c;每秒可以移动一次&#xff0c;每移动一次每两个点之间的方向会互换&#xff0c;问每个点能到…

LG P4074 [WC2013] 糖果公园(带修莫队,树上莫队)

LG P4074 [WC2013] 糖果公园 Solution 树上带修莫队&#xff0c;主要还是复习带修莫队和树上莫队。 带修莫队&#xff1a; 带修莫队要先对lll分块的序号作为第一关键字&#xff0c;对rrr分块的序号作为第二关键字&#xff0c;时间ttt作为第三关键字排序&#xff0c;然后正常…

《电商后台系统产品逻辑解析》学习笔记

文是我阅读《电商产品经理宝典&#xff1a;电商后台系统产品逻辑全解析》一书的学习笔记&#xff0c;为后续我司做家居电商后台系统储备相关领域的业务知识。一、支撑线后台概览“前端用户的一小步&#xff0c;后台系统的一大步”&#xff0c;平时常见的功能如购物车、优惠券等…

P3403 跳楼机 同余最短路

传送门 题意&#xff1a; 思路&#xff1a; 转换一下题目就是用若干x,y,zx,y,zx,y,z能凑出来多少个<h<h<h的数。先考虑两个数y,zy,zy,z的情况&#xff0c;我们如果能求出来这两个数能凑出来的数设为sumsumsum&#xff0c;让后sumkx<hsumkx<hsumkx<h求出来…

LG P4899 [IOI2018] werewolf 狼人(kruskal重构树,二维数点)

LG P4899 [IOI2018] werewolf 狼人 Solution 我们发现010101限制长这样子&#xff1a; ∃x(minids−>x≥L&maxidx−>e≤R)→1\exist_x(min_{id_{s->x}}\geq L\;\;\And\;\;max_{id_{x->e}}\leq R) \to 1∃x​(minids−>x​​≥L&maxidx−>e​​≤R)…

NopCommerce 4.2的安装与运行

、关于NopCommerceNopCommerce是国外ASP.Net领域一个高质量的B2C开源电商项目&#xff0c;最新版本4.2基于ASP.NET Core MVC 2.2和EF Core 2.2开发&#xff0c;其强大的功能特性和插件机制使其成为了.NET领域开源电商项目的标杆。当然&#xff0c;还有一些其他的开源电商项目如…

P1527 [国家集训队]矩阵乘法 整体二分 + 二维树状数组

传送门 题意&#xff1a; 思路&#xff1a; 算是个整体二分的板子啦&#xff0c;不过这个是二维的矩阵&#xff0c;我们只需要把一位树状数组改成二维的&#xff0c;让后动态维护单点加&#xff0c;区间查询前缀和即可。 //#pragma GCC optimize(2) #include<cstdio>…

应用性能问题解决实际案例

某项目在上线前的APT&#xff08;Application Performance Testing应用程序性能测试&#xff09;过程中发现性能问题&#xff0c;性能测试结果影响是否上线&#xff0c;紧急求助外部项目组技术专家。因分属不同项目&#xff0c;只能通过项目组提供的信息进行分析。第一轮评审现…