English
Related papers

Related papers: First-Fit is Linear on Posets Excluding Two Long I…

200 papers

Circular permutation connects the N and C termini of a protein and concurrently cleaves elsewhere in the chain, providing an important mechanism for generating novel protein fold and functions. However, their in genomes is unknown because…

Biomolecules · Quantitative Biology 2016-11-17 T. Andrew Binkowski , Bhaskar DasGupta , Jie Liang

Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced…

Combinatorics · Mathematics 2025-09-15 Maria-Romina Ivan , Sean Jaffe

Let $S$ be a finite set of geometric objects partitioned into classes or \emph{colors}. A subset $S'\subseteq S$ is said to be \emph{balanced} if $S'$ contains the same amount of elements of $S$ from each of the colors. We study several…

Computational Geometry · Computer Science 2017-08-22 Sergey Bereg , Matias Korman , Rodrigo I. Silveira , Ferran Hurtado , Dolores Lara , Jorge Urrutia , Mikio Kano , Carlos Seara , Kevin Verbeek

An $N$-free poset is a poset whose comparability graph does not embed an induced path with four vertices. We use the well-quasi-order property of the class of countable $N$-free posets and some labelled ordered trees to show that a…

Combinatorics · Mathematics 2023-01-09 Davoud Abdi

We study the following geometric separation problem: Given a set $R$ of red points and a set $B$ of blue points in the plane, find a minimum-size set of lines that separate $R$ from $B$. We show that, in its full generality, parameterized…

Computational Geometry · Computer Science 2017-10-03 Édouard Bonnet , Panos Giannopoulos , Michael Lampis

Given an undirected graph $G$, a collection $\{(s_1,t_1),..., (s_k,t_k)\}$ of pairs of vertices, and an integer $p$, the Edge Multicut problem ask if there is a set $S$ of at most $p$ edges such that the removal of $S$ disconnects every…

Data Structures and Algorithms · Computer Science 2015-03-17 Dániel Marx , Igor Razgon

We study the problems of covering or partitioning a polygon $P$ (possibly with holes) using a minimum number of small pieces, where a small piece is a connected sub-polygon contained in an axis-aligned unit square. For covering, we seek to…

A skew shape is the difference of two top-left justified Ferrers shapes sharing the same top-left corner. We study integer fillings of skew shapes. As our first main result, we show that for a specific hereditary class of skew shapes, which…

Combinatorics · Mathematics 2023-06-22 Vít Jelínek , Mark Karpilovskij

Posets which are retract of products of chains are characterized by means of two properties: \emph{the chain-gap property} and \emph{the selection property} (Rival and Wille, 1981 \cite {R-W}). Examples of posets with the selection property…

Combinatorics · Mathematics 2007-05-23 Dwight Duffus , Claude Laflamme , Maurice Pouzet

We consider the Min-$r$-Lin$(Z_m)$ problem: given a system $S$ of length-$r$ linear equations modulo $m$, find $Z \subseteq S$ of minimum cardinality such that $S-Z$ is satisfiable. The problem is NP-hard and UGC-hard to approximate in…

Data Structures and Algorithms · Computer Science 2025-09-08 Konrad K. Dabrowski , Peter Jonsson , Sebastian Ordyniak , George Osipov , Magnus Wahlström

Anderson established a connection between core partitions and order ideals of certain posets by mapping a partition to its $\beta$-set. In this paper, we give a characterization of the poset $P_{(s,s+1,s+2)}$ whose order ideals correspond…

Combinatorics · Mathematics 2014-07-10 Jane Y. X. Yang , Michael X. X. Zhong , Robin D. P. Zhou

First-order logic (FO) can express many algorithmic problems on graphs, such as the independent set and dominating set problem, parameterized by solution size. On the other hand, FO cannot express the very simple algorithmic question of…

Logic in Computer Science · Computer Science 2021-11-10 Nicole Schirrmacher , Sebastian Siebertz , Alexandre Vigny

Maximum Independent Set (MIS for short) is in general graphs the paradigmatic $W[1]$-hard problem. In stark contrast, polynomial-time algorithms are known when the inputs are restricted to structured graph classes such as, for instance,…

Data Structures and Algorithms · Computer Science 2019-09-19 Édouard Bonnet , Nicolas Bousquet , Stéphan Thomassé , Rémi Watrigant

We show that if A is a finite set of integers then it has a subset S of size \log^{1+c} |A| (c>0 absolute) such that s+s' is never in A when s and s' are distinct elements of S.

Classical Analysis and ODEs · Mathematics 2019-11-07 Tom Sanders

Let PG$(r, q)$ be the $r$-dimensional projective space over the finite field ${\rm GF}(q)$. A set $\cal X$ of points of PG$(r, q)$ is a cutting blocking set if for each hyperplane $\Pi$ of PG$(r, q)$ the set $\Pi \cap \cal X$ spans $\Pi$.…

Combinatorics · Mathematics 2020-11-24 Daniele Bartoli , Antonio Cossidente , Giuseppe Marino , Francesco Pavese

An overpartition is a partition such that the first occurrence (equivalently, the last occurrence) of a number may be overlined. In this article, we investigate three contents of overpartitions. We first consider the $r$-chain minimal and…

Combinatorics · Mathematics 2026-01-29 Y. H. Chen , Y. Q. Chen , Thomas Y. He , H. X. Huang , X. Zhang

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

A theorem of Ding, Oporowski, Oxley, and Vertigan implies that any sufficiently large twin-free graph contains a large matching, a co-matching, or a half-graph as a semi-induced subgraph. The sizes of these unavoidable patterns are measured…

Computational Complexity · Computer Science 2026-02-10 Jan Dreier , Nikolas Mählmann , Sebastian Siebertz

Erd\H{o}s asked whether there are infinitely many finite sets of distinct primes $p_1<\cdots<p_k$ and positive integers $m$ such that \begin{equation}\label{eq:erdos-original} \frac1{p_1}+\cdots+\frac1{p_k}=1-\frac1m. \end{equation} This is…

Number Theory · Mathematics 2026-05-22 Han Wang

In the Minimum Bisection problem, input is a graph $G$ and the goal is to partition the vertex set into two parts $A$ and $B$, such that $||A|-|B|| \le 1$ and the number $k$ of edges between $A$ and $B$ is minimized. This problem can be…

Data Structures and Algorithms · Computer Science 2023-08-22 Tanmay Inamdar , Daniel Lokshtanov , Saket Saurabh , Vaishali Surianarayanan