2024寒假学堂(部分)

Problem4

设,求.

Solution4

考虑求出.直接取三次单位根,自然有,所以.

所以答案显然是.

Problem10

等差数列中,,公差,求最大的正整数,使得.

Solution10

显然.

Problem11

全为整数的等差数列,,求所有满足的的和.

Solution11

则.显然只要即可.

所有的和自然是.

Problem14

整数数列满足,且当的时候,其中是一个正整数.问能让的的个数有多少个,其中.

Solution14

则.

观察上面的式子,不难想到换元后求前缀积,但其实注意到我们可以直接求前缀积,设.

注意到.又注意到,.所以,所以存在长度为的循环节.所以.(其实直接暴力找循环节也是可以的)

所以需要是的因子.

哦,还不如直接找循环节,还要判断这是个整数序列.

设,则的前六项是:.要求,所以,.所以或.

Problem15

求使方程恰有两个整数解的正整数的个数.

Solution15

我们有:

显然.而,所以只有可能满足条件,带入检验可行.

Problem18

用六种颜色给正方形六个面染色,旋转平移后相同算一种方案,要求每个面颜色都不同,求方案数.

Solution18

钦定一个面,然后枚举对面,中间四个是一个环,方案数是.

Problem19

,求其不超过的正整数取值有多少种.

Solution19

显然,因此我们先考虑的情况.

手动枚举一下知道此时有种不同的取值,前六种是,后六种对应了前六种.而,所以共有种取值.

Problem20

从中分别独立随机两个正整数(可以相同),则求的概率.

Solution20

考虑,所以原题答案等价于的时候的答案.在这中可能性中满足条件的只有三种,概率为.

2023强基(部分)

Problem3

已知,求.

Solution3

这个一看就不是好解的,想都别想直接数学归纳,注意到,那么.

而.由扩展欧拉定理,立刻有:.

Problem4

个队伍两两打比赛,胜一场积分,负一场积分不变,无平局.

且任取支队伍,其中一定有一支队伍负于其它的支,也一定有一支队伍胜于其它的支.

问支队伍最少有多少种不同的积分.

Solution4

答案是.

因为是竞赛图,缩点之后是一条链.

如果所有强连通分量的大小都的话,显然我们全选一个强连通分量就完蛋了.因此所有的强连通分量的大小都,唯一的可能是所有点在一个强连通分量中,我们在其中取出一个长度为的简单环,由鸽笼原理,剩下的个点中至少有个点对着个点只输或者只赢(如果有输有赢就无所谓了),这样的话只需要即可,此时即可.由于这是竞赛图,显然存在长度为的简单环.

还有一种更简单的做法,考虑取一个积分最多的点,假设为.我们任意取一个击败过它的点(如果有的话),假设为,再取个被击败的点(显然这些点存在),设这些点集为.则组成的集合中,有一个点可以击败其它所有点,根据假设,只能是.由此,可以知道,只要是能击败的点,一定能击败,而且能击败,因此,与假设不符.因此一定不存在一个可以击败.删掉后做数学归纳,可知原图一定是拓扑图.

Problem8

一只蚂蚁第一天在,第天向上下左右随机一个方向移动单位,求第天的可能位置数量,.

Solution8

不妨设第天不同位置数量为,显然只要前面岔开了,后面永远无法走到一个点.所以.

Problem10

集合,求中的满足元素两两互素的三元子集个数.

Solution10

集合是无序的,这个很难搞,我们先从中把去掉最后再加上.

先考虑可以重复放的情况:

这个推下去感觉就头大了,退一步考虑暴力算吧.

先考虑全是奇数的情况,只能从中选,答案应该是.

接下来考虑选一个偶数,如果选是等价的,答案此时是.如果选的话答案是.如果选的话方案数是,加起来方案数是.

Problem11

集合,则的互不相交且各元素之和为的倍数的二元子集最多有多少个?

Solution11

考虑.答案显然是个.

Problem12

三个互不相同的数的,求选取这三个数的方案数(顺序不同算不同的方案).

Solution12

显然等价于.先只分析其中一个质因子,方案应该是,打乱一下顺序的话就共有种方案.如果可以重复,平方一下得到.

接下来去掉重复的情况,只有可能两个质因子都相同才会重复,拿上面的三元组算一下,此时方案数共有种,于是答案为.

Problem14

求种有多少个不同的元素.

Solution14

由于两个完全平方数的差是逐渐增大的,应该存在一个,的会扎堆,但是这些全都能取到,的则不会有两个得到相同的元素.所以前者统计不同的,后者统计不同的考虑.分界线应该是.

所以答案应该是.

Problem15

对四元组计数,满足且.

Solution15

这题真的厉害啊.

不妨设为满足的满足的四元组数量.不难发现.

注意到,注意这里是意义下的加法,这是一个双射,所以,下标同样也是意义下进行的.又因为,所以所有的均相等..

Problem16

问方程的解的个数.

Solution16

,所以.显然都不可以.所以个数为.

Problem17

设,求满足的十进制下的两位数的个数.

Solution17

从到,应该是加了若干个,然后又丢了几个这样的.那就一定需要丢掉的数字之和为.枚举一下,丢了的只有可能是以下情况:,分别对应了应该是分别以下数的倍数,并且和分别要求不是另一些数的倍数,这就去掉了其中的若干个,最后剩下的是:,并且分别不能是以下数字的倍数.

取一下的话可以是:,,验证一下均合法,所以答案为.

Problem18

已知,而是的一个排列,求得到的不同数个数.

Solution18

圆排列个数是个,只需要判掉相同的圆排列即可.

显然翻转后是相同的,所以最多有三个不同数,排列分别是.

考虑:

显然只要不同,那么两个数就不同.不难判断上面三个数互不相同.

Problem19

已知且,在最大的前提下,最小化.

Solution19

不妨枚举一下选啥,设表示选出个互不相同的数,使得它们且总和为,是否可行.不难发现.

那我们要求的就是:

立刻得到,那么后面的选法就一定了,后面四个数一定是,只需要让最大即可

时,此时最优显然是,.

Problem20

有一个边形,其中有条对角线,不存在三线交于一点的情况,问这些对角线将该边形分成了多少个部分..

Solution20

平面图同样符合欧拉定理.

考虑内部一定多出来了个点(任意四个点有且只有一种交法),每交一个点就会多出条边,所以多出来了条边.

考虑内部的若干个部分一定是个三角形,个四边形,...,个边形,总之我们发现:

两式得到:.

的时候,答案为.

2024强基(部分)

Problem1

求.

Solution1

带入并,原式为:

注意到,原式.

Problem3

求长度为的排列个数,使得排列中..

Solution3

一眼容斥,也就是每个长度为的连续段的容斥系数应该是.那么设分成了个段,总的容斥系数应该是,答案就是,此时已经能算出答案是.

注意到这个形式和错排非常像,类似错排去凑递推公式.设为错排数量,显然有,立刻算出答案是.

Problem4

已知数列,求其第项的值,.

Solution4

考虑第一个值为的地方应该在哪里.显然.注意到,所以,其.

Problem5

求四元组的个数,满足,且.

Solution5

排个序按照字典序开搜,只有三种可能:,打乱顺序的话就有种可能.

Problem8

求上方程的解的个数.

Solution8

首先注意到,那么自然有方程组:

只需要解这个方程组即可.但是这个方程组很难搞.

先考虑这个性质,由勒让德判别符号,算出该方程在整数范围内无解.

没办法,只能设的形式,带入有不等式:

冷静一下!注意到,又根据第一个不等式得知大部分应该会很大,开始暴力枚举一下,合法的情况有:,共有四个解.

Problem9

在一个体积为的正方体内部找一个点,过这个点作平行于正方体的面的三个平面,这样整个正方体会被分为八个长方体,最小化这八个部分中,体积的长方体的个数.

Solution9

原本想考虑先横着切一刀,分为一个大部分一个小部分,大部分均分即可,小部分选一个很大的部分,剩下三个部分体积.考虑设这个点是,那么必然有,化简,只要即可,这个根据基本不等式不可能满足,寄了.

但是四个肯定是好构造的,我们直接取即可.那么是不是可以证明答案一定呢?

考虑一个面上的四个长方体,其中较小的两个一定是相邻的.因此,最终体积的长方体肯定也是相连的.接下来证明三个的不行,只需要设这个点为,然后证明这个不等式无解即可.

由基本不等式,,不符题意.

这样就是最少是四个.

Problem11

设表示正整数的十进制数码和,求满足的最小的.

Solution11

显然必须发生进位,不妨设,,,

此时显然有,..

Problem12

求满足以下条件的最大的正整数:十进制下每一位数字互不相同,且.

Solution12

显然不可能是五位数及以上,而且如果是四位数的话最后一位必然是.

不妨设其为,其中,是的因子,不妨枚举一下.注意到因为中不能有,所以.取试出来是合法的,而且显然的时候不可能有更大的答案了.

Problem20

,求.

Solution20

这一看就是个环,设.难点显然在下取整函数.

没想出太好的办法,选择使用数学归纳,注意到:

容易猜测.也就是,数学归纳一下即可.

那么,带入即可.

2022图选

Problem1

问能否将有限个单位正方形摆放在平面上使得:

  1. 任意两个正方形至多有一个顶点重合

  2. 每个正方形的每个顶点都与其他某个正方形的顶点重合

Solution1

这个题传到我这里题面已经丧失了,但反正理解起来就两种情况

  1. 边不能相交.此时不可能.考虑扫描线,从上到下扫一条线,然后第一次扫到的最右边的那个顶点显然不可能和其它的某个正方形顶点重合.

  2. 边可以相交,放到正十二边形的边上.

Problem2

求.

Solution2

考虑,.

也可以考虑类似斐波那契数列,取,其满足,取就是答案.

Problem3

对于一个加法乘法环,要求你利用:

  1. 乘法结合律、交换律、对加法的分配律、逆元.

  2. 加法结合律、逆元.

来证明加法的交换律.

Solution3

倒反天罡题.

注意到,所以.

Problem4

给你个数集,其中,要你选出个两两不同的数字满足,求最少方案数.

Solution4

考虑从小的往大了选,每次可能会删掉一个可选择的数字,所以是.

Problem5

Alice和Bob博弈.Alice先选一个数,然后Bob选一个数,并构造一个个点的竞赛图.Alice如果能从中选出个不同的点,满足不存在某个点到这个点都有出边,那么Alice赢,否则Bob赢.问是否有人存在必胜策略.

Solution5

一开始以为Alice肯定赢,结果被gank了.

其实Bob一定赢.为啥呢?考虑一对点合法的概率,应该是,因此期望为,只需足够大的时候期望,则说明一定存在,也就是Bob总有必胜策略.

注意到只需证明,,而.下面证明.

两边取,不妨假设,有,显然在的时候单增,所以一定存在这么一个.

2023图选

Problem1

求单位正方形中能放下的最大的等边三角形的边长.

Solution1

首先肯定三角形有一个角卡在正方形的角上(不然可以平移过去),而且剩下两个角肯定卡在边上.

Problem2

求正整数拆分成有序的序列的个数.

Solution2

显然为斐波那契数.

Problem3

定义为集合上的二元运算,已知:

  1. 满足结合律.

  2. 存在左单位元,对任意满足.

  3. 对任意存在左逆元,使.

问:

  1. 左单位元是否也为右单位元.

  2. 左逆元是否也为右逆元.

Solution3

看(2),考虑设是的左逆元,是的左逆元,则.

看(1),设是的逆元,,所以左单位元也是右单位元.

值得一提的是,这个题如果将条件(3)改为右逆元,则不一定构成群.

感性理解一下改前的题,如果存在左逆元的话,说明的时候不能彻底损失信息,而观察知道也不能损失信息,于是应该是群.

但怎么构造反例呢?首先得造出来左单位元对吧.答案给了一种很聪明的构造方式:考虑运算,想办法让其损失掉中的信息(这样使其不存在左逆元,但可以构造出左幺元).注意到即可,存在左幺元为,右逆元为.

Problem4

的定义域和值域都是正整数并且,求:

  1. 是否存在这样的函数.

  2. 是否存在无数个这样的函数.

  3. 是否存在严格递增的函数.

Solution4

令,则.

对于(1),取即可.

对于(2),考虑,只需要让取不同的值即可.

对于(3),考虑,.

考虑构造,使得但是.不妨取,那么必定有:

于是如果存在,必定需要,也就是.但是左边是有理数右边是无理数,不可能.

Problem5

对于任意个正整数(可重复),问其中是否一定有个数的和能被整除,这题.

Solution5

考虑当是合数的时候,设,则可以将其拆成组每组个数以及一组个数,因此只需要这些都可以找到个数使得其是的倍数,组合起来就行了.

只需要解决是质数的情况.

感觉场上的最优解应该是解决和的情况然后拼成.

的时候显然是对的.

这谁想得到啊?

考虑反证,如果不存在的话,显然.

但是考虑左边那个多项式的每一项,形如.注意到一定是的倍数,而后者为.

这玩意到底咋想到的?

不过其实也合理,因为并不是对称的,而左边是个对称式子,某个增大也无所谓,这意味着左边应该是为的,我们要做的就是去证明它是.

2024图选

Problem1

问在双曲线上有一个三个点都在上面的等边三角形,求其边长.

Solution1

不会做,取个特殊值知道答案应该是.

Problem2

我们称"能表示为两个数的平方和"的数是好的,求证:

  1. 如果都是好的,那么是好的.

  2. 不是好的.

Solution2

如果,那么.

,使用反证法,不妨设其可以被表示为.

讨论一下:如果均为奇数,那么,不符题意.

于是应该均为偶数,那么就有.简单枚举一下就知道不存在.

当然这个题是个数竞结论,可以直接套用结论.

Problem3

对于集合,,定义域为的函数满足以下性质:

  1. ,但不在的值域中.

  2. 关于封闭.

  3. 若,且对封闭,则.

在上定义二元运算,满足.

求证:

  1. 存在幺元.

  2. 运算满足交换律.

  3. 运算满足结合律.

Solution3

只需要证明运算满足交换律即可.

考虑性质(3),我们不妨先往里面扔个,此时一定不满足条件.我们不断从中选出一个元素满足,并把.不断做这个过程显然最后会得到,这意味着任何一个元素可以写成的形式.

不妨将函数嵌套次记作,那么我们要证明的是,.

考虑,因此证毕.

Problem4

给出一个具体函数满足:

  1. .

  2. .

Solution4

先注意到.

以为主元两边求导,立刻得到,因此是斜率为的一次函数,立刻得到.

Problem5

对于,是否存在正整数和整数满足且.

Solution5

考虑取的小数部分,记作.

由鸽笼原理,一定存在两个数满足,于是证毕.

2019茶选

Problem1

在一个数轴上,你站在点,并按照如下算法寻找点处的牛:

curpos = 0;
curdir = LEFT;
step = 1;
while (没有找到牛) {
沿着 curdir 方向，走 step 单位距离，如果找到牛就停止;
如果没有找到牛，回到原点并将 curdir 设为反方向，step = step * 2;
}

大约至少需要多少步才能找到牛?

A. B. C. D. E. 以上答案都不对.

Solution1

考虑找到牛的时候为多少,应该为,其中满足.此时走的步数应该是步.而,所以.

Problem2

给定个实数变量,满足它们均且两两不同.你要寻找一组和一个实数,使得存在尽可能多组,满足.

最多存在多少组?

A. B. C. D. E.以上答案都不对.

Solution2

不妨猜测全取最优,此时的答案是.

能不能严格证明这个事情呢?我们不妨注意到一个事情:由于,所以如果存在两组,使得组中选择取恰好是组的子集,那么,不可能同时满足条件.

如果我们能选出若干个互不相交的集合呢?那我们显然可以让尽可能接近,这样就是满足条件的.所以问题变为对于一个大小为的集合,要在其中挑选出尽可能多的子集使得这些集合两两之间没有包含关系,有结论说这个东西取最优,即Sperner定理.其实也就是Dilworth定理的特例.

Problem3

给定无向图,我们称一个图是好的,如果:

  1. 每个点的度数均为.

  2. 任何一个大小不超过的联通集合,其邻居(不属于但和中的某个点存在直接相连的边)的大小.

求证:好的图中任意两个点之间的最短路径长度.

Solution3

考虑以为起点一点一点往外扩张,这样一直扩张到时,集合中每个点到的距离不超过.

然后以做同样的事,由于这两个集合大小之和大于,说明一定有交,且存在一条路径长度为的路径,最短路径肯定比这个还短.

Problem4

给你两个完全相同的鸡蛋和一个层的高楼,你每次可以将鸡蛋从某一层楼掉下去.问你最少用多少次操作才能测出能让鸡蛋摔碎的最低楼层.

Solution4

经典信息论题.考虑构造一棵左倾的决策树,从根到任何一个叶子节点最多向右走两步,并且有个叶子节点(因为还有可能从最高层掉下去不碎).

设表示一棵有个叶子的树,最多向右走步,深度最低为多少.显然.

不妨设最后的最大深度为,需要满足,.

Problem5

个人要进行一场游戏.游戏设计者准备了张卡片,正面分别写着个人的名字,背面写了共个不同的数字.所有卡片都背面朝上放置在一个房间里.

当设计者准备完成后,个人可以经过充分的讨论,并依次进入房间,一张一张地翻开张卡片,并找到写有自己名字的卡片.当一个人操作结束后,他无法与其他人交流直到游戏结束.

只有所有个人全部找到了写有自己名字的卡片,他们才能获胜.请问:是否存在一种策略,使得无论设计者怎样安排名字和数字的对应,他们均拥有超过的胜率.

Solution5

这题真理元素讲过.做法是每个人先翻开自己编号的位置的卡片,假设卡片上数字是,如果就是自己的编号就下班;反之接下来翻开位置的卡片.为了防止设计者刻意安排,可以提前自己随机一个数字的映射.这样失败当且仅当场上存在一个长度大于的环.

考虑总方案数是.不妨枚举这个环的长度为,则存在一个长度的环的方案数是.所以此时的概率为.

那么失败的概率就是.

2022茶选

Problem1

证明弱对偶定理,差不多就是:

提一个问题:最大化,其中:

再提一个问题:最小化,其中:

现在请你证明:.

Solution1

下面乘一下配一下上面的系数,自然得证.

写成矩阵形式,设,不难发现.

Problem2

半径为的球里放点,要求两两之间距离不能小于,证明至多放个.

Solution2

要求两两距离不能小于等价于往其中放半径为的球,这种球体积为.然后原球要扩大一圈,所以原球体积变为.除一下得到答案.

Problem3

一个无限长的数轴上有一辆车,它的初始坐标是个未知的整数.

它每秒以的速度行驶,其中是个未知的整数(可以为负).

现在你每秒能进行一次这样的询问:询问整数,你会得知此时车的坐标是否是(Yes or No).

请给出一个策略,使得在有限的时间里可以获得一次Yes回答.

Solution3

第秒的时候车应该在处.由于我们知道现在是第几秒,枚举然后不断check即可.这个是经典的证明和等势.按照排序然后一个一个遍历.

Problem4

对满足的排列计数.

Solution4

简单题,设为答案,考虑取什么.

当时,方案数为.

当时,,方案数为.

于是,,.

Problem5

你有一个的棋盘.初始所有格子都是白色的.

你可以选择个格子染黑.此后,如果某个格子四联通的两个格子都是黑色,它自己也会变成黑色.

你要让所有格子最终都变黑.试证明:你一开始选择染黑的格子数最小值是.

Solution5

数学归纳了半天,屁用没用.

注意到在扩张过程中,黑色格子的周长不会变大,所以至少是个.

Problem6

设,定义一个集合能被 shattered为:的任意一个子集(包括它自己和空集),都可以由表示.其中是中的集合(就是说每个子集都等于和某些内集合的交.)

定义一个的"VC-Dimension"是,能被他shattered的集合的大小的最大值.

中的集合们只会包含某种不同的元素.证明:

  1. 任意一个能shattered的至少有个.

  2. 对于一个VC-Dimension的大小为的,其.

Solution6

显然只要证明了(1),那么(2)是显然的.

那么怎么证明(1)呢?考虑数学归纳.先考虑拎出所有的,满足,然后将这些拎出来,假设有个,左边删去后再进行数学归纳得到个集合(由于拎出了所有满足上述条件的集合,不可能删出重复的集合),右边也有个集合,在这个集合添上这个元素即可.

怎么办?我们自己造一组满足条件的就行了.每次加入一个集合:如果这个集合存在一个前面所有的集合都没有的元素,那么显然把这个元素拎出来就行了.又注意到如果一个元素全局都有的话,那么很废物对吧,我们把这个元素删掉继续做.此时不妨设新加入的集合为(选取最大的那个集合为新加入的),我们在前面的集合中找到一个与有交的集合,根据上面的预处理,此集合显然存在.选出一个,不妨设,令,然后用代替原本的即可.

2023茶选

Problem1

令表示的最大质因子,求所有使得:

  1. 且.

  2. .

Solution1

不妨令,令,则只需要解:.

我们有,则,用这个能解决不少讨论.

此时有以下两种情况:

  1. .

  2. .

先看(1),设.方程变为,一定有,只需解.

当的时候,经检验有(舍)和两组解.

当的时候,注意到,所以是偶数.又注意到,但是奇数的平方应该是,不符.

再看(2),设.

当时,显然不符.

当时,要解.当的时候有一组解.当的时候,有,说明是偶数.

那必然有.令,则.则要么,要么.解出,此时有.

综上,解出来的解有.

但其实有更厉害一点的做法,考虑升幂引理.

先看方程,考虑两边知道是奇数,于是,用这个放缩一下就行.

再看方程.仍然考虑两边,知道是奇数.,当场下班.

Problem2

给定两个随机分布：

:从中等概率随机一个,令.

:从中等概率随机一个,令.

定义二者的统计距离为:.

求证:.

Solution2

令.则.

令不难发现.

则.

要证明.由基本不等式显然.

Problem3

给你一个单增函数,满足定义域和值域都是,并且,求.

Solution3

首先我们不妨先试一下.由于,且,所以.

考虑,必然存在一个,使得.

用这个找前几项,发现规律是把写成三进制形式,如果首位是就变成,首位是就改为再在后面加个.容易验证这是合法的且.

但问题没有解决,需要证明它是唯一的.

考虑数学归纳假设现在都确定了.

注意到如果.所以如果,我们实际上有.数学归纳即可以证明一定是确定的.

接下来要证明和一定是确定的.

手玩发现确定它们的方式有两种:

  1. .

  2. .

如果我们能说明至少可以取二者其一就行.

由归纳假设,不难发现当在三进制下首位如果是,则一定满足(2).

当在三进制下首位是,则一定满足(1).

于是证毕.

Problem4

对于一个的包含各一个的矩阵(下称为排列矩阵),定义一次操作为:将每行都任意重排;或将每列都任意重排.求证:

  1. 如果一个排列矩阵满足每行恰有模余的数各一个,则称它是好的.求证:好的矩阵可以通过两次操作变为一个满足第行第列为的矩阵(不妨称为有序矩阵).

  2. 求证:任意排列矩阵可以通过一次操作变为好的.

Solution4

这题原题啊,AGC037D.

(1)显然,注意到有序矩阵的每列不相同,可以先将每行按照排序,再每列排序即可.

(2)的话我们考虑一次列操作.将不同的数字分类,然后建一个二分图:左侧的点是数字分的类,右侧的点代表行,注意到这个东西是正则二分图,根据Hall定理一定存在完美匹配.

Problem5

有个硬币排成一个环.你被蒙上眼睛,你每次操作可以选择一个硬币的子集并将它们翻面.但是你每次操作之后,硬币的位置将会任意旋转(即变为原来的一个循环同构).如果你存在一种策略,使得对于任意初始局面和任意中途的旋转方案,有限步内一定可以令存在一个时刻所有硬币正面朝上,则称是好的.求证:

  1. 是好的.

  2. 如果是奇数,那么不是好的.

  3. 求出所有好的.

Solution5

首先可以证明是好的.

这么干:如果一开始都正面向上就赢了.不然第一步全翻,这样如果一开始是反面向上也赢了.下一次随便翻一个,再下一次全翻,这样四次中至少赢了一次.

从上面的观察可以发现啊,我们场上一定会进行若干次全局翻转操作,并且最后一次一定是一个全局翻转,不然我们每次只需要让一个位置保持不被翻到就输麻了.

转全局太复杂了,考虑转操作,问题转化为现在你要排若干个操作,使得它们任意旋转后,仍然可以保证前缀异或和取到了所有的情况.注意到不妨让第一轮轮空,此时最少需要步.

不妨每进行一次非全局操作就全局翻一次,这样和就没区别了.

先考虑全局异或和为偶数的时候:

注意到来一个之后啥也不变,但是来一个一定赢了.所以上来先来一个,如果赢了就下班,没赢就来个,这样要么下班,要么变成了,再重复上面的操作.

如果全局异或和为奇数,那就随便异或一下,再按照偶数的做.

总的来说,先按照偶数的操作,不会改变全局异或和.如果没结束说明是奇数,变一下重复以上操作.

总结一下的话就是操作序列是:.

上面的构造启发我们手玩一下,注意到此时的问题在于和,都很完蛋.

我们先考虑弱化版问题:就是我们摘下了眼罩,但是选择策略在旋转之前.如果这种情况我们都做不到那蒙上眼更做不到了对吧.

我们不妨将所有的状态分为两类:一类叫做成功状态,即如果一个状态是成功的,那它可以通过有限次操作得到全;另一类叫做失败状态,即只要初值是它,一定有一种旋转的方式使得一直得不到全.

我们来仔细看一下这两个状态应该是啥样的:

对于一个成功状态,应该有一个固定的选择翻面策略,使得它可以在有限次操作内达到另一个更接近全的成功状态.我们不妨令一个成功状态的度为表示它可以经过步到达全,显然全的,的时候,的,因为其可以通过一次操作转化为全,的,因为其可以用一次操作转化为.

仔细思考上面的过程,也就意味着:任何一个成功状态的所有出边,必然要指向比它更小的成功状态.

对于一个失败状态,应该有一个任意的选择旋转策略,使得它怎么翻都还是失败状态.

这个定义还是挺粗糙的,我们先看失败状态吧.

显然的时候,就是失败状态.

而对于取任意来说,一定得存在一个的成功状态.一个显然的的成功状态要满足的条件是,假设它是,那么存在一个数,使得是全或者全.既然和旋转后只有两种结果,那么的循环节必定为,也就是一定要是这样的,于是是奇数的时候一定不符合,这就证明了(2).

同理寻找的成功状态,现在我们已知的四种成功状态是,,,,所以考虑构造一个循环节长度为的串,使得异或完它是这上面四种其一,注意到就是一个合法的串.

做到这里发现上面那个东西完全无法扩展啊.更要命的是我们现在还是睁着眼的,甚至没证明闭着眼是一样的.

找qyc讨论了一下得到了另一个思路的做法:

先证明一定是好的.考虑数学归纳,不妨这么干:构造一个长度为的串,使得其.然后由数学归纳,可以造出全的情况.而如果全,则原串一定存在长为的循环节,并且消除循环节的过程不会改变的值,仍然是数学归纳下去就做完了.

不然,设,

模仿上面的过程,不妨使用数学归纳证明其不成立.仍然是构造数组,由于数组都不可能全,显然也不可能成立.

这个能不能顺便证明是奇数一定不行呢?还真可以.

考虑你现在要卡掉蒙眼的对手的构造,你选出一个位置来备用,剩下了个位置.

接下来无论对手怎么出,你都可以通过乱搞这个备用的位置,来保证前个位置的异或值为.因此对手一定不能完成任务.

2024茶选

Problem1

连续扔一枚硬币,连续扔出三个正面则停止.假设硬币扔出正面反面的概率都为,求期望停止时间.

Solution1

简单题,设,然后有,算出.

Problem2

Alice和Bob玩游戏,一共有三轮.每一轮中,Alice选择一个实数,Bob将这个数填到下式中任意一个框中.进行三轮后,如果下式方程有三个不同的整数解则Alice赢,反之Bob赢,求是否有必胜策略.

Solution2

纯粹的构造.

简单分析一下,不妨设三个解为,方程应该可以写作.

拆开有.

这么对称,不妨猜一手Alice先选择,讨论一下:

  1. Bob令.不妨令.

此时方程变为.直接秒了,随便选一个数就行(比如选,如果Bob令,就再选;如果令,就再选)

  1. Bob令.

不妨令,则.

接下来Alice要选择一个数字,如果Bob又令,发现在此时如果是一个负的完全平方数,并且Alice接下来选择,当场就下班了.

所以不妨直接让,然后看当的时候如何去解.此时有.不难发现取勾股数就很优秀.

总结一下就是,Alice第二步选择,这样就赢了.

  1. Bob令.

我是构造不出来了.但我可以抄答案,答案是你接下来选择,两种情况如下:

后来又找人讨论了一下这个是咋得出来的啊.考虑,我们有的条件其实是.方程现在是.不妨令,方程实际上是.最好能让小一点,因此我们不妨直接取,此时,只要能构造这样的两组使得它们的即可.直接造看上去没啥前途,但是不难发现依然合法.此时有,我们有.取试试看!此时有.取,这就是上面那组答案的构造过程.

Problem3

人们之间可能会有讨厌的情况,讨厌关系是相互的.一个人最多讨厌另外个人.现在希望将全部的人分成两组,使得每个人在自己的组内至多只讨厌个人.这是一定可以办到的吗?

Solution3

考虑增广,对于一个不合法的点,它应当连了两个同色点.不妨将这个点反色,那么同色边的数量一定减少,因此一定存在操作终点.而只要当前不合法就一定可以继续操作,因此操作终点一定合法.

Problem4

有公式:

其中是任意一个将的函数,是二进制意义下的异或运算,是上的均匀分布,表示第位.再定义.

按照下面的步骤证明上面的式子,也就是说,求证:

  1. .

  2. 当时,.

  3. .

  4. 证明原命题.

Solution4

(1)显然.

(2)也很经典,挑选一个,使得,然后所有的集合分为两类:一类是包含,一类不包含,两类集合一一对应并且互为相反数.

(3)显然.

来看(4),注意到,而,要证明的只是,而:

于是证毕.

Problem5

Alice在手心上写了两个不同的实数.你可以看其中一只手上的,然后猜哪边的数大.设计一种策略使得不论两个数是什么,猜对的概率都严格大于.

Solution5

我对这个题有亿点小疑问,但是先说策略.

随机(无需均匀)一个数,然后随机一只手,看上面的数字,如果就认为大,反之认为大.只要随机到一个区间内的实数的概率不为即可.

但是怎么随机实数呢?好像可以按照正态分布随机,我其实也不太懂.

Problem6

使用一些长方形的砖头搭墙.如果每块砖头都有至少一条边的长度是整数,且搭出的墙面是没有缝隙的长方形,求证:这个长方形也至少有一条边长是整数.

Solution6

这个题是经典知乎题,下面搬一下知乎上面整理的这个题的答案:

数论证明:令为素数,把整个图形放大倍(也就是长度变成长度).下面把每个交叉点换成其整数部分,我们就得到了一个新的大矩形,它被划分为很多两边长均为整数的小矩形,而且每个小矩形有一边长能被整除.这样这个新的大矩形的面积也能被整除,所以它的有一边长能被整除.这条边只是被换成了它长度的整数部分,所以变化不超过,所以在放大之前这条边的长度和某个整数相差不超过.因为素数有无穷多个,所以原来的大矩形某一条边长度与某个整数相差无限小,证毕.

图论证明:令所有的交叉点为顶点.每个小矩形都有一边长为整数,我们把这两条边长为整数的边在图上标出(允许两顶点之间的重复边),另外两条边不连.这样除了大矩形的四个角以外每个顶点有条边或者条边(这是因为这个点,要么是处于一个丁字路口(两条边),要么是十字路口(四条边)),而大矩形四个角每个角只连了一条边.所以从大矩形一角开始存在一条欧拉路径在另一个角结束.因为图上连边的边长都是整数,把这个欧拉路径投影到大矩形的长宽,我们就得到了大矩形至少有一边长为整数.

组合证明:考虑Sperner引理(和染色有关的那个).假设结论不成立.把每个小矩形画上对角线,然后把所有交叉点染色:如果是整数,染X颜色.如果不是整数但是整数,染Y颜色.如果都不是整数,染Z颜色.由Sperner引理,三顶点被染不同颜色的三角形有奇数个(简单来说就是,你考虑大矩阵的左侧两个点都是X颜色,右侧一个是Y一个是Z,并且在最下面这条边(两个端点分别被染成了X颜色和Y颜色)上面只可能出现X和Y两种颜色,由于这两种颜色交替出现,那么连接不同颜色的边就会有奇数个,同理对于全局来说,三条边上连接不同颜色的边总共奇数个,内部的每一条边会在两个三角形中被各算一次,因此三个顶点染成不同颜色的三角形应该有奇数个),但由题目条件这种三角形不存在(如果一个点被染成了X颜色,那么上面的点如果存在也该被染成了X颜色,Y颜色同理,俩总会矛盾一个),矛盾.

扫描线证明:设大矩形为,并假设不是整数.把所有小矩形的下边界去掉,然后令为所有上边界坐标不是整数,并且与直线相交的小矩形的方向边长之和.那么,而且当变化的时候,它一定会变成另一个整数(原因在于一个小矩阵(假设已加入扫描线)上方的矩阵,如果想要退出扫描线,则必然横向长度是整数.同理对于一个没有加入扫描线的小矩阵上方的矩阵,如果想要加入扫描线,也需要横向长度是整数).所以是整数.而因为不是整数,就是最靠上的所有小矩形的宽之和,等于,所以是整数.