✨ Solving enclose.horse in polynomial time

✨ The horse, water, and walls version

• Rules and objective
• The square-grid setting

✨ The precise problem and result

• Input and output
• Assumptions and theorem statement

✨ How the solution was found

✨ The algorithm

• The key idea
• Algorithm description

✨ Why it works

✨ Why its running time is polynomial

✨ Scope and limitations