Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Mutilated Chessboard problem is exponentially hard for Michael Alekhnovich

Summary: Mutilated Chessboard problem is exponentially hard for
Michael Alekhnovich 
October 9, 2002
Mutilated Chessboard principle CB n says that it is impossible to cover by domino
tiles the chessboard 2n  2n with two diagonally opposite corners removed. We prove

n) lower bound on the size of minimal Resolution refutation of CB n .
1 Introduction
Mutilated Chessboard problem corresponds to the well-known puzzle that often appears in
mathematical popular literature. It asks to cover by dominos a 2n2n-chessboard with two
white squares removed from the opposite corners. The goal is well known to be unachievable
because every domino tile covers exactly one white and one black square while the mutilated
chessboard contains two white squares less.
This principle is probably one of the earliest proposed hard problems for theorem provers.
Expressed as a tautology in rst order logic, it was proposed as a \tough nut for proof
procedures" by McCarthy in 1964 [M64]. It was considered again by Krishnamurthy in 1985


Source: Alekhnovich, Michael - Institute for Advanced Study, Princeton University


Collections: Mathematics; Computer Technologies and Information Sciences