English
Related papers

Related papers: On the $k$-Hamming and $k$-Edit Distances

200 papers

In the kSUM problem we are given an array of numbers $a_1,a_2,...,a_n$ and we are required to determine if there are $k$ different elements in this array such that their sum is 0. This problem is a parameterized version of the well-studied…

Data Structures and Algorithms · Computer Science 2018-07-11 Isaac Goldstein , Moshe Lewenstein , Ely Porat

The restriction and Kakeya problems in Euclidean space have received much attention in the last few decades, and are related to many problems in harmonic analysis, PDE, and number theory. In this paper we initiate the study of these…

Classical Analysis and ODEs · Mathematics 2010-03-23 Gerd Mockenhaupt , Terence Tao

The aim of this work is to algebraically describe the relative generalized Hamming weights of evaluation codes. We give a lower bound for these weights in terms of a footprint bound. We prove that this bound can be sharp. We compute the…

Information Theory · Computer Science 2024-02-07 Delio Jaramillo-Velez , Hiram H. López , Yuriko Pitones

We consider a robust variant of the classical $k$-median problem, introduced by Anthony et al. \cite{AnthonyGGN10}. In the \emph{Robust $k$-Median problem}, we are given an $n$-vertex metric space $(V,d)$ and $m$ client sets $\set{S_i…

Data Structures and Algorithms · Computer Science 2013-09-19 Sayan Bhattacharya , Parinya Chalermsook , Kurt Mehlhorn , Adrian Neumann

This work investigates the hardness of computing sparse solutions to systems of linear equations over F_2. Consider the k-EvenSet problem: given a homogeneous system of linear equations over F_2 on n variables, decide if there exists a…

Computational Complexity · Computer Science 2015-11-30 Arnab Bhattacharyya , Ameet Gadekar , Suprovat Ghoshal , Rishi Saket

We prove that the inhabitation problem for rank two intersection types is decidable, but (contrary to common belief) EXPTIME-hard. The exponential time hardness is shown by reduction from the in-place acceptance problem for alternating…

Logic in Computer Science · Computer Science 2007-05-23 Dariusz Kusmierek

I make some remarks on Hodge symmetry, and prove for instance that if $k$ is a perfect field of characteristic $p>0$ and $X/k$ smooth, proper and Hodge-Witt scheme, and Hodge de Rham sequence of $X$ degenerates at $E_1$ and $X$ has…

Algebraic Geometry · Mathematics 2014-02-19 Kirti Joshi

We study two related problems: finding a set of k vertices and minimum number of edges (kmin) and finding a graph with at least m' edges and minimum number of vertices (mvms). Goldschmidt and Hochbaum \cite{GH97} show that the mvms problem…

Data Structures and Algorithms · Computer Science 2013-11-05 Rajiv Gandhi , G. Kortsarz

Schoening presents a simple randomized algorithm for (d,k)-CSP problems with running time (d(k-1)/k)^n poly(n). Here, d is the number of colors, k is the size of the constraints, and n is the number of variables. A derandomized version of…

Computational Complexity · Computer Science 2010-05-27 Dominik Scheder

The quantum k-Local Hamiltonian problem is a natural generalization of classical constraint satisfaction problems (k-CSP) and is complete for QMA, a quantum analog of NP. Although the complexity of k-Local Hamiltonian problems has been well…

Quantum Physics · Physics 2021-11-16 Ojas Parekh , Kevin Thompson

Given a set $P$ of $n$ points in the plane, its unit-disk graph $G(P)$ is a graph with $P$ as its vertex set such that two points of $P$ are connected by an edge if their (Euclidean) distance is at most $1$. We consider several classical…

Computational Geometry · Computer Science 2025-01-03 Anastasiia Tkachenko , Haitao Wang

A pattern $\alpha$ is a string of variables and terminal letters. We say that $\alpha$ matches a word $w$, consisting only of terminal letters, if $w$ can be obtained by replacing the variables of $\alpha$ by terminal words. The matching…

Data Structures and Algorithms · Computer Science 2022-07-18 Paweł Gawrychowski , Florin Manea , Stefan Siemer

In the $k$-Center problem, we are given a graph $G=(V,E)$ with positive edge weights and an integer $k$ and the goal is to select $k$ center vertices $C \subseteq V$ such that the maximum distance from any vertex to the closest center…

Computational Complexity · Computer Science 2020-08-18 Johannes Blum

In the $k$-cut problem, we want to find the lowest-weight set of edges whose deletion breaks a given (multi)graph into $k$ connected components. Algorithms of Karger \& Stein can solve this in roughly $O(n^{2k})$ time. On the other hand,…

Data Structures and Algorithms · Computer Science 2023-10-13 Anupam Gupta , David G. Harris , Euiwoong Lee , Jason Li

Given a set $P$ of $n$ points in $\mathbf{R}^d$, and a positive integer $k \leq n$, the $k$-dispersion problem is that of selecting $k$ of the given points so that the minimum inter-point distance among them is maximized (under Euclidean…

Computational Geometry · Computer Science 2025-11-04 Ke Chen , Adrian Dumitrescu

We prove a generalization of the hyperplane inequality for intersection bodies, where volume is replaced by an arbitrary measure $\mu$ with even continuous density and sections are of arbitrary dimension $n-k,\ 1\le k <n.$ If $K$ is a…

Metric Geometry · Mathematics 2011-08-15 Alexander Koldobsky , Dan Ma

The Euclidean $k$-means problem is a classical problem that has been extensively studied in the theoretical computer science, machine learning and the computational geometry communities. In this problem, we are given a set of $n$ points in…

Computational Complexity · Computer Science 2015-02-12 Pranjal Awasthi , Moses Charikar , Ravishankar Krishnaswamy , Ali Kemal Sinop

In this paper, we generalize the notions of perfect matchings, perfect 2-matchings to perfect k-matchings and give a necessary and sufficient condition for existence of perfect k-matchings. For bipartite graphs, we show that this k-matching…

Combinatorics · Mathematics 2010-08-26 Hongliang Lu

In the k-Path problem, the input is a directed graph $G$ and an integer $k\geq 1$, and the goal is to decide whether there is a simple directed path in $G$ with exactly $k$ vertices. We give a deterministic algorithm for k-Path with time…

Data Structures and Algorithms · Computer Science 2019-01-25 Dekel Tsur

We obtain new upper bounds on the minimal density of lattice coverings of Euclidean space by dilates of a convex body K. We also obtain bounds on the probability (with respect to the natural Haar-Siegel measure on the space of lattices)…

Number Theory · Mathematics 2020-06-03 Or Ordentlich , Oded Regev , Barak Weiss