English
Related papers

Related papers: Sur la complexit\'e de familles d'ensembles pseudo…

200 papers

Given a family of subsets $\mathcal S$ over a set of elements~$X$ and two integers~$p$ and~$k$, Max k-Set Cover consists of finding a subfamily~$\mathcal T \subseteq \mathcal S$ of cardinality at most~$k$, covering at least~$p$ elements…

Computational Complexity · Computer Science 2016-09-28 Edouard Bonnet , Vangelis Th. Paschos , Florian Sikora

In this paper, as a main theorem, we prove that the decision version of the Frobenius problem is Sigma_2^P-complete under Karp reductions.Given a finite set A of coprime positive integers, we call the greatest integer that cannot be…

Computational Complexity · Computer Science 2016-11-16 Shunichi Matsubara

In the area of forbidden subposet problems we look for the largest possible size $La(n,P)$ of a family $\mathcal{F}\subseteq 2^{[n]}$ that does not contain a forbidden inclusion pattern described by $P$. The main conjecture of the area…

Combinatorics · Mathematics 2020-07-15 Dániel Gerbner , Dániel Nagy , Balázs Patkós , Máté Vizer

For a given subset $A\subseteq \mathbb F_q^*$, we study the problem of finding a large packing set $B$ of $A$, that is, a set $B \subseteq \mathbb F_q^*$ such that $|AB|=|A||B|$. We prove the existence of such a $B$ of size $|B|\ge…

Combinatorics · Mathematics 2017-05-04 Oliver Roche-Newton , Ilya D. Shkredov , Arne Winterhof

The ratio set of a set of positive integers $A$ is defined as $R(A) := \{a / b : a, b \in A\}$. The study of the denseness of $R(A)$ in the set of positive real numbers is a classical topic and, more recently, the denseness in the set of…

Number Theory · Mathematics 2020-12-15 Piotr Miska , Carlo Sanna

Let us fix a prime $p$. The Erd\H{o}s-Ginzburg-Ziv problem asks for the minimum integer $s$ such that any collection of $s$ points in the lattice $\mathbb{Z}^n$ contains $p$ points whose centroid is also a lattice point in $\mathbb{Z}^n$.…

Combinatorics · Mathematics 2020-06-30 Lisa Sauermann

We study a generalization of the \emph{Frobenius problem}: given $k$ positive relatively prime integers, what is the largest integer $g_0$ that cannot be represented as a nonnegative integral linear combination of these parameters? More…

Number Theory · Mathematics 2013-10-07 Matthias Beck , Curtis Kifer

Let $0<\lambda\leq1$, $\lambda\notin\left\{\frac24, \frac27, \frac2{10}, \frac2{13}, \ldots\right\}$, be a real and $p$ a prime number, with $[p,p+\lambda p]$ containing at least two primes. Denote by $f_\lambda(p)$ the largest integer…

Number Theory · Mathematics 2022-03-02 Michael Hellus , Anton Rechenauer , Rolf Waldi

In this paper, we investigate the computational complexity of the knapsack problem and subset sum problem for the following tropical algebraic structures. We consider the semigroup of square matrices of size $k \times k$ with non-negative…

Combinatorics · Mathematics 2026-05-11 I. M. Buchinskiy , M. V. Kotov , A. V. Treier

We asymptotically determine the size of the largest family F of subsets of {1,...,n} not containing a given poset P if the Hasse diagram of P is a tree. This is a qualitative generalization of several known results including Sperner's…

Combinatorics · Mathematics 2009-11-21 Boris Bukh

The following classical question in extremal set theory is due to Erd\H os and S\'os: what is the size of the largest family $\mathcal F\subset {[n]\choose k}$ with no two sets $F_1,F_2\in \mathcal F$ such that $|F_1\cap F_2| = t$? In this…

Combinatorics · Mathematics 2026-02-12 Andrey Kupavskii , Yakov Shubin

The subalgebra membership problem is the problem of deciding if a given element belongs to an algebra given by a set of generators. This is one of the best established computational problems in algebra. We consider a variant of this…

Logic in Computer Science · Computer Science 2023-06-22 Andrei Bulatov , Peter Mayr , Ágnes Szendrei

For a nonnegative integer $p$, the $p$-numerical semigroup $S_p$ is defined as the set of integers whose nonnegative integral linear combinations of given positive integers $a_1,a_2,\dots,a_\kappa$ with $\gcd(a_1,a_2,\dots,a_\kappa)=1$ are…

Combinatorics · Mathematics 2024-01-05 Takao Komatsu , Jiaxin Mu

Let $P$ be a subset of the primes of lower density strictly larger than $\frac12$. Then, every sufficiently large even integer is a sum of four primes from the set $P$. We establish similar results for $k$-summands, with $k\geq 4$, and for…

Number Theory · Mathematics 2024-11-05 Michael T. Lacey , Hamed Mousavi , Yaghoub Rahimi , Manasa N. Vempati

Let $M$ be a real $r\times c$ matrix and let $k$ be a positive integer. In the column subset selection problem (CSSP), we need to minimize the quantity $\|M-SA\|$, where $A$ can be an arbitrary $k\times c$ matrix, and $S$ runs over all…

Combinatorics · Mathematics 2017-01-12 Yaroslav Shitov

The purpose of this article is to examine and limit the conditions in which the P complexity class could be equivalent to the NP complexity class. Proof is provided by demonstrating that as the number of clauses in a NP-complete problem…

Computational Complexity · Computer Science 2008-09-07 Jerrald Meek

It is well known that if S is a subset of the integers mod p, and if the second-largest Fourier coefficient is ``small'' relative to the largest coefficient, then the sumset S+S is much larger than S. We show in the present paper that if…

Combinatorics · Mathematics 2007-11-28 Ernie Croot , Tomasz Schoen

The paper considers the problem of finding the largest possible set P(n), a subset of the set N of the natural numbers, with the property that a number is in P(n) if and only if it is a sum of n distinct naturals all in P(n) or none in…

Discrete Mathematics · Computer Science 2008-09-18 Bidu Prakash Das , Soubhik Chakraborty

The so-called Frobenius number in the famous linear Diophantine problem of Frobenius is the largest integer such that the linear equation $a_1 x_1+\cdots+a_k x_k=n$ ($a_1,\dots,a_k$ are given positive integers with $\gcd(a_1,\dots,a_k)=1$)…

Combinatorics · Mathematics 2023-06-21 Takao Komatsu , Haotian Ying

We show that for every $k\in\mathbb{N}$ and $\varepsilon>0$, for large enough alphabet $R$, given a $k$-CSP with alphabet size $R$, it is NP-hard to distinguish between the case that there is an assignment satisfying at least…

Computational Complexity · Computer Science 2025-10-29 Dor Minzer , Kai Zhe Zheng
‹ Prev 1 2 3 10 Next ›