English
Related papers

Related papers: A Tractable Variant of Cover Time

200 papers

Several variants of the Constraint Satisfaction Problem have been proposed and investigated in the literature for modelling those scenarios where solutions are associated with some given costs. Within these frameworks computing an optimal…

Artificial Intelligence · Computer Science 2012-09-18 Georg Gottlob , Gianluigi Greco , Francesco Scarcello

We study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions that record relevant information for the time analysis (cost…

Programming Languages · Computer Science 2015-11-17 Elena Giachino , Einar Broch Johnsen , Cosimo Laneve , Ka I Pun

We revisit an old minor topic in algorithms, the deterministic walk on a finite graph which always moves toward the nearest unvisited vertex until every vertex is visited. There is an elementary connection between this cover time and…

Probability · Mathematics 2021-03-19 David Aldous

In this paper we study the problem of sorting under non-uniform comparison costs, where costs are either 1 or $\infty$. If comparing a pair has an associated cost of $\infty$ then we say that such a pair cannot be compared (forbidden…

Data Structures and Algorithms · Computer Science 2015-11-12 Indranil Banerjee , Dana Richards

Online graph problems are considered in models where the irrevocability requirement is relaxed. Motivated by practical examples where, for example, there is a cost associated with building a facility and no extra cost associated with doing…

Data Structures and Algorithms · Computer Science 2017-05-01 Joan Boyar , Lene M. Favrholdt , Kim S. Larsen , Michal Kotrbčík

Temporal graphs are a special class of graphs for which a temporal component is added to edges, that is, each edge possesses a set of times at which it is available and can be traversed. Many classical problems on graphs can be translated…

Data Structures and Algorithms · Computer Science 2025-04-10 Lapo Cioni , Riccardo Dondi , Andrea Marino , Jason Schoeters , Ana Silva

A cycle cover of a graph is a set of cycles such that every vertex is part of exactly one cycle. An L-cycle cover is a cycle cover in which the length of every cycle is in the set L. The weight of a cycle cover of an edge-weighted graph is…

Computational Complexity · Computer Science 2009-09-29 Bodo Manthey

We define a graph-based rate optimization problem and consider its computation, which provides a unified approach to the computation of various theoretical limits, including the (conditional) graph entropy, rate-distortion functions and…

Information Theory · Computer Science 2025-03-18 Deheng Yuan , Tao Guo , Zhongyi Huang , Shi Jin

It has been shown that for a certain special type of quantum graphs the random-matrix form factor can be recovered to at least third order in the scaled time \tau using periodic-orbit theory. Two types of contributing pairs of orbits were…

Chaotic Dynamics · Physics 2007-05-23 G. Berkolaiko

We provide conditions that classify cover times for sequences of random walks on random graphs into two types: One type (Type 1) is the class of cover times that are of the order of the maximal hitting times scaled by the logarithm of the…

Probability · Mathematics 2015-11-03 Yoshihiro Abe

A word-representable graph is a simple graph $G$ which can be represented by a word $w$ over the vertices of $G$ such that any two vertices are adjacent in $G$ if and only if they alternate in $w$. It is known that the class of…

Discrete Mathematics · Computer Science 2021-09-09 Khyodeno Mozhui , K. V. Krishna

Random walks on graphs are an essential primitive for many randomised algorithms and stochastic processes. It is natural to ask how much can be gained by running $k$ multiple random walks independently and in parallel. Although the cover…

Discrete Mathematics · Computer Science 2026-02-19 Nicolás Rivera , Thomas Sauerwald , John Sylvester

We introduce a new technique for bounding the cover time of random walks by relating it to the runtime of randomized broadcast. In particular, we strongly confirm for dense graphs the intuition of Chandra et al. \cite{CRRST97} that "the…

Data Structures and Algorithms · Computer Science 2009-02-11 Robert Elsässer , Thomas Sauerwald

A graph is unipolar if it can be partitioned into a clique and a disjoint union of cliques, and a graph is a generalised split graph if it or its complement is unipolar. A unipolar partition of a graph can be used to find efficiently the…

Data Structures and Algorithms · Computer Science 2016-04-05 Colin McDiarmid , Nikola Yolov

An obstacle representation of a plane graph G is V(G) together with a set of opaque polygonal obstacles such that G is the visibility graph on V(G) determined by the obstacles. We investigate the problem of computing an obstacle…

Computational Geometry · Computer Science 2011-08-15 Matthew P. Johnson , Deniz Sarioz

We consider a variation of cop vs.\ robber on graph in which the robber is not restricted by the graph edges; instead, he picks a time-independent probability distribution on $V(G)$ and moves according to this fixed distribution. The cop…

Combinatorics · Mathematics 2013-08-23 Natasha Komarov , Peter Winkler

Several classical combinatorial problems have been considered and analysed on temporal graphs. Recently, a variant of Vertex Cover on temporal graphs, called MinTimelineCover, has been introduced to summarize timeline activities in social…

Data Structures and Algorithms · Computer Science 2023-07-04 Riccardo Dondi , Manuel Lafond

In this work, we study the trade-off between the running time of approximation algorithms and their approximation guarantees. By leveraging a structure of the `hard' instances of the Arora-Rao-Vazirani lemma [JACM'09], we show that the…

Data Structures and Algorithms · Computer Science 2018-07-27 Pasin Manurangsi , Luca Trevisan

In this paper, we present two main results. First, by only one conjecture (Conjecture 2.9) for recognizing a vertex symmetric graph, which is the hardest task for our problem, we construct an algorithm for finding an isomorphism between two…

Data Structures and Algorithms · Computer Science 2017-06-29 Caishi Fang

We investigate a variety of problems of finding tours and cycle covers with minimum turn cost. Questions of this type have been studied in the past, with complexity and approximation results as well as open problems dating back to work by…

Computational Geometry · Computer Science 2019-04-26 Sándor P. Fekete , Dominik Krupke
‹ Prev 1 3 4 5 6 7 10 Next ›