Rivest--Vuillemin's generalized Aanderaa--Rosenberg conjecture

From papers

Let EE be a finite ground set, let F2E\mathcal{F}\subseteq 2^E be a set system, and let GSymmEG\subseteq \operatorname{Symm}_E be a symmetry group acting transitively on EE. Assume that the empty set belongs to F\mathcal{F} while the full set does not. Rivest--Vuillemin's conjecture. Under these assumptions, F\mathcal{F} is evasive.

This conjecture is a symmetry-based generalization of evasiveness questions for graph properties. The excerpt provides the formulation but no proof or status evidence, so its resolution is left open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Anders Björner, Jiří Matoušek and Günter M. Ziegler, “Using Brouwer's fixed point theorem”, arXiv:1409.7890 (2017).

Solutions 0

No solutions have been posted yet.