Abstract:An open-dominating set S for a graph G is a subset of vertices where every vertex has a neighbor in S. An open-locating-dominating set S for a graph G is an open-dominating set such that each pair of distinct vertices in G have distinct set of open-neighbors in S. We consider a type of a fault-tolerant open-locating dominating set called error-detecting open-locating-dominating sets. We present more results on the topic including its NP-completeness proof, extremal graphs, and a characterization of cubic graphs that permit an error-detecting open-locating-dominating set.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about a specific type of detection system in graph theory - error - detecting open - locating - dominating sets (abbreviated as DET:OLD sets). Specifically, the paper focuses on finding an open - locating - dominating set in graph \(G\) that can tolerate single - sensor or detector misreporting (i.e., false negatives). Such a set not only needs to be able to uniquely determine each vertex in the graph, but also needs to be able to correctly identify the target when at most one sensor fails.
### Background and Problem Definition
1. **Open - locating - dominating sets (OLD sets)**:
- Definition: For a graph \(G\), a subset \(S\subseteq V(G)\) is an open - locating - dominating set if \(S\) is an open - dominating set and every pair of distinct vertices in graph \(G\) have different open neighborhoods in \(S\).
- Formula representation: Let \(S\subseteq V(G)\), for any \(u\in V(G)\), \(N_S(u)=N(u)\cap S\) represents the set of dominators of \(u\), \(\text{dom}(u) = |N_S(u)|\) represents the domination number of \(u\). Then \(S\) is an OLD set if and only if for any distinct vertices \(u, v\in V(G)\), \(N_S(u)\neq N_S(v)\).
2. **Error - detecting open - locating - dominating sets (DET:OLD sets)**:
- Definition: A DET:OLD set is an OLD set that can tolerate at most one sensor misreporting.
- Formula representation: Let \(S\subseteq V(G)\), then \(S\) is a DET:OLD set if and only if for any distinct vertices \(u, v\in V(G)\), \(|N_S(u)\triangle N_S(v)|\geq2\), where \(\triangle\) represents the symmetric difference.
### Main Contributions of the Paper
1. **NP - Completeness Proof**:
- It is proved that the problem of determining the size of the minimum DET:OLD set of any graph \(G\) is NP - complete.
- Use the 3 - SAT problem for reduction and construct a graph \(G\) such that there exists a DET:OLD set in \(G\) with a size not exceeding \(K\) if and only if the 3 - SAT instance has a solution.
2. **Extremal Graphs**:
- The extremal graphs with the highest density are studied, especially those graphs that allow DET:OLD sets.
- The structure of the smallest graph \(G\) that allows DET:OLD sets is given, and it is proved that the smallest graph \(G\) has at least 7 vertices.
3. **DET:OLD Sets in Cubic Graphs**:
- The properties of graphs that allow DET:OLD sets in cubic graphs (graphs where each vertex has a degree of 3) are specifically studied.
- It is proved that a cubic graph \(G\) allows DET:OLD sets if and only if \(G\) is \(C_4\)-free (i.e., does not contain 4 - cycles).
- The upper and lower bounds of DET:OLD sets in cubic graphs are given, especially for infinite cubic lattice graphs (such as hexagonal grids, square grids, triangular grids, and king grids).
### Conclusion
Through theoretical analysis and construction methods, the paper deeply explores the properties and applications of DET:OLD sets, especially in detection systems in graph theory. These results not only enrich the theory of locating - dominating sets in graph theory, but also provide a theoretical basis for the design of fault - detection systems in practical applications.