English
Related papers

Related papers: Ham-Sandwich Cuts for Abstract Order Types

200 papers

We resolve the computational complexity of two problems known as NECKLACE-SPLITTING and DISCRETE HAM SANDWICH, showing that they are PPA-complete. For NECKLACE SPLITTING, this result is specific to the important special case in which two…

Computational Complexity · Computer Science 2018-11-06 Aris Filos-Ratsikas , Paul W. Goldberg

We improve on random sampling techniques for approximately solving problems that involve cuts and flows in graphs. We give a near-linear-time construction that transforms any graph on n vertices into an O(n\log n)-edge graph on the same…

Data Structures and Algorithms · Computer Science 2007-05-23 Andras Benczur , David R. Karger

Given two point sets $R$ and $B$ in the plane, with cardinalities $m$ and $n$, respectively, and each set stored in a separate R-tree, we present an algorithm to decide whether $R$ and $B$ are linearly separable. Our algorithm exploits the…

Data Structures and Algorithms · Computer Science 2016-02-16 Gilberto Gutiérrez , Pablo Pérez-Lantero , Claudio Torres

Embedding image features into a binary Hamming space can improve both the speed and accuracy of large-scale query-by-example image retrieval systems. Supervised hashing aims to map the original features to compact binary codes in a manner…

Machine Learning · Computer Science 2016-11-17 Guosheng Lin , Chunhua Shen , Anton van den Hengel

We present linear-time algorithms for partitioning a path or a tree with weights on the vertices by removing $k$ edges to maximize the minimum-weight component. We also use the same framework to partition a path with weight on the vertices,…

Data Structures and Algorithms · Computer Science 2017-11-03 Greg N. Frederickson , Samson Zhou

The goal of this paper is to give a new, abstract approach to cover-decomposition and polychromatic colorings using hypergraphs on ordered vertex sets. We introduce an abstract version of a framework by Smorodinsky and Yuditsky, used for…

Combinatorics · Mathematics 2019-02-25 Balázs Keszegh , Dömötör Pálvölgyi

We propose a fixed-parameter tractable algorithm for the \textsc{Max-Cut} problem on embedded 1-planar graphs parameterized by the crossing number $k$ of the given embedding. A graph is called 1-planar if it can be drawn in the plane with…

Data Structures and Algorithms · Computer Science 2018-12-08 Christine Dahn , Nils M. Kriege , Petra Mutzel

In this paper, we propose new techniques for solving geometric optimization problems involving interpoint distances of a point set in the plane. Given a set $P$ of $n$ points in the plane and an integer $1 \leq k \leq \binom{n}{2}$, the…

Computational Geometry · Computer Science 2024-03-08 Haitao Wang , Yiming Zhao

In this paper, we combine the operator splitting methodology for abstract evolution equations with that of stochastic methods for large-scale optimization problems. The combination results in a randomized splitting scheme, which in a given…

Numerical Analysis · Mathematics 2022-10-12 Monika Eisenmann , Tony Stillfjord

A perfect matching in a hypergraph is a set of edges that partition the set of vertices. We study the complexity of deciding the existence of a perfect matching in orderable and separable hypergraphs. We show that the class of orderable…

Combinatorics · Mathematics 2022-02-03 Shmuel Onn

In this work, we propose a high-order multiscale method for an elliptic model problem with rough and possibly highly oscillatory coefficients. Convergence rates of higher order are obtained using the regularity of the right-hand side only.…

Numerical Analysis · Mathematics 2023-04-18 Zhaonan Dong , Moritz Hauck , Roland Maier

We provide a linear time algorithm to determine the flip distance between two plane spanning paths on a point set in convex position. At the same time, we show that the happy edge property does not hold in this setting. This has to be seen…

Computational Geometry · Computer Science 2026-02-11 Oswin Aichholzer , Joseph Dorfer

We show that deterministic finite automata equipped with $k$ two-way heads are equivalent to deterministic machines with a single two-way input head and $k-1$ linearly bounded counters if the accepted language is strictly bounded, i.e., a…

Formal Languages and Automata Theory · Computer Science 2014-08-07 Holger Petersen

We show that the Minimal Length-Bounded L-But problem can be computed in linear time with respect to L and the tree-width of the input graph as parameters. In this problem the task is to find a set of edges of a graph such that after…

Data Structures and Algorithms · Computer Science 2016-10-25 Dušan Knop , Pavel Dvořák

We consider the following problem: Let $\mathcal{L}$ be an arrangement of $n$ lines in $\mathbb{R}^3$ colored red, green, and blue. Does there exist a vertical plane $P$ such that a line on $P$ simultaneously bisects all three classes of…

Computational Geometry · Computer Science 2019-09-11 Alexander Pilz , Patrick Schnider

We introduce and analyse a new, extremely simple, randomised sorting algorithm: - choose a pair of indices $\{i, j\}$ according to some distribution $q$; - sort the elements in positions $i$ and $j$ of the array in ascending order. Choosing…

Data Structures and Algorithms · Computer Science 2025-02-10 Sam Olesker-Taylor

We consider two division problems on narrow strips of square and hexagonal lattices. In both cases we compute the bivariate enumerating sequences and the corresponding generating functions, which allowed us to determine the asymptotic…

Combinatorics · Mathematics 2023-04-25 Tomislav Došlić , Luka Podrug

We introduce an algorithm based on a method of snapshots for computing approximate balanced truncations for discrete-time, stable, linear time-periodic systems. By construction, this algorithm is applicable to very high-dimensional systems,…

Optimization and Control · Mathematics 2007-08-06 Zhanhua Ma , Clarence W. Rowley , Gilead Tadmor

This paper describes a graph clustering algorithm that aims to minimize the normalized cut criterion and has a model order selection procedure. The performance of the proposed algorithm is comparable to spectral approaches in terms of…

Artificial Intelligence · Computer Science 2011-05-06 Seyed Salim Tabatabaei , Mark Coates , Michael Rabbat

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski