Download PDFOpen PDF in browser

Reconstructing in the Constraint Satisfaction Problem

13 pagesPublished: March 7, 2020


It is a long-standing problem in graph theory to prove or disprove the \emph{reconstruction conjecture}, also known as the Kelly-Ulam conjecture. This conjecture states that every simple graph on at least three vertices is \emph{reconstructible}, which means that the isomorphism class of such a graph is uniquely determined by the isomorphism classes of its vertex-deleted subgraphs. In this talk, the notion of reconstructing is extended from graphs to instances of the constraint satisfaction problem (CSP): an instance is \emph{reconstructible} if its isomorphism class is uniquely determined by the isomorphism classes of its constraint-deleted subinstances. Questions of interest include not only questions about reconstructible CSP instances but also about CSP instances with reconstructible properties and parameters such as the existence of solutions or the number of solutions. As shown in the talk, such questions can be answered using techniques borrowed and adapted from graph reconstruction. In particular, Lov\'{a}sz's method of counting graph homomorphisms \cite{Lov72} is adapted to characterize CSP instances for which the number of solutions is reconstructible.

Keyphrases: constraint satisfaction, CSP, Kelly-Ulam conjecture, reconstruction conjecture, reconstruction of CSP instances

In: Laura Kovács, Konstantin Korovin and Giles Reger (editors). ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia, vol 68, pages 37--49

BibTeX entry
  author    = {Evgeny Dantsin},
  title     = {Reconstructing in the Constraint Satisfaction Problem},
  booktitle = {ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia},
  editor    = {Laura Kovacs and Konstantin Korovin and Giles Reger},
  series    = {EPiC Series in Computing},
  volume    = {68},
  pages     = {37--49},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair,},
  issn      = {2398-7340},
  url       = {},
  doi       = {10.29007/1j7l}}
Download PDFOpen PDF in browser