Algorithmic barriers in random constraint satisfaction problems - TEL - Thèses en ligne
Theses Year : 2020

Algorithmic barriers in random constraint satisfaction problems

Barrières algorithmiques dans les problèmes aléatoires de satisfaction de contraintes

Abstract

The typical complexity of Constraint Satisfaction Problems (CSP) can be studied using random ensembles of instances. One observes threshold phenomena when the density of constraints increases, in particular a clustering phase transition at which typical solutions shatter into disconnected components. In this PhD, we introduce a bias that breaks the uniformity among solutions of a given instance of CSP, and look at the evolution of the clustering threshold under this bias, focusing on the bicoloring of k-uniform random hypergraphs. For small values of k, we show that this bias can delay the clustering transition to higher densities of constraints, and that it has a positive impact on the performances of Simulated Annealing algorithm to find a solution for a given instance of the bicoloring problem. In the large k limit, we compute the asymptotic expansion of the clustering threshold for the uniform and the biased measure, and characterize the gain obtained with our implementation of the bias.
La complexité typique des Problèmes de Satisfaction de Contraintes (CSP) peut être étudiée à l'aide d'ensembles aléatoires de contraintes. On observe un phénomène de seuil quand la densité de contraintes augmente. En particulier à la transition de clustering, l'ensemble des solutions typiques se fracture en groupes de solutions séparés les uns des autres. Dans cette thèse nous introduisons un biais qui brise l'uniformité entre les solutions d'une instance de CSP, et nous étudions son effet sur la valeur du seuil de clustering. Nous étudions en particulier le problème de bicoloriage de k-hypergraphes. Pour de petites valeurs de k, nous montrons que ce biais peut augmenter la valeur du seuil clustering, et que cela a un effet positif sur les performances de l'algorithme de Simulated Annealing pour la recherche de solutions d'une instance du problème de bicoloriage. Dans la limite où k tend vers l'infini, nous calculons le développement asymptotique du seuil de clustering pour la mesure uniforme et pour une mesure biaisée. Nous évaluons le gain obtenu avec cette implémentation du biais.
Fichier principal
Vignette du fichier
Budzynski-2020-These.pdf (2.6 Mo) Télécharger le fichier
Origin Version validated by the jury (STAR)

Dates and versions

tel-03207370 , version 1 (24-04-2021)

Identifiers

  • HAL Id : tel-03207370 , version 1

Cite

Louise Budzynski. Algorithmic barriers in random constraint satisfaction problems. Physics [physics]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE013⟩. ⟨tel-03207370⟩
252 View
280 Download

Share

More