当k足够大时，恶魔需要在起始点之外逻辑上_必剪创作

当k足够大时，恶魔需要在起始点之外 逻辑上建立墙派2r（园周长）×k半径 的虚拟墙，才可阻挡

当天使朝单方向移动，需要建立 派k×k/2–k的局部墙堵死天使

恶魔需要o（k²）级时间建造局部墙(只造一阻塞点的密铺墙)

假设能堵住，o(r)> o( k²时间× k速度)

天使挡住后向左走两次k距离( k足够大)，给了恶魔2次机会，恶魔来不及在旁边造墙

恶魔更换为视频里砌墙的策略，并给予恶魔buff（简化计算），他只需要专心造一个局部墙就能获得45度角的虚拟墙，这样恶魔需要的时间还是o( k²)天使撞墙后，恶魔buff移除，天使向(k,–k)单方向移动

天使移动距离o(k),恶魔需要补充墙o(k²)，从而让天使不要离开包围圈，量级可知必定堵不住

查看原视频

天使问题，一个2006年才被证明的博弈难题！