飞(fly)(数学推导,liu_runda的神题)
大概看了两三个小时的题解,思考量很大,实现简单........
20分:
明显看出,每个点的贡献是x*(x-1)/2;即组合数C(x,2),从x个线段中选出2个的方案数,显然每次相交贡献为1,n^2枚举相交即可....
40分:
对于四十分,观察图像发现是实际就是求逆序对.....
1 #include<iostream>
2 #include<cstdio>
3 #include<cmath>
4 #include<cstring>
5 #include<algorithm>
6 #include<set>
7 #include<map>
8 #include<queue>
9 #define int long long
10 #define MAXN 101001
11 using namespace std;
12 struct node{int x,id;}e[MAXN];
13 int c[MAXN];int N,A,MOD;
14 int lowbit(int x){return x&(-x);}
15 void add(int x)
16 {
17 for(int i=x;i<=N;i+=lowbit(i))
18 {
19 c[i]++;
20 }
21 }
22 int find(int x)
23 {
24 int ans=0;
25 for(int i=x;i>=1;i-=lowbit(i))
26 {
27 ans+=c[i];
28 }
29 return ans;
30 }
31 bool cmp(node a,node b)
32 {
33 return (a.x!=b.x)?a.x<b.x:a.id<b.id;
34 }
35 signed main()
36 {
37 scanf("%lld%lld%lld%lld",&N,&e[1].x,&A,&MOD);e[1].id=1;
38 for(int i=2;i<=N;++i)
39 {
40 e[i].x=(e[i-1].x+A)%MOD;
41 e[i].id=i;
42 }
43 for(int i=1;i<=N;++i)e[i].x++;
44 sort(e+1,e+N+1,cmp);
45 int anss=0;
46 for(int i=1;i<=N;++i)
47 {
48 anss+=find(N)-find(e[i].id);
49 //printf("i=%lld id=%lld anss=%lld\n",i,e[i].id,anss);
50 add(e[i].id);
51 }
52 printf("%lld\n",anss);
53 }
40分
部分分:
考虑a==x[1]
我们发现图像的一些性质
在x[i]的不断后移中,假设当x[j]时>MOD,
我们发现x[i]-x[j]是一段以a为公差的序列
为了避免枚举n,我们从a入手
因为公差的原因,将序列分成若干个长度为a的段,其实每次经过的点都是一定的
当x<a时
我们直接求解 此时的ans=(i-1)-ask(now)now为当前值,非常明显,因为i-1是所有在它之前出现的数,ask(now)为不符合的....
之后
发现一个小性质,每次后移减少的值是一定的,即ask(a)
然后递推....
100 分:
在上述部分加入x[1]>a的情况
因为每次减的都是ask(a),但这是第一段在1-a中不存在,我们若是按上述方法求,在枚举中不会将
第一段不符合的值减去,那么......我们发现当枚举第二段时(一段就是长度大于mod后重新开始)
当此时长度now大于初始值时,需要减去1,因为这个1无法在ask(1)中得出啦啦啦....
1 #include<iostream>
2 #include<cstdio>
3 #include<cmath>
4 #include<cstring>
5 #include<algorithm>
6 #include<set>
7 #include<map>
8 #include<queue>
9 #define int long long
10 #define MAXN 101001
11 using namespace std;
12 int x;
13 int c[MAXN];int N,A,MOD;
14 int lowbit(int x){return x&(-x);}
15 void add(int x)
16 {
17 for(int i=x;i<=A+1;i+=lowbit(i))
18 {
19 c[i]++;
20 }
21 }
22 int find(int x)
23 {
24 int ans=0;
25 for(int i=x;i>=1;i-=lowbit(i))
26 {
27 ans+=c[i];
28 }
29 return ans;
30 }
31 signed main()
32 {
33 scanf("%lld%lld%lld%lld",&N,&x,&A,&MOD);
34 int anss=0;
35 int last=x;
36 int now=(x+A)%MOD;
37 int cas=0;
38 int now_fir=x;//printf("now_fir=%lld\n",now_fir);
39 int k=0;
40 for(int i=2;i<=N;++i)
41 {
42 //printf("i=%lld now=%lld last=%lld\n",i,now,last);
43 if(now<A)
44 {
45 if(now_fir<=A)
46 {
47 add(now_fir+1);
48 }
49 now_fir=now;
50 k++;
51 // printf("add last=%lld %lld\n",i,now_fir);
52 anss+=(i-1)-find(now+1);
53 cas=(i-1)-find(now+1);
54 }
55 else
56 {
57 cas-=find(A+1);
58 if(now>=x&&x>A&&k>=1)cas--;
59 anss+=cas;
60 }
61 //printf("anss=%lld\n",anss);
62 last=now;
63 now=(now+A)%MOD;
64 }
65 printf("%lld\n",anss);
66 }
飞(fly)(数学推导,liu_runda的神题)的更多相关文章
- 【BZOJ4173】数学 欧拉函数神题
[BZOJ4173]数学 Description Input 输入文件的第一行输入两个正整数 . Output 如题 Sample Input 5 6 Sample Output 240 HINT N ...
- 【模拟7.27】题(liu_runda的神题)(卡特兰数,组合数)
考场的SB经验不再分享 case 0: 一道组合计数的水题,具体不再讲可以看以前的相似题 case 1: 很明显的卡特兰计数,我们把长度为n的序列看成01串 关于卡特兰计数的详细的讲解 由此可知我们需 ...
- Codeforces Round #499 (Div. 2) C.FLY 数学推导_逆推
本题应该是可以使用实数二分的,不过笔者一直未调出来,而且发现了一种更为优美的解法,那就是逆推. 首先,不难猜到在最优解中当飞船回到 111 号节点时油量一定为 000, 这就意味着减少的油量等于减少之 ...
- 「模拟8.13」任(liu_runda的神题,性质分析)
考场时没有发现性质,用了个前缀和优化暴力,结果写WA了 我们发现其实联通块的个数就是点的个数-边的个数 然后我们需要维护横向上和纵向上的边的前缀和 前缀和的查询形式稍改一下 暴力 1 #include ...
- UVA - 10014 - Simple calculations (经典的数学推导题!!)
UVA - 10014 Simple calculations Time Limit: 3000MS Memory Limit: Unknown 64bit IO Format: %lld & ...
- Bzoj 4408: [Fjoi 2016]神秘数 可持久化线段树,神题
4408: [Fjoi 2016]神秘数 Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 177 Solved: 128[Submit][Status ...
- [hdu5307] He is Flying [FFT+数学推导]
题面 传送门 思路 看到这道题,我的第一想法是前缀和瞎搞,说不定能$O\left(n\right)$? 事实证明我的确是瞎扯...... 题目中的提示 这道题的数据中告诉了我们: $sum\left( ...
- ZOJ3329(数学推导+期望递推)
要点: 1.期望的套路,要求n以上的期望,则设dp[i]为i分距离终点的期望步数,则终点dp值为0,答案是dp[0]. 2.此题主要在于数学推导,一方面是要写出dp[i] = 什么,虽然一大串但是思维 ...
- [国家集训队]整数的lqp拆分 数学推导 打表找规律
题解: 考场上靠打表找规律切的题,不过严谨的数学推导才是本题精妙所在:求:$\sum\prod_{i=1}^{m}F_{a{i}}$ 设 $f(i)$ 为 $N=i$ 时的答案,$F_{i}$ 为斐波 ...
随机推荐
- OOP第一章总结
经过了三周的OO,尽管过程不太轻松,但是有所得还是值得欣慰的事! (1)程序结构 第一次作业: UML类图如下,第一次作业在结构上并没有太多面向对象的思想,只是简单的分类,一个运行类,两个对象类,预处 ...
- gdb调试多线程多进程
多进程调试 我们使用gdb调试程序,gdb的调试默认是调试父进程的,如果要做到对父进程和子进程都做到调试,所以附加了调试子进程的功能. 设置条件 如果让gdb可以同时调试多个程序,只需要设置follo ...
- 1080p就是1920*1080,2k就是2560*1440,4k就是3840*2160
1080p就是1920*1080,2k就是2560*1440,4k就是3840*2160 作者:容易视听链接:https://www.zhihu.com/question/24205632/answe ...
- openshift 3.11 安装部署
openshift 3.11 安装部署 openshift安装部署 1 环境准备(所有节点) openshift 版本 v3.11 1.1 机器环境 ip cpu mem hostname OSsys ...
- Ansible_利用系统角色重用内容
一.红帽企业Linux系统角色 1.RHEL系统角色 名称 状态 角色描述 rhel-system-roles.kdump 全面支持 配置kdump崩溃恢复服务 rhel-system-roles.n ...
- Linux进阶之VMware Linux虚拟机运行提示“锁定文件失败 虚拟机开启模块snapshot失败”的解决办法
问题1:VMware Linux虚拟机运行提示"锁定文件失败 虚拟机开启模块snapshot失败"的解决办法 非正常关闭虚拟机(例如开关机过程中关掉VMware等操作),再次启动虚 ...
- 关于UCOSII的学习资料
UCOSII学习资料: 在战舰的A盘资料包中 ->软件资料->ucosii 有一个叫做简易OS讲解的文档,此文从简单的OS将其,通俗易懂的讲解大体的OS运行原理,任务调度的实现过程,是入门 ...
- 10.11 arping:发送arp请求
arping命令 是用于发送arp请求到一个相邻主机的工具,arping使用arp数据包检查局域网内所有设备的硬件地址. arping 命令的参数选项及说明 -c <次数> ...
- JQuery.Gantt开发指南(转)
说明 日前需要用到甘特图,以下转载内容源自网络. • 概述 1.JQuery.Gantt是一个开源的基于JQuery库的用于实现甘特图效果的可扩展功能的JS组件库. •前端页面 o 资源引用 首先我们 ...
- docker swarm外部验证负载均衡时不生效
问题描述 我在本地创建了3个装了centos7的虚拟机, 并初始化了swarm集群, 即1个manager节点, 2个worker节点; 三台机子的ip分别是 192.168.124.8 - (man ...