大随机图始终安全可隐藏吗？

我们讨论了在各种变体的警察和小偷游戏中，玩家在大随机图上的获胜可能性，这是各种网络查询、搜索问题等问题的测试场。我们探讨了使用逻辑框架来调查此类结果的方法；特别是，我们展示了只要某种玩家的获胜条件可以表示为第一阶逻辑中的某种公式，该玩家几乎总是获胜。通过这一过程，我们从零一律的视角获得了对逻辑-游戏联系更深入的理解。