Concepts de base
ハイドラの戦いにおけるACシンボルを使用した新しいエンコーディングを紹介し、その終了を証明する。
Résumé
この論文では、ハイドラとヘラクレスの戦いを再構築し、ACシンボルを使用して任意の戦略に対応するエンコーディングを提案しています。AC-RPOの簡略版であるAC-MPOを導入し、Hlab ∪ DecがAC終了することから、Hがソートされた用語でAC終了することが示されています。
Stats
AA(n, i(h)) = ω >O 1 = AA(sA(n), hA)
AA(n, i(h | x)) = ωx+1 >O ωx = AA(sA(n), i(x))
AA(n, i(x)) = ωx =O ωx = BA(n, DA(sA(n), i(x)))
CA(0, x) = x + 1 =O x + 1 = EA(x)
CA(sA(n), x) = x · n + x + 1 =O x · n + x + 1 = x |A CA(n, x)
i(EA(x) | y) = ωx⊕y+1 >O ωx⊕y + 1 = EA(iA(x | y))
i(EA(x)) = ωx+1 >O ωx + 1 = EA(iA(x))
DA(n, i(i(x))) = ωωx =O ωωx = i(DA(n, i(x)))
DA(n, i(i(h | x))) →ωωn ⊕y >O ωωn·n⊕y+1
Citations
"Unlike earlier term rewriting encodings, it faithfully models any strategy of Hercules to beat Hydra."
"The fight always terminates, and Hercules will win independent of his strategy."
"We introduce AC-MPO, a much weakened version of AC-RPO."