当前位置: 首页 > news >正文

[POJ 2888]Magic Bracelet[Polya Burnside 置换 矩阵]

也许更好的阅读体验
\(\mathcal{Description}\)

大意:给一条长度为\(n\)的项链,有\(m\)种颜色,另有\(k\)条限制,每条限制为不允许\(x,y\)颜色连在一起。要求有多少种本质不同的染色方式,本质不同的两种染色方式必须旋转不能互相得到。
输入方式:
第一行 \(t,\)表示t组数据
接下来\(t\)组数据:
每组数据第一行为\(n,m,k\)
接下来\(k\)行,每行两个数\(x,y\)表示不允许\(x,y\)颜色连在一起。
答案对9973取模
\((1 ≤ n ≤ 10^9, gcd(n, 9973) = 1), m (1 ≤ m ≤ 10), k (1 ≤ k ≤ m(m − 1) /2)\)
\(\mathcal{Solution}\)

本篇题解假设大家都会没有\(k\)条限制的版本

由于染色有限制,所以\(polya\)定理就不好用了
\(burnside\)定理解决(发现大家标题都打得polya,于是也这么打标题了)

首先枚举不同的置换,即枚举循环长度,这一块和用\(polya\)定理有点像
由于\(n\)很大,要用\(\varphi\)来优化
一个置换中,循环的元素的所有颜色必须相同,所以我们要计算有多少个循环,这些循环有多少种染色方法

计算染色方法
考虑在该置换内一个循环一个循环的染色,我们可以看做从不同颜色节点走向另一节点
用邻接矩阵\(f[i][j]\)表示从\(i\)能否走向\(j\)
除去那\(k\)条限制,所有其他的\(i,j\) , \(f[i][j]=1\),即在染为第\(i\)种颜色后是可以染为第\(j\)种颜色的

这时候想到邻接矩阵的妙用,用矩乘计算\(n\)次之后得到的\(f[i][j]\)的意义发生改变
\(f[i][j]\)表示从\(i\)出发,走\(n\)步,最后结束在\(j\)有多少种走法。
由于是一个走一圈,所以 \(i\)出发应在\(i\)结束,答案贡献为\(f[i][i]\)
这样就可以计算长度为\(n\)的循环的染色方法了:求出原矩阵的\(n\)次方后的矩阵后\(\sum_{i=1}^mf[i][i]\)

注意取模
代码

/*******************************
Author:Morning_Glory
LANG:C++
Created Time:2019年07月04日 星期四 14时25分13秒
*******************************/
#include <cstdio>
#include <fstream>
#include <cstring>
using namespace std;
const int maxn = 25;
const int mod = 9973;
//{{{cin 读入优化
struct IO{
    template<typename T>
    IO & operator>>(T&res){
        res=0;
        bool flag=false;
        char ch;
        while((ch=getchar())>'9'||ch<'0')    flag|=ch=='-';
        while(ch>='0'&&ch<='9') res=(res<<1)+(res<<3)+(ch^'0'),ch=getchar();
        if (flag)    res=~res+1;
        return *this;
    }
}cin;
//}}}
int t,n,m,k,x,y,ni,ans;
//{{{Matrix
struct Matrix{
    int rec[maxn][maxn];
    Matrix(){   memset(rec,0,sizeof(rec));}
    Matrix operator = (const Matrix &y){
        for (int i=1;i<=m;++i)
            for (int j=1;j<=m;++j)
                rec[i][j]=y.rec[i][j];
        return *this;
    }
    friend Matrix operator * (const Matrix &a,const Matrix &b){
        Matrix t;
        for (int i=1;i<=m;++i)
            for (int j=1;j<=m;++j)
                for (int k=1;k<=m;++k)
                    t.rec[i][j]=(t.rec[i][j]+a.rec[i][k]*b.rec[k][j])%mod;
        return t;
    }
    Matrix operator ^ (int b){
        Matrix s,a;
        a=*this;
        for (int i=1;i<=m;++i)  s.rec[i][i]=1;
        for (;b;b>>=1,a=a*a)
            if (b&1)    s=s*a;
        return s;
    }
}a,b;
//}}}Martix
//{{{get_phi
int get_phi (int x)
{
    int res=x;
    for (int i=2;i*i<=x;++i)
        if (x%i==0){
            res=res/i*(i-1);
            while (x%i==0)  x/=i;
        }
    if (x>1)    res=res/x*(x-1);
    return res%mod;//此处要取模
}
//}}}
//{{{ksm
int ksm (int a,int b)
{
    int s=1;
    a%=mod;
    for (;b;a=1ll*a*a%mod,b>>=1)
        if (b&1)    s=1ll*s*a%mod;
    return s;
}
//}}}
//{{{calc
int calc (int x)
{
    b=a^x;
    int res=0;
    for (int i=1;i<=m;++i)  res=(res+b.rec[i][i])%mod;
    return res;
}
//}}}
int main()
{
    cin>>t;
    while (t--){
        cin>>n>>m>>k;
        ans=0,ni=ksm(n,mod-2);//ni n的逆元
        for (int i=1;i<=m;++i)
            for (int j=1;j<=m;++j)
                a.rec[i][j]=1;
        while (k--){
            cin>>x>>y;
            a.rec[x][y]=a.rec[y][x]=0;
        }
        for (int i=1;i*i<=n;++i)
            if (n%i==0){
                ans=(ans+get_phi(i)*calc(n/i)%mod)%mod;
                if (i*i!=n) ans=(ans+get_phi(n/i)*calc(i)%mod)%mod;
            }
        ans=ans*ni%mod;
        printf("%d\n",ans);
    }
    return 0;
}

转载于:https://www.cnblogs.com/Morning-Glory/p/11135008.html

相关文章:

  • delphi xe10 中使用剪贴板(跨平台)
  • 用到的Dos命令总结 持续更新
  • java Eclipse的使用技巧
  • 课程总结
  • Hive跨集群迁移
  • hadoop 参数调优重点参数
  • Hive的配置详解和日常维护
  • AspNet分页控件AjaxPager的使用
  • Thinkpad E430+CentOS 6.4+ linux-3.10.12内核网卡驱动(无线+有线)配置
  • HBase Shell输入命令无法删除问题解决技巧
  • java 表格项的删除、编辑、增加 修改版
  • 《敏捷个人》周刊 第5期 (可下载)
  • 暂时性死区
  • nginx实现最简单的直播
  • java项目代码上线
  • 2017年终总结、随想
  • JavaScript 无符号位移运算符 三个大于号 的使用方法
  • leetcode378. Kth Smallest Element in a Sorted Matrix
  • MobX
  • PyCharm搭建GO开发环境(GO语言学习第1课)
  • Quartz初级教程
  • Redux系列x:源码分析
  • spring cloud gateway 源码解析(4)跨域问题处理
  • vue-cli3搭建项目
  • 分享一份非常强势的Android面试题
  • 基于 Babel 的 npm 包最小化设置
  • 如何用Ubuntu和Xen来设置Kubernetes?
  • 我的zsh配置, 2019最新方案
  • 3月7日云栖精选夜读 | RSA 2019安全大会:企业资产管理成行业新风向标,云上安全占绝对优势 ...
  • Java数据解析之JSON
  • 没有任何编程基础可以直接学习python语言吗?学会后能够做什么? ...
  • #HarmonyOS:软件安装window和mac预览Hello World
  • (6)STL算法之转换
  • (C语言)fread与fwrite详解
  • (zt)最盛行的警世狂言(爆笑)
  • (第27天)Oracle 数据泵转换分区表
  • (二)WCF的Binding模型
  • (附源码)ssm旅游企业财务管理系统 毕业设计 102100
  • (三十五)大数据实战——Superset可视化平台搭建
  • (十五)使用Nexus创建Maven私服
  • .dat文件写入byte类型数组_用Python从Abaqus导出txt、dat数据
  • .form文件_SSM框架文件上传篇
  • .L0CK3D来袭:如何保护您的数据免受致命攻击
  • .mysql secret在哪_MySQL如何使用索引
  • .NET 2.0中新增的一些TryGet,TryParse等方法
  • .NET Conf 2023 回顾 – 庆祝社区、创新和 .NET 8 的发布
  • .NET Core WebAPI中使用swagger版本控制,添加注释
  • .net Signalr 使用笔记
  • .NET 将混合了多个不同平台(Windows Mac Linux)的文件 目录的路径格式化成同一个平台下的路径
  • .NET/C# 项目如何优雅地设置条件编译符号?
  • .net网站发布-允许更新此预编译站点
  • @RequestParam,@RequestBody和@PathVariable 区别
  • [ CTF ] WriteUp- 2022年第三届“网鼎杯”网络安全大赛(白虎组)
  • [Android] 240204批量生成联系人,短信,通话记录的APK
  • [boost]使用boost::function和boost::bind产生的down机一例