Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Mutilated Chessboard problem is exponentially hard for Michael Alekhnovich
 

Summary: Mutilated Chessboard problem is exponentially hard for
Resolution
Michael Alekhnovich 
October 9, 2002
Abstract
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
2

p
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