loj6519 魔力环
解题思路
考虑顺时针旋转 \(i\) 步得到的结果,根据Burnside引理,有
\]
\(C(i)\) 为旋转 \(i\) 步时不动点的数量。
实际上,旋转 \(i\) 步得到的是 \(\frac{n}{\gcd(n,i)}\) 个互不相干的环,每个环都是一个置换。不难发现,若一个方案在旋转 \(i\) 步的情况下为不动点,那么对于分割出来的每个小环,要么都为黑色,要么都为白色。
可以得到,对于 \(\gcd(n,i)\) 相等的 \(i\) ,它们对答案的贡献是一样的。
所以可以枚举每个小环的长度 \(l\) 。不难发现 \(l\) 需要是 \(n\) 的因数。而由于每个小环要么全黑,要么全白,所以黑点数量应当为 \(l\) 的整数倍。即 \(l|\gcd(n,m)\) 。
所以答案可以写成这样:
\]
用到了使用Burnside的时候常用的东西:
\]
接下来就要解决如何求 \(f(l)\) 。可以这样考虑:
对于环长 \(l\) , \(n\) 个点被分成了 \(\frac{n}{l}\) 个环。不妨将每个点以其所在的点标号,那么就会产生类似于 \(1,2,3,1,2,3\) 这样的重复。也就是说,还可以将“ \(1,2,3\) ”看成 \(1\) 个环,总共 \(l\) 个环,每个环 \(\frac{n}{l}\) 个点。为了方便叙述,不妨将其称为“第二种环”。
每个“第二种环”恰好有“第一种环”上每个环里一个点,也就是说,恰好有 \(\frac{m}{l}\) 个黑点。即需要在一个 \(\frac{n}{l}\) 元环上选 \(\frac{m}{l}\) 个黑点,其中连续的黑点不超过 \(k\) 个。注意这里的环相当于有了标号,旋转相同的不算重复。
可以考虑断环成链,然后枚举链首尾连续的黑点个数之和 \(j\) 。如果记 \(x\) 个黑点分成 \(y\) 份,每份可以为空的方案数为 \(F(x,y)\) ,那么环上的答案就是:
\]
而 \(F\) 的值可以通过容斥得到
\]
计算 \(F(x,y)\) 的时间复杂度是 \(O(\frac{x}{k})\) 的,计算 \(f(l)\) 的时间复杂度是 \(O(\frac{n}{l})\) 的。所以总的时间复杂度是 \(O(n)\) 的。
参考程序
#include <cstdio>
#define Maxn 100010
#define Mod 998244353
int Fact[Maxn], Inv[Maxn], Phi[Maxn], Vis[Maxn], Prime[Maxn], n, m, k;
inline void Pre();
inline int f(int x);
inline int F(int x, int y);
#define Add(x,y) ((x)+(y))%Mod
#define Dec(x,y) (x)>(y)?(x)-(y):(x)-(y)+Mod
#define Mul(x,y) 1ll*(x)*(y)%Mod
inline int Pow(int x,int y){int A=1;for(;y;y>>=1,x=Mul(x,x))if(y&1)A=Mul(A,x);return A;}
#define C(x,y) 1LL*Fact[x]*Inv[y]%Mod*Inv[(x)-(y)]%Mod
int main() {
scanf("%d%d%d", &n, &m, &k);
if (k == 0) return printf("%d\n", m ? 0 : 1), 0;
if (m == 0) return printf("1\n"), 0;
Pre();
int gcd = [](int x, int y)->int{int T = x % y; while(T) x = y, y = T,T = x % y; return y; }(n, m);
int Ans = 0;
for (int i = 1; i <= gcd; ++i)
if (!(gcd % i))
Ans = Add(Ans, Mul(f(i), Phi[i]));
Ans = Mul(Ans, Pow(n, Mod - 2));
printf("%d\n", Ans);
return 0;
}
inline void Pre() {
Fact[0] = 1; for (int i = 1; i <= n; ++i) Fact[i] = Mul(Fact[i - 1], i);
Inv[n] = Pow(Fact[n], Mod - 2); for (int i = n - 1; i >= 0; --i) Inv[i] = Mul(Inv[i + 1], i + 1);
Phi[1] = 1;
for (int i = 2; i <= n; ++i) {
if (!Vis[i]) Phi[i] = i - 1, Prime[++Prime[0]] = i;
for (int j = 1; j <= Prime[0] && 1LL * i * Prime[j] <= n; ++j) {
Vis[i * Prime[j]] = 1;
if (i % Prime[j] == 0) { Phi[i * Prime[j]] = Phi[i] * Prime[j]; break; }
Phi[i * Prime[j]] = Phi[i] * (Prime[j] - 1);
}
}
return;
}
inline int f(int l) {
if (n / l - m / l == 1) return (m / l <= k) ? m / l + 1 : 0;
int Ans = 0;
for (int j = 0; j <= k; ++j)
Ans = Add(Ans, Mul(j + 1, F(m / l - j, n / l - m / l - 1)));
return Ans;
}
inline int F(int x, int y) {
int Ans = 0;
for (int i = 0; i * (k + 1) <= x && i <= y; ++i) {
if (i & 1) Ans = Dec(Ans, Mul(C(y, i), C(x - i * (k + 1) + y - 1, y - 1)));
else Ans = Add(Ans, Mul(C(y, i), C(x - i * (k + 1) + y - 1, y - 1)));
}
return Ans;
}
loj6519 魔力环的更多相关文章
- LOJ6519. 魔力环(莫比乌斯反演+生成函数)
题目链接 https://loj.ac/problem/6519 题解 这里给出的解法基于莫比乌斯反演.可以用群论计数的相关方法代替莫比乌斯反演,但两种方法的核心部分是一样的. 环计数的常见套路就是将 ...
- Luogu4916 魔力环 莫比乌斯反演、组合、生成函数
传送门 先不考虑循环同构的限制,那么对于一个满足条件的序列,如果它的循环节长度为\(d\),那么与它同构的环在答案中就会贡献\(d\)次. 所以如果设\(f_i\)表示循环节长度恰好为\(i\)的满足 ...
- [Luogu4916]魔力环[Burnside引理、组合计数、容斥]
题意 题目链接 分析 sπo yyb 代码 #include<bits/stdc++.h> using namespace std; typedef long long LL; #defi ...
- 【Luogu4916】魔力环(Burnside引理,组合计数)
考虑\(Burside\)引理,设\(f(x)\)表示置换拆成循环的个数为\(x\)时的答案,那么最终的结果就是\(\displaystyle \frac{\sum_{i=1}^n f(gcd(i,n ...
- luogu P4916 魔力环
传送门 表示这种\(Burnside\)定理之类的东西一用就忘qwq 题目要求不同染色方案数,因为变换方式只有旋转,所以只有\(n\)个置换,然后可能会出现某种方案有循环节,这个循环节长度显然要是\( ...
- [jzoj 6084] [GDOI2019模拟2019.3.25] 礼物 [luogu 4916] 魔力环 解题报告(莫比乌斯反演+生成函数)
题目链接: https://jzoj.net/senior/#main/show/6084 https://www.luogu.org/problemnew/show/P4916 题目: 题解: 注: ...
- 【LuoguP4916】魔力环
题目链接 题意 求出 \(n\) 个珠子的在旋转同构意义下的手 环 个数,满足以下条件: 恰好有 \(m\) 个黑色珠子,其余为白色. 黑色珠子形成的最长连续段不能超过 \(k\) 个. Sol 考虑 ...
- 「MtOI2018」魔力环
首先发现是经典的循环置换本质不同个数模型,根据 Burnside 引理: \[|X / G| = \frac{1}{|G|}\sum\limits_{g \in G} |X ^ g| \] 考虑第 \ ...
- GOOD BYE OI
大米饼正式退役了,OI给我带来很多东西 我会的数学知识基本都在下面了 博客园的评论区问题如果我看到了应该是会尽力回答的... 这也是我作为一个OIer最后一次讲课的讲稿 20190731 多项式乘法 ...
随机推荐
- Angular CDK Overlay 弹出覆盖物
为什么使用Overlay? Overlay中文翻译过来意思是覆盖物,它是Material Design components for Angular中针对弹出动态内容这一场景的封装,功能强大.使用方便 ...
- MySQL - 性能优化 & MySQL常见SQL错误用法(转载)
1. LIMIT 语句 分页查询是最常用的场景之一,但也通常也是最容易出问题的地方.比如: , ; 一般DBA想到的办法是在type, name, create_time字段上加组合索引.这样条件排序 ...
- Idea加载项目扫描完毕后自动退出
问题描述:Idea平时好好的,突然就打开后扫描完毕后自动退出.网上说修改idea.exe.vmoptions文件的Xmx,还是不行. 后来根据http://www.pianshen.com/artic ...
- 11-MySQL DBA笔记-MySQL的监控
第11章 MySQL的监控 为什么我们需要监控呢?因为如果没有了监控,那么我们的服务可用性就无从度量,我们也无法及时地发现问题和处理问题.一个完善的监控体系,不仅需要进行实时的监控,也需要分析历史的监 ...
- js重点——作用域——简单介绍(一)
一.作用域 定义:在js中,作用域为变量,对象,函数可访问的一个范围. 分类:全局作用域和局部作用域 全局作用域:全局代表了整个文档document,变量或者函数在函数外面声明,那它的就是全局变量和全 ...
- 关于操作git
手册:http://www.yiibai.com/git/ 一.安装git,可以通过git bash执行命令行:安装tortoiseGit执行git相关操作,在那之前需要了解下git命令行操作 二.在 ...
- 【leetcode】617. Merge Two Binary Trees
原题 Given two binary trees and imagine that when you put one of them to cover the other, some nodes o ...
- 命令行工具--netstat
目录 netstat命令使用 一.简介 二.安装 三.常见参数 四.使用案例 1.列出所有端口(包括监听和为监听的) 2.列出所有 tcp 端口 3.列出所有 udp 端口 4.列出正在监听的端口 5 ...
- linux入门常用指令4.挂载数据盘
挂载硬盘 #查看当前分区情况 [root@localhost ~]# lsblk NAME MAJ:MIN RM SIZE RO TYPE MOUNTPOINT sdb 8:16 0 5G 0 dis ...
- 2.03_Python网络爬虫Http和Https
一:HTTP和HTTPS HTTP协议(HyperText Transfer Protocol,超文本传输协议):是一种发布和接收 HTML页面的方法,以明文的形式传输,效率高,但是不安全 HTTPS ...