Skip to content
Hot eventLive

无共享随机性团队博弈的极限必胜研究

1 reports1 sources2 hr ago updated

Get the story

AI overview

2026年10月12日，arXiv Multiagent Systems 发表论文，研究多个智能体在无共享随机源、仅各自持有随机源时对抗环境的并发随机博弈。论文针对可达性目标，证明 limit-sure 问题为 NP-complete；针对安全性目标，证明 limit-sure 获胜与 almost-sure 获胜一致且属于 P。由此推出 Individually Randomised ATL 定性片段的模型检测为 P^NP-complete。

Generated from reports · updated 2 hr ago

LatestOct 12
论文证明可达性目标 limit-sure 为 NP-complete，安全性目标 limit-sure 与 almost-sure 一致且属 P。

Timeline

Follow the coverage from different angles.

Oct 12, 2026
  1. arXiv · Multiagent Systems
    无共享随机性的团队博弈中的 Limit-sure 获胜

    论文研究多个智能体在无共享随机源、仅各自持有随机源时对抗环境的并发随机博弈。针对可达性目标，limit-sure 问题被证明为 NP-complete；针对安全性目标，limit-sure 获胜与 almost-sure 获胜一致且属于 P。由此推出 Individually Randomised ATL 定性片段的模型检测为 P^NP-complete。

Heat trend

There is not enough continuous observation data to draw a trend yet.