Distributed Constraint Satisfaction Problem

2001 ◽  
pp. 47-54 ◽  
Author(s):  
Makoto Yokoo
Keyword(s):  
Constraint Satisfaction ◽  
Constraint Satisfaction Problem ◽  
Distributed Constraint Satisfaction

scholarly journals Cooperative Problem Solving against Adversary: Quantified Distributed Constraint Satisfaction Problem

2011 ◽  
Vol 26 ◽  
pp. 136-146
Author(s):  
Satomi Baba ◽  
Atsushi Iwasaki ◽  
Makoto Yokoo ◽  
Marius C. Silaghi ◽  
Katsutoshi Hirayama ◽  
...  
Keyword(s):  
Problem Solving ◽  
Constraint Satisfaction ◽  
Constraint Satisfaction Problem ◽  
Cooperative Problem Solving ◽  
Distributed Constraint Satisfaction

scholarly journals Permutation groups with small orbit growth

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Manuel Bodirsky ◽  
Bertalan Bodor
Keyword(s):  
Automorphism Group ◽  
Constraint Satisfaction ◽  
Constraint Satisfaction Problem ◽  
Permutation Groups ◽  
First Order ◽  
Finite Covers

Abstract Let K exp + \mathcal{K}_{{\operatorname{exp}}{+}} be the class of all structures 𝔄 such that the automorphism group of 𝔄 has at most c ⁢ n d ⁢ n cn^{dn} orbits in its componentwise action on the set of 𝑛-tuples with pairwise distinct entries, for some constants c , d c,d with d < 1 d<1 . We show that K exp + \mathcal{K}_{{\operatorname{exp}}{+}} is precisely the class of finite covers of first-order reducts of unary structures, and also that K exp + \mathcal{K}_{{\operatorname{exp}}{+}} is precisely the class of first-order reducts of finite covers of unary structures. It follows that the class of first-order reducts of finite covers of unary structures is closed under taking model companions and model-complete cores, which is an important property when studying the constraint satisfaction problem for structures from K exp + \mathcal{K}_{{\operatorname{exp}}{+}} . We also show that Thomas’ conjecture holds for K exp + \mathcal{K}_{{\operatorname{exp}}{+}} : all structures in K exp + \mathcal{K}_{{\operatorname{exp}}{+}} have finitely many first-order reducts up to first-order interdefinability.

Sign in / Sign up

Export Citation Format

Share Document