<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00881149</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-04-27T17:41:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Quantified Constraints and Containment Problems</title>
            <author role="aut">
              <persName>
                <forename type="first">Hubie</forename>
                <surname>Chen</surname>
              </persName>
              <idno type="halauthorid">745970-0</idno>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Florent</forename>
                <surname>Madelaine</surname>
              </persName>
              <email type="md5">7fcf99e80c500622916ab04353480771</email>
              <email type="domain">u-pec.fr</email>
              <idno type="idhal" notation="string">florent-madelaine</idno>
              <idno type="idhal" notation="numeric">1775</idno>
              <idno type="halauthorid" notation="string">19520-1775</idno>
              <idno type="ARXIV">https://arxiv.org/a/madelaine_f_1</idno>
              <idno type="IDREF">https://www.idref.fr/070469563</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8528-7105</idno>
              <idno type="ISNI">http://isni.org/isni/0000000358453494</idno>
              <affiliation ref="#struct-857"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Barnaby</forename>
                <surname>Martin</surname>
              </persName>
              <email type="md5">16c4a70abe348e5ad1d72c5c96bfe05e</email>
              <email type="domain">mdx.ac.uk</email>
              <idno type="idhal" notation="numeric">1254414</idno>
              <idno type="halauthorid" notation="string">674487-1254414</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4642-8614</idno>
              <affiliation ref="#struct-2071"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Florent</forename>
                <surname>Madelaine</surname>
              </persName>
              <email type="md5">7fcf99e80c500622916ab04353480771</email>
              <email type="domain">u-pec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-11-07 16:04:03</date>
              <date type="whenWritten">2013-10-03</date>
              <date type="whenModified">2024-08-01 17:08:02</date>
              <date type="whenReleased">2013-11-07 16:04:03</date>
              <date type="whenProduced">2013-10-03</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/1310.1016"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="179354">
                <persName>
                  <forename>Florent</forename>
                  <surname>Madelaine</surname>
                </persName>
                <email type="md5">7fcf99e80c500622916ab04353480771</email>
                <email type="domain">u-pec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00881149</idno>
            <idno type="halUri">https://hal.science/hal-00881149</idno>
            <idno type="halBibtex">chen:hal-00881149</idno>
            <idno type="halRefHtml">2013</idno>
            <idno type="halRef">2013</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="X">École polytechnique</idno>
            <idno type="stamp" n="PRES_CLERMONT">Université de Clermont</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-CLERMONT1" corresp="PRES_CLERMONT">Université d'Auvergne - Clermont-Ferrand I</idno>
            <idno type="stamp" n="UNIV-BPCLERMONT" corresp="PRES_CLERMONT">Université Blaise Pascal - Clermont-Ferrand II</idno>
            <idno type="stamp" n="LIX" corresp="X">Laboratoire d'informatique de l'Ecole polytechnique</idno>
            <idno type="stamp" n="X-DEP-INFO">Département d'informatique de l’École polytechnique</idno>
            <idno type="stamp" n="LIMOS" corresp="PRES_CLERMONT">Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes</idno>
            <idno type="stamp" n="CLERMONT-AUVERGNE-INP">Clermont Auvergne INP</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">This paper is a considerably expanded journal version of a LICS 2008 paper of the same title together with the most significant parts of a CP 2012 paper from the latter two authors</note>
            <note type="audience" n="1">Not set</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Quantified Constraints and Containment Problems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Hubie</forename>
                    <surname>Chen</surname>
                  </persName>
                  <idno type="halauthorid">745970-0</idno>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Florent</forename>
                    <surname>Madelaine</surname>
                  </persName>
                  <email type="md5">7fcf99e80c500622916ab04353480771</email>
                  <email type="domain">u-pec.fr</email>
                  <idno type="idhal" notation="string">florent-madelaine</idno>
                  <idno type="idhal" notation="numeric">1775</idno>
                  <idno type="halauthorid" notation="string">19520-1775</idno>
                  <idno type="ARXIV">https://arxiv.org/a/madelaine_f_1</idno>
                  <idno type="IDREF">https://www.idref.fr/070469563</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8528-7105</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000358453494</idno>
                  <affiliation ref="#struct-857"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Barnaby</forename>
                    <surname>Martin</surname>
                  </persName>
                  <email type="md5">16c4a70abe348e5ad1d72c5c96bfe05e</email>
                  <email type="domain">mdx.ac.uk</email>
                  <idno type="idhal" notation="numeric">1254414</idno>
                  <idno type="halauthorid" notation="string">674487-1254414</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4642-8614</idno>
                  <affiliation ref="#struct-2071"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
              <idno type="arxiv">1310.1016</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-cc">Computer Science [cs]/Computational Complexity [cs.CC]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>The quantified constraint satisfaction problem QCSP(A) is the problem to decide whether a positive Horn (pH) sentence, involving nothing more than the two quantifiers and conjunction, is true on some fixed structure A. We study two containment problems related to the QCSP. Firstly, we give a combinatorial condition on finite structures A and B that characterises QCSP(A) subset of QCSP(B). We prove that QCSP(A) subset of QCSP(B), i.e. all sentences of pH true on A are true on B, iff there is a surjective homomorphism from A^{|A|^{|B|}} to B. This can be seen as improving an old result of Keisler that shows the former equivalent to there being a surjective homomorphism from A^omega to B. We note that this condition is already necessary to guarantee containment of the Pi_2 restriction of the QCSP. The exponent's bound of |A|^{|B|} places the decision procedure for the model containment problem in non-deterministic double-exponential time. We further show the bound |A|^{|B|} to be close to tight by giving a sequence of structures A together with a fixed B, |B|=2, such that there is a surjective homomorphism from A^r to B only when r is greater than or equal to |A|. Secondly, we prove that the entailment problem for pH is decidable. That is, given two sentences phi and psi of positive Horn, we give an algorithm that determines whether phi implies psi is true in all structures (models). Our result is in some sense tight, since we show that the entailment problem for positive first-order logic (i.e. positive Horn plus disjunction) is undecidable. In the final part of the paper we ponder a notion of Q-core that is some canonical representative among the class of templates that engender the same QCSP. Although the Q-core is not as well-behaved as its better known cousin the core, we demonstrate that it is still a useful notion in the realm of QCSP complexity classifications.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-857" status="OLD">
          <idno type="IdRef">155645919</idno>
          <idno type="RNSR">200212221E</idno>
          <orgName>Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes</orgName>
          <orgName type="acronym">LIMOS</orgName>
          <date type="start">2000-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Bât ISIMA Campus des Cézeaux BP 10025 63173 AUBIERE cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.isima.fr/limos/</ref>
          </desc>
          <listRelation>
            <relation name="UMR6158 / FRE2239" active="#struct-205618" type="direct"/>
            <relation active="#struct-300267" type="direct"/>
            <relation active="#struct-322672" type="direct"/>
            <relation name="UMR6158" active="#struct-359750" type="direct"/>
            <relation name="UMR6158" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2071" status="VALID">
          <idno type="IdRef">196509955</idno>
          <idno type="ISNI">0000000403673665</idno>
          <idno type="RNSR">200519331V</idno>
          <idno type="ROR">https://ror.org/04afed728</idno>
          <idno type="Wikidata">Q16009025</idno>
          <orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
          <orgName type="acronym">LIX</orgName>
          <date type="start">2005-01-01</date>
          <desc>
            <address>
              <addrLine>1 Rue Honoré d’Estienne d’Orves, Bâtiment Alain Turing, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lix.polytechnique.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300340" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-205618" status="OLD">
          <orgName>Université Blaise Pascal - Clermont-Ferrand 2</orgName>
          <orgName type="acronym">UBP</orgName>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>34, avenue Carnot - BP 185 / 63006 Clermont-Ferrand cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-bpclermont.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300267" status="OLD">
          <orgName>Université d'Auvergne - Clermont-Ferrand I</orgName>
          <orgName type="acronym">UdA</orgName>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>49, Boulevard François-Mitterrand / CS 60032 / 63001 Clermont-Ferrand Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-clermont1.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-322672" status="OLD">
          <orgName>SIGMA Clermont</orgName>
          <orgName type="acronym">SIGMA Clermont</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>SIGMA Clermont / Campus des Cézeaux  / CS 20265 / 63178 Aubière Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sigma-clermont.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-359750" status="VALID">
          <idno type="IdRef">028028694</idno>
          <orgName>Ecole Nationale Supérieure des Mines de St Etienne</orgName>
          <orgName type="acronym">ENSM ST-ETIENNE</orgName>
          <date type="start">1816-01-01</date>
          <desc>
            <address>
              <addrLine>158 Cour Fauriel, 42100 Saint-Étienne</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.mines-stetienne.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300340" status="VALID">
          <idno type="IdRef">027309320</idno>
          <idno type="ISNI">0000000121581279</idno>
          <idno type="ROR">https://ror.org/05hy3tk52</idno>
          <idno type="Wikidata">Q273626</idno>
          <orgName>École polytechnique</orgName>
          <orgName type="acronym">X</orgName>
          <date type="start">1794-03-11</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91128 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.polytechnique.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>