Results 1  10
of
67
Finding shortest nonseparating and noncontractible cycles for topologically embedded graphs
 Discrete Comput. Geom
, 2005
"... We present an algorithm for finding shortest surface nonseparating cycles in graphs embedded on surfaces in O(g 3/2 V 3/2 log V + g 5/2 V 1/2) time, where V is the number of vertices in the graph and g is the genus of the surface. If g = o(V 1/3−ε), this represents a considerable improvement over p ..."
Abstract

Cited by 48 (9 self)
 Add to MetaCart
(Show Context)
We present an algorithm for finding shortest surface nonseparating cycles in graphs embedded on surfaces in O(g 3/2 V 3/2 log V + g 5/2 V 1/2) time, where V is the number of vertices in the graph and g is the genus of the surface. If g = o(V 1/3−ε), this represents a considerable improvement over previous results by Thomassen, and Erickson and HarPeled. We also give algorithms to find a shortest noncontractible cycle in O(g O(g) V 3/2) time, which improves previous results for fixed genus. This result can be applied for computing the (nonseparating) facewidth of embedded graphs. Using similar ideas we provide the first nearlinear running time algorithm for computing the facewidth of a graph embedded on the projective plane, and an algorithm to find the facewidth of embedded toroidal graphs in O(V 5/4 log V) time. 1
Transitiveclosure spanners
, 2008
"... We define the notion of a transitiveclosure spanner of a directed graph. Given a directed graph G = (V, E) and an integer k ≥ 1, a ktransitiveclosurespanner (kTCspanner) of G is a directed graph H = (V, EH) that has (1) the same transitiveclosure as G and (2) diameter at most k. These spanner ..."
Abstract

Cited by 39 (11 self)
 Add to MetaCart
(Show Context)
We define the notion of a transitiveclosure spanner of a directed graph. Given a directed graph G = (V, E) and an integer k ≥ 1, a ktransitiveclosurespanner (kTCspanner) of G is a directed graph H = (V, EH) that has (1) the same transitiveclosure as G and (2) diameter at most k. These spanners were studied implicitly in access control, property testing, and data structures, and properties of these spanners have been rediscovered over the span of 20 years. We bring these areas under the unifying framework of TCspanners. We abstract the common task implicitly tackled in these diverse applications as the problem of constructing sparse TCspanners. We study the approximability of the size of the sparsest kTCspanner for a given digraph. Our technical contributions fall into three categories: algorithms for general digraphs,
A New Approach to AllPairs Shortest Paths on RealWeighted Graphs
 Theoretical Computer Science
, 2003
"... We present a new allpairs shortest path algorithm that works with realweighted graphs in the traditional comparisonaddition model. It runs in O(mn+n time, improving on the longstanding bound of O(mn + n log n) derived from an implementation of Dijkstra's algorithm with Fibonacci heaps ..."
Abstract

Cited by 38 (3 self)
 Add to MetaCart
We present a new allpairs shortest path algorithm that works with realweighted graphs in the traditional comparisonaddition model. It runs in O(mn+n time, improving on the longstanding bound of O(mn + n log n) derived from an implementation of Dijkstra's algorithm with Fibonacci heaps. Here m and n are the number of edges and vertices, respectively.
Combining SpeedUp Techniques for ShortestPath Computations
 In Proc. 3rd Workshop on Experimental and Efficient Algorithms. LNCS
, 2004
"... Computing a shortest path from one node to another in a directed graph is a very common task in practice. This problem is classically solved by Dijkstra's algorithm. Many techniques are known to speed up this algorithm heuristically, while optimality of the solution can still be guaranteed. ..."
Abstract

Cited by 28 (6 self)
 Add to MetaCart
(Show Context)
Computing a shortest path from one node to another in a directed graph is a very common task in practice. This problem is classically solved by Dijkstra's algorithm. Many techniques are known to speed up this algorithm heuristically, while optimality of the solution can still be guaranteed. In most studies, such techniques are considered individually.
Fast and accurate estimation of shortest paths in large graphs
 In Proceedings of Conference on Information and Knowledge Management (CIKM
, 2010
"... Computing shortest paths between two given nodes is a fundamental operation over graphs, but known to be nontrivial over large diskresident instances of graph data. While a numberoftechniquesexistfor answeringreachabilityqueries and approximating node distances efficiently, determining actual short ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
(Show Context)
Computing shortest paths between two given nodes is a fundamental operation over graphs, but known to be nontrivial over large diskresident instances of graph data. While a numberoftechniquesexistfor answeringreachabilityqueries and approximating node distances efficiently, determining actual shortest paths (i.e. the sequence of nodes involved) is often neglected. However, in applications arising in massive online social networks, biological networks, and knowledge graphs it is often essential to find out many, if not all, shortest paths between two given nodes. In this paper, we address this problem and present a scalable sketchbased index structure that not only supports estimation of node distances, but also computes corresponding shortest paths themselves. Generating the actual path information allows for further improvements to the estimation accuracy of distances (and paths), leading to nearexact shortestpath approximations in real world graphs. We evaluate our techniques – implemented within a fully functional RDF graph database system – over large realworld social and biological networks of sizes ranging from tens of thousand to millions of nodes and edges. Experiments on several datasets show that we can achieve query response times providing several orders of magnitude speedup over traditional path computations while keeping the estimation errors between 0 % and 1 % on average.
Complex network measurements: Estimating the relevance of observed properties
 In INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies
, 2008
"... Abstract—Complex networks, modeled as large graphs, received much attention during these last years. However, data on such networks is only available through intricate measurement procedures. Until recently, most studies assumed that these procedures eventually lead to samples large enough to be r ..."
Abstract

Cited by 23 (2 self)
 Add to MetaCart
(Show Context)
Abstract—Complex networks, modeled as large graphs, received much attention during these last years. However, data on such networks is only available through intricate measurement procedures. Until recently, most studies assumed that these procedures eventually lead to samples large enough to be representative of the whole, at least concerning some key properties. This has crucial impact on network modeling and simulation, which rely on these properties. Recent contributions proved that this approach may be misleading, but no solution has been proposed. We provide here the first practical way to distinguish between cases where it is indeed misleading, and cases where the observed properties may be trusted. It consists in studying how the properties of interest evolve when the sample grows, and in particular whether they reach a steady state or not.
Efficient algorithms for constructing (1 + ɛ, β)spanners in the distributed and streaming models
 Distributed Computing
, 2004
"... For an unweighted undirected graph G = (V, E), and a pair of positive integers α ≥ 1, β ≥ 0, a subgraph G ′ = (V, H), H ⊆ E, is called an (α, β)spanner of G if for every pair of vertices u, v ∈ V, distG ′(u, v) ≤ α · distG(u, v) + β. It was shown in [20] that for any ɛ> 0, κ = 1, 2,..., there ..."
Abstract

Cited by 20 (6 self)
 Add to MetaCart
(Show Context)
For an unweighted undirected graph G = (V, E), and a pair of positive integers α ≥ 1, β ≥ 0, a subgraph G ′ = (V, H), H ⊆ E, is called an (α, β)spanner of G if for every pair of vertices u, v ∈ V, distG ′(u, v) ≤ α · distG(u, v) + β. It was shown in [20] that for any ɛ> 0, κ = 1, 2,..., there exists an integer β = β(ɛ, κ) such that for every nvertex graph G there exists a (1 + ɛ, β)spanner G ′ with O(n 1+1/κ) edges. An efficient distributed protocol for constructing (1+ ɛ, β)spanners was devised in [18]. The running time and the communication complexity of that protocol are O(n 1+ρ) and O(En ρ), respectively, where ρ is an additional control parameter of the protocol that affects only the additive term β. In this paper we devise a protocol with a drastically improved running time (O(n ρ) as opposed to O(n 1+ρ)) for constructing (1 + ɛ, β)spanners. Our protocol has the same communication complexity as the protocol of [18], and it constructs spanners with essentially the same properties as the spanners that are constructed by the protocol of [18]. We also show that our protocol for constructing (1+ɛ, β)spanners can be adapted to the streaming model, and devise a streaming algorithm that uses a constant number of passes and O(n 1+1/κ · log n) bits of space for computing allpairsalmostshortestpaths of length at most by a multiplicative factor (1 + ɛ) and an additive term of β greater than the shortest paths. Our algorithm processes each edge in time O(n ρ), for an arbitrarily small ρ> 0. The only
Efficient search ranking in social networks
 in CIKM, 2007
"... In social networks such as Orkut, www.orkut.com, a large portion of the user queries refer to names of other people. Indeed, more than 50 % of the queries in Orkut are about names of other users, with an average of 1.8 terms per query. Further, the users usually search for people with whom they main ..."
Abstract

Cited by 20 (1 self)
 Add to MetaCart
(Show Context)
In social networks such as Orkut, www.orkut.com, a large portion of the user queries refer to names of other people. Indeed, more than 50 % of the queries in Orkut are about names of other users, with an average of 1.8 terms per query. Further, the users usually search for people with whom they maintain relationships in the network. These relationships can be modelled as edges in a friendship graph, a graph in which the nodes represent the users. In this context, search ranking can be modelled as a function that depends on the distances among users in the graph, more specifically, of shortest paths in the friendship graph. However, application of this idea to ranking is not straightforward because the large size of modern social networks (dozens of millions of users) prevents efficient computation of shortest paths at query time. We overcome this by designing a ranking formula that strikes a balance between producing good results and reducing query processing time. Using data from the Orkut social network, which includes over 40 million users, we show that our ranking, augmented by this new signal, produces high quality results, while maintaining query processing time small.
Dijkstra’s algorithm with Fibonacci heaps:An executable description
 in CHR,” in Proc. 20th Workshop on Logic Programming (WLP’06
"... Abstract. We construct a readable, compact and ecient implementation of Dijkstra's shortest path algorithm and Fibonacci heaps using Constraint Handling Rules (CHR), which is increasingly used as a highlevel rulebased generalpurpose programming language. We measure its performance in dierent ..."
Abstract

Cited by 19 (12 self)
 Add to MetaCart
(Show Context)
Abstract. We construct a readable, compact and ecient implementation of Dijkstra's shortest path algorithm and Fibonacci heaps using Constraint Handling Rules (CHR), which is increasingly used as a highlevel rulebased generalpurpose programming language. We measure its performance in dierent CHR systems, investigating both the theoretical asymptotic complexity and the constant factors realized in practice. 1