热点事件持续更新
无共享随机性团队博弈的极限必胜研究
1 篇报道1 个报道来源2 小时前 更新
先了解这件事
AI 综述
2026年10月12日，arXiv Multiagent Systems 发表论文，研究多个智能体在无共享随机源、仅各自持有随机源时对抗环境的并发随机博弈。论文针对可达性目标，证明 limit-sure 问题为 NP-complete；针对安全性目标，证明 limit-sure 获胜与 almost-sure 获胜一致且属于 P。由此推出 Individually Randomised ATL 定性片段的模型检测为 P^NP-complete。
AI 根据报道生成 · 1 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- arXiv · Multiagent Systems无共享随机性的团队博弈中的 Limit-sure 获胜
论文研究多个智能体在无共享随机源、仅各自持有随机源时对抗环境的并发随机博弈。针对可达性目标，limit-sure 问题被证明为 NP-complete；针对安全性目标，limit-sure 获胜与 almost-sure 获胜一致且属于 P。由此推出 Individually Randomised ATL 定性片段的模型检测为 P^NP-complete。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。