Connected odd dominating sets in graphs

For an undirected graph G¿=¿(V,E), we say that for l,u,v¿¿¿V, l separates u from v if the distance between u and l differs from the distance from v to l. A set of vertices L¿¿¿V is a feasible solution if for every pair of vertices u,v¿¿¿V there is l¿¿¿L that separates u from v. The metric dimension of a graph is the minimum cardinality of such a feasible solution. Here, we extend this well-studied problem to the case where each vertex v has a non-negative cost, and the goal is to find a feasible solution with a minimum total cost. This weighted version is NP-hard since the unweighted variant is known to be NP-hard. We show polynomial time algorithms for the cases where G is a path, a tree, a cycle, a cograph, a k-edge-augmented tree (that is, a tree with additional k edges) for a constant value of k, and a (not necessarily complete) wheel. The results for paths, trees, cycles, and complete wheels extend known polynomial time algorithms for the unweighted version, whereas the other results are the first known polynomial time algorithms for these classes of graphs even for the unweighted version. Next, we extend the set of graph classes for which computing the unweighted metric dimension of a graph is known to be NPC by showing that for split graphs, bipartite graphs, co-bipartite graphs, and line graphs of bipartite graphs, the problem of computing the unweighted metric dimension of the graph is NPC.

Listing, generating or enumerating objects of specified type is one of the principal tasks in algorithmics. In graph algorithms one often enumerates vertex subsets satisfying a certain property. We study the enumeration of all minimal connected dominating sets of an input graph from various graph classes of bounded chordality. We establish enumeration algorithms as well as lower and upper bounds for the maximum number of minimal connected dominating sets in such graphs. In particular, we present algorithms to enumerate all minimal connected dominating sets of chordal graphs in time O(1.7159^n), of split graphs in time O(1.3803^n), and of AT-free, strongly chordal, and distance-hereditary graphs in time O^*(3^{n/3}), where n is the number of vertices of the input graph. Our algorithms imply corresponding upper bounds for the number of minimal connected dominating sets for these graph classes.

We study the kernelization complexity of structural parameterizations of the Vertex Cover problem. Here, the goal is to find a polynomial-time preprocessing algorithm that can reduce any instance $(G,k)$ of the Vertex Cover problem to an equivalent one, whose size is polynomial in the size of a predetermined complexity parameter of $G$. A long line of previous research deals with parameterizations based on the number of vertex deletions needed to reduce $G$ to a member of a simple graph class $\mathcal{F}$, such as forests, graphs of bounded tree-depth, and graphs of maximum degree two. We set out to find the most general graph classes $\mathcal{F}$ for which Vertex Cover parameterized by the vertex-deletion distance of the input graph to $\mathcal{F}$ admits a polynomial kernelization. We give a complete characterization of the minor-closed graph families $\mathcal{F}$ for which such a kernelization exists. We introduce a new graph parameter called bridge-depth, and prove that a polynomial kernelization exists if and only if $\mathcal{F}$ has bounded bridge-depth. The proof is based on an interesting connection between bridge-depth and the size of minimal blocking sets in graphs, which are vertex sets whose removal decreases the independence number.

In graph theory, a “dominating vertex set” is a subset of vertices in a graph such that every vertex in the graph is either a member of the subset or adjacent to a member of the subset. In other words, the vertices in the dominating set “dominate” the remaining vertices in the graph. Dominating vertex sets are important in graph theory because they can help us understand and analyze the behavior of a graph. For example, in network analysis, a set of dominant vertices may represent key nodes in a network that can influence the behavior of other nodes. Identifying dominant sets in a graph can also help in optimization problems, as it can help us find the minimum set of vertices that can control the entire graph. Now that there are theories about vagueness, it is important to define parallel ideas in vague structures, such as intuitionistic fuzzy graphs. This paper describes a better way to find dominating vertex sets (DVSs) in intuitive fuzzy graphs (IFGs). Even though there is already an algorithm for finding DVSs in IFGs, it has some problems. For example, it does not take into account the vertex volume, which has a direct effect on how DVSs are calculated. To address these limitations, we propose a new algorithm that can handle large-scale IFGs more efficiently. We show how effective and scalable the method is by comparing it to other methods and applying it to water flow. This work’s contributions can be used in many areas, such as social network analysis, transportation planning, and telecommunications.

A parallel algorithm for finding a near-maximum independent set in a circle graph is presented. An independent set in a graph is a set of vertices, no two of which are adjacent. A maximum independent set is an independent set whose cardinality is the largest among all independent sets of a graph. The algorithm is modified for predicting the secondary structure in ribonucleic acids (RNA). The proposed system, composed of an n neural network array (where n is the number of edges in the circle graph of the number of possible base pairs), not only generates a near-maximum independent set but also predicts the secondary structure of ribonucleic acids within several hundred iteration steps. The simulator discovered several solutions which are more stable structures, in a sequence of 359 bases from the potato spindle tuber viroid, than previously proposed structures.

A locating-dominating set of an undirected graph is a subset of vertices S such that S is dominating and for every u,v∉S, the neighbourhood of u and v on S are distinct (i.e. N(u)∩S≠N(v)∩S). Locating-dominating sets have received a considerable attention in the last decades. In this paper, we consider the oriented version of the problem. A locating-dominating set in an oriented graph is a set S such that for each w∈V∖S, N−(w)∩S≠∅ and for each pair of distinct vertices u,v∈V∖S, N−(u)∩S≠N−(v)∩S. We consider the following two parameters. Given an undirected graph G, we look for γ→LD(G) (Γ→LD(G)) which is the size of the smallest (largest) optimal locating-dominating set over all orientations of G. In particular, if D is an orientation of G, then γ→LD(G)≤γLD(D)≤Γ→LD(G) where γLD(D) is the minimum size of a locating-dominating set of D.For the best orientation, we prove that, for every twin-free graph G on n vertices, γ→LD(G)≤n/2 which proves a “directed version” of a widely studied conjecture on the location-domination number. As a side result we obtain a new improved upper bound for the location-domination number in undirected trees. Moreover, we give some bounds for γ→LD(G) on many graph classes and drastically improve the value n/2 for (almost) d-regular graphs by showing that γ→LD(G)∈O(log⁡d/d⋅n) using a probabilistic argument.While γ→LD(G)≤γLD(G) holds for every graph G, we give some graph classes such as outerplanar graphs for which Γ→LD(G)≥γLD(G) and some for which Γ→LD(G)≤γLD(G) such as complete graphs. We also give general bounds for Γ→LD(G) such as Γ→LD(G)≥α(G). Finally, we show that for many graph classes Γ→LD(G) is polynomial on n but we leave open the question whether there exist graphs with Γ→LD(G)∈O(log⁡n).

For a set S of vertices and the vertex v in a connected graph G, $$\displaystyle \max _{x \in S}dx,v$$ is called the S-eccentricity of v in G. The set of vertices with minimum S-eccentricity is called the S-center of G. Any set Aof vertices of G such that A is an S-center for some set S of vertices of G is called a center set. We identify the center sets of certain classes of graphs namely, Block graphs, $$K_{m,n}$$, $$K_n-e$$, wheel graphs, odd cycles and symmetric even graphs. A graph G is called center critical if there does not a exist proper subset S of the vertex set whose S-center is the center of the graph. Here we characterize this class of graphs.

Computing a minimum outer-connected dominating set for the class of chordal graphs

Let G be a hierarchical network (graph) with vertex set and edge set . The preclusion set of a subnetwork (defined as a smaller network but with the same topological properties as the original one) in G is a subset of such that has no subnetwork . The preclusion number of in G is . Similarly, the edge preclusion set of in G is a subset of such that has no subnetwork . The edge preclusion number of in G is . The preclusion number and edge preclusion number are parameters which measure the robustness of interconnection networks in the event of failures. In this paper, we investigate a class of graphs which are constructed by combining the star graph with the bubble-sort graph, and give some preclusion numbers and edge preclusion numbers for this class of graphs.

Bipartite bithreshold graphs

For any proper set S of V in a graph G(V, E), the S-eccentricity, eG, S (υ) (in short eS (υ)) of a vertex υ in G is . The S-center of G is CS (G) = {υ ∈ V | eS (x) ≤ e S(x)∀x ∈ V} and S 1-eccentricity, eG,S1 (v) (in short eS1 (V)) of a vertex v in S is . S 1-center of G is CS1 (G) = {υ ∈ V | eS1 (x) ≤ e S1 (x)∀x ∈ V}. Then G is called a center-smooth graph if CS (G) = CS1 (G) and the set S is defined to be a center-smooth set. We identify the center smooth sets of certain classes of graphs namely, Kq,p , Kp – q, Kp , wheel graphs and lollipop graph and enumerate them for many of these graph classes. We also introduce the concept of center smooth number, which is defined as the number of distinct center smooth set of a graph G, and determine the center smooth number of some graph classes.

In his pioneering paper on matroids in 1935, Whitney obtained a characterization for binary matroids and left a comment at end of the paper that the problem of characterizing graphic matroids is the same as that of characterizing matroids which correspond to matrices (mod 2) with exactly two ones in each column. Later on Tutte obtained a characterization of graphic matroids in terms of forbidden minors in 1959. It is clear that Whitney indicated about incidence matrices of simple undirected graphs. Here we introduce the concept of a segment binary matroid which corresponds to matrices over $\mathbb{Z}_2$ which has the consecutive $1$'s property (i.e., $1$'s are consecutive) for columns and obtained a characterization of graphic matroids in terms of this. In fact, we introduce a new representation of simple undirected graphs in terms of some vectors of finite dimensional vector spaces over $\mathbb{Z}_2$ which satisfy consecutive $1$'s property. The set of such vectors is called a coding sequence of a graph $G$. Among all such coding sequences we identify the one which is unique for a class of isomorphic graphs. We call it the code of the graph. We characterize several classes of graphs in terms of coding sequences. It is shown that a graph $G$ with $n$ vertices is a tree if and only if any coding sequence of $G$ is a basis of the vector space $\mathbb{Z}_2^{n-1}$ over $\mathbb{Z}_2$. Moreover considering coding sequences as binary matroids, we obtain a characterization for simple graphic matroids and found a necessary and sufficient condition for graph isomorphism in terms of a special matroid isomorphism between their corresponding coding sequences. For this, we introduce the concept of strong isomorphisms of segment binary matroids and show that two simple (undirected) graphs are isomorphic if and only if their canonical sequences are strongly isomorphic segment binary matroids.

A set of vertices in a graph is c-colorable if the subgraph induced by the set has a proper c-coloring. In this paper, we study the problem of finding a step-by-step transformation (called a reconfiguration sequence) between two c-colorable sets in the same graph. This problem generalizes the well-studied Independent Set Reconfiguration problem. As the first step toward a systematic understanding of the complexity of this general problem, we study the problem on classes of perfect graphs. We first focus on interval graphs and give a combinatorial characterization of the distance between two c-colorable sets. This gives a linear-time algorithm for finding an actual shortest reconfiguration sequence for interval graphs. Since interval graphs are exactly the graphs that are simultaneously chordal and co-comparability, we then complement the positive result by showing that even deciding reachability is PSPACE-complete for chordal graphs and for co-comparability graphs. The hardness for chordal graphs holds even for split graphs. We also consider the case where c is a fixed constant and show that in such a case the reachability problem is polynomial-time solvable for split graphs but still PSPACE-complete for co-comparability graphs. The complexity of this case for chordal graphs remains unsettled. As by-products, our positive results give the first polynomial-time solvable cases (split graphs and interval graphs) for Feedback Vertex Set Reconfiguration.

Let R be a commutative ring and Z(R) be its set of all zero-divisors. Anderson and Badawi [The total graph of a commutative ring, J. Algebra320 (2008) 2706–2719] introduced the total graph of R, denoted by TΓ(R), as the undirected graph with vertex set R, and two distinct vertices x and y are adjacent if and only if x + y ∈ Z(R). Tamizh Chelvam and Asir [Domination in the total graph of a commutative ring, to appear in J. Combin. Math. Combin. Comput.] obtained the domination number of the total graph and studied certain other domination parameters of TΓ(R) where R is a commutative Artin ring. The intersection graph of gamma sets in TΓ(R) is denoted by ITΓ(R). Tamizh Chelvam and Asir [Intersection graph of gamma sets in the total graph, Discuss. Math. Graph Theory32 (2012) 339–354, doi:10.7151/dmgt.1611] initiated a study about the intersection graph ITΓ (ℤn) of gamma sets in TΓ(ℤn). In this paper, we study about ITΓ(R), where R is a commutative Artin ring. Actually we investigate the interplay between graph-theoretic properties of ITΓ(R) and ring-theoretic properties of R. At the first instance, we prove that diam (ITΓ(R)) ≤ 2 and gr (ITΓ(R)) ≤ 4. Also some characterization results regarding completeness, bipartite, cycle and chordal nature of ITΓ(R) are given. Further, we discuss about the vertex-transitive property of ITΓ(R). At last, we obtain all commutative Artin rings R for which ITΓ(R) is either planar or toroidal or genus two.

We investigate a new class of codes for the optimal covering of vertices in an undirected graph G such that any vertex in G can be uniquely identified by examining the vertices that cover it. We define a ball of radius t centered on a vertex /spl upsi/ to be the set of vertices in G that are at distance at most t from /spl upsi/. The vertex /spl upsi/ is then said to cover itself and every other vertex in the ball with center /spl upsi/. Our formal problem statement is as follows: given an undirected graph G and an integer t/spl ges/1, find a (minimal) set C of vertices such that every vertex in G belongs to a unique set of balls of radius t centered at the vertices in C. The set of vertices thus obtained constitutes a code for vertex identification. We first develop topology-independent bounds on the size of C. We then develop methods for constructing C for several specific topologies such as binary cubes, nonbinary cubes, and trees. We also describe the identification of sets of vertices using covering codes that uniquely identify single vertices. We develop methods for constructing optimal topologies that yield identifying codes with a minimum number of codewords. Finally, we describe an application of the theory developed in this paper to fault diagnosis of multiprocessor systems.