6383. 【NOIP2019模拟2019.10.07】果实摘取
题目
题目大意
给你一个由整点组成的矩形,坐标绝对值范围小于等于\(n\),你在\((0,0)\),一开始面向\((1,0)\),每次转到后面第\(k\)个你能看到的点,然后将这条线上的点全部标记删除。
问最后一个被标记删除的点的坐标。
正解
先吐槽一句,原来删除的点是一条线上的,而不是一个点……
害得我以为是一道神题……更可恨的是,我看不出我的暴力有什么错!
既然一次删除的点是在一条线上的,那不妨将整条线上的东西看成一个点。
那就变成了一个约瑟夫问题(也就是猴子选大王)。
共有\(8\sum_{i=1}^{n}\phi(i)\)个(原图分成\(8\)个三角形,减去对角线被算\(4\)次,加上垂直和水平方向\(4\)个)
设现在有\(n\)个,则将第\(k\)个删除之后,就变成了\(n-1\)个的问题。所以可以通过递归来求。设\(f_i\)表示\(i\)个人在搞完之后最后一个留下的人是谁(编号从\(0\)开始)
显然\(f_i=(f_{i-1}+k)\mod i\)
然而这个东西似乎会爆炸,因为总数是很多的。
考虑如何快速计算这玩意儿。现在,最主要的瓶颈就是取模操作。
由于不一定每次都会大于模数,所以考虑加几次\(k\)之后取一次模。
假设现在有\(n\)个,设至少增加\(x\)个之后要取一次模。
于是就有了不等式:\(f_n+kx\geq n+x\),解得\(x\geq \frac{n-f_n}{k-1}\)
(当然不要忘了上取整)
这样算会快很多,但是时间看起来似乎不是很好算。
计算一下时间:当\(n\leq k\)时,每次\(n\)只能变成\(n+1\),这一部分时间为\(O(k)\).
当\(n>k\)时,每次相当于加上\(\frac{n}{k}\)左右。
尽管看起来并不是很靠谱,但实际上,某个\(f_n+k\)之后超过了\(n+1\),于是取模,\(f_{n+1}\)不会超过\(k\)。所以当\(n\)远远大于\(k\)时,每次\(f_n\)和\(n\)相差比较大,它们的差就可以近似地认为是\(n\)。(或者说约等于于加上\(\frac{n-k}{k}\),有了个\(-1\)的常数,就省去了)
加上\(\frac{n}{k}\)相当于乘\(\frac{k+1}{k}\)。
于是这一部分时间大概为\(O(\log_\frac{k+1}{k}n)\)
是对数级别时间复杂度,似乎很快的样子。如果用个换底公式,把\(\frac{1}{\lg\frac{k+1}{k}}\)的常数给省掉,那么看起来是\(O(\lg n)\)的时间复杂度呢,似乎很优秀。但是这个常数实际上不能省!用计算器计算一下,这个常数大概为\(230260\)(这里的\(\lg\)是指\(\log_{10}\),不是\(\log_2\),计算器里面没有直接提供\(\log_2\)这种东西,所以干脆直接用\(\log_{10}了\))。
不过还好,时间还是过得去……
接下来变成另一个问题:寻找排名第几项的位置。
首先,找到这个位置在哪个象限。接下来只讨论第一象限的,其它的在此基础上旋转一下就好了。
很容易想到二分。假设我们二分出了一个分数\(\frac{b}{a}\)
现在我们要求再斜率为\(\frac{b}{a}\)这条直线一下的点数。
具体来说,就是这个式子:\(\sum_{i=1}^{n}\sum_{j=1}^{n}[gcd(i,j)=1]*[\frac{j}{i}<\frac{b}{a}]\)
这个式子可以反演(说实在的,我对反演非常不熟悉)
有个比较重要的性质:\(\sum_{d|n}\mu(d)=[n=1]\)
\\ =\sum_{i=1}^n\sum_{d|i}\mu(d)\sum_{d|j,j\leq n}[j<\frac{bi}{a}]
\\ =\sum_{i=1}^n\sum_{d|i}\mu(d)\min(\lfloor\frac{n}{d}\rfloor,\lfloor\frac{bi}{ad}\rfloor)
\\ =\sum_{d=1}^n\mu(d)\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\min(\lfloor\frac{n}{d}\rfloor,\lfloor\frac{bi}{a}\rfloor)\]
有了这条式子,就可以在\(O(n\ln n)\)的时间内判断了。
至于如何二分,题解有种比较容易理解的暴力用小数来逼近分数的方法,Cold_Chair大爷有个\(Stern-Brocot Tree\)上二分的强大做法(由于节点的深度可能比较深,但拐角处是\(\lg\)级别的,所以还要二分一下在某个方向上走多长距离。而且求答案的时候,还用到了整除分块)
代码(未AC)
最近没有AC的题目很多,代码都摆在这里,以后也不一定会去调试了……
话说程序里我用的是小数来逼近分数的方法,不过为了追求常数,我把小数变成了分数的形式。当然,这个分数的分母都是\(2\)的幂。
using namespace std;
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <climits>
#define N 100000
#define ll long long
int n,K;
int p[N+10],np;
bool inp[N+10];
int phi[N+10],mu[N+10];
ll calc(ll tar){
// return (K+calc(n-1))%n;
ll n=1,fn=0;
do{
ll x=(n-fn -1)/(K-1) +1;
if (tar<n+x)
return fn+K*(tar-n);
n=n+x;
fn=(fn+K*x)%n;
}
while (1);
}
ll below(ll a,ll b){
ll res=0;
for (int d=1;d<=n;++d){
ll s=0,n_d=n/d;
for (int i=1;i*d<=n;++i)
s+=min(b*i/a,n_d);
res+=s*mu[d];
}
return res;
}
int main(){
// freopen("in.txt","r",stdin);
freopen("garden.in","r",stdin);
freopen("garden.out","w",stdout);
scanf("%d%d",&n,&K);
if (K==1){
printf("%d %d\n",n,-1);
return 0;
}
phi[1]=1,mu[1]=1;
for (int i=2;i<=n;++i){
if (!inp[i]){
p[++np]=i;
phi[i]=i-1;
mu[i]=-1;
}
for (int j=1;j<=np && i*p[j]<=n;++j){
inp[i*p[j]]=1;
if (i%p[j]==0){
phi[i*p[j]]=phi[i]*p[j];
break;
}
phi[i*p[j]]=phi[i]*(p[j]-1);
mu[i*p[j]]=mu[i]*mu[p[j]];
}
}
ll one=1,all=0;
for (int i=2;i<=n;++i)
one+=phi[i]*2;
all=one*4+4;
ll num=calc(all);
if (num==0)
printf("%d %d\n",n,0);
else if (num==one+1)
printf("%d %d\n",0,n);
else if (num==2*one+2)
printf("%d %d\n",-n,0);
else if (num==3*one+3)
printf("%d %d\n",0,-n);
else{
int rank=num%(one+1);
ll l=0,r=n,d=0;
while (d<30){
ll mid=l+r;
if (below(1<<d+1,mid)<rank)
l=mid,r<<=1;
else
r=mid,l<<=1;
d++;
}
// printf("%lf\n",(double)r/(1ll<<d));
int x,y;
long double v=(long double)r/(1ll<<d),tmp=2e9;
for (ll i=n;i>=1;--i){
ll j=r*i/(1ll<<d)/*(ll)(v*i)*/;
if (v-double(j)/i<tmp){
tmp=v-double(j)/i;
y=j;
x=i;
}
}
if (num<one+1)
printf("%d %d\n",x,y);
else if (num<2*one+2)
printf("%d %d\n",-y,x);
else if (num<3*one+3)
printf("%d %d\n",-x,-y);
else
printf("%d %d\n",y,-x);
}
return 0;
}
总结
审题是关键。
反演及其不熟练,需要找时间来提升。(实际上我似乎没有AC过一道反演的题目)
6383. 【NOIP2019模拟2019.10.07】果实摘取的更多相关文章
- 【NOIP2019模拟2019.10.07】果实摘取 (约瑟夫环、Mobius反演、类欧、Stern-Brocot Tree)
Description: 小 D 的家门口有一片果树林,果树上果实成熟了,小 D 想要摘下它们. 为了便于描述问题,我们假设小 D 的家在二维平面上的 (0, 0) 点,所有坐标范围的绝对值不超过 N ...
- 6377. 【NOIP2019模拟2019.10.05】幽曲[埋骨于弘川]
题目描述 题解 随便bb 详细题解见 https://www.cnblogs.com/coldchair/p/11624979.html https://blog.csdn.net/alan_cty/ ...
- 6392. 【NOIP2019模拟2019.10.26】僵尸
题目描述 题解 吼题但题解怎么这么迷 考虑一种和题解不同的做法(理解) 先把僵尸离散化,h相同的钦(ying)点一个大小 (可以发现这样每种情况只会被算正好一次) 计算完全被占领的方案,然后1-方案/ ...
- 6389. 【NOIP2019模拟2019.10.26】小w学图论
题目描述 题解 之前做过一次 假设图建好了,设g[i]表示i->j(i<j)的个数 那么ans=∏(n-g[i]),因为连出去的必定会构成一个完全图,颜色互不相同 从n~1染色,点i的方案 ...
- 6380. 【NOIP2019模拟2019.10.06】小w与最长路(path)
题目 题目大意 给你一棵树,对于每一条边,求删去这条边之后,再用一条边(自己定)连接两个连通块,形成的树的直径最小是多少. 正解 首先,将这棵树的直径给找出来.显然,如果删去的边不在直径上,那么答案就 ...
- 6374. 【NOIP2019模拟2019.10.04】结界[生与死的境界]
题目 题目大意 给你一个数列,每次可以选择任意两个相邻的数\(x\)和\(y\),将其删去,并在原来位置插入\(x+2y\). 每次询问一个区间,对这个区间进行上述操作.求最后剩下的数最大是多少. 答 ...
- 6424. 【NOIP2019模拟2019.11.13】我的订书机之恋
题目描述 Description Input Output Sample Input 见下载 Sample Output 见下载 Data Constraint 题解 lj题卡线段树 求出每个右端点往 ...
- 【NOIP2019模拟2019.9.4】B(期望的线性性)
题目描述: \(1<=n,ai<=5*10^5\) 题解: 我是弱智我不会期望线性. 设\(E(a[i])\)表示第i个期望被减的个数. \(E(a[1])=a[1]\) 不难发现\(E( ...
- 6368. 【NOIP2019模拟2019.9.25】质树
题目 题目大意 有个二叉树,满足每个点跟它的所有祖先互质. 给出二叉树的中序遍历的点权,还原一种可能的方案. 思考历程 首先想到的当然是找到一个跟全部互质的点作为根,然后左右两边递归下去处理-- 然而 ...
随机推荐
- php7类型约束的意义
在PHP7之前,函数和类方法不需要声明变量类型,任何数据都可以被传递和返回,导致几乎大部分的调用操作都要判断返回的数据类型是否合格. 为了解决这个问题,PHP7引入了类型声明. 目前有两类变量可以声明 ...
- Android Studio 打包生成正式apk(XXX-release.apk)的两种方式
{ 方式一:使用Android Studio生成1.点击Build->Generate Signed apk,首次点击可能会提示输入操作系统密码2.弹出如下对话框,还没有生成过keystore ...
- 每天一个linux命令:cat(10)
cat cat命令的用途是连接文件或标准输入并打印.这个命令常用来显示文件内容,或者将几个文件连接起来显示,或者从标准输入读取内容并显示,它常与重定向符号配合使用 注意:当文件较大时,文本在屏幕上迅速 ...
- php str_shuffle()函数 语法
php str_shuffle()函数 语法 str_shuffle()函数怎么用? php str_shuffle()函数用于随机的打乱字符串中所有字符,语法是str_shuffle(string) ...
- teradata在虚拟机安装客户端sql Assistant
学习链接:https://www.w3cschool.cn/teradata/? 1.安装过程
- LR之-参数化
1.改变参数化主要在于select next now和update value on这个二个选项 sequential:顺序取值 random:随机取值 unique:唯一取值 same line a ...
- Unicode数据类型的是是非非(转)
转:http://cio.chinabyte.com/344/9002344.shtml 在SQL Server数据库中,数据类型主要分为两类,分别为Unicode数据类型与非Unicode数据类型. ...
- Apache2.2+mod_encoding解决URL中文编码问题
我们经常在论坛上看到这样的求救贴: 为什么我看不了网站上中文文件名的文件?这时一定会有好心的大侠告诉说,到IE6的工具,Internet选项, 高级里,把"总是以UTF-8发送URL&quo ...
- Callable创建线程
(1)Callable接口更像是Runnable接口的增强版,相比较Runable接口,Call()方法新增捕获和抛出异常的功能;Call()方法可以返回值<br> (2)Future接口 ...
- laravel新增路由文件
除去原有路由文件,有时为方便路由管理,我们可以新增独立路由文件,如:针对管理后台的路由文件. 1.在routes文件夹下创建新路由文件admin.php 2.在app\Providers\RouteS ...