Skip to Content

Pac-Man Proved NP-Hard By Computational Complexity Theory

The classic ’80s arcade game turns out to be equivalent to the travelling salesman problem, according a new analysis of the computational complexity of video games

In the last few years, a few dedicated mathematicians have begun to study the computational complexity of video games. Their goal is to determine the inherent difficulty of the games and how they might be related to each other and other problems.

Today, Giovanni Viglietta at the University if Pisa in Italy reveals a body of Herculean work in this area in which he classifies a large number of games from the 1980s and 90s including Pac-Man, Doom, Tron and many others.

Viglietta’s work involves several steps. The first is to determine the class of computational complexity to which the game belongs. Next, he works out whether knowing how to solve the game also allows you to solve many other problems in the same class, a property that complexity theorists call ‘hardness’. Finally, he determines whether the game is complete, meaning that it is one of the ‘hardest’ in its class. 

His approach is relatively straightforward. He first works through a number of proofs showing that any video game with specific game-playing properties falls into a certain complexity class. 

He then classifies the games according to game-playing properties they have. 

For instance, one type of game involves a player moving through a  landscape visiting a number of locations. He calls this ‘location traversal’ and an example would be a game in which certain items are strewn around a landscape and the goal is to collect them all. 

Some location traversal games allow each location to be visited only once. So-called single use path games might include downhill races. 

He then uses graph theory to prove that any game exhibiting both location traversal and single-use paths is NP-hard, that’s the same class of complexity as the travelling salesman problem. 

It turns out that Pac-Man falls into this category (the proof involves distributing power pills around the maze in a way that enforces single use paths).

He shows how games fall into other complexity categories too. For example, games that feature pressure pads to open and close doors are PSPACE-hard if each door is controlled by two pressure plates. Doom falls into this category.

And so on.

The resulting list is impressive. Here are a few of his results:

Boulder Dash (First Star Software, 1984) is NP-hard.

Deflektor (Vortex Software, 1987) is in L.

Prince of Persia (Brøderbund, 1989) is PSPACE-complete.

Tron (Bally Midway, 1982) is NP-hard.

For the full list and reasoning, see the paper below.

That’s clearly been a labour of love for Viglietta, given the title of his paper: “Gaming Is A Hard Job, But Someone Has To Do It!”

Interestingly, he says this kind of analysis is unnecessary for modern games. “Most recent commercial games incorporate Turing-equivalent scripting languages that easily allow the design of undecidable puzzles as part of the gameplay,” he says.

In a way, that makes these older games all the more charming still.

Ref: arxiv.org/abs/1201.4995 :Gaming Is A Hard Job, But Someone Has To Do It!

Keep Reading

Most Popular

computation concept
computation concept

How AI is reinventing what computers are

Three key ways artificial intelligence is changing what it means to compute.

still from Embodied Intelligence video
still from Embodied Intelligence video

These weird virtual creatures evolve their bodies to solve problems

They show how intelligence and body plans are closely linked—and could unlock AI for robots.

conceptual illustration showing various women's faces being scanned
conceptual illustration showing various women's faces being scanned

A horrifying new AI app swaps women into porn videos with a click

Deepfake researchers have long feared the day this would arrive.

pig kidney transplant surgery
pig kidney transplant surgery

Surgeons have successfully tested a pig’s kidney in a human patient

The test, in a brain-dead patient, was very short but represents a milestone in the long quest to use animal organs in human transplants.

Stay connected

Illustration by Rose WongIllustration by Rose Wong

Get the latest updates from
MIT Technology Review

Discover special offers, top stories, upcoming events, and more.

Thank you for submitting your email!

Explore more newsletters

It looks like something went wrong.

We’re having trouble saving your preferences. Try refreshing this page and updating them one more time. If you continue to get this message, reach out to us at customer-service@technologyreview.com with a list of newsletters you’d like to receive.