依次检查就完了。
1 |
|
小月的十六进制
一开始的错解
一开始没看数据，企图直接用atoi。当然改成atoll和long long这题也是过不去的，这个是错解。
1 |
|
正确方式
十六进制的基数是2^4，也就是说每个十六进制位会对应4个二进制位。想让一个数被2的k次幂整除，当且仅当这个数的二进制表示的末尾有至少k个0。
那如何算这个数的二进制形式末尾有多少个0呢！？
首先，刚刚说过了，一个十六进制位对应4个二进制位，所以十六进制数末尾有一个0，相当于二进制数的末尾有4个0。假设十六进制数末尾有m个0，那么他就贡献了4*m个0。
然后去找第一个非零位。如果这个数可以被2整除n次，我们就称他贡献了n个0。
那么此刻问题就转换成了，判断4*m+n是否大于等于k
1 |
|
小月的对局
如果Bob想赢，那么无论Alice按什么顺序出牌，Bob都要给每一张Alice的牌配上一张互质的牌，并且每张牌只用一次。
那么问题就变成了，对于Alice的每张牌，Bob是否可以找到对应的牌与它互质。如果可以的话Bob胜利，反之Alice胜利。
那么就变成了二分图的匹配问题喵。
左边n个点是Alice的牌，右边n个点是Bob的牌。如果gcd(a[i],b[j])==1，就在i和j之间连边。
然后求最大匹配，如果最大匹配等于n，Bob赢，反之Alice赢。
1 |
|
小月的地砖
重点就在于如何安排，可以让每一列中的1尽量均匀。
我们把第i个1放到第i%m列里，这样之后每列的1只有可能有两种情况：
⌊S / m⌋
⌊S / m⌋ + 1
1 |
|
依次检查就完了。
1 |
|
然后我们拆开来读一下这个宏
1 | FD = P->fd; |
从当前要被拿出的chunk P中取出他的FD和BK，去检验FD的bk是不是P，BK的fd是不是P。这里是glibc引入的保护机制，如果没有这个检查，攻击者利用堆溢出伪造P->fd和P->bk指向任意地址，从而就能直接造成任意地址读写。
检查通过之后，就会让FD的bk指向BK，BK的fd指向FD，把P从链表中拿出来。也就是ctfwiki上这个图所演示的过程。
unlink后的结果就是这样（如下图），也就是上图中第三块去掉P之后的样子。
1 | if (!in_smallbin_range (P->size) |
这部分只针对large Bin中的chunk。large Bin除了基本的fd/bk双向链表外，还维护了一条按size排序的 fd_nextsize/bk_nextsize双向链表，用于加速查找。摘除时需要同时维护这两条链表。
0x02 如何利用
通过堆溢出伪造一个 fake_chunk，欺骗堆管理器在free的时候把它当成一个合法的空闲堆块进行unlink。
利用FD = P->fd;BK = P->bk;两次操作，劫持一个全局指针，实现任意地址读写。
0x03 例题 hitcon2014_stkof
因为buuctf的环境太诡异，这里直接patch成glibc-all-in-one里的libc-2.23来打的本地。
先对函数进行一个重命名，1是add，2是edit，3是delete。
函数分析
add
从用户输入读取最多15个字符，转为long long之后赋值给size。然后malloc一个对应大小的堆块，把指针返回给v2。
::s是一个全局数组，用于存储堆指针，dword_602100是一个全局变量，先把他+1，作为::s的索引，将v2存储进这个地方。然后打印出索引。
这是::s的地址，记一下，一会要用。
edit
这里存在一个堆溢出，他没有校验我们输入的长度是否大于前面申请的堆块大小。
delete
这个函数没什么问题，就是删除所选的堆块。
利用思路
这个程序没有关闭输入输出流，所以在首次调用fget和printf函数的时候会创建两个堆块。我们的第一个堆块会被这两个io_chunk夹在中间，没办法利用。所以我们需要额外创建三个chunk，chunk2（伪造 fake chunk 的载体）、chunk3（被free）、chunk4（放 “/bin/sh”）
如果我们在chunk2的data部分构造一个fake chunk，让这个fake chunk处于释放状态，修改chunk3的prev_size和size的标志位，让chunk3在释放的时候向前合并，就能利用unlink，实现任意地址写。
fake chunk的最小尺寸是0x30，所以chunk2的最小大小也就是0x30。计算方式如下
min=prev_size+size+fd+bk+next_prev+next_size
其中每个部分的大小都是0x8，也就是0x8*6=0x30。
为了正常利用，chunk3的prev_size也应该是0x30，并且size应该大于fast bin的最大值，即最小为0x90。
那fake chunk怎么构造呢？
prev_size：这里不会被读取，直接写0就可以了。
size：
prev_size+size+next_prev+next_size=0x20，所以这里写0x20。next_prev：chunk3的prev_size，也就是这里的next_prev必须等于前一个chunk即fake chunk的size，所以这里也是0x20。
next_size：不重要，随便写一个。
fd：我们目标修改的地方是0x602150（0x602140是::s的起始，idx=0，对应chunk2是idx=2，也就是0x602150），
fd=0x602150-0x18bk：0x602150-0x10
unlink 完成后，全局数组中 chunk2 对应的指针被改成 target-0x18。
此时通过 edit(2) 写入数据，就能修改全局数组里其他chunk的指针：把 chunk1 的指针改成 free_got，chunk2 的指针改成 puts_got，再用 edit(1) 把 chunk1 指向的内容写成 puts_plt。这样delete(2) 就会执行puts(puts_got)
泄露libc基地址后把free@got改成 system，再让 chunk4 里放 “/bin/sh”，delete(4) 就能getshell。
exp
1 | from pwn import * |
题目链接：https://www.luogu.com.cn/contest/321016#problems和平干饭日
思路
就是看有多少天吐出的猫粮数 mod 26可以等于0。这里使用了字符串拼接的方式来计算每天吐出的猫粮数
代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
import sys
sys.set_int_max_str_digits(100000)
#跑代码的时候出现了整数转字符串长度限制，这个是3.11出现的，考场上用的版本并没有这个限制，前两行可以不写
total=1
cnt=0
for i in range(2,2027):
total=str(total)
total=total+str(i)
total=int(total)
if total%26==0:
cnt+=1
print(cnt)
答案：76
干涉条纹
思路
在考场上写出了时间复杂度n^2的代码，跑到考试结束也没出结果（笑）
这题应该是枚举平方数S，然后对每个 S 去找有多少个 (a,b) 满足 a+b=S
找两个较小的数字推一下，不难看出：
1
2
3
当0 ≤ S ≤ B：个数 = S+1
当B < S ≤ A：个数 = B+1
当A < S ≤ A+B：个数 = A+B−S+1
代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
import math
M1 = 20269876543210
M2 = 20260123456789
total_max = M1 + M2
k_min = 0
k_max = int(math.isqrt(total_max))
ans = 0
for k in range(k_min, k_max + 1):
S = k * k
if S <= M2:
cnt = S + 1
elif S <= M1:
cnt = M2 + 1
else:
cnt = M1 + M2 - S + 1
ans=(ans+cnt)%998244353
print(ans)
答案：315082704
定制展示盘
思路
本质上是一个判断质数，如果是质数就+1变成合数，不是质数直接输出n
注意，n<3的时候不能+1，要输出4（疑似考场上因为这个丢分了（说疑似是因为不知道有没有这个测试点，但考场上确实没写））
代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
import sys
import math
input=lambda:sys.stdin.readline().strip()
def isPrime(n):
if n < 2:
return False
if n == 2:
return True
if n % 2 == 0:
return False
for i in range(3, int(math.sqrt(n)) + 1, 2):
if n % i == 0:
return False
return True
T=int(input())
for _ in range(T):
n=int(input())
if n<=3:
print("4")
elif isPrime(n):
print(n+1)
else:
print(n)
奇偶博弈
思路
考前n天练过一次博弈论，导致考场看见题没太蒙，但同时导致了审题不认真丢分。学长押题压得准，学长教得好，我没学好我罪该万死。（可惜，这个题分拿全应该就省一了）
本质上就是看操作数
操作数统计方式如下：
如果W[i]是奇数（非1），变成0需要两步，偶数（非0）则是1步；如果是1操作数算1，0就是0
按这个方式统计操作数，是奇数就是先手赢，偶数后手赢
代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
import sys
input = lambda: sys.stdin.readline().strip()
T = int(input())
for _ in range(T):
N = int(input())
W = list(map(int, input().split()))
cnt=0
for i in range(N):
if W[i]%2==0:
if W[i]==0:
cnt+=0
else:
cnt+=1
else:
if W[i]==1:
cnt+=1
else:
cnt+=2
if cnt%2==0:
print("Q")
else:
print("L")
]]>
https://rwrkev9s.github.io/lanqiao-17-pythonb/
2026-09-24T13:50:00.000Z
题目链接：https://www.luogu.com.cn/contest/321016#problems
<]]>
17届蓝桥杯省赛PythonB组赛后复盘
2026-09-25T05:39:23.662Z
和平干饭日
思路
就是看有多少天吐出的猫粮数 mod 26可以等于0。这里使用了字符串拼接的方式来计算每天吐出的猫粮数
代码
1 | import sys |
答案：76
干涉条纹
思路
在考场上写出了时间复杂度n^2的代码，跑到考试结束也没出结果（笑）
这题应该是枚举平方数S，然后对每个 S 去找有多少个 (a,b) 满足 a+b=S
找两个较小的数字推一下，不难看出：
1 | 当0 ≤ S ≤ B：个数 = S+1 |
代码
1 | import math |
答案：315082704
定制展示盘
思路
本质上是一个判断质数，如果是质数就+1变成合数，不是质数直接输出n
注意，n<3的时候不能+1，要输出4（疑似考场上因为这个丢分了（说疑似是因为不知道有没有这个测试点，但考场上确实没写））
代码
1 | import sys |
奇偶博弈
思路
考前n天练过一次博弈论，导致考场看见题没太蒙，但同时导致了审题不认真丢分。学长押题压得准，学长教得好，我没学好我罪该万死。（可惜，这个题分拿全应该就省一了）
本质上就是看操作数
操作数统计方式如下：
如果W[i]是奇数（非1），变成0需要两步，偶数（非0）则是1步；如果是1操作数算1，0就是0
按这个方式统计操作数，是奇数就是先手赢，偶数后手赢
代码
1 | import sys |