English
Related papers

Related papers: Improved Examples of Non-Termination for Ruppert's…

200 papers

Effective resistances are ubiquitous in graph algorithms and network analysis. In this work, we study sublinear time algorithms to approximate the effective resistance of an adjacent pair $s$ and $t$. We consider the classical adjacency…

Data Structures and Algorithms · Computer Science 2023-07-06 Dongrun Cai , Xue Chen , Pan Peng

In this work, we analyze two of the most fundamental algorithms in geodesically convex optimization: Riemannian gradient descent and (possibly inexact) Riemannian proximal point. We quantify their rates of convergence and produce different…

Optimization and Control · Mathematics 2024-03-18 David Martínez-Rubio , Christophe Roux , Sebastian Pokutta

For their famous algorithm for the disjoint paths problem, Robertson and Seymour proved that there is a function $f$ such that if the tree-width of a graph $G$ with $k$ pairs of terminals is at least $f(k)$, then $G$ contains a…

Discrete Mathematics · Computer Science 2019-01-15 Isolde Adler , Philipp Klaus Krause

In this paper, the study of extreme value bounds for topological indices is crucial for understanding their influence on trees and bipartite graphs. For integers $\alpha, p$ satisfying $1 \leq p \leq \alpha \leq \Delta - 3$, the minimum…

Combinatorics · Mathematics 2025-12-16 Jasem Hamoud , Duaa Abdullah

Computing planar orthogonal drawings with the minimum number of bends is one of the most relevant topics in Graph Drawing. The problem is known to be NP-hard, even when we want to test the existence of a rectilinear planar drawing, i.e., an…

Computational Geometry · Computer Science 2023-09-07 Emilio Di Giacomo , Walter Didimo , Giuseppe Liotta , Fabrizio Montecchiani , Giacomo Ortali

We demonstrate that the greedy algorithm for reduction of divisors on metric graphs need not terminate by modeling the Euclidean algorithm in this context. We observe that any infinite reduction has a well defined limit allowing us to treat…

Combinatorics · Mathematics 2015-04-17 Spencer Backman

In this paper, we introduce a bisected vertex leveling of a plane graph. Using this planar embedding, we present elementary proofs of the well-known upper bounds in terms of the minimal crossing number on braid index $b(L)$ and arc index…

Geometric Topology · Mathematics 2018-06-27 Sungjong No , Seungsang Oh , Hyungkee Yoo

It is well known that 3--regular graphs with arbitrarily large girth exist. Three constructions are given that use the former to produce non-Hamiltonian 3--regular graphs without reducing the girth, thereby proving that such graphs with…

Combinatorics · Mathematics 2019-02-28 Michael Haythorpe

We present four novel approximation algorithms for finding triangulation of minimum treewidth. Two of the algorithms improve on the running times of algorithms by Robertson and Seymour, and Becker and Geiger that approximate the optimum by…

Data Structures and Algorithms · Computer Science 2013-01-14 Eyal Amir

The model problem of a plane angle for a second-order elliptic system subject to Dirichlet, mixed, and Neumann boundary conditions is analyzed. For each boundary condition, the existence of solutions of the form $r^\lambda v$ is reduced to…

Analysis of PDEs · Mathematics 2025-11-26 Michael Tsopanopoulos

The "slope-number" of a graph $G$ is the minimum number of distinct edge slopes in a straight-line drawing of $G$ in the plane. We prove that for $\Delta\geq5$ and all large $n$, there is a $\Delta$-regular $n$-vertex graph with…

Combinatorics · Mathematics 2008-09-09 Vida Dujmovic' , Matthew Suderman , David R. Wood

A straight-line drawing $\delta$ of a planar graph $G$ need not be plane, but can be made so by \emph{untangling} it, that is, by moving some of the vertices of $G$. Let shift$(G,\delta)$ denote the minimum number of vertices that need to…

Computational Geometry · Computer Science 2009-01-27 Xavier Goaoc , Jan Kratochvil , Yoshio Okamoto , Chan-Su Shin , Andreas Spillner , Alexander Wolff

We introduce and study level-planar straight-line drawings with a fixed number $\lambda$ of slopes. For proper level graphs, we give an $O(n \log^2 n / \log \log n)$-time algorithm that either finds such a drawing or determines that no such…

Data Structures and Algorithms · Computer Science 2019-08-02 Guido Brückner , Nadine Davina Krisam , Tamara Mchedlidze

We present a method to gradually compute a smaller and smaller unsatisfiable core of a propositional formula by minimizing proofs of unsatisfiability. The goal is to compute a minimal unsatisfiable core that is relatively small compared to…

Logic in Computer Science · Computer Science 2019-07-16 Marijn J. H. Heule

The all-terminal reliability of a graph $G$ is the probability that $G$ remains connected when each edge fails independently with probability $p$. For fixed $n$ and $m$, the uniformly most reliable problem asks which graph with $n$ vertices…

Combinatorics · Mathematics 2026-03-03 Rotem Brand , Reuven Cohen , Simi Haber , Baruch Barzel

Gradient boundedness up to the boundary for solutions to Dirichlet and Neumann problems for elliptic systems with Uhlenbeck type structure is established. Nonlinearities of possibly non-polynomial type are allowed, and minimal regularity on…

Analysis of PDEs · Mathematics 2012-12-27 Andrea Cianchi , Vladimir Maz'ya

We use isoperimetric inequalities combined with a new technique to prove upper bounds for the site percolation threshold of plane graphs with given minimum degree conditions. In the process we prove tight new isoperimetric bounds for…

Probability · Mathematics 2022-02-22 John Haslegrave , Christoforos Panagiotis

We analyse an extremal question on the degrees of the link graphs of a finite regular graph, that is, the subgraphs induced by non-trivial spheres. We show that if $G$ is $d$-regular and connected but not complete then some link graph of…

Combinatorics · Mathematics 2022-06-13 Itai Benjamini , John Haslegrave

Square grids play a pivotal role in Robertson and Seymour's work on graph minors as planar obstructions to small treewidth. We introduce a three-sided bramble in a plane graph called a net, which generalizes the standard bramble of crosses…

Combinatorics · Mathematics 2017-06-28 Karen L. Collins , Brett C. Smith

The stability analysis of model predictive control schemes without terminal constraints and/or costs has attracted considerable attention during the last years. We pursue a recently proposed approach which can be used to determine a…

Optimization and Control · Mathematics 2014-01-16 Philipp Braun , Jürgen Pannek , Karl Worthmann