Creative Commons Attribution 4.0 International license
A family of permutations of [n] is called setwise distinguishable if for every permutation in the family there exists a subset of [n] whose image under this permutation differs from its image under any other permutation in the family. We prove that there exists a setwise distinguishable family of 2^{(2-o(1))⋅n} permutations of [n]. The result is optimal up to the o(1) term in the exponent and is achieved through an explicit construction. As an application, we obtain nearly tight conditional lower bounds on the kernelization complexity of graph coloring problems parameterized by the vertex-deletion distance to split graphs. This improves a result of Jansen and Kratsch (Inf. Comput., 2013).
@InProceedings{haviv:LIPIcs.MFCS.2026.83,
author = {Haviv, Ishay},
title = {{Setwise Distinguishable Permutations}},
booktitle = {51st International Symposium on Mathematical Foundations of Computer Science (MFCS 2026)},
pages = {83:1--83:9},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-442-0},
ISSN = {1868-8969},
year = {2026},
volume = {386},
editor = {Kouck\'{y}, Michal and Petrișan, Daniela},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2026.83},
URN = {urn:nbn:de:0030-drops-274654},
doi = {10.4230/LIPIcs.MFCS.2026.83},
annote = {Keywords: permutations, parameterized complexity, kernelization, coloring problems}
}