Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Cycles identifying vertices and edges in binary hypercubes and 2-dimensional tori
Discrete Applied Mathematics
Complexity of approximating bounded variants of optimization problems
Theoretical Computer Science - Foundations of computation theory (FCT 2003)
An approximation algorithm for maximum P3-packing in subcubic graphs
Information Processing Letters
Approximation algorithms for combinatorial problems
Journal of Computer and System Sciences
Extremal graphs for the identifying code problem
European Journal of Combinatorics
On a new class of codes for identifying vertices in graphs
IEEE Transactions on Information Theory
Identifying and locating-dominating codes: NP-completeness results for directed graphs
IEEE Transactions on Information Theory
Watching systems in graphs: An extension of identifying codes
Discrete Applied Mathematics
Hi-index | 0.00 |
This paper introduces the problem of identifying vertices of a graph using paths. An identifying path cover of a graph G is a set P of paths such that each vertex belongs to a path of P, and for each pair u, v of vertices, there is a path of P which includes exactly one of u, v. This new notion is related to a large number of other identification problems in graphs and hypergraphs. We study the identifying path cover problem under both combinatorial and algorithmic points of view. In particular, we derive the optimal size of an identifying path cover for paths, cycles and hypercubes, and give upper bounds for trees. We give lower and upper bounds on the minimum size of an identifying path cover for general graphs, and discuss their tightness. In particular, we show that any connected graph G has an identifying path cover of size at most @?2|V(G)|3@?+5. We then study the computational complexity of the associated optimization problem, in particular we show that when the length of the paths is asked to be of bounded value, the problem is APX-complete.