本文探讨了使用计算机暴力破解魔方的问题。作者首先介绍了传统的暴力破解方法，即尝试所有可能的转动序列，但由于魔方状态空间巨大，这种方法实际上不可行。然后，作者引入了置换的概念，将魔方状态表示为置换，并提出了一种基于置换的暴力破解算法——4-List算法。该算法将搜索空间分解成四个子集，并利用置换的排序和集合交集等技巧，有效地减少了搜索时间。作者详细解释了算法的原理和实现细节，并提供了Common Lisp代码示例和性能测试结果。虽然存在更高效的魔方求解算法，但4-List算法的通用性使其适用于其他类型的置换谜题。