目录

一.主函数逻辑

二.level_stor()函数

三.mid_stor函数

四.operate函数

五.judge2函数

六.求解flag

一.主函数逻辑

①先输入一个字符串,然后judge1()函数遍历它,判断字符是否在[0,4]区间范围内

②将输入的字符串用层次遍历的方式存储为一个二叉树root

③再将二叉树root用中序遍历的方式存储到arr数组中

④将arr数组的内容复制到一块固定的内存空间

⑤judge2()函数实际上是将上一步操作中的内存空间保存的数据视为5*5矩阵,判断每行每列是否有重复元素,也就是一个数独问题

二.level_stor()函数

起初看这个形式像是前序遍历存储二叉树,实则不然,这是层次遍历

假设我们输入序列为:0123456789

那么跟着函数流程画出来大概是这个样子(^表示空指针):

左边是内存空间分布,右边是二叉树的形式

三.mid_stor函数

这里的dword_601080单元实际作用是循环计数变量,我最开始也看错了,以为是arr的值++

这个函数是递归的将上一步得到的二叉树root用中序遍历的方式存储到arr_stor数组中

四.operate函数

这个函数就是将arr_stor中的内容存到#字符对应的位置

五.judge2函数

到这一步我也是看其他大佬的wp才看明白,参考:BUUCTF--[GUET-CTF2019]number_game 

本质上就是判断每行每列是否有重复元素,如果有就错误,所以这是一个5*5矩阵的数独问题

六.求解flag

可以根据Arr数组中的内容求解这个数独问题,Arr的数据提取并转化为5*5矩阵(手工求解一波数独):

14#23 14023
30#1# 30412
0#23# 01234
#3##0 23140
42##1 42301

所以按顺序,arr_stor数组的内容是:

0421421430

然后根据level_stor中假设输入0-9的二叉树的形状,那么得到的中序序列为:

7381940526

也就是说我们按照0-9的顺序输入,实际上会被转换成这样的位置存储到arr_stor数组内

脚本:得到flag{1134240024}

arr1=[7,3,8,1,9,4,0,5,2,6] #按顺序输入的字符最终会按照这个表里的顺序输出
arr2=[0,4,2,1,4,2,1,4,3,0] #0需要第一个填入数独矩阵,所以他的下标是7,这样才能保证顺序
flag=[0]*10
for i in range(10):flag[arr1[i]]=arr2[i];
print (flag)