Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Seth Pettie is active.

Publication


Featured researches published by Seth Pettie.


Journal of the ACM | 2002

An optimal minimum spanning tree algorithm

Seth Pettie

We establish that the algorithmic complexity of the minimumspanning tree problem is equal to its decision-tree complexity.Specifically, we present a deterministic algorithm to find aminimum spanning tree of a graph with <i>n</i> vertices and<i>m</i> edges that runs in time<i>O</i>(<i>T</i><sup>*</sup>(<i>m,n</i>)) where<i>T</i><sup>*</sup> is the minimum number of edge-weightcomparisons needed to determine the solution. The algorithm isquite simple and can be implemented on a pointer machine.Althoughour time bound is optimal, the exact function describing it is notknown at present. The current best bounds known for<i>T</i><sup>*</sup> are <i>T</i><sup>*</sup>(<i>m,n</i>) =Ω(<i>m</i>) and <i>T</i><sup>*</sup>(<i>m,n</i>) =<i>O</i>(<i>m</i> ∙ α(<i>m,n</i>)), where α is acertain natural inverse of Ackermanns function.Even under theassumption that <i>T</i><sup>*</sup> is superlinear, we show thatif the input graph is selected from <i>G</i><sub><i>n,m</i></sub>,our algorithm runs in linear time with high probability, regardlessof <i>n</i>, <i>m</i>, or the permutation of edge weights. Theanalysis uses a new martingale for <i>G</i><sub><i>n,m</i></sub>similar to the edge-exposure martingale for<i>G</i><sub><i>n,p</i></sub>.


international colloquium on automata languages and programming | 2004

A new approach to all-pairs shortest paths on real-weighted graphs

Seth Pettie

We present a new all-pairs shortest path algorithm that works with real-weighted graphs in the traditional comparison-addition model. It runs in O(mn + n2 log log n) time, improving on the long-standing bound of O(mn + n2 log n) derived from an implementation of Dijkstras algorithm with Fibonacci heaps. Here m and n are the number of edges and vertices, respectively.Our algorithm is rooted in the so-called component hierarchy approach to shortest paths invented by Thorup for integer-weighted undirected graphs, and generalized by Hagerup to integer-weighted directed graphs. The technical contributions of this paper include a method for approximating shortest path distances and a method for leveraging approximate distances in the computation of exact ones. We also provide a simple, one line characterization of the class of hierarchy-type shortest path algorithms. This characterization leads to some pessimistic lower bounds on computing single-source shortest paths with a hierarchy-type algorithm.


Journal of the ACM | 2016

The Locality of Distributed Symmetry Breaking

Leonid Barenboim; Michael Elkin; Seth Pettie; Johannes Schneider

We present new bounds on the locality of several classical symmetry breaking tasks in distributed networks. A sampling of the results include 1) A randomized algorithm for computing a maximal matching (MM) in O(log Δ + (log log n)<sup>4</sup>) rounds, where Δ is the maximum degree. This improves a 25-year old randomized algorithm of Israeli and Itai that takes O(log n) rounds and is provably optimal for all log Δ in the range [(log log n)<sup>4</sup>, √log n]. 2) A randomized maximal independent set (MIS) algorithm requiring O(log Δ√log n) rounds, for all Δ, and only 2<sup>O</sup>(√log log n) rounds when Δ = poly(log n). These improve on the 25-year old O(log n)-round randomized MIS algorithms of Luby and Alon, Babai, and Itai when log Δ ≫ √log n. 3) A randomized (Δ + 1)-coloring algorithm requiring O(log Δ + 2<sup>O</sup>(<sup>(√log log n)</sup>) rounds, improving on an algorithm of Schneider and Wattenhofer that takes O(log Δ + √log n) rounds. This result implies that an O(Δ)-coloring can be computed in 2<sup>O(√log log n)</sup> rounds for all Δ, improving on Kothapalli et al.s O(√log n)-round algorithm. We also introduce a new technique for reducing symmetry breaking problems on low arboricity graphs to low degree graphs. Corollaries of this reduction include MM and MIS algorithms for low arboricity graphs (e.g., planar graphs and graphs that exclude any fixed minor) requiring O(√log n) and O(log<sup>2/3</sup> n) rounds w.h.p., respectively.


Journal of the ACM | 2014

Linear-Time Approximation for Maximum Weight Matching

Ran Duan; Seth Pettie

The <i>maximum cardinality</i> and <i>maximum weight matching</i> problems can be solved in <i>Õ</i>(<i>m</i>√<i>n</i>) time, a bound that has resisted improvement despite decades of research. (Here <i>m</i> and <i>n</i> are the number of edges and vertices.) In this article, we demonstrate that this “<i>m</i>√<i>n</i> barrier” can be bypassed by approximation. For any <i>ε</i> > 0, we give an algorithm that computes a (1 − <i>ε</i>)-approximate maximum weight matching in <i>O</i>(<i>mε</i><sup>−1</sup> log <i>ε</i><sup>−1</sup>) time, that is, optimal <i>linear time</i> for any fixed <i>ε</i>. Our algorithm is dramatically simpler than the best exact maximum weight matching algorithms on general graphs and should be appealing in all applications that can tolerate a negligible relative error.


ACM Transactions on Algorithms | 2009

Low distortion spanners

Seth Pettie

A <i>spanner</i> of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say <i>H</i> ⊆ <i>G</i> is an <i>f</i>-spanner of <i>G</i> if any two vertices <i>u</i>,<i>v</i> at distance <i>d</i> in <i>G</i> are at distance at most <i>f</i>(<i>d</i>) in <i>H</i>. There is clearly some trade-off between the sparsity of <i>H</i> and the <i>distortion</i> function <i>f</i>, though the nature of the optimal trade-off is still poorly understood. In this article we present a simple, modular framework for constructing sparse spanners that is based on interchangable components called <i>connection schemes</i>. By assembling connection schemes in different ways we can recreate the additive 2- and 6-spanners of Aingworth et al. [1999] and Baswana et al. [2009], and give spanners whose multiplicative distortion quickly tends toward 1. Our results rival the simplicity of all previous algorithms and provide substantial improvements (up to a doubly exponential reduction in edge density) over the comparable spanners of Elkin and Peleg [2004] and Thorup and Zwick [2006].


Information Processing Letters | 2004

A simpler linear time 2/3 - ε approximation for maximum weight matching

Seth Pettie; Peter Sanders

We present two 2/3 - e approximation algorithms for the maximum weight matching problem that run in time O(m log 1e;). We give a simple and practical randomized algorithm and a somewhat more complicated deterministic algorithm. Both algorithms are exponentially faster in terms of e than a recent algorithm by Drake and Hougardy. We also show that our algorithms can be generalized to find a 1 - e approximation to the maximum weight matching, for any e > 0.


SIAM Journal on Computing | 2005

A Shortest Path Algorithm for Real-Weighted Undirected Graphs

Seth Pettie

We present a new scheme for computing shortest paths on real-weighted undirected graphs in the fundamental comparison-addition model. In an efficient preprocessing phase our algorithm creates a linear-size structure that facilitates single-source shortest path computations in O(m log


foundations of computer science | 2010

Approximating Maximum Weight Matching in Near-Linear Time

Ran Duan; Seth Pettie

\alpha


ACM Transactions on Algorithms | 2010

Additive spanners and (α, β)-spanners

Surender Baswana; Telikepalli Kavitha; Kurt Mehlhorn; Seth Pettie

) time, where


foundations of computer science | 2016

An Exponential Separation between Randomized and Deterministic Complexity in the LOCAL Model

Yi Jun Chang; Tsvi Kopelowitz; Seth Pettie

\alpha

Collaboration


Dive into the Seth Pettie's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar

Ran Duan

University of Michigan

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Hsin Hao Su

University of Michigan

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Michael Elkin

Ben-Gurion University of the Negev

View shared research outputs
Top Co-Authors

Avatar

Maxwell Young

Mississippi State University

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Harold N. Gabow

University of Colorado Boulder

View shared research outputs
Researchain Logo
Decentralizing Knowledge