parity game（優先度が割り当てられた有向グラフ）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

parity game

(game theory) A type of game played on a directed graph whose nodes are coloured by priority.

日本語の意味

優先度が割り当てられた有向グラフ上で行われる、ゲーム理論における一種のゲーム

Researchers developed a new solver that can efficiently analyze large parity game instances arising from model checking.

研究者たちは、モデル検査から生じる、優先度で色付けされたノードを持つ有向グラフ上で行われるゲームの大規模なインスタンスを効率的に解析できる新しいソルバーを開発した。

活用形複数形

plural of parity game

原形: parity game

日本語の意味

「parity game」（パリティゲーム）の複数形。

Researchers study parity games to analyze infinite-state systems and model-checking problems.

研究者は無限状態システムやモデル検査の問題を解析するためにパリティゲームを研究している。

Webで検索する