Last Updated :2025/11/29

parity game

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

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

plural

Quizzes for review

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

音声機能が動作しない場合はこちらをご確認ください
See correct answer

parity game

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

See correct answer

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

音声機能が動作しない場合はこちらをご確認ください

English - English

Word Edit Setting
  • Users who have edit permission for words - All Users
  • Screen new word creation
  • Screen word edits
  • Screen word deletion
  • Screen the creation of new headword that may be duplicates
  • Screen changing entry name
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Sentence Edit Setting
  • Users who have edit permission for sentences - All Users
  • Screen sentence deletion
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Quiz Edit Setting
  • Users who have edit permission for quizzes - All Users
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Editing Guideline

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★