arXiv++ Combinatorics

A conjecture of Talagrand (2010) states that the so-called expectation and fractional expectation thresholds are always within at most some constant factor from each other. We prove for the unweighted case that this is a.a.s. true when the support is a random hypergraph.

A conjecture of Talagrand (2010) states that the so-called expectation and fractional expectation thresholds are always within at most some constant factor from each other. In this note we generalize a method of DeMarco and Kahn and settle a few more special cases.

A conjecture of Talagrand (2010) states that the so-called expectation and fractional expectation thresholds are always within at most some constant factor from each other. Expectation (resp. fractional expectation) threshold $q$ (resp. $q_f$) for an increasing nontrivial class $\mathcal{F}\subseteq 2^X$ allows to locate the threshold for $\mathcal{F}$ within a logarithmic factor (these are important breakthrough results of Park and Pham (2022), resp. Frankston, Kahn, Narayanan and Park (2019)). We will survey what is known about the relation between $q$ and $q_f$ and prove some further special cases of Talagrand's conjecture.

We consider a set-valued mapping on a simple graph and ask for the existence of a disparate selection. The term disparate is defined in the paper and we present a sufficient and necessary condition for the existence of a disparate selection. This approach generalizes the classical marriage theorem of Hall. We define the disparate kernel of the set-valued mapping and provide calculation methods for the disparate kernel and a disparate selection. Our main theorem is applied to a result of Ryser on the completion of partially prepopulated Latin squares and we derive Hall's marriage theorem.

We consider a set-valued mapping between two finite sets and define the alldifferent kernel which describes the submapping of alldifferent selections. This submapping is characterized by Hall partitions which are introduced in this paper. The existence of a Hall partition is equivalent to the Hall condition. The unicity of Hall partitions is proved and the unicity of an alldifferent selection is characterized. A calculation method for the determination of the Hall partition and the alldifferent kernel is presented.

This paper deals with a generalized Sudoku problem and investigates the unicity of a given solution. We introduce constraint sets, which is a generalization of the rows, columns and blocks of a classical Sudoku puzzle. The unicity property is characterized by three different properties. We describe unicity by permutations, by unicity cells and by rectangles. These terms are defined in this paper and are illustrated with examples. Throughout this paper we are not concerned with the existence of a solution.

We consider a mathematical model for the classical Sudoku puzzle, which we call the primal problem and introduce a corresponding dual problem. Both problems are constraint satisfaction models and a duality relation between them is proved. Based on these models, we introduce a primal and a dual optimization problem and show weak and strong duality properties.

We develop a new discrete mathematical model which includes the classical Sudoku puzzle, Latin Squares and gerechte designs. This problem is described by integer equations and a special type of inequality constraint. We consider solutions of this generalized problem and derive a necessary condition on these solutions. The results are illustrated with examples.