Department of Computer Science
 
Chair V

 
University of Bonn -> Department of Computer Science -> Chair V
CS-APX-Reports 2016 Copyright 2016 University of Bonn, Department of Computer Science, Abt. V
89166

18.05.2016

Limits of CSP Problems and Efficient Parameter Testing
(Revised Version)

Marek Karpinski, 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: 05/20/16 at 06:47:33
 Deutsch
University of Bonn -> Department of Computer Science -> Chair V