Institut für Informatik
 
Abteilung V

 
Universität Bonn -> Institut für Informatik -> Abteilung V
CS-APX-Reports 2014 Copyright 2014 Universität Bonn, Institut für Informatik, Abt. V
89154

13.06.2014

Limits of CSP Problems and Efficient Parameter Testing
Marek Karpinski and Roland Marko
[Download PostScript] [Download PDF]

We present a unified framework on the limits of constraint satisfaction problems (CSPs) and efficient parameter testing which depends only on array exchangeability and the method of cut decomposition without recourse to the weakly regular partitions. In particular, we formulate and prove a representation theorem for compact colored r-uniform directed hypergraph (r-graph) limits, and apply this to rCSP limits. We investigate the sample complexity of testable r-graph parameters, we discuss the generalized ground state energies and demonstrate that they are efficiently testable.

Last Change: 11/05/14 at 11:05:51
 English
Universität Bonn -> Institut für Informatik -> Abteilung V