目录
一.主函数逻辑
二.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)
