English
Related papers

Related papers: On the Average Complexity of the $k$-Level

200 papers

Let $r(k)$ denote the maximum number of edges in a $k$-uniform intersecting family with covering number $k$. Erd\H{o}s and Lov\'asz proved that $ \lfloor k! (e-1) \rfloor \leq r(k) \leq k^k.$ Frankl, Ota, and Tokushige improved the lower…

Combinatorics · Mathematics 2016-04-19 Andrii Arman , Troy Retter

We study the computational complexity of decision problems in $k$-level linear programming (LP). Seminal work by Jeroslow establishes that determining whether the optimal objective value of a $k$-level LP is at least as good as a given…

Optimization and Control · Mathematics 2026-05-07 Nagisa Sugishita , Margarida Carvalho

We study the maximum $k$-set coverage problem in the following distributed setting. A collection of sets $S_1,\ldots,S_m$ over a universe $[n]$ is partitioned across $p$ machines and the goal is to find $k$ sets whose union covers the most…

Data Structures and Algorithms · Computer Science 2018-08-24 Sepehr Assadi , Sanjeev Khanna

We prove new upper and lower bounds on the number of iterations the $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) requires until stabilization. For $k \geq 3$, we show that $k$-WL stabilizes after at most $O(kn^{k-1}\log n)$…

Data Structures and Algorithms · Computer Science 2025-04-21 Martin Grohe , Moritz Lichter , Daniel Neuen

The $(k, z)$-Clustering problem in Euclidean space $\mathbb{R}^d$ has been extensively studied. Given the scale of data involved, compression methods for the Euclidean $(k, z)$-Clustering problem, such as data compression and dimension…

Computational Geometry · Computer Science 2025-03-18 Xiaoyi Zhu , Yuxiang Tian , Lingxiao Huang , Zengfeng Huang

We first review some topics in the classical computational geometry of lines, in particular the O(n^{3+\epsilon}) bounds for the combinatorial complexity of the set of lines in R^3 interacting with $n$ objects of fixed description…

Metric Geometry · Mathematics 2007-05-23 Frank Sottile , Thorsten Theobald

A \emph{$k$-planar graph} is a graph that can be drawn in the plane such that every edge is crossed at most $k$ times. For $k \leq 4$, Pach and T\'oth proved a bound of $(k+3)(n-2)$ on the total number of edges of a $k$-planar graph, which…

Computational Geometry · Computer Science 2016-08-31 Michael A. Bekos , Michael Kaufmann , Chrysanthi N. Raftopoulou

We analyze the complexity of fitting a variety, coming from a class of varieties, to a configuration of points in $\Bbb C^n$. The complexity measure, called the algebraic complexity, computes the Euclidean Distance Degree (EDdegree) of a…

Algebraic Geometry · Mathematics 2020-10-19 Oliver Gäfvert

It is well-known that if a subset A of a finite Abelian group G satisfies a quasirandomness property called uniformity of degree k, then it contains roughly the expected number of arithmetic progressions of length k, that is, the number of…

Number Theory · Mathematics 2014-02-26 W. T. Gowers , J. Wolf

An irregular vertex in a tiling by polygons is a vertex of one tile and belongs to the interior of an edge of another tile. In this paper we show that for any integer $k\geq 3$, there exists a normal tiling of the Euclidean plane by convex…

Metric Geometry · Mathematics 2019-12-02 Dirk Frettlöh , Alexey Glazyrin , Zsolt Lángi

We initiate the study of average intersection theory in real Grassmannians. We define the expected degree $\textrm{edeg} G(k,n)$ of the real Grassmannian $G(k,n)$ as the average number of real $k$-planes meeting nontrivially $k(n-k)$ random…

Algebraic Geometry · Mathematics 2018-01-22 Peter Bürgisser , Antonio Lerario

Let $S$ be a set of $n$ points in $\mathbb{R}^3$, no three collinear and not all coplanar. If at most $n-k$ are coplanar and $n$ is sufficiently large, the total number of planes determined is at least $1 + k…

Combinatorics · Mathematics 2010-10-12 George B. Purdy , Justin W. Smith

Let $M$ be a perfect matching on a set of points in the plane where every edge is a line segment between two points. We say that $M$ is globally maximum if it is a maximum-length matching on all points. We say that $M$ is $k$-local maximum…

Computational Geometry · Computer Science 2024-06-03 Ahmad Biniaz , Anil Maheshwari , Michiel Smid

We consider the degree/diameter problem for graphs embedded in a surface, namely, given a surface $\Sigma$ and integers $\Delta$ and $k$, determine the maximum order $N(\Delta,k,\Sigma)$ of a graph embeddable in $\Sigma$ with maximum degree…

Combinatorics · Mathematics 2014-05-06 Ramiro Feria-Puron , Guillermo Pineda-Villavicencio

In this paper, we establish lower bounds for the oracle complexity of the first-order methods minimizing regularized convex functions. We consider the composite representation of the objective. The smooth part has H\"older continuous…

Optimization and Control · Mathematics 2022-02-10 Nikita Doikov

Generalizing a result (the case $k = 1$) due to M. A. Perles, we show that any polytopal upper bound sphere of odd dimension $2k + 1$ belongs to the generalized Walkup class ${\cal K}_k(2k + 1)$, i.e., all its vertex links are $k$-stacked…

Geometric Topology · Mathematics 2014-01-14 Bhaskar Bagchi , Basudeb Datta

We prove a new lower bound on the algorithmic information content of points lying on a line in $\mathbb{R}^n$. More precisely, we show that a typical point $z$ on any line $\ell$ satisfies \begin{equation*} K_r(z)\geq \frac{K_r(\ell)}{2} +…

Classical Analysis and ODEs · Mathematics 2025-10-14 Jacob B. Fiedler

Given a sphere of any radius $r$ in an $n$-dimensional Euclidean space, we study the coverings of this sphere with solid spheres of radius one. Our goal is to design a covering of the lowest covering density, which defines the average…

Metric Geometry · Mathematics 2018-05-22 Ilya Dumer

We prove the sharp upper bound of at most $52$ lines on a complex K3-surface of degree four with a non-empty singular locus. We also classify the configurations of more than $48$ lines on smooth complex quartics.

Algebraic Geometry · Mathematics 2025-05-19 Alex Degtyarev , Sławomir Rams

In this paper we consider several instances of the k-center on a line problem where the goal is, given a set of points S in the plane and a parameter k >= 1, to find k disks with centers on a line l such that their union covers S and the…

Computational Geometry · Computer Science 2009-02-20 Peter Brass , Christian Knauer , Hyeon-Suk Na , Chan-Su Shin , Antoine Vigneron