<?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-03772974v1</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-05-20T21:12:19+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Local certification of graph decompositions and applications to minor-free classes</title>
            <author role="aut">
              <persName>
                <forename type="first">Nicolas</forename>
                <surname>Bousquet</surname>
              </persName>
              <email type="md5">0869ee8d2445c4e830cecee1e7105d30</email>
              <email type="domain">univ-lyon1.fr</email>
              <idno type="idhal" notation="string">nicolas-bousquet</idno>
              <idno type="idhal" notation="numeric">11616</idno>
              <idno type="halauthorid" notation="string">36269-11616</idno>
              <idno type="IDREF">https://www.idref.fr/177123141</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0170-0503</idno>
              <affiliation ref="#struct-413088"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laurent</forename>
                <surname>Feuilloley</surname>
              </persName>
              <email type="md5">83b4bedf32cb6b8c7c38018d3f353671</email>
              <email type="domain">univ-lyon1.fr</email>
              <idno type="idhal" notation="string">laurent-feuilloley</idno>
              <idno type="idhal" notation="numeric">177191</idno>
              <idno type="halauthorid" notation="string">25510-177191</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3994-0898</idno>
              <affiliation ref="#struct-413088"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Théo</forename>
                <surname>Pierron</surname>
              </persName>
              <email type="md5">e71f311207c7e8066791f96e5bd28d58</email>
              <email type="domain">univ-lyon1.fr</email>
              <idno type="idhal" notation="string">theo-pierron</idno>
              <idno type="idhal" notation="numeric">737291</idno>
              <idno type="halauthorid" notation="string">1720850-737291</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5586-5613</idno>
              <affiliation ref="#struct-413088"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Théo</forename>
                <surname>Pierron</surname>
              </persName>
              <email type="md5">e71f311207c7e8066791f96e5bd28d58</email>
              <email type="domain">univ-lyon1.fr</email>
            </editor>
            <funder ref="#projanr-47760"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-09-08 16:36:18</date>
              <date type="whenModified">2024-10-11 03:21:01</date>
              <date type="whenReleased">2022-09-20 12:00:30</date>
              <date type="whenProduced">2021-12-13</date>
              <date type="whenEndEmbargoed">2022-09-08</date>
              <ref type="file" target="https://hal.science/hal-03772974v1/document">
                <date notBefore="2022-09-08"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03772974v1/file/CerTIfication_H_minor_free.pdf" id="file-3772974-3299473">
                <date notBefore="2022-09-08"/>
              </ref>
            </edition>
            <edition n="v2">
              <date type="whenSubmitted">2024-10-08 10:07:26</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="931567">
                <persName>
                  <forename>Théo</forename>
                  <surname>Pierron</surname>
                </persName>
                <email type="md5">e71f311207c7e8066791f96e5bd28d58</email>
                <email type="domain">univ-lyon1.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03772974</idno>
            <idno type="halUri">https://hal.science/hal-03772974</idno>
            <idno type="halBibtex">bousquet:hal-03772974</idno>
            <idno type="halRefHtml">&lt;i&gt;25th International Conference on Principles of Distributed Systems, OPODIS 2021&lt;/i&gt;, Dec 2021, Starsbourg, France. pp.22:1--22:17, &lt;a target="_blank" href="https://dx.doi.org/10.4230/LIPIcs.OPODIS.2021.22"&gt;&amp;#x27E8;10.4230/LIPIcs.OPODIS.2021.22&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">25th International Conference on Principles of Distributed Systems, OPODIS 2021, Dec 2021, Starsbourg, France. pp.22:1--22:17, &amp;#x27E8;10.4230/LIPIcs.OPODIS.2021.22&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3772974-3299473"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt/>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Local certification of graph decompositions and applications to minor-free classes</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <surname>Bousquet</surname>
                  </persName>
                  <email type="md5">0869ee8d2445c4e830cecee1e7105d30</email>
                  <email type="domain">univ-lyon1.fr</email>
                  <idno type="idhal" notation="string">nicolas-bousquet</idno>
                  <idno type="idhal" notation="numeric">11616</idno>
                  <idno type="halauthorid" notation="string">36269-11616</idno>
                  <idno type="IDREF">https://www.idref.fr/177123141</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0170-0503</idno>
                  <affiliation ref="#struct-413088"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laurent</forename>
                    <surname>Feuilloley</surname>
                  </persName>
                  <email type="md5">83b4bedf32cb6b8c7c38018d3f353671</email>
                  <email type="domain">univ-lyon1.fr</email>
                  <idno type="idhal" notation="string">laurent-feuilloley</idno>
                  <idno type="idhal" notation="numeric">177191</idno>
                  <idno type="halauthorid" notation="string">25510-177191</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3994-0898</idno>
                  <affiliation ref="#struct-413088"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Théo</forename>
                    <surname>Pierron</surname>
                  </persName>
                  <email type="md5">e71f311207c7e8066791f96e5bd28d58</email>
                  <email type="domain">univ-lyon1.fr</email>
                  <idno type="idhal" notation="string">theo-pierron</idno>
                  <idno type="idhal" notation="numeric">737291</idno>
                  <idno type="halauthorid" notation="string">1720850-737291</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5586-5613</idno>
                  <affiliation ref="#struct-413088"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">LIPIcs</title>
                <meeting>
                  <title>25th International Conference on Principles of Distributed Systems, OPODIS 2021</title>
                  <date type="start">2021-12-13</date>
                  <date type="end">2021-12-15</date>
                  <settlement>Starsbourg</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <biblScope unit="volume">217</biblScope>
                  <biblScope unit="pp">22:1--22:17</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.4230/LIPIcs.OPODIS.2021.22</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">minor-free graphs</term>
                <term xml:lang="en">graph decompositions</term>
                <term xml:lang="en">locally checkable proofs</term>
                <term xml:lang="en">proof-labeling schemes</term>
                <term xml:lang="en">Local certification</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Local certification consists in assigning labels to the nodes of a network to certify that some given property is satisfied, in such a way that the labels can be checked locally. In the last few years, certification of graph classes received a considerable attention. The goal is to certify that a graph belongs to a given graph class. Such certifications with labels of size O(log n) (where n is the size of the network) exist for trees, planar graphs and graphs embedded on surfaces. Feuilloley et al. ask if this can be extended to any class of graphs defined by a finite set of forbidden minors. In this work, we develop new decomposition tools for graph certification, and apply them to show that for every small enough minor H, H-minor-free graphs can indeed be certified with labels of size O(log n). We also show matching lower bounds using a new proof technique.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-413088" status="VALID">
          <orgName>Graphes, AlgOrithmes et AppLications</orgName>
          <orgName type="acronym">GOAL</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-2003" type="direct"/>
            <relation active="#struct-33804" type="indirect"/>
            <relation active="#struct-126765" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation active="#struct-219748" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation name="UMR5205" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2003" status="VALID">
          <idno type="IdRef">149705271</idno>
          <idno type="ISNI">0000000122577669</idno>
          <idno type="RNSR">200511875R</idno>
          <idno type="ROR">https://ror.org/04dv4he91</idno>
          <orgName>Laboratoire d'InfoRmatique en Image et Systèmes d'information</orgName>
          <orgName type="acronym">LIRIS</orgName>
          <date type="start">2003-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment Blaise Pascal - 20, avenue Albert Einstein - 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://liris.cnrs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-33804" type="direct"/>
            <relation active="#struct-126765" type="direct"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-219748" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation name="UMR5205" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-33804" status="VALID">
          <idno type="IdRef">02640334X</idno>
          <idno type="ISNI">0000 0001 2188 0906</idno>
          <idno type="ROR">https://ror.org/03rth4p18</idno>
          <idno type="Wikidata">Q4041</idno>
          <orgName>Université Lumière - Lyon 2</orgName>
          <orgName type="acronym">UL2</orgName>
          <desc>
            <address>
              <addrLine>86, rue Pasteur - 69007 Lyon</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon2.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-126765" status="VALID">
          <idno type="ROR">https://ror.org/05s6rge65</idno>
          <orgName>École Centrale de Lyon</orgName>
          <orgName type="acronym">ECL</orgName>
          <desc>
            <address>
              <addrLine>36 avenue Guy de Collongue - 69134 Ecully cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-lyon.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-219748" status="VALID">
          <idno type="IdRef">052444724</idno>
          <idno type="ISNI">0000 0001 2292 0228</idno>
          <orgName>Institut National des Sciences Appliquées de Lyon</orgName>
          <orgName type="acronym">INSA Lyon</orgName>
          <date type="start">1957-03-18</date>
          <desc>
            <address>
              <addrLine>20 Avenue Albert Einstein, 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </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>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-47760" status="VALID">
          <idno type="anr">ANR-18-CE40-0032</idno>
          <orgName>GrR</orgName>
          <desc>Reconfiguration de Graphes</desc>
          <date type="start">2018</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>