【LibreOJ】#6259. 「CodePlus 2017 12 月赛」白金元首与独舞
【题目】给定n行m列的矩阵,每个位置有一个指示方向(上下左右)或没有指示方向(任意选择),要求给未定格(没有指示方向的位置)确定方向,使得从任意一个开始走都可以都出矩阵,求方案数。n,m<=200,k<=300(未定格数量)。
【算法】生成树计数(矩阵树定理)
【题解】先对定向格DFS找环判断是否无解。
然后每个点向指示方向连边,未定格向四周连边,外界作为一个点。
将所有有向边反向后,就是求根为外界的树形图的数量,生成树计数问题用矩阵树定理解决。
复杂度T*O((n*m)^3)。
考虑优化,发现重要的只有未定格的方向且k很小,所以将未定格之间的路径直接计算后只保留未定格的图,再用矩阵树定理解决。
复杂度T*O(k^3)。
注意:
1.逆元的log放在外面,否则复杂度会变成O(k^3*log k)。
2.因为要取模,高斯消元前必须全部变成正数,且矩阵每次交换两行都会使答案取反。
3.有重边,邻接矩阵不能赋值为1,有向边度数矩阵只计算入度。
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int maxn=,MOD=1e9+;
const int fx[]={,,,-};
const int fy[]={,-,,};
struct edge{int v,from;}e[maxn*];
struct node{int x,y;}b[maxn];
int n,m,vis[maxn][maxn],v[maxn][maxn],tot,t[maxn][maxn],a[maxn][maxn];
char s[maxn];
bool ok;
void dfs(node u,int mark){
if(v[u.x][u.y]||u.x<||u.x>n||u.y<||u.y>m)return;
vis[u.x][u.y]=mark;
int X=u.x+fx[t[u.x][u.y]],Y=u.y+fy[t[u.x][u.y]];
if(vis[X][Y]==mark)ok=;
else if(vis[X][Y])return;
else dfs((node){X,Y},mark);
}
void insert(int u,int v){
a[v][v]++;a[u][v]--;//
}
void gcd(int a,int b,int& x,int& y){
if(!b){x=;y=;}
else{gcd(b,a%b,y,x);y-=x*(a/b);}
}
int inv(int a){
int x,y;
gcd(a,MOD,x,y);
return (x%MOD+MOD)%MOD;
}
int gauss(int n){
bool f=;
for(int i=;i<=n;i++)for(int j=;j<=n;j++)a[i][j]=(a[i][j]+MOD)%MOD;
for(int i=;i<=n;i++){
int r=i;
for(int j=i+;j<=n;j++)if(a[j][i]>a[r][i])r=j;
if(r!=i){for(int j=i;j<=n+;j++)swap(a[i][j],a[r][j]);f^=;}
int w=inv(a[i][i]);//
for(int j=i+;j<=n;j++){
for(int k=n+;k>=i;k--){
a[j][k]=(a[j][k]-1ll*a[j][i]*w%MOD*a[i][k]%MOD+MOD)%MOD;//
}
}
}
int ans=f?MOD-:;
for(int i=;i<=n;i++)ans=1ll*ans*a[i][i]%MOD;
return ans;//
}
int main(){
int T;scanf("%d",&T);
while(T--){
memset(v,,sizeof(v));
memset(vis,,sizeof(vis));
memset(a,,sizeof(a));
tot=;
scanf("%d%d",&n,&m);
for(int i=;i<=n;i++){
scanf("%s",s+);
for(int j=;j<=m;j++){
if(s[j]=='U')t[i][j]=;
if(s[j]=='D')t[i][j]=;
if(s[j]=='L')t[i][j]=;
if(s[j]=='R')t[i][j]=;
if(s[j]=='.'){v[i][j]=++tot;b[tot]=(node){i,j};}
}
}
ok=;
for(int i=;i<=n;i++){
for(int j=;j<=m;j++)if(!vis[i][j])dfs((node){i,j},(i-)*m+j);
if(!ok)break;
}
if(!ok){puts("");continue;}
tot++;
for(int i=;i<tot;i++){
int x=b[i].x,y=b[i].y;
for(int j=;j<;j++){
int X=x+fx[j],Y=y+fy[j];bool yes=;
while(X>=&&X<=n&&Y>=&&Y<=m){
if(v[X][Y]){if(v[X][Y]!=i)insert(v[X][Y],i);yes=;break;}
else{
int o1=fx[t[X][Y]],o2=fy[t[X][Y]];
X+=o1;Y+=o2;
}
}
if(!yes)insert(tot,i);
}
}
printf("%d\n",gauss(tot-));
}
return ;
}
【LibreOJ】#6259. 「CodePlus 2017 12 月赛」白金元首与独舞的更多相关文章
- [LOJ#6259]「CodePlus 2017 12 月赛」白金元首与独舞
[LOJ#6259]「CodePlus 2017 12 月赛」白金元首与独舞 试题描述 到河北省 见斯大林 / 在月光下 你的背影 / 让我们一起跳舞吧 うそだよ~ 河北省怎么可能有 Stalin. ...
- 「CodePlus 2017 12 月赛」白金元首与独舞
description 题面 data range \[ 1 \leq T \leq 10, 1 \leq n, m \leq 200 , 0 \leq k \leq \min(nm, 300)\] ...
- 走进矩阵树定理--「CodePlus 2017 12 月赛」白金元首与独舞
n,m<=200,n*m的方阵,有ULRD表示在这个格子时下一步要走到哪里,有一些待决策的格子用.表示,可以填ULRD任意一个,问有多少种填法使得从每个格子出发都能走出这个方阵,答案取模.保证未 ...
- loj6259「CodePlus 2017 12 月赛」白金元首与独舞
分析 我们将没连的点连向周围四个点 其余的按照给定的方向连 我们将所有连出去的位置统一连到0点上 再以0作为树根 于是就将问题转化为了有向图内向树计数 代码 #include<iostream& ...
- 【LIbreOJ】#6256. 「CodePlus 2017 12 月赛」可做题1
[题意]定义一个n阶正方形矩阵为“巧妙的”当且仅当:任意选择其中n个不同行列的数字之和相同. 给定n*m的矩阵,T次询问以(x,y)为左上角的k阶矩阵是否巧妙.n,m<=500,T<=10 ...
- 【LibreOJ】#6257. 「CodePlus 2017 12 月赛」可做题2
[题意]数列满足an=an-1+an-2,n>=3.现在a1=i,a2=[l,r],要求满足ak%p=m的整数a2有多少个.10^18. [算法]数论(扩欧)+矩阵快速幂 [题解]定义fib(i ...
- 「CodePlus 2017 12 月赛」火锅盛宴(模拟+树状数组)
1A,拿来练手的好题 用一个优先队列按煮熟时间从小到大排序,被煮熟了就弹出来. 用n个vector维护每种食物的煮熟时间,显然是有序的. 用树状数组维护每种煮熟食物的数量. 每次操作前把优先队列里煮熟 ...
- 「CodePlus 2017 12 月赛」可做题2(矩阵快速幂+exgcd+二分)
昨天这题死活调不出来结果是一个地方没取模,凉凉. 首先有个一眼就能看出来的规律... 斐波那契数列满足$a_1, a_2, a_1+a_2, a_1+2a_2, 2a_1+3a_2, 3a_1+5a_ ...
- 「CodePlus 2017 12 月赛」火锅盛宴
n<=100000种食物,给每个食物煮熟时间,有q<=500000个操作:在某时刻插入某个食物:查询熟食中编号最小的并删除之:查询是否有编号为id的食物,如果有查询是否有编号为id的熟食, ...
随机推荐
- centos 6 编译emacs-24.5
yum install `yum deplist emacs | grep provider | awk -F: '{print $2}' | awk '{print $1}' | xargs` yu ...
- HTMLA内联框架
<head> <meta charset="utf-8" /> <title>内联框架</title> </head> ...
- jmeter 配置元件之计数器Counter
用jmeter生成数据 我用过几种以下几种方法 1.CSV Data Set Config 参数化 2.${_Random} ${_Random}是jmeter函数助手里面自带的一个函数,作用是返回 ...
- CF337D-Book of Evil
题目 一棵树上有一个古籍,这个古籍可以影响到与它距离为 \(d\) 以内的点.现在给出被影响到的点,问古籍可能在多少个点上. \(0\le m,d\le n\le 10^5\). 分析 原问题不好做, ...
- luogu 1437 敲砖块(DP)
这道题的DP的状态设计的很有想法啊. 假如我们一行一行来选择的话,状态将会极其复杂. 如果一列一列来看的话,比如你想选aij,那么第i列的前j个都要选,并且第i+1列的前j-1个都要选. 于是状态就很 ...
- Android 水波纹点击效果(Ripple Effect)
上周Android发布了Android M的Preview版本.但想必Android5.0很多炫酷效果,多数开发者还没有使用过,那更不要说广大用户了. 本文介绍的是Android5.0中其中一个炫酷的 ...
- equals与==区别
equals与==区别 java中的数据类型,可分为两类: 1.基本数据类型,也称原始数据类型.byte,short,char,int,long,float,double,boolean 他们之间 ...
- 我的bootstrap学习
前端开发框架bootstrap Bootstrap 安装 <link ref="stylesheet" href="bs/css/bootstrap.css ...
- liunx 用户和用户组的命令
查看用户列表 /etc/passwd 查看用户组列表 /etc/group 用户和用户组管理 groupadd groups 新增用户组 groupmod -n newgroupsr gro ...
- 【BZOJ1042】硬币购物(动态规划,容斥原理)
[BZOJ1042]硬币购物(动态规划,容斥原理) 题面 BZOJ Description 硬币购物一共有4种硬币.面值分别为c1,c2,c3,c4.某人去商店买东西,去了tot次.每次带di枚ci硬 ...