Changes of Mathematical State

Untangling a web of conflicting demands can be tough on computers

The frazzled host of an impending dinner party is trying to come up with a seating plan that would satisfy his guests.

Each point on this graph shows the relative computational effort required to solve a given satisfiability problem or show that it’s insoluble.