Formula game

Formula game

A formula game is an artificial game represented by a fully quantified Boolean formula. Players' turns alternate and the space of possible moves is denoted by bound variables. If a variable is universally quantified, the formula following it has the same truth value as the formula beginning with the universal quantifier regardless of the move taken. If a variable is existentially quantified, the formula following it has the same truth value as the formula beginning with the existential quantifier for at least one move available at the turn. Turns alternate, and a player loses if he cannot move at his turn. In computational complexity theory, the language FORMULA-GAME is defined as all formulas Phi such that Player 1 has a winning strategy in the game represented by Phi. FORMULA-GAME is PSPACE-complete.

References

Sipser, Michael. (2006). Introduction to the Theory of Computation. Boston: Thomson Course Technology.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Formula One (game) — can refer to any of several games based on Formula One car racing, including:* Formula One (video game series), a video game franchise from Sony Computer Entertainment. ** Formula 1 (PS1), the first game of that series, originally made by… …   Wikipedia

  • Game semantics — (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval …   Wikipedia

  • Formula One (Série) — Formula One est une série de jeux vidéo de course de Formule 1 sous licence officielle FOA. Apparue en 1996, la série a initialement été développé par Bizarre Creations puis, à partir de 2001, par Sony Studio Liverpool. Edité par Psygnosis puis… …   Wikipédia en Français

  • Formula One (serie) — Formula One (série) Formula One est une série de jeux vidéo de course de Formule 1 sous licence officielle FOA. Apparue en 1996, la série a initialement été développé par Bizarre Creations puis, à partir de 2001, par Sony Studio Liverpool. Edité… …   Wikipédia en Français

  • Formula One (série) — Formula One est une série de jeux vidéo de course de Formule 1 sous licence officielle FOA. Apparue en 1996, la série a initialement été développé par Bizarre Creations puis, à partir de 2001, par Sony Studio Liverpool. Edité par Psygnosis puis… …   Wikipédia en Français

  • Formula one (série) — Formula One est une série de jeux vidéo de course de Formule 1 sous licence officielle FOA. Apparue en 1996, la série a initialement été développé par Bizarre Creations puis, à partir de 2001, par Sony Studio Liverpool. Edité par Psygnosis puis… …   Wikipédia en Français

  • Formula One (video game series) — Formula One was a series of computer and video games originally created by Psygnosis and more recently Studio Liverpool. It takes its name from the popular car racing series of the same name. Since 2001, the Formula One series has been made by… …   Wikipedia

  • Formula D — is a United States drifting series.It is not a racing formula, the name is taken for vanity s sake only.The series is sponsored by the popular video game series, Need for Speed . Its official name is Need for Speed Formula Drift Presented by… …   Wikipedia

  • Formula Junior — is a formula racing class first adopted in October 1958 by the CSI ( International Sporting Commission , the part of the FIA that then regulated motorsports). The class was intended to provide an entry level class where you could use inexpensive… …   Wikipedia

  • Formula One (game) — Formula One (jeu vidéo) Pour les articles homonymes, voir Formula One. Formula One Éditeur Psygnosis Développeur Bizarre Creations …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”