maze

题目

BCTF 2015中的题目，名为CamlMaze。向解出此题的217、PPP、Gallopsled、Dragon Sector表达祝贺。

描述：

Caml has found a foggy maze. Please direct him to find the gold.

The source code of Caml Featherweight may be helpful.

本题是字节码逆向题，供选手下载的user.tgz包含camlfwrun(字节码解释器)、bytecode(字节码，是一段客户端程序，用我的Caml Featherweight编译生成)、camlfwod(用ocamlrun执行的字节码查看器，名字来源于objdump)。和Caml Featherweight相比，camlfwrun经过了少许修改，在解释前会向服务端创建socket，是为了适配交互式逆向/pwn类CTF题目，静态编译，已被strip -s。

名字中的Caml源于Categorical Abstract Machine Language，一个ML语言的方言。

Perfect maze

Perfect maze又称standard maze，指没有回路，没有不可达区域的迷宫。用图论的语言来说，就是可以用spanning tree表示的迷宫，保证迷宫中任意两个格子间都有唯一的路径。本文旨在探讨如何随机生成棋盘状perfect maze。迷宫格子的邻居的定义采用von Neumann neighborhood，即水平竖直方向相邻的四个格子。

变形Kruskal算法

说得通俗点，就是“随机拆墙”。