English Dictionary

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.

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

意味（1）

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

parity games （ plural ）