Products
  • Wolfram|One

    The definitive Wolfram Language and notebook experience

  • Mathematica

    The original technical computing environment

  • Notebook Assistant + LLM Kit

    All-in-one AI assistance for your Wolfram experience

  • Compute Services
  • System Modeler
  • Finance Platform
  • Wolfram|Alpha Notebook Edition
  • Application Server
  • Enterprise Private Cloud
  • Wolfram Engine
  • Wolfram Player
  • Wolfram Cloud App
  • Wolfram Player App

More mobile apps

Core Technologies of Wolfram Products

  • Wolfram Language
  • Computable Data
  • Wolfram Notebooks
  • AI & Linguistic Understanding

Deployment Options

  • Wolfram Cloud
  • wolframscript
  • Wolfram Engine Community Edition
  • Wolfram LLM API
  • WSTPServer
  • Wolfram|Alpha APIs

From the Community

  • Function Repository
  • Community Paclet Repository
  • Example Repository
  • Neural Net Repository
  • Prompt Repository
  • Wolfram Demonstrations
  • Data Repository
  • Group & Organizational Licensing
  • All Products
Consulting & Solutions

We deliver solutions for the AI era—combining symbolic computation, data-driven insights and deep technical expertise

  • Data & Computational Intelligence
  • Model-Based Design
  • Algorithm Development
  • Wolfram|Alpha for Business
  • Blockchain Technology
  • Education Technology
  • Quantum Computation

Wolfram Consulting

Wolfram Solutions

  • Data Science
  • Artificial Intelligence
  • Biosciences
  • Healthcare Intelligence
  • Sustainable Energy
  • Control Systems
  • Enterprise Wolfram|Alpha
  • Blockchain Labs

More Wolfram Solutions

Wolfram Solutions For Education

  • Research Universities
  • Colleges & Teaching Universities
  • Junior & Community Colleges
  • High Schools
  • Educational Technology
  • Computer-Based Math

More Solutions for Education

  • Contact Us
Learning & Support

Get Started

  • Wolfram Language Introduction
  • Fast Intro for Programmers
  • Fast Intro for Math Students
  • Wolfram Language Documentation

More Learning

  • Highlighted Core Areas
  • Demonstrations
  • YouTube
  • Daily Study Groups
  • Wolfram Schools and Programs
  • Books

Grow Your Skills

  • Wolfram U

    Courses in computing, science, life and more

  • Community

    Learn, solve problems and share ideas.

  • Blog

    News, views and insights from Wolfram

  • Resources for

    Software Developers

Tech Support

  • Contact Us
  • Support FAQs
  • Support FAQs
  • Contact Us
Company
  • About Wolfram
  • Career Center
  • All Sites & Resources
  • Connect & Follow
  • Contact Us

Work with Us

  • Student Ambassador Initiative
  • Wolfram for Startups
  • Student Opportunities
  • Jobs Using Wolfram Language

Educational Programs for Adults

  • Summer School
  • Winter School

Educational Programs for Youth

  • Middle School Camp
  • High School Research Program
  • Computational Adventures

Read

  • Stephen Wolfram's Writings
  • Wolfram Blog
  • Wolfram Tech | Books
  • Wolfram Media
  • Complex Systems

Educational Resources

  • Wolfram MathWorld
  • Wolfram in STEM/STEAM
  • Wolfram Challenges
  • Wolfram Problem Generator

Wolfram Initiatives

  • Wolfram Science
  • Wolfram Foundation
  • History of Mathematics Project

Events

  • Stephen Wolfram Livestreams
  • Online & In-Person Events
  • Contact Us
  • Connect & Follow
Wolfram|Alpha
  • Your Account
  • User Portal
  • Wolfram Cloud
  • Products
    • Wolfram|One
    • Mathematica
    • Notebook Assistant + LLM Kit
    • Compute Services
    • System Modeler
    • Finance Platform
    • Wolfram|Alpha Notebook Edition
    • Application Server
    • Enterprise Private Cloud
    • Wolfram Engine
    • Wolfram Player
    • Wolfram Cloud App
    • Wolfram Player App

    More mobile apps

    • Core Technologies
      • Wolfram Language
      • Computable Data
      • Wolfram Notebooks
      • AI & Linguistic Understanding
    • Deployment Options
      • Wolfram Cloud
      • wolframscript
      • Wolfram Engine Community Edition
      • Wolfram LLM API
      • WSTPServer
      • Wolfram|Alpha APIs
    • From the Community
      • Function Repository
      • Community Paclet Repository
      • Example Repository
      • Neural Net Repository
      • Prompt Repository
      • Wolfram Demonstrations
      • Data Repository
    • Group & Organizational Licensing
    • All Products
  • Consulting & Solutions

    We deliver solutions for the AI era—combining symbolic computation, data-driven insights and deep technical expertise

    WolframConsulting.com

    Wolfram Solutions

    • Data Science
    • Artificial Intelligence
    • Biosciences
    • Healthcare Intelligence
    • Sustainable Energy
    • Control Systems
    • Enterprise Wolfram|Alpha
    • Blockchain Labs

    More Wolfram Solutions

    Wolfram Solutions For Education

    • Research Universities
    • Colleges & Teaching Universities
    • Junior & Community Colleges
    • High Schools
    • Educational Technology
    • Computer-Based Math

    More Solutions for Education

    • Contact Us
  • Learning & Support

    Get Started

    • Wolfram Language Introduction
    • Fast Intro for Programmers
    • Fast Intro for Math Students
    • Wolfram Language Documentation

    Grow Your Skills

    • Wolfram U

      Courses in computing, science, life and more

    • Community

      Learn, solve problems and share ideas.

    • Blog

      News, views and insights from Wolfram

    • Resources for

      Software Developers
    • Tech Support
      • Contact Us
      • Support FAQs
    • More Learning
      • Highlighted Core Areas
      • Demonstrations
      • YouTube
      • Daily Study Groups
      • Wolfram Schools and Programs
      • Books
    • Support FAQs
    • Contact Us
  • Company
    • About Wolfram
    • Career Center
    • All Sites & Resources
    • Connect & Follow
    • Contact Us

    Work with Us

    • Student Ambassador Initiative
    • Wolfram for Startups
    • Student Opportunities
    • Jobs Using Wolfram Language

    Educational Programs for Adults

    • Summer School
    • Winter School

    Educational Programs for Youth

    • Middle School Camp
    • High School Research Program
    • Computational Adventures

    Read

    • Stephen Wolfram's Writings
    • Wolfram Blog
    • Wolfram Tech | Books
    • Wolfram Media
    • Complex Systems
    • Educational Resources
      • Wolfram MathWorld
      • Wolfram in STEM/STEAM
      • Wolfram Challenges
      • Wolfram Problem Generator
    • Wolfram Initiatives
      • Wolfram Science
      • Wolfram Foundation
      • History of Mathematics Project
    • Events
      • Stephen Wolfram Livestreams
      • Online & In-Person Events
    • Contact Us
    • Connect & Follow
  • Wolfram|Alpha
  • Wolfram Cloud
  • Your Account
  • User Portal
Wolfram Language & System Documentation Center
VerifyMatrixGameStrategy
  • See Also
    • MatrixGame
    • FindMatrixGameStrategies
    • FindTreeGameStrategies
  • Related Guides
    • Game Theory
    • See Also
      • MatrixGame
      • FindMatrixGameStrategies
      • FindTreeGameStrategies
    • Related Guides
      • Game Theory

VerifyMatrixGameStrategy[mgame,strat]

verifies that the strategy profile strat is a Nash equilibrium for the matrix game mgame.

Details
Details and Options Details and Options
Examples  
Basic Examples  
Scope  
Applications  
Social Games  
Economics Games  
Military Games  
Recreational Games  
Symmetry in Games  
See Also
Related Guides
History
Cite this Page
BUILT-IN SYMBOL
  • See Also
    • MatrixGame
    • FindMatrixGameStrategies
    • FindTreeGameStrategies
  • Related Guides
    • Game Theory
    • See Also
      • MatrixGame
      • FindMatrixGameStrategies
      • FindTreeGameStrategies
    • Related Guides
      • Game Theory

VerifyMatrixGameStrategy

VerifyMatrixGameStrategy[mgame,strat]

verifies that the strategy profile strat is a Nash equilibrium for the matrix game mgame.

Details

  • A strategy is Pareto efficient if no action or allocation is available that makes one individual better off without making another worse off.
  • VerifyMatrixGameStrategy is typically used to verify if a given game strategy is a Nash equilibrium, or equivalently, if a given strategy is Pareto efficient.

Examples

open all close all

Basic Examples  (3)

Find if the defect/defect strategy is Pareto efficient in the Prisoner's Dilemma game:

Find the optimal strategies obtained by FindMatrixGameStrategies for the Chicken game:

Confirm the given strategies are Nash equilibria:

Find if a given strategy is a Nash equilibrium in the Hawk-Dove game:

Scope  (2)

Find if a given strategy is a Nash equilibrium in the Platonia Dilemma game:

Find a pure optimal strategy in the Battle of the Bismarck game by trial and error:

This is confirmed by FindMatrixGameStrategies:

Applications  (6)

Social Games  (2)

The Volunteer's Dilemma describes a situation where each player can either volunteer or defect. If at least one player volunteers, all other players marginally benefit from defecting. If no player volunteers, all players have a very low payoff. Generate a Volunteer' s Dilemma game with 4 players:

Confirm that a strategy is optimal if exactly one player volunteers:

The Discoordination game is a hybrid form of coordination and anti-coordination games, where one player's incentive is to coordinate while the other player tries to avoid this. Generate a Discoordination game with a volunteer and a detractor:

Find if a strategy of coordinated actions is Pareto efficient:

Economics Games  (1)

The Cournot Oligopoly game describes a situation where a group of firms produces the same good. Each firm must consider the production cost and the quantity the other firms are producing. Only the firms with the lowest price sell goods. Generate a Cournot Oligopoly game:

Find if the strategy where all players choose the second action is Pareto efficient:

This is intuitive when considering that, for all players, the payoffs are largest for the second action:

Military Games  (1)

The Colonel Blotto game describes a situation where officers (players) are tasked to simultaneously distribute limited resources over several objects (battlefields). The player devoting the most resources to a battlefield wins that battlefield, and the gain (or payoff) is equal to the total number of battlefields won. Generate a Colonel Blotto game:

Find if the strategy of spreading the resources is Pareto efficient:

This is intuitive considering the second player has more resources, thus, spreading the resources increases the number of battlefields where the player can win:

Recreational Games  (1)

Rock Paper Scissors is a zero-sum game, where either one player wins and the other loses, or there is a tie. Determine if the equiprobable strategy is Pareto efficient:

Symmetry in Games  (1)

Consider the difference between pure coordination and dangerous coordination games. Similar to Rock Paper Scissors, determine if the equiprobable strategy is Pareto efficient in the pure coordination game:

For symmetric games, the equiprobable strategy is often worth testing. Asymmetrical games are rarely Pareto efficient with this strategy. Determine if the equiprobable strategy is Pareto efficient in the dangerous coordination game:

See Also

MatrixGame  FindMatrixGameStrategies  FindTreeGameStrategies

Related Guides

    ▪
  • Game Theory

History

Introduced in 2025 (14.2)

Wolfram Research (2025), VerifyMatrixGameStrategy, Wolfram Language function, https://reference.wolfram.com/language/ref/VerifyMatrixGameStrategy.html.

Text

Wolfram Research (2025), VerifyMatrixGameStrategy, Wolfram Language function, https://reference.wolfram.com/language/ref/VerifyMatrixGameStrategy.html.

CMS

Wolfram Language. 2025. "VerifyMatrixGameStrategy." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/VerifyMatrixGameStrategy.html.

APA

Wolfram Language. (2025). VerifyMatrixGameStrategy. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/VerifyMatrixGameStrategy.html

BibTeX

@misc{reference.wolfram_2025_verifymatrixgamestrategy, author="Wolfram Research", title="{VerifyMatrixGameStrategy}", year="2025", howpublished="\url{https://reference.wolfram.com/language/ref/VerifyMatrixGameStrategy.html}", note=[Accessed: 04-February-2026]}

BibLaTeX

@online{reference.wolfram_2025_verifymatrixgamestrategy, organization={Wolfram Research}, title={VerifyMatrixGameStrategy}, year={2025}, url={https://reference.wolfram.com/language/ref/VerifyMatrixGameStrategy.html}, note=[Accessed: 04-February-2026]}

Top
Introduction for Programmers
Introductory Book
Wolfram Function Repository | Wolfram Data Repository | Wolfram Data Drop | Wolfram Language Products
Top
  • Products
  • Wolfram|One
  • Mathematica
  • Notebook Assistant + LLM Kit
  • Compute Services
  • System Modeler

  • Wolfram|Alpha Notebook Edition
  • Wolfram|Alpha Pro
  • Mobile Apps

  • Wolfram Engine
  • Wolfram Player

  • Volume & Site Licensing
  • Server Deployment Options
  • Consulting
  • Wolfram Consulting
  • Repositories
  • Data Repository
  • Function Repository
  • Community Paclet Repository
  • Neural Net Repository
  • Prompt Repository

  • Wolfram Language Example Repository
  • Notebook Archive
  • Wolfram GitHub
  • Learning
  • Wolfram U
  • Wolfram Language Documentation
  • Webinars & Training
  • Educational Programs

  • Wolfram Language Introduction
  • Fast Introduction for Programmers
  • Fast Introduction for Math Students
  • Books

  • Wolfram Community
  • Wolfram Blog
  • Public Resources
  • Wolfram|Alpha
  • Wolfram Problem Generator
  • Wolfram Challenges

  • Computer-Based Math
  • Computational Thinking
  • Computational Adventures

  • Demonstrations Project
  • Wolfram Data Drop
  • MathWorld
  • Wolfram Science
  • Wolfram Media Publishing
  • Customer Resources
  • Store
  • Product Downloads
  • User Portal
  • Your Account
  • Organization Access

  • Support FAQ
  • Contact Support
  • Company
  • About Wolfram
  • Careers
  • Contact
  • Events
Wolfram Community Wolfram Blog
Legal & Privacy Policy
WolframAlpha.com | WolframCloud.com
© 2026 Wolfram
© 2026 Wolfram | Legal & Privacy Policy |
English