<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
         xmlns:dc="http://purl.org/dc/terms/"
         xmlns:foaf="http://xmlns.com/foaf/0.1/"
         xmlns:bibo="http://purl.org/ontology/bibo/"
         xmlns:fabio="http://purl.org/spar/fabio/"
         xmlns:owl="http://www.w3.org/2002/07/owl#"
         xmlns:event="http://purl.org/NET/c4dm/event.owl#"
         xmlns:ore="http://www.openarchives.org/ore/terms/">

    <rdf:Description rdf:about="https://research-explorer.ista.ac.at/record/21143">
        <ore:isDescribedBy rdf:resource="https://research-explorer.ista.ac.at/record/21143"/>
        <dc:title>A new notion of commutativity for the algorithmic Lovász Local Lemma</dc:title>
        <bibo:authorList rdf:parseType="Collection">
            <foaf:Person>
                <foaf:name></foaf:name>
                <foaf:surname></foaf:surname>
                <foaf:givenname></foaf:givenname>
            </foaf:Person>
            <foaf:Person>
                <foaf:name></foaf:name>
                <foaf:surname></foaf:surname>
                <foaf:givenname></foaf:givenname>
            </foaf:Person>
            <foaf:Person>
                <foaf:name></foaf:name>
                <foaf:surname></foaf:surname>
                <foaf:givenname></foaf:givenname>
            </foaf:Person>
        </bibo:authorList>
        <bibo:abstract>The Lovász Local Lemma (LLL) is a powerful tool in probabilistic
combinatorics which can be used to establish the existence of objects with certain
properties. The breakthrough paper by Moser &amp; Tardos (STOC’09 and JACM 2010)
and follow-up work revealed that the LLL has intimate connections with a class of
stochastic local search algorithms for finding such desirable objects.
Besides conditions for convergence, many other natural questions can be asked
about algorithms; for instance, “are they parallelizable?”, “how many solutions can
they output?”, “what is the expected ‘weight’ of a solution?”. These questions and
more have been answered for a class of LLL-inspired algorithms called commutative. In
this paper we introduce a new, very natural and more general notion of commutativity
(essentially matrix commutativity) which allows us to show a number of new refined
properties of LLL-inspired local search algorithms with significantly simpler proofs.</bibo:abstract>
        <bibo:volume>21</bibo:volume>
        <bibo:issue>5</bibo:issue>
        <bibo:startPage>1 - 34</bibo:startPage>
        <bibo:endPage>1 - 34</bibo:endPage>
        <dc:publisher>University of Chicago Press</dc:publisher>
        <dc:format>application/pdf</dc:format>
        <ore:aggregates rdf:resource="https://research-explorer.ista.ac.at/download/21143/21209/2025_TheoryComputing_Harris.pdf"/>
        <bibo:doi rdf:resource="10.4086/toc.2025.v021a005" />
        <ore:similarTo rdf:resource="info:doi/10.4086/toc.2025.v021a005"/>
    </rdf:Description>
</rdf:RDF>
