Abstract

The critical relations are the building blocks of the relational clone of a relational structure with respect to the relational operations intersection and direct product. In this paper we describe the critical relations of crowns. As a consequence, we obtain that the subpower membership problem for any crown is polynomial-time solvable.

Highlights

  • The relational structures in this note are assumed to be always finite

  • Following the terminology in [8], we call the posets of the form C where C is a crown locked crowns, see Fig. 2

  • Theorem 3 Let K be a class of models in a fixed language of relational structures such that K is closed under finite power

Read more

Summary

Introduction

The relational structures in this note are assumed to be always finite. A crown is a height 1 poset whose comparabilty graph is a cycle, see Fig. 1. From results of the third author in [13] it follows that the clone of C is non-finitely generated if C is the four element crown The proof of this fact in [13] is reduced to Tardos’s original proof for the poset T. When studying finite generability for the clone of a finite poset P, often an other kind of extendibility question occurs: given a power Pn of P and a partial map f from Pn to P, decide whether f extends to a monotone total map from Pn to P We call this problem the restricted extendibility problem for P and denote it by RExt(P). We do not know the answer to the question if there is a finite poset P for which RExt(P) is NP-complete

Critical Relations and Obstructions of Relational Structures
The Binary Critical Relations of Ck
The Subpower Membership Problem for Crowns
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call