CF1228E. Another Filling the Grid(容斥原理+排列组合)

2024-04-16 02:38

本文主要是介绍CF1228E. Another Filling the Grid(容斥原理+排列组合),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

You have ?×? square grid and an integer ?. Put an integer in each cell while satisfying the conditions below.

All numbers in the grid should be between 1 and ? inclusive.
Minimum number of the ?-th row is 1 (1≤?≤?).
Minimum number of the ?-th column is 1 (1≤?≤?).
Find the number of ways to put integers in the grid. Since the answer can be very large, find the answer modulo (109+7).

These are the examples of valid and invalid grid when ?=?=2.
Input
The only line contains two integers ? and ? (1≤?≤250, 1≤?≤109).

Output
Print the answer modulo (109+7).

Examples
inputCopy
2 2
outputCopy
7
inputCopy
123 456789
outputCopy
689974806
Note
In the first example, following 7 cases are possible.

In the second example, make sure you print the answer modulo (109+7).

题意: nXn的矩阵,每个格子可以填1~k的数。要求使得每行每列的数字最小值都为1.问有多少种填数方案
思路:
我是看了这篇博客
https://www.cnblogs.com/birchtree/p/11614243.html
可以有n^3的dp写法,这里是排列组合+容斥。

在这里插入图片描述
这里i(j)代表至少多少个最小值不为1的行(列)。

而关于为什么这样容斥,我的想法是:
在这里插入图片描述
容斥原理的原始公式是划分出集和的,本题也需要划分集合。假设只有一行的情况下,你只需要考虑列。设 f [ i ] f[i] f[i]表示第 i i i列不为1。
那么 f [ 1 ] , f [ 2 ] , f [ 3 ] , . . . , f [ i ] f[1],f[2],f[3],...,f[i] f[1],f[2],f[3],...,f[i]就是集合所需的所有集合了。

答案就是 U − ( ∑ f [ i ] − ∑ f [ i ] ∩ f [ j ] + ∑ f [ i ] ∩ f [ j ] − ∑ f [ i ] ∩ f [ j ] ∩ f [ k ] . . . ) U - (∑f[i]-∑f[i]∩f[j]+∑f[i]∩f[j]-∑f[i]∩f[j]∩f[k]...) U(f[i]f[i]f[j]+f[i]f[j]f[i]f[j]f[k]...)
这个式子是不是有原始公式的味道啦?

当然,行是不得不考虑的,那么就多划分出一些集合。
定义 f [ i ] f[i] f[i]为第 i i i列不存在1, g [ i ] g[i] g[i]为第 i i i行不存在1.
f [ 1 ] , f [ 2 ] , f [ 3 ] , . . . . , f [ n ] , g [ 1 ] , g [ 2 ] , g [ 3 ] , . . . , g [ n ] f[1],f[2],f[3],....,f[n],g[1],g[2],g[3],...,g[n] f[1],f[2],f[3],....,f[n],g[1],g[2],g[3],...,g[n]就是所需的所有集合。

答案就是 U − ( ∑ f [ i ] + ∑ g [ i ] − ∑ f [ i ] ∩ f [ j ] − ∑ f [ i ] ∩ g [ j ] − ∑ g [ i ] ∪ g [ j ] . . . ) U-(∑f[i]+∑g[i] - ∑f[i]∩f[j] - ∑f[i]∩g[j]-∑g[i]∪g[j] ...) U(f[i]+g[i]f[i]f[j]f[i]g[j]g[i]g[j]...)

#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>using namespace std;typedef long long ll;
const ll mod = 1e9 + 7;
const int maxn = 1e6 + 7;
struct Point
{ll x,y;
}p[5005];
ll fac[maxn],inv[maxn],f[maxn];int cmp(Point a,Point b)
{if(a.x == b.x)return a.y < b.y;return a.x < b.x;
}ll qpow(ll a,ll b)
{ll res = 1;while(b){if(b & 1){res = (res * a) % mod;}a = (a * a) % mod;b = b >> 1;}return res % mod;
}ll C(ll n,ll m)
{if(m > n || m < 0)return 0;return fac[n] * ((inv[n - m] * inv[m]) % mod) % mod;
}void init()
{fac[0] = 1;inv[0] = 1;for(int i = 1;i <= maxn - 2;i++){fac[i] = (fac[i - 1] * i) % mod;inv[i] = qpow(fac[i],mod - 2);}
}int main()
{init();ll n,k;scanf("%lld%lld",&n,&k);ll ans = 0;for(int i = 0;i <= n;i++){for(int j = 0;j <= n;j++){ll cnt = n * i + n * j - i * j;ans = (ans + qpow(-1,i+j) * C(n,i) % mod * C(n,j)%mod * qpow(k - 1,cnt)%mod * qpow(k,n * n - cnt)%mod + mod * 100) % mod;}}printf("%lld\n",ans);return 0;
}

DP做法
定义 f [ i ] [ j ] f[i][j] f[i][j]表示填完前 i i i行,前 i i i行都合理(最小值为1),且正好 j j j行合理。

#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>using namespace std;
typedef long long ll;
const ll mod = 1e9 + 7;
const int maxn = 1000 + 7;int n,k;
ll pk[maxn],pk1[maxn];
ll f[maxn][maxn];
ll fac[maxn],inv[maxn];ll qpow(ll a,ll b)
{ll res = 1;while(b){if(b & 1){res = (res * a) % mod;}a = (a * a) % mod;b = b >> 1;}return res % mod;
}ll C(ll n,ll m)
{if(m > n || m < 0)return 0;return fac[n] * ((inv[n - m] * inv[m]) % mod) % mod;
}void init()
{fac[0] = 1;inv[0] = 1;pk[0] = 1;pk1[0] = 1;for(int i = 1;i <= maxn - 2;i++){fac[i] = (fac[i - 1] * i) % mod;inv[i] = qpow(fac[i],mod - 2);pk[i] = pk[i - 1] * k % mod;pk1[i] = pk1[i - 1] * (k - 1) % mod;}
}int main() {scanf("%d%d",&n,&k);init();for(int i = 1;i <= n;i++) {f[1][i] = C(n,i) * pk1[n - i] % mod;}for(int i = 2;i <= n;i++) {for(int j = 1;j <= n;j++) {for(int k = 1;k < j;k++) {f[i][j] = (f[i][j] + C(n - k,j - k) * pk[k] % mod * pk1[n - j] % mod * f[i - 1][k] % mod) % mod;}f[i][j] = (f[i][j] + (pk[j] - pk1[j] + mod) * pk1[n - j] % mod * f[i - 1][j] % mod) % mod;}}printf("%lld\n",f[n][n]);return 0;
}

这篇关于CF1228E. Another Filling the Grid(容斥原理+排列组合)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/907602

相关文章

Java线程池核心参数原理及使用指南

《Java线程池核心参数原理及使用指南》本文详细介绍了Java线程池的基本概念、核心类、核心参数、工作原理、常见类型以及最佳实践,通过理解每个参数的含义和工作原理,可以更好地配置线程池,提高系统性能,... 目录一、线程池概述1.1 什么是线程池1.2 线程池的优势二、线程池核心类三、ThreadPoolE

Spring Boot Interceptor的原理、配置、顺序控制及与Filter的关键区别对比分析

《SpringBootInterceptor的原理、配置、顺序控制及与Filter的关键区别对比分析》本文主要介绍了SpringBoot中的拦截器(Interceptor)及其与过滤器(Filt... 目录前言一、核心功能二、拦截器的实现2.1 定义自定义拦截器2.2 注册拦截器三、多拦截器的执行顺序四、过

Java 队列Queue从原理到实战指南

《Java队列Queue从原理到实战指南》本文介绍了Java中队列(Queue)的底层实现、常见方法及其区别,通过LinkedList和ArrayDeque的实现,以及循环队列的概念,展示了如何高效... 目录一、队列的认识队列的底层与集合框架常见的队列方法插入元素方法对比(add和offer)移除元素方法

SQL 注入攻击(SQL Injection)原理、利用方式与防御策略深度解析

《SQL注入攻击(SQLInjection)原理、利用方式与防御策略深度解析》本文将从SQL注入的基本原理、攻击方式、常见利用手法,到企业级防御方案进行全面讲解,以帮助开发者和安全人员更系统地理解... 目录一、前言二、SQL 注入攻击的基本概念三、SQL 注入常见类型分析1. 基于错误回显的注入(Erro

Spring IOC核心原理详解与运用实战教程

《SpringIOC核心原理详解与运用实战教程》本文详细解析了SpringIOC容器的核心原理,包括BeanFactory体系、依赖注入机制、循环依赖解决和三级缓存机制,同时,介绍了SpringBo... 目录1. Spring IOC核心原理深度解析1.1 BeanFactory体系与内部结构1.1.1

MySQL 批量插入的原理和实战方法(快速提升大数据导入效率)

《MySQL批量插入的原理和实战方法(快速提升大数据导入效率)》在日常开发中,我们经常需要将大量数据批量插入到MySQL数据库中,本文将介绍批量插入的原理、实现方法,并结合Python和PyMySQ... 目录一、批量插入的优势二、mysql 表的创建示例三、python 实现批量插入1. 安装 PyMyS

深入理解Redis线程模型的原理及使用

《深入理解Redis线程模型的原理及使用》Redis的线程模型整体还是多线程的,只是后台执行指令的核心线程是单线程的,整个线程模型可以理解为还是以单线程为主,基于这种单线程为主的线程模型,不同客户端的... 目录1 Redis是单线程www.chinasem.cn还是多线程2 Redis如何保证指令原子性2.

Java中流式并行操作parallelStream的原理和使用方法

《Java中流式并行操作parallelStream的原理和使用方法》本文详细介绍了Java中的并行流(parallelStream)的原理、正确使用方法以及在实际业务中的应用案例,并指出在使用并行流... 目录Java中流式并行操作parallelStream0. 问题的产生1. 什么是parallelS

Java中Redisson 的原理深度解析

《Java中Redisson的原理深度解析》Redisson是一个高性能的Redis客户端,它通过将Redis数据结构映射为Java对象和分布式对象,实现了在Java应用中方便地使用Redis,本文... 目录前言一、核心设计理念二、核心架构与通信层1. 基于 Netty 的异步非阻塞通信2. 编解码器三、

Java HashMap的底层实现原理深度解析

《JavaHashMap的底层实现原理深度解析》HashMap基于数组+链表+红黑树结构,通过哈希算法和扩容机制优化性能,负载因子与树化阈值平衡效率,是Java开发必备的高效数据结构,本文给大家介绍... 目录一、概述:HashMap的宏观结构二、核心数据结构解析1. 数组(桶数组)2. 链表节点(Node