CodeForces 146E - Lucky Subsequence DP+扩展欧几里德求逆元
题意:
一个数只含有4,7就是lucky数...现在有一串长度为n的数...问这列数有多少个长度为k子串..这些子串不含两个相同的lucky数...
子串的定义..是从这列数中选出的数..只要序号不同..就不不同的串..如 1 1 的长度为1的子串有两个
题解:
解题前可以先求一下1000000000内有多少个数是lucky的...可以递推的求..也可以暴力求~~可以看出最多1022个lucky数..很少...
现将这堆数的所有lucky数找出来...把相同的放在一个lucky数里计数...
dp[ i ] [ k ] 代表到了第i个lucky数..选了k个lucky数的方案总数...
dp全部处理完后统计答案:
ans= sigma ( dp [ last ] [ i ] + C ( 非lucky数个数 ) ( n-i ) ) , ( 0<=i<=这堆数中lucky数总数 ) C求组合数
那么现在的关键是求C ( a, b) 了..有题目数据可知...a,b都可能达到10^5...如果用传统的递推: C( i , j )=C( i-1 , j )+C( i-1 , j-1 ) 是会爆空间+爆时间的...
要求C ( a, b )只能用数学知识了...
C( a, b ) = a! / (b!*(a-b)!) 可以先把n!打个表出来.所有的阶乘就可以直接的取...问题进一步简化为求 ( a / b ) % 1000000007
如果a,b分别取模计算..是错误的...只能 a * (b的逆元) % 1000000007
这里所说的b你逆元,实质上是在模1000000007系统中b的逆元..也就是(b*x)%1000000007=1
问题再简化...求b的逆元....两种思路...
1、费马小定理
根据费马小定理 ( a^(p-1) ) % p = 1 当p是质数并且a不是p的倍数....而题目给的1000000007就是一个质数..所以对于任意一个非p倍数的数有
( a * (a^(p-2) ) % p =1 ..所以 a^(p-2) 就是 a的逆元...用快速幂取模求出即可
2、扩展欧几里德
ax+by = gcd(a,b) 扩展欧几里得就是来求满足条件的一组x,y的...
令x为a的逆元...p为要模的数...根据逆元的定义有 ( a*x ) %p=1....可以理解为 a*x - p*y = 1 , 其中y为整数.
又有 gcd (a,p) = 1..那么 a*x - p*y = gcd (a,p) ..这样就成了拓展欧几里得的形式了..求出x即可
总的来说..费马小定理来得方便...但扩展欧几里德的应用范围更广
Program:
#include<iostream>
#include<stdio.h>
#include<string.h>
#include<cmath>
#include<queue>
#include<stack>
#include<set>
#include<algorithm>
#define ll long long
#define oo 1000000007
#define pi acos(-1.0)
#define MAXN 1200
using namespace std;
int n,k,temp[100005],m;
ll lucky[MAXN],dp[MAXN][MAXN],factorial[100005];
bool IsLucky(int x)
{
while (x)
{
if (x%10!=4 && x%10!=7) return false;
x/=10;
}
return true;
}
void PreWork()
{
factorial[0]=1;
for (ll i=1;i<=100000;i++) factorial[i]=(factorial[i-1]*i)%oo;
return;
}
void Ex_Gcd(ll a,ll b,ll &x,ll &y)
{
if (b==0)
{
x=1,y=0;
return;
}
Ex_Gcd(b,a%b,x,y);
ll t;
t=x,x=y,y=t-a/b*y;
return;
}
ll C(ll a,ll b)
{
ll x,y;
if (b>a) return 0;
b=(factorial[b]*factorial[a-b])%oo;
a=factorial[a];
Ex_Gcd(b,oo,x,y);
a=(a*x)%oo;
if (a<0) a+=oo;
return a;
}
int main()
{
PreWork();
int i,j,num;
ll ans;
while (~scanf("%d%d",&n,&k))
{
m=0;
for (i=1;i<=n;i++)
{
int x;
scanf("%d",&x);
if (IsLucky(x)) temp[++m]=x;
}
sort(temp+1,temp+1+m);
temp[0]=num=0;
for (i=1;i<=m;i++)
if (temp[i]!=temp[i-1]) lucky[++num]=1;
else lucky[num]++;
memset(dp,0,sizeof(dp));
for (i=0;i<=num;i++) dp[i][0]=1;
for (i=1;i<=num;i++)
for (j=1;j<=i;j++)
dp[i][j]=(dp[i-1][j]+dp[i-1][j-1]*lucky[i])%oo;
ans=0;
for (i=0;i<=min(k,m);i++)
ans=(ans+dp[num][i]*C(n-m,k-i))%oo;
printf("%I64d\n",ans);
}
return 0;
}
CodeForces 146E - Lucky Subsequence DP+扩展欧几里德求逆元的更多相关文章
- HDU 5768Lucky7(多校第四场)容斥+中国剩余定理(扩展欧几里德求逆元的)+快速乘法
地址:http://acm.hdu.edu.cn/showproblem.php?pid=5768 Lucky7 Time Limit: 2000/1000 MS (Java/Others) M ...
- POJ-1061青蛙的约会,扩展欧几里德求逆元!
青蛙的约会 以前不止一次看过这个题,但都没有去补..好吧,现在慢慢来做. 友情提示 ...
- 公钥密码之RSA密码算法扩展欧几里德求逆元!!
扩展欧几里得求逆元 实话说这个算法如果手推的话问题不大,无非就是辗转相除法的逆过程,还有一种就是利用扩展欧几里德算法,学信安数学基础的时候问题不大,但现在几乎都忘了,刷题的时候也是用kuangbin博 ...
- CodeForces 146E Lucky Subsequence(组合数+DP)
题目描述 Petya loves lucky numbers very much. Everybody knows that lucky numbers are positive integers w ...
- 51Nod 3的幂的和(扩展欧几里德求逆元)
求:3^0 + 3^1 +...+ 3^(N) mod 1000000007 Input 输入一个数N(0 <= N <= 10^9) Output 输出:计算结果 Input示例 3 O ...
- codeforces 492E. Vanya and Field(exgcd求逆元)
题目链接:codeforces 492e vanya and field 留个扩展gcd求逆元的板子. 设i,j为每颗苹果树的位置,因为gcd(n,dx) = 1,gcd(n,dy) = 1,所以当走 ...
- 【hdu 1576】A/B(数论--拓展欧几里德 求逆元 模版题)
题意:给出 A%9973 和 B,求(A/B)%9973的值. 解法:拓展欧几里德求逆元.由于同余的性质只有在 * 和 + 的情况下一直成立,我们要把 /B 转化为 *B-1,也就是求逆元. 对于 B ...
- 扩展gcd求逆元
当模数为素数时可以用费马小定理求逆元. 模数为合数时,费马小定理大部分情况下失效,此时,只有与模数互质的数才有逆元(满足费马小定理的合数叫伪素数,讨论这个问题就需要新开一个博客了). (对于一个数n, ...
- One Person Game(扩展欧几里德求最小步数)
One Person Game Time Limit: 2 Seconds Memory Limit: 65536 KB There is an interesting and simple ...
随机推荐
- 5JS树形结构菜单和jQuery版
第一版JS版HTML: <!DOCTYPE html> <html> <head> <meta charset="UTF-8"> & ...
- C# - 二叉树表达式计算
很早以前就写过双栈的表达式计算. 这次因为想深入学一下二叉树,网上都是些老掉牙的关于二叉树的基本操作. 感觉如果就学那些概念,没意思也不好记忆.于是动手写了一个表达式计算的应用例子. 这样学习印象才深 ...
- Protocol Buffer Xcode 正确使用思路 成功安装 Xcode7.1
1. 下载protobuf编译工具 序列化是将数据转换为一个特定的类 http://pan.baidu.com/s/1qWrxHxU 下载解压,它不是用来放在你的项目里 2.打开终端 依次输入并等待指 ...
- iOS开发UI篇——九宫格坐标计算
一.要求 完成下面的布局 二.分析 寻找左边的规律,每一个uiview的x坐标和y坐标. 三.实现思路 (1)明确每一块用得是什么view (2)明确每个view之间的父子关系,每个视图都只有一个父视 ...
- 4.HTTP入门
什么是http协议查看http协议的工具http协议内容Http请求请求行http协议版本请求资源请求方式GET方式提交POST方式提交请求头3.3 实体内容3.4 HttpServletReques ...
- Qt零基础教程(四)QWidget详解(3):QWidget的几何结构
Qt零基础教程(四) QWidget详解(3):QWidget的几何结构 这篇文章里面分析了QWidget中常用的几种几何结构 下图是Qt提供的分析QWidget几何结构的一幅图,在帮助的 Wind ...
- js中callee与caller的区别
callee是对象的一个属性,该属性是一个指针,指向参数arguments对象的函数首先我们来写个阶成函数:function chen(x){if (x<=1) {return 1;} else ...
- html a标签
<a> 标签定义超链接,用于从一张页面链接到另一张页面. <a> 元素最重要的属性是 href 属性,它指示链接的目标. 在所有浏览器中,链接的默认外观是: 未被访问的链接带有 ...
- 在linux下将当前目录文件全部小写含目录名
ls | sed -n '/[A-Z]/s/.*/mv & \L&/e' 公司以前用的windows server 服务器 文件大小写都一样. 新迁移到centos 服务器上,发现 ...
- 关于自定义Adapter实现ListView的使用
以下为使用BaseAdapter作扩展,自定义Adapter来使用ListView控件: 需要注意以下的几点: 1.自定义Adapter时,需要特别注意Adapter类中getView()方法覆盖,注 ...