English
Related papers

Related papers: Finding a Battleship of Uncertain Shape

200 papers

The $d$-Hitting Set problem is a fundamental problem in parameterized complexity, which asks whether a given hypergraph contains a vertex subset $S$ of size at most $k$ that intersects every hyperedge (i.e., $S \cap e \neq \emptyset$ for…

Data Structures and Algorithms · Computer Science 2025-07-01 Yuxi Liu , Mingyu Xiao

A family $\mathcal{F}$ on ground set $\{1,2,\ldots, n\}$ is maximal $k$-wise intersecting if every collection of $k$ sets in $\mathcal{F}$ has non-empty intersection, and no other set can be added to $\mathcal{F}$ while maintaining this…

Combinatorics · Mathematics 2022-06-30 József Balogh , Ce Chen , Haoran Luo

The impact forces generated by the impact of a breaking wave are poorly understood. These impulsive hydrodynamic loads to a ship's hull are of short duration relative to ship motions and buoyant wave loads and often result in extremely high…

Let G be a planar graph and F a set of additional edges not yet in G. The multiple edge insertion problem (MEI) asks for a drawing of G+F with the minimum number of pairwise edge crossings, such that the subdrawing of G is plane. Finding an…

Discrete Mathematics · Computer Science 2016-08-08 Markus Chimani , Petr Hlineny

In cooperative game theory, games in partition function form are real-valued function on the set of so-called embedded coalitions, that is, pairs $(S,\pi)$ where $S$ is a subset (coalition) of the set $N$ of players, and $\pi$ is a…

Discrete Mathematics · Computer Science 2010-02-22 Michel Grabisch

A badly approximable system of affine forms is determined by a matrix and a vector. We show Kleinbock's conjecture for badly approximable systems of affine forms: for any fixed vector, the set of badly approximable systems of affine forms…

Dynamical Systems · Mathematics 2009-12-30 Manfred Einsiedler , Jimmy Tseng

In this paper, we study the average case complexity of the Unique Games problem. We propose a natural semi-random model, in which a unique game instance is generated in several steps. First an adversary selects a completely satisfiable…

Data Structures and Algorithms · Computer Science 2011-04-20 Alexandra Kolla , Konstantin Makarychev , Yury Makarychev

Improved observational technologies have enabled the resolution of substructures and the measurement of chemical abundances in discs. Understanding the chemical composition of the inner disc allows us to infer the building blocks available…

Earth and Planetary Astrophysics · Physics 2024-06-26 Jingyi Mah , Sofia Savvidou , Bertram Bitsch

We consider the problem of firefighting to save a critical subset of nodes. The firefighting game is a turn-based game played on a graph, where the fire spreads to vertices in a breadth-first manner from a source, and firefighters can be…

Data Structures and Algorithms · Computer Science 2017-06-01 Jayesh Choudhari , Anirban Dasgupta , Neeldhara Misra , M. S. Ramanujan

Ever since the famous Erd\H{o}s-Ko-Rado theorem initiated the study of intersecting families of subsets, extremal problems regarding intersecting properties of families of various combinatorial objects have been extensively investigated.…

Combinatorics · Mathematics 2021-01-12 Xiangliang Kong , Yuanxiao Xi , Bingchen Qian , Gennian Ge

Given a family of sets on the plane, we say that the family is intersecting if for any two sets from the family their interiors intersect. In this paper, we study intersecting families of triangles with vertices in a given set of points. In…

Combinatorics · Mathematics 2021-02-19 Peter Frankl , Andreas Holmsen , Andrey Kupavskii

We study computing geometric problems on uncertain points. An uncertain point is a point that does not have a fixed location, but rather is described by a probability distribution. When these probability distributions are restricted to a…

Computational Geometry · Computer Science 2012-05-03 Allan Jorgensen , Maarten Löffler , Jeff M. Phillips

In the densest subgraph problem, given an edge-weighted undirected graph $G=(V,E,w)$, we are asked to find $S\subseteq V$ that maximizes the density, i.e., $w(S)/|S|$, where $w(S)$ is the sum of weights of the edges in the subgraph induced…

Data Structures and Algorithms · Computer Science 2021-10-27 Yasushi Kawase , Atsushi Miyauchi

A vertex partition $\pi = \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1\leq i<j\leq k$. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \emph{strongly…

Combinatorics · Mathematics 2023-10-10 Subhabrata Paul , Kamal Santra

Due to the undecidability of most type-related properties of System F like type inhabitation or type checking, restricted polymorphic systems have been widely investigated (the most well-known being ML-polymorphism). In this paper we…

Logic in Computer Science · Computer Science 2021-05-04 Paolo Pistone , Luca Tranchini

Circle geometries are incidence structures that capture the geometry of circles on spheres, cones and hyperboloids in 3-dimensional space. In a previous paper, the author characterised the largest intersecting families in finite ovoidal…

Combinatorics · Mathematics 2022-09-21 Sam Adriaensen

Given a finite poset P, we consider the largest size La(n,P) of a family of subsets of $[n]:=\{1,...,n\}$ that contains no subposet P. This problem has been studied intensively in recent years, and it is conjectured that $\pi(P):=…

Combinatorics · Mathematics 2011-09-07 Jerrold R. Griggs , Wei-Tian Li , Linyuan Lu

Given a universe $\mathcal{U}=R \cup B$ of a finite set of red elements $R$, and a finite set of blue elements $B$ and a family $\mathcal{F}$ of subsets of $\mathcal{U}$, the \RBSC problem is to find a subset $\mathcal{F}'$ of $\mathcal{F}$…

Computational Geometry · Computer Science 2022-09-15 V P Abidha , Pradeesha Ashok

A family of subsets of the set {1,2,...,n} is said to be unbalanced if the convex hull of its characteristic vectors misses the diagonal in the n-cube.The purpose of this article is to develop the combinatorics of maximal unbalanced…

Combinatorics · Mathematics 2012-09-12 L. J. Billera , J. Tatch Moore , C. Dufort Moraites , Y. Wang , K. Williams

Many-body systems, such as electrons flowing in a superconductor, are among the most difficult theoretical problems to study. A new family of exactly solvable models may offer some answers.

Superconductivity · Physics 2015-06-24 Michel Heritier