Identifying Codes Kernelization Limitations
By: Aritra Banik , Praneet Kumar Patra , Adele Anna Rescigno and more
Potential Business Impact:
Finds unique patterns to check if systems are working.
The Identifying Code (IC) problem seeks a vertex subset whose intersection with every vertex's closed neighborhood is unique, enabling fault detection in multiprocessor systems and practical uses in identity verification, environmental monitoring, and dynamic localization. A closely related problem is the Locating-Dominating Set (LD), which requires each non-dominating vertex to be uniquely identified by its intersection with the set. Cappelle, Gomes, and Santos (2021) proved that LD is W-hard for minimum clique cover and lacks polynomial kernels for parameters such as vertex cover, but their methods did not apply to IC. This paper answers their question by showing that IC does not admit a polynomial kernel parameterized by solution size plus vertex cover unless NP is a subset of coNP/poly.
Similar Papers
Progress on Self Identifying Codes
Discrete Mathematics
Finds broken computer parts faster.
Kernels for Storage Capacity and Dual Index Coding
Data Structures and Algorithms
Makes storing and sending computer data much faster.
Kernelization dichotomies for hitting minors under structural parameterizations
Data Structures and Algorithms
Simplifies hard graph problems for computers.