Problème du partage d'un collier
Le problème du partage d'un collier est le nom imagé donné à plusieurs problèmes semblables en combinatoire et en théorie de la mesure. Son nom et ses solutions sont dus aux mathématiciens Noga Alon[1] et Douglas West[2].
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/47/Collier-de-perles-rouge-vert.svg/220px-Collier-de-perles-rouge-vert.svg.png)
Description
modifierLa formulation de base comprend un collier avec des perles de différentes couleurs. Le collier doit être partagé entre plusieurs partenaires (des « voleurs »), de sorte que chaque partenaire reçoive la même quantité de perles de chaque couleur. De plus, le nombre de « coupes » doit être le plus petit possible (afin de gaspiller le moins possible de métal entre les perles).
Variantes
modifierLe problème admet de nombreuses variantes ; les suivantes ont été décrites et résolues dans l'article original :
- Partage discret[1]:Th 1.1 : Le collier contient perles. Les perles sont de couleurs différentes. Il y a perles de chaque couleur , où est un entier positif. On cherche à diviser le collier en parties (pas nécessairement contiguës), dont chacune contient exactement perles de couleur i, en effectuant au plus coupes. Le nombre est optimal car si les perles de chaque couleur sont contiguës sur le collier, il faut au moins coupes à l'intérieur de chaque couleur.
- Partage continu[1]:Th 2.1 : Le collier est l'intervalle des nombres réels . Chaque réel de l'intervalle est coloré dans l'une des couleurs différentes. Pour chaque couleur , l'ensemble des points colorés en est mesurable au sens de Lebesgue et de longueur , où est un nombre réel non négatif. On cherche à partitionner l'intervalle en parties (pas nécessairement contiguës), de sorte que dans chaque partie, la longueur totale de couleur est exactement , le tout en effectuant au maximum coupes.
- Partage de mesures[1]:Th 1.2 : Le collier est un intervalle de nombres réels. Il y a différentes mesures sur l'intervalle, toutes absolument continues par rapport à la longueur. La mesure de l'ensemble du collier, pour la mesure , est . On doit partitionner l'intervalle en parties (pas nécessairement contiguës), de sorte que la mesure de chaque partie, selon la mesure , est exactement . et en effectuant au maximum coupes. Il s'agit d'une généralisation du théorème de Hobby-Rice, et il est utilisé pour obtenir un partage équitable d'un gâteau.
Réduction des variantes
modifierChacun des problèmes peut être résolu comme suit :
- Le partage discret peut ramené à un partage continu, puisqu'un collier discret peut être converti en une coloration de l'intervalle réel dans laquelle chaque intervalle de longueur 1 est coloré par la couleur de la perle correspondante. Dans le cas où le partage continue essaie de couper à l'intérieur d'une perle, les coupes peuvent être glissées continument de sorte qu'elles ne soient réalisées qu'entre les perles[1]:p. 249.
- Le partage continu peut être ramené à un partage de mesures, puisqu'une coloration d'un intervalle en couleurs peut être convertie en un ensemble de mesures telles que la mesure a pour mesure la longueur totale de la couleur . L'inverse est également vrai : le partage des mesures peut être résolu par un partage continu, mais en utilisant une réduction plus sophistiquée[1]:p. 252–253.
Preuves
modifierLe cas peut être prouvé par le théorème de Borsuk-Ulam[2].
Quand est un nombre premier impair, la preuve utilise une généralisation du théorème de Borsuk-Ulam[3].
Quand est un nombre composé, la preuve est la suivante (illustrée ici pour la variante de partage de mesures). On suppose que . Il y a mesures, dont chacune a la valeur sur le collier entier. En utilisant coupes, on divise le collier en parties telles que la mesure de chaque partie vaut exactement . En utilisant coupes, on divise chacune de ces parties en pièces telles que la mesure de chaque pièce vaut exactement . Il y a alors pièces telles que la mesure de chaque pièce est exactement . Le nombre total de coupes est plus , ce qui au total est exactement .
Extensions
modifierColliers aléatoires
modifierDans certains cas, des colliers aléatoires peuvent être partagés également en utilisant moins de coupes. Noga Alon, Dor Elboim, Gábor Tardos et János Pach[4] ont étudié le nombre de coupes nécessaires pour partager un collier au hasard entre deux voleurs. Dans le modèle qu'ils ont considéré, un collier est choisi uniformément au hasard parmi l'ensemble des colliers avec t couleurs et m perles de chaque couleur. Lorsque m tend vers l'infini, la probabilité que le collier puisse être divisé en utilisant au plus coupes tend vers zéro alors que la probabilité qu'il soit possible de réaliser le partage avec coupes est bornée et plus grande que zéro. Plus précisément, soit le nombre minimal de coupes nécessaires pour diviser le collier. Alors, lorsque tend vers l'infini, on a :
pour tout :
- pour ;
- pour ;
- quand est impair et .
On peut aussi considérer le cas où le nombre de couleurs tend vers l'infini. Lorsque et que tend vers l'infini, le nombre de coupes nécessaires est au plus et au moins avec une forte probabilité. Il est conjecturé qu'il existe une constante avec tel que ' converge vers en distribution.
Une coupe de moins
modifierDans le cas de deux voleurs (donc ) et de couleurs, un partage équitable nécessite au plus coupes. Avec seulement coupes, Gábor Simonyi[5] a montré que les deux voleurs peuvent réaliser un partage « presque équitable » au sens suivant :
Si le collier est constitué de sorte qu'aucune t-coupe n'est possible, alors pour deux sous-ensembles quelconques et de disjoints et pas tous deux vides il existe une -coupe telle que :
- Pour toute couleur , la partition 1 a plus de perles de couleur i que la partition 2 ;
- Pour toute couleur , la partition 2 a plus de perles de couleur i que la partition 1 ;
- Pour une couleur i qui n'appartient à aucune des partitions, les deux partitions ont autant de perles de couleur i .
Cela signifie que si les voleurs ont des préférences sous la forme de deux ensembles de « préférences » et , non vides tous les deux, il existe une -coupe de sorte que le voleur 1 obtient plus de perles de couleurs dans son ensemble de préférences ' que le voleur 2 ; le voleur 2 obtient plus de perles de couleurs dans son jeu de préférences que le voleur 1 ; et le partage pour les autres couleurs est égal équitable.
Simonyi attribue à Gábor Tardos le fait d'avoir remarqué que le résultat ci-dessus est une généralisation directe du théorème original du collier d'Alon dans le cas . En effet, soit le collier a une ( )-coupe et il n'y a rien à prouver, soit ce n'est pas le cas, et on peut ajouter des perles d'une couleur fictive au collier et faire en sorte que soit composé de la couleur fictive et vide. Le résultat de Simonyi montre qu'il alors existe une t -coupe avec le même nombre de perles de chaque couleur réelle.
Un résultat négatif
modifierPour chaque il existe une -coloration mesurable de la droite réelle telle qu'aucun intervalle ne puisse être partagé équitablement en utilisant au plus coupes[6].
Partage multidimensionnels
modifierLe résultat peut être généralisé à n mesures de probabilité définies sur un cube de dimension d avec n'importe quelle combinaison de n (k − 1) hyperplans parallèles aux côtés pour k voleurs[7].
Algorithme d'approximation
modifierUn algorithme d'approximation pour partager un collier peut être dérivé d'un algorithme de réduction de moitié par consensus[8].
Notes et références
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Necklace splitting problem » (voir la liste des auteurs).
- Noga Alon, « Splitting Necklaces », Advances in Mathematics, vol. 63, no 3, , p. 247-253 (DOI 10.1016/0001-8708(87)90055-7).
- Alon Noga et Douglas B. West, « The Borsuk-Ulam theorem and bisection of necklaces », Proceedings of the American Mathematical Society, vol. 98, no 4, , p. 623-628 (DOI 10.1090/s0002-9939-1986-0861764-9).
- I. Barany, S.B. Shlosman et A. Szucs, « On a topological generalization of a theorem of Tverberg », Journal of the London Mathematical Society, vol. 2, no 23, , p. 158–164 (DOI 10.1112/jlms/s2-23.1.158, CiteSeerx 10.1.1.640.1540).
- Noga Alon, Dor Elboim, Gábor Tardos et János Pach, « Random Necklaces require fewer cuts », Arxiv, (arXiv 2112.14488)
- Gábor Simonyi, « Necklace bisection with one cut less than needed », Electronic Journal of Combinatorics, vol. 15, no N16, (DOI 10.37236/891).
- Noga Alon, « Splitting necklaces and measurable colorings of the real line », Proceedings of the American Mathematical Society, vol. 137, no 5, , p. 1593–1599 (ISSN 1088-6826, DOI 10.1090/s0002-9939-08-09699-8, arXiv 1412.7996).
- Mark de Longueville et Rade T. Živaljević, « Splitting multidimensional necklaces », Advances in Mathematics, vol. 218, no 3, , p. 926-939 (DOI 10.1016/j.aim.2008.02.003, arXiv math/0610800).
- Forest W. Simmons et Francis Edward Su, « Consensus-halving via theorems of Borsuk-Ulam and Tucker », Mathematical Social Sciences, vol. 45, no 1, , p. 15–25 (DOI 10.1016/s0165-4896(02)00087-2, CiteSeerx 10.1.1.203.1189).
Annexes
modifierBibliographie
modifier- Noga Alon et Andrei Graur, « Efficient splitting of necklaces », 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Schloss Dagstuhl-Leibniz-Zentrum für Informatik, vol. LIPIcs 198, , p. 14:1-14:17.
- Aris Filos-Ratsikas et Paul W. Goldberg, « The complexity of necklace splitting, consensus-halving, and discrete ham sandwich », Proceedings STOC, , p. 638-649 (DOI 10.1145/3313276.3316334, arXiv 1805.12559).
- Duško Jojić, Gaiane Panina et Rade Živaljević, « Splitting Necklaces, with Constraints », SIAM Journal on Discrete Mathematics, vol. 35, no 2, , p. 1268–1286 (DOI 10.1137/20M1331949, arXiv 1907.09740).
Articles liés
modifierLiens externes
modifier- [vidéo] "Sneaky Topology" sur YouTube, une vidéo d'introduction présentant entre autres le problème et sa solution topologique.