The problems of determining the minimum-sized \emph{identifying}, \emph{locating-dominating} and \emph{open locating-dominating codes} of an input graph are special search problems that are challenging from both theoretical and computational viewpoints. In these problems, one selects a dominating set $C$ of a graph $G$ such that the vertices of a chosen subset of $V(G)$ (i.e. either $V(G)\setminus C$ or $V(G)$ itself) are uniquely determined by their neighborhoods in $C$. A typical line of attack for these problems is to determine tight bounds for the minimum codes in various graphs classes. In this work, we present tight lower and upper bounds for all three types of codes for \emph{block graphs} (i.e. diamond-free chordal graphs). Our bounds are in terms of the number of maximal cliques (or \emph{blocks}) of a block graph and the order of the graph. Two of our upper bounds verify conjectures from the literature - with one of them being now proven for block graphs in this article. As for the lower bounds, we prove them to be linear in terms of both the number of blocks and the order of the block graph. We provide examples of families of block graphs whose minimum codes attain these bounds, thus showing each bound to be tight.
翻译:确定输入图的最小规模**识别码**、**定位支配码**和**开放定位支配码**是特殊的搜索问题,从理论和计算角度来看都具有挑战性。在这些问题中,需要选取图$G$的一个支配集$C$,使得$V(G)$的某个选定子集(即$V(G)\setminus C$或$V(G)$本身)中的顶点,由其与$C$中相邻的顶点唯一确定。解决这些问题的典型思路是确定各类图中最小码的紧界。本文针对**块图**(即无钻石弦图)中的三种码,给出了紧的上下界。我们的界以块图中最大团(或**块**)的数量以及图的阶数表示。其中两个上界验证了文献中的猜想——其中一个在本文中针对块图得到了证明。至于下界,我们证明了其关于块的数量和块图的阶数均呈线性关系。我们提供了块图族的示例,其最小码达到了这些界,从而验证了每个界都是紧的。