Obtaining a matching in a graph satisfying a certain objective is an important class of graph problems. Matching algorithms have received attention for several decades. However, while there are efficient algorithms to...
详细信息
Obtaining a matching in a graph satisfying a certain objective is an important class of graph problems. Matching algorithms have received attention for several decades. However, while there are efficient algorithms to obtain a maximum weight matching, not much is known about the maximum weight maximum cardinality, and maximum cardinality maximum weight matching problems for general graphs. Our contribution in this work is to show that for bounded weight input graphs one can obtain an algorithm for both maximum weight maximum cardinality (for real weights), and maximum cardinality maximum weight matching (for integer weights) by modifying the input and running the existing maximum weight matching algorithm. Also, given the current state of the art in maximum weight matching algorithms, we show that, for bounded weight input graphs, both maximum weight maximum cardinality, and maximum cardinality maximum weight matching have algorithms of similar complexities to that of maximum weight matching. Subsequently, we also obtain approximation algorithms for maximum weight maximum cardinality, and maximum cardinality maximum weight matching.
We implement a promising algorithm for sparse-matrix sparse-vector multiplication (SpMSpV) on the GPU. An efficient k-way merge lies at the heart of finding a fast parallel SpMSpV algorithm. We examine the scalability...
详细信息
ISBN:
(纸本)9781467376846
We implement a promising algorithm for sparse-matrix sparse-vector multiplication (SpMSpV) on the GPU. An efficient k-way merge lies at the heart of finding a fast parallel SpMSpV algorithm. We examine the scalability of three approaches-no sorting, merge sorting, and radix sorting-in solving this problem. For breadth-first search (BFS), we achieve a 1.26x speedup over state-of-the-art sparse-matrix dense-vector (SpMV) implementations. The algorithm seems generalizeable for single-source shortest path (SSSP) and sparse-matrix sparse-matrix multiplication, and other core graph primitives such as maximal independent set and bipartite matching.
Providing performance QoS (Quality-of-Service) guarantees in a distributed data center environment poses unique challenges. In a typical setting, a client must be guaranteed a minimum amount of service (its contractua...
详细信息
ISBN:
(纸本)9781450369350
Providing performance QoS (Quality-of-Service) guarantees in a distributed data center environment poses unique challenges. In a typical setting, a client must be guaranteed a minimum amount of service (its contractual reservation) aggregated over all servers on which it has demand for service. A server may receive service demands from multiple clients, which may in aggregate exceed its service capacity. The system must decide how much service to provide to each client on each server that it has demand, in order to satisfy all clients' reservations. In case there is no feasible allocation of the service, the amount of reservation that is fulfilled must be maximized. In practice, the number of clients is several orders of magnitude larger than the number of servers. We describe a simple iterative algorithm called pTrans for reservation allocation based on a directed graph model;servers are vertices and edges are characterized by a vector of feasible service transfers between adjacent servers. We provide formal proofs that the algorithm converges to the global optimal and has a polynomial worst-case running time. Moreover, pTrans can be easily parallelized using multiple threads. Empirical evaluation results show pTrans has low runtime overheads.
We introduce a natural heuristic for approximating the treewidth of graphs. We prove that this heuristic gives a constant factor approximation for the treewidth of graphs with bounded asteroidal number. Using a differ...
详细信息
We introduce a natural heuristic for approximating the treewidth of graphs. We prove that this heuristic gives a constant factor approximation for the treewidth of graphs with bounded asteroidal number. Using a different technique, we give a O(logk) approximation algorithm for the treewidth of arbitrary graphs, where k is the treewidth of the input graph. (C) 2003 Elsevier B.V. All rights reserved.
The operation of creating edges has been widely applied to optimize relevant quantities of opinion dynamics. In this paper, we consider a problem of polarization optimization for the leader-follower opinion dynamics i...
详细信息
ISBN:
(纸本)9798400701245
The operation of creating edges has been widely applied to optimize relevant quantities of opinion dynamics. In this paper, we consider a problem of polarization optimization for the leader-follower opinion dynamics in a noisy social network with n nodes and m edges, where a group Q of q nodes are leaders, and the remaining n - q nodes are followers. We adopt the popular leader-follower DeGroot model, where the opinion of every leader is identical and remains unchanged, while the opinion of every follower is subject to white noise. The polarization is defined as the steady-state variance of the deviation of each node's opinion from leaders' opinion, which equals one half of the effective resistance R-Q between the node group Q and all other nodes. Concretely, we propose and study the problem of minimizing R-Q by adding k new edges with each incident to a node in Q. We showthat the objective function is monotone and supermodular. We then propose a simple greedy algorithm with an approximation factor 1 - 1/e that approximately solves the problem in O ((n - q)(3)) time. To speed up the computation, we also provide a fast algorithm to compute (1 - 1/ e - c)-approximate effective resistance R-Q, the running time of which is (O) over tilde (mk epsilon(-2)) for any c > 0, where the (O) over tilde(center dot) notation suppresses the poly(log n) factors. Extensive experiment results show that our second algorithm is both effective and efficient.
作者:
Shao, YingxiaChen, LeiCui, BinPeking Univ
Sch EECS MOE Key Lab High Confidence Software Technol Beijing Peoples R China HKUST
Dept Comp Sci & Engn Hong Kong Hong Kong Peoples R China
A cohesive subgraph is a primary vehicle for massive graph analysis, and a newly introduced cohesive subgraph, k-truss, which is motivated by a natural observation of social cohesion, has attracted more and more atten...
详细信息
ISBN:
(纸本)9781450323765
A cohesive subgraph is a primary vehicle for massive graph analysis, and a newly introduced cohesive subgraph, k-truss, which is motivated by a natural observation of social cohesion, has attracted more and more attention. However, the existing parallel solutions to identify the k-truss are inefficient for very large graphs, as they still suffer from huge communication cost and large number of iterations during the computation. In this paper, we propose a novel parallel and efficient truss detection algorithm, called PETA. The PETA produces a triangle complete subgraph (TC-subgraph) for every computing node. Based on the TC-subgraphs, PETA can detect the local k-truss in parallel within a few iterations. We theoretically prove, within this new paradigm, the communication cost of PETA is bounded by three times of the number of triangles, the total computation complexity of PETA is the same order as the best known serial algorithm and the number of iterations for a given partition scheme is minimized as well. Furthermore, we present a subgraph-oriented model to efficiently express PETA in parallel graph computing systems. The results of comprehensive experiments demonstrate, compared with the existing solutions, PETA saves 2X to 19X in communication cost, reduces 80% to 95% number of iterations and improves the overall performance by 80% across various real-world graphs.
Quantum computation is an emerging technology that promises a wide range of possible use cases. This promise is primarily based on algorithms that are unlikely to be viable over the coming decade. For near-term applic...
详细信息
ISBN:
(纸本)9781728145334
Quantum computation is an emerging technology that promises a wide range of possible use cases. This promise is primarily based on algorithms that are unlikely to be viable over the coming decade. For near-term applications, quantum software needs to be carefully tailored to the hardware available. In this paper, we begin to explore whether near-term quantum computers could provide tools that are useful in the creation and implementation of computer games. The procedural generation of geopolitical maps and their associated history is considered as a motivating example. This is performed by encoding a rudimentary decision making process for the nations within a quantum procedure that is well-suited to near-term devices. Given the novelty of quantum computing within the field of procedural generation, we also provide an introduction to the basic concepts involved.
One of the fundamental problems encountered during the VLSI design flow is to find minimum length nets that connect specific nodes on the chip. The challenge lies in finding an efficient solution to the Steiner tree P...
详细信息
ISBN:
(纸本)9783901882197
One of the fundamental problems encountered during the VLSI design flow is to find minimum length nets that connect specific nodes on the chip. The challenge lies in finding an efficient solution to the Steiner tree Problem in graphs (SPG) that not only maximizes the routing efficiency but also lends itself well for fast implementation. In this paper, we propose a new and innovative approach for solving the Steiner tree problem, called the "Directed Convergence Heuristic (DCH)". In essence, the DCH based algorithm places entities called pawns on nodes that need to be connected. These pawns move towards each other in a directed fashion and while doing so, leave trails for constructing a Steiner tree between the nodes. When all the pawns converge at a node, the trails merge to create a Steiner tree. Experimental results on benchmark Steiner trees show that DCH is robust and converges faster while yielding competitive near optimal solutions. The algorithm is amenable for implementation on parallel computing architectures.
In this paper we present a method for navigating a multi-robot system through an environment while additionally maintaining a predefined set of constraints. Possible constraints are the requirement to keep up the dire...
详细信息
ISBN:
(纸本)9781424466757
In this paper we present a method for navigating a multi-robot system through an environment while additionally maintaining a predefined set of constraints. Possible constraints are the requirement to keep up the direct line-of-sight between robots or to ensure that robots stay within a certain distance. Our approach is based on graph structures that model movements and constraints separately, in order to cover different robots and a large class of possible constraints. Additionally, the partition of movement and constraint graph allows us to use known graph algorithms like Steiner trees to solve the problem of finding a target configuration for the robots. We construct so called separated distance graphs from the Steiner tree and the underlying roadmap graph, which allow assembling valid navigation plans fast.
We describe a new algorithm for vertex cover with runtime O* (1.25284(k)), where k is the size of the desired solution and 0* hides polynomial factors in the input size. This improves over the previous runtime of 0*(1...
详细信息
ISBN:
(纸本)9783959773119
We describe a new algorithm for vertex cover with runtime O* (1.25284(k)), where k is the size of the desired solution and 0* hides polynomial factors in the input size. This improves over the previous runtime of 0*(1.2738(k)) due to Chen, Kanj, & Xia (2010) standing for more than a decade. The key to our algorithm is to use a measure which simultaneously tracks k as well as the optimal value lambda of the vertex cover LP relaxation. This allows us to make use of prior algorithms for Maximum Independent Set in bounded-degree graphs and Above-Guarantee Vertex Cover. The main step in the algorithm is to branch on high-degree vertices, while ensuring that both k and mu = k - lambda are decreased at each step. There can be local obstructions in the graph that prevent it from decreasing in this process;we develop a number of novel branching steps to handle these situations.
暂无评论