.

scripts/clear_history.bat

@@ -2,11 +2,11 @@
 
 cd %~dp0/.. || exit /b 1
 
-git checkout --orphan empty        || exit /b 1
-git branch -D main                 || exit /b 1
-git add -A                         || exit /b 1
-git commit -m "."                  || exit /b 1
-git push origin empty:main --force || exit /b 1
-git checkout main                  || exit /b 1
+git checkout --orphan empty          || exit /b 1
+git branch -D main                   || exit /b 1
+git add -A                           || exit /b 1
+git commit -m "feat: initial commit" || exit /b 1
+git push origin empty:main --force   || exit /b 1
+git checkout main                    || exit /b 1
 git branch -D empty
 git pull origin main --allow-unrelated-histories

scripts/clear_history.sh

@@ -2,11 +2,11 @@
 
 cd "$( cd "$( dirname "$0"  )" && pwd  )/.." || exit
 
-git checkout --orphan empty        || exit 1
-git branch -D main                 || exit 1
-git add -A                         || exit 1
-git commit -m '.'                  || exit 1
-git push origin empty:main --force || exit 1
-git checkout main                  || exit 1
+git checkout --orphan empty          || exit 1
+git branch -D main                   || exit 1
+git add -A                           || exit 1
+git commit -m 'feat: initial commit' || exit 1
+git push origin empty:main --force   || exit 1
+git checkout main                    || exit 1
 git branch -D empty
 git pull origin main --allow-unrelated-histories

src/level/normalization.md

@@ -4,7 +4,7 @@
 标准化的目的是移除这些与求解无关或冗余的元素.
 
 理想情况下, 任何具有相同步数最优解的关卡都可以标准化为同一个关卡. 理论上, 可以先对关卡进行自动求解, 获得最优解决方案后, 再[从解决方案构造关卡](parse_level.md#从解决方案构造关卡)来得到标准化后的关卡.  
-然而, 对于 PSPACE-complete 的推箱子问题来说, 通过自动求解获得最优解决方案通常是耗时且困难的, 因此还需要一种不依赖于关卡解决方案的高效(多项式时间内得出结果)标准化方法. 尽管该方法得到的标准化结果并不完美.
+然而, 对于PSPACE完全的推箱子问题来说, 通过自动求解获得最优解决方案通常是耗时且困难的, 因此还需要一种不依赖于关卡解决方案的高效(多项式时间内得出结果)标准化方法. 尽管该方法得到的标准化结果并不完美.
 
 关卡的标准化可以分为以下几个步骤:
 

src/solver/README.md

@@ -52,7 +52,7 @@ graph TD
 
     A\* 与 BFS 在最坏情况下的时间复杂度均为 $O(b^d)$. 但 A\* 算法是一种最佳优先搜索(Best-first search)算法, 会优先探索最有希望的节点.
 
-- IDA* 搜索算法[^4]
+- IDA\* 搜索算法[^4]
 
     相比空间复杂度为 $O(b^d)$ 的 A\* 算法, IDA\* 算法的空间复杂度为 $O(d)$.