Source author record

Nicholas Harvey

Nicholas Harvey appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Data Structures and Algorithms Graphics Human-Computer Interaction math.CO

Catalog footprint

What is connected

2works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

LSQT: Low-Stretch Quasi-Trees for Bundling and Layout

We introduce low-stretch trees to the visualization community with LSQT, our novel technique that uses quasi-trees for both layout and edge bundling. Our method offers strong computational speed and complexity guarantees by leveraging the convenient properties of low-stretch trees, which accurately reflect the topological structure of arbitrary graphs with superior fidelity compared to arbitrary spanning trees. Low-stretch quasi-trees also have provable sparseness guarantees, providing algorithmic support for aggressive de-cluttering of hairball graphs. LSQT does not rely on previously computed vertex positions and computes bundles based on topological structure before any geometric layout occurs. Edge bundles are computed efficiently and stored in an explicit data structure that supports sophisticated visual encoding and interaction techniques, including dynamic layout adjustment and interactive bundle querying. Our unoptimized implementation handles graphs of over 100,000 edges in eight seconds, providing substantially higher performance than previous approaches.

preprint2015arXiv

An Algorithmic Proof of the Lovasz Local Lemma via Resampling Oracles

The Lovasz Local Lemma is a seminal result in probabilistic combinatorics. It gives a sufficient condition on a probability space and a collection of events for the existence of an outcome that simultaneously avoids all of those events. Finding such an outcome by an efficient algorithm has been an active research topic for decades. Breakthrough work of Moser and Tardos (2009) presented an efficient algorithm for a general setting primarily characterized by a product structure on the probability space. In this work we present an efficient algorithm for a much more general setting. Our main assumption is that there exist certain functions, called resampling oracles, that can be invoked to address the undesired occurrence of the events. We show that, in all scenarios to which the original Lovasz Local Lemma applies, there exist resampling oracles, although they are not necessarily efficient. Nevertheless, for essentially all known applications of the Lovasz Local Lemma and its generalizations, we have designed efficient resampling oracles. As applications of these techniques, we present new results for packings of Latin transversals, rainbow matchings and rainbow spanning trees.