Binary:一个二级制大数实现 Spase:一个双向十字链表实现的稀疏矩阵 SAT:一个人工智能领域常见的SAT问题求解 Arena:迷宫(递归的)路径问题