## 华容道的统计与建库

这是一个关于华容道性质的研究项目，它会找到所有华容道布局并分析它们之间的关联，同时取得其各方面的参数，并将收集到的资料建成数据库加以整理；

对于华容道布局规则、移动规则及各种术语，这里给出了严格的[公理化定义](./docs/klotski.md)；

为了方便研究，每个华容道布局都有一个唯一的编码，它是一个九位长度的十六进制数，这里是[编码的规则](./docs/klotski_code.md)；

经过统计，符合定义的华容道布局共有29334498种，其数量级较为庞大，这个过程将在[云服务器](./docs/ecs.md)上完成；

为了快速遍历所有布局，这里使用C++编写了一套计算统计引擎，统计将由它来完成；同时，它也可以用于最短路径/最远布局/解的个数等其他方面的运算，这里是它的[使用方法](./docs/usage.md)；

引擎封装了多个类实现不同功能，这里是它库函数的[使用演示](./docs/class.md)；

为了方便解析/获取编码，这里提供了一个图形化的[绘制工具](./docs/visual.md)；

在计算完所有布局后，数据将以csv格式保存，这里是[建立与使用数据库](./docs/database.md)的讲解；

本项目所有源码以[MIT协议](./LICENSE)开源，你可以不受任何限制地使用，但保留作者版权；

*by Dnomd343*
*2020.7.6*