Identification, location-domination and metric dimension on interval and permutation graphs. I. Bounds

被引:27
作者
Foucaud, Florent [1 ]
Mertzios, George B. [2 ]
Naserasr, Reza [3 ]
Parreau, Aline [4 ]
Valicov, Petru [5 ]
机构
[1] Univ Blaise Pascal, LIMOS CNRS UMR 6158, Aubiere, France
[2] Univ Durham, Sch Engn & Comp Sci, Durham, England
[3] Univ Paris Diderot, IRIF CNRS UMR 8243, Paris, France
[4] Univ Lyon, CNRS, LIRIS UMR CNRS 5205, F-69621 Villeurbanne, France
[5] Aix Marseille Univ, LIF CNRS UMR 7279, Marseille, France
基金
英国工程与自然科学研究理事会;
关键词
Identifying code; Locating dominating set; Metric dimension; Interval graphs; Permutation graphs; Cographs; IDENTIFYING CODES; COMPLEXITY;
D O I
10.1016/j.tcs.2017.01.006
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We consider the problems of finding optimal identifying codes, (open) locating-dominating sets and resolving sets of an interval or a permutation graph. In these problems, one asks to find a subset of vertices, normally called a solution set, using which all vertices of the graph are distinguished. The identification can be done by considering the neighborhood within the solution set, or by employing the distances to the solution vertices. Normally the goal is to minimize the size of the solution set then. Here we study the case of interval graphs, unit interval graphs, (bipartite) permutation graphs and cographs. For these classes of graphs we give tight lower bounds for the size of such solution sets depending on the order of the input graph. While such lower bounds for the general class of graphs are in logarithmic order, the improved bounds in these special classes are of the order of either quadratic root or linear in terms of number of vertices. Moreover, the results for cographs lead to linear-time algorithms to solve the considered problems on inputs that are cographs. (C) 2017 Elsevier B.V. All rights reserved.
引用
收藏
页码:43 / 58
页数:16
相关论文
共 37 条
[1]  
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[2]   Minimal identifying codes in trees and planar graphs with large girth [J].
Auger, David .
EUROPEAN JOURNAL OF COMBINATORICS, 2010, 31 (05) :1372-1384
[3]   COMPLEXITY OF CANONICAL LABELING OF STRONGLY REGULAR GRAPHS [J].
BABAI, L .
SIAM JOURNAL ON COMPUTING, 1980, 9 (01) :212-216
[4]  
Bampas E, 2011, LECT NOTES COMPUT SC, V6796, P270, DOI 10.1007/978-3-642-22212-2_24
[5]  
Beaudou L., 2016, BOUNDING ORDER UNPUB
[6]   Network discovery and verification [J].
Beerliova, Zuzana ;
Eberhard, Felix ;
Erlebach, Thomas ;
Hall, Alexander ;
Hoffmann, Michael ;
Mihal'ak, Matus ;
Ram, L. Shankar .
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2006, 24 (12) :2168-2181
[7]   Identifying and locating-dominating codes on chains and cycles [J].
Bertrand, N ;
Charon, I ;
Hudry, O ;
Lobstein, A .
EUROPEAN JOURNAL OF COMBINATORICS, 2004, 25 (07) :969-987
[8]  
Bertrand N, 2005, AUSTRALAS J COMB, V31, P21
[9]   On separating systems [J].
Bollobas, Bela ;
Scott, Alex .
EUROPEAN JOURNAL OF COMBINATORICS, 2007, 28 (04) :1068-1071
[10]  
Bondy J.A., 1972, J. Comb. Theory, V12, P201