For a fixed integer , a set is called a b-disjunctive dominating set of the graph if for every vertex , v is either adjacent to a vertex of D or has at least b vertices in D at distance 2 from it. The Minimum b-Disjun...
详细信息
For a fixed integer , a set is called a b-disjunctive dominating set of the graph if for every vertex , v is either adjacent to a vertex of D or has at least b vertices in D at distance 2 from it. The Minimum b-Disjunctive Domination Problem (MbDDP) is to find a b-disjunctive dominating set of minimum cardinality. The cardinality of a minimum b-disjunctive dominating set of G is called the b-disjunctive domination number of G, and is denoted by . Given a positive integer k and a graph G, the b-Disjunctive Domination Decision Problem (bDDDP) is to decide whether G has a b-disjunctive dominating set of cardinality at most k. In this paper, we first show that for a proper interval graph G, is equal to , the domination number of G for and observe that need not be equal to for . We then propose a polynomial time algorithm to compute a minimum cardinality b-disjunctive dominating set of a proper interval graph for . Next we tighten the NP-completeness of bDDDP by showing that it remains NP-complete even in chordal graphs. We also propose a -approximation algorithm for MbDDP, where is the maximum degree of input graph and prove that MbDDP cannot be approximated within for any unless NP DTIME. Finally, we show that MbDDP is APX-complete for bipartite graphs with maximum degree .
Although the subgraph isomorphism problem has various important applications, it is generally NP-complete and difficult to solve. Though a custom computing circuit can reduce the execution time substantially, it requi...
详细信息
Although the subgraph isomorphism problem has various important applications, it is generally NP-complete and difficult to solve. Though a custom computing circuit can reduce the execution time substantially, it requires considerable hardware resources and is inapplicable to large problems. This paper examines the feasibility of data dependent designs, which are particularly suitable to a Field Programmable Gate Array (FPGA). The data dependent approach drastically reduces hardware requirements. For graphs of 32 vertices, the average logic scale of data dependent circuits is only 5% of the corresponding data independent circuit. The data dependent circuit is estimated to be maximally 460 times faster than the software. Even if the circuit generation time is included, a data dependent circuit is estimated to be 2.04 times faster than software for graphs of 32 vertices. The performance gain would increase for larger graphs.
A set D subset of V of a graph G = (V, E) is called a connected power dominating set of G if G[D], the subgraph induced by D, is connected and every vertex in the graph can be observed from D, following the two observ...
详细信息
A set D subset of V of a graph G = (V, E) is called a connected power dominating set of G if G[D], the subgraph induced by D, is connected and every vertex in the graph can be observed from D, following the two observation rules for power system monitoring: Rule 1: if v epsilon D, then v can observe itself and all its neighbors, and Rule 2: for an already observed vertex whose all neighbors except one are observed, then the only unobserved neighbor becomes observed as well. Given a graph G, Minimum Connected Power Domination is to find a connected power dominating set of minimum cardinality of G and Decide Connected Power Domination is the decision version of Minimum Connected Power Domination. Decide Connected Power Domination is known to be NP-complete for general graphs. In this paper, we prove that Decide Connected Power Domination remains NP-complete for star-convex bipartite graphs, perfect elimination bipartite graphs and split graphs. This answers some open problems posed in [B. Brimkov, D. Mikesell and L. Smith, Connected power domination in graphs, J. Comb. Optim. 38(1) (2019) 292{315]. On the positive side, we show that Minimum Connected Power Domination is polynomial-time solvable for chain graphs, a proper subclass of perfect elimination bipartite graph, and for threshold graphs, a proper subclass of split graphs. Further, we show that Minimum Connected Power Domination cannot be approximated within (1- epsilon) ln vertical bar V vertical bar for any epsilon > 0 unless P = NP, for bipartite graphs as well as for chordal graphs. Finally, we show that Minimum Connected Power Domination is APX-hard for bounded degree graphs.
Inspired by a real life application, we investigate the computationally hard problem of extending a precoloring of an interval graph to a proper coloring under some bound on the number of available colors. We are inte...
详细信息
Inspired by a real life application, we investigate the computationally hard problem of extending a precoloring of an interval graph to a proper coloring under some bound on the number of available colors. We are interested in quickly determining whether or not such an extension exists on instances occurring in practice in connection with campsite bookings on a campground. A naive exhaustive search does not terminate in reasonable time. We have formulated a new approach which moves the computation time within I he usable range on all the data samples available to us.
In this short note we argue that the toughness of split graphs can be computed in polynomial time. This solves an open problem from a recent paper by Kratsch et al. (Discrete Math. 150 (1996) 231-245). (C) 1998 Elsevi...
详细信息
In this short note we argue that the toughness of split graphs can be computed in polynomial time. This solves an open problem from a recent paper by Kratsch et al. (Discrete Math. 150 (1996) 231-245). (C) 1998 Elsevier Science B.V. All rights reserved.
This paper presents parallel algorithms for coloring a constant-degree graph with a maximum degree of Δ using Δ + 1 colors and for finding a maximal independent set in a constant-degree graph. Given a graph with n v...
详细信息
This paper presents parallel algorithms for coloring a constant-degree graph with a maximum degree of Δ using Δ + 1 colors and for finding a maximal independent set in a constant-degree graph. Given a graph with n vertices, the algorithms run in O(lg∗n) time on an EREW PRAM with O(n) processors. The algorithms use only local communication and achieve the same complexity bounds when implemented in a distributed model of parallel computation.
We present a general technique for dynamizing a class of problems whose underlying structure is a computation graph embedded in a tree. We introduce three fully dynamic data structures, called path attribute systems, ...
详细信息
We present a general technique for dynamizing a class of problems whose underlying structure is a computation graph embedded in a tree. We introduce three fully dynamic data structures, called path attribute systems, tree attribute systems, and linear attribute grammars, which extend and generalize the dynamic trees of Sleator and Tarjan. More specifically, we associate values, called attributes, with the nodes and paths of a rooted tree. Path attributes form a path attribute system if they can be maintained in constant rime under path concatenation. Node attributes form a tree attribute system if the tree attributes of the tail of a path II can be determined in constant time from the path attributes of II. A linear attribute grammar is a tree-based linear expression such that the values of a node It art calculated from the values at the parent, siblings, and/or children of it. We provide a framework for maintaining path attribute systems, tree attribute systems, and linear attribute grammars in a fully dynamic environment using linear space and logarithmic time per operation. Also, we demonstrate the applicability of our techniques by showing examples of graph and geometric problems that can be efficiently dynamized, including biconnectivity and triconnectivity queries, planarity testing, drawing trees and series-parallel digraphs, slicing floorplan compaction, point location, and many optimization problems on bounded tree-width graphs.
The fastest-known algorithm for recognizing interval graphs [S. Booth and S. Lucker, J. Comput. System Sci., 13 (1976), pp. 335–379] iteratively manipulates the system of all maximal cliques of the given graph in a r...
详细信息
The fastest-known algorithm for recognizing interval graphs [S. Booth and S. Lucker, J. Comput. System Sci., 13 (1976), pp. 335–379] iteratively manipulates the system of all maximal cliques of the given graph in a rather complicated way in order to construct a consecutive arrangement (more precisely, a tree representation of all possible consecutive arrangements). This paper presents a much simpler algorithm using a related, but much more informative tree representation of interval graphs. This tree is constructed in an incremental fashion by adding vertices to the graph in a predefined order such that adding a vertex u takes O(
A subset M subset of E of edges of a graph G=(V,E) is called amatchinginGif no two edges inMshare a common vertex. A matchingMinGis called aninduced matchingifG[M], the subgraph ofGinduced byM, is the same asG[S], the...
详细信息
A subset M subset of E of edges of a graph G=(V,E) is called amatchinginGif no two edges inMshare a common vertex. A matchingMinGis called aninduced matchingifG[M], the subgraph ofGinduced byM, is the same asG[S], the subgraph ofGinduced byS={v is an element of V|vertical bar v}vis incident on an edge ofM}. TheMaximum Induced Matchingproblem is to find an induced matching of maximum cardinality. Given a graphGand a positive integerk, theInduced Matching Decisionproblem is to decide whetherGhas an induced matching of cardinality at leastk. TheMaximum Weight Induced Matchingproblem in a weighted graph G = (V,E) in which the weight of each edge is a positive real number, is to find an induced matching such that the sum of the weights of its edges is maximum. It is known that theInduced Matching Decisionproblem and hence theMaximum Weight Induced Matchingproblem is known to be NP-complete for general graphs and bipartite graphs. In this paper, we strengthened this result by showing that theInduced Matching Decisionproblem is NP-complete for star-convex bipartite graphs, comb-convex bipartite graphs, and perfect elimination bipartite graphs, the subclasses of the class of bipartite graphs. On the positive side, we propose polynomial time algorithms for theMaximum Weight Induced Matchingproblem for circular-convex bipartite graphs and triad-convex bipartite graphs by making polynomial time reductions from theMaximum Weight Induced Matchingproblem in these graph classes to theMaximum Weight Induced Matchingproblem in convex bipartite graphs.
kappa-truss model is a typical cohesive subgraph model and has been received considerable attention recently. However, the k-truss model only considers the direct common neighbors of an edge, which restricts its abili...
详细信息
kappa-truss model is a typical cohesive subgraph model and has been received considerable attention recently. However, the k-truss model only considers the direct common neighbors of an edge, which restricts its ability to reveal fine-grained structure information of the graph. Motivated by this, in this paper, we propose a new model named (k, tau)-truss that considers the higher-order neighborhood (tau hop) information of an edge. Based on the (k, tau)-truss model, we study the higher-order truss decomposition problem which computes the (k, tau)-trusses for all possible k values regarding a given tau. Higher-order truss decomposition can be used in the applications such as community detection and search, hierarchical structure analysis, and graph visualization. To address this problem, we first propose a bottom-up decomposition paradigm in the increasing order of k values to compute the corresponding (k,tau)-truss. Based on the bottom-up decomposition paradigm, we further devise three optimization strategies to reduce the unnecessary computation. We evaluate our proposed algorithms on real datasets and synthetic datasets, the experimental results demonstrate the efficiency, effectiveness and scalability of our proposed algorithms.
暂无评论