Multilabeled versions of Sperner's and Fan's lemmas and applications

01/06/2018
by   Frédéric Meunier, et al.
0

We propose a general technique related to the polytopal Sperner lemma for proving old and new multilabeled versions of Sperner's lemma. A notable application of this technique yields a cake-cutting theorem where the number of players and the number of pieces can be independently chosen. We also prove multilabeled versions of Fan's lemma, a combinatorial analogue of the Borsuk-Ulam theorem, and exhibit applications to fair division and graph coloring.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/05/2020

Envy-free cake cutting: A polynomial number of queries with high probability

In this article we propose a probabilistic framework in order to study t...
research
05/11/2023

On the Eight Levels theorem and applications towards Lucas-Lehmer primality test for Mersenne primes, I

Lucas-Lehmer test is the current standard algorithm used for testing the...
research
02/17/2021

Probabilistic constructions in continuous combinatorics and a bridge to distributed algorithms

The probabilistic method is a technique for proving combinatorial existe...
research
09/30/2017

On the Complexity of Chore Division

We study the proportional chore division problem where a protocol wants ...
research
06/22/2018

Theorems of Carathéodory, Helly, and Tverberg without dimension

We prove a no-dimensional version of Carathédory's theorem: given an n-e...
research
09/16/2019

Disproportionate division

We study the disproportionate version of the classical cake-cutting prob...
research
05/04/2022

The Isabelle ENIGMA

We significantly improve the performance of the E automated theorem prov...

Please sign up or login with your details

Forgot password? Click here to reset