English
Related papers

Related papers: Saturation Problems in Convex Geometric Hypergraph…

200 papers

In this paper, we study the Maximum Common Vertex Subgraph problem: Given two input graphs $G_1,G_2$ and a non-negative integer $h$, is there a common subgraph $H$ on at least $h$ vertices such that there is no isolated vertex in $H$. In…

Computational Complexity · Computer Science 2026-04-29 Palash Dey , Anubhav Dhar , Ashlesha Hota , Sudeshna Kolay , Aritra Mitra

A graph $G$ is $H$-saturated for a graph $H$, if $G$ does not contain a copy of $H$ but adding any new edge to $G$ results in such a copy. An $H$-saturated graph on a given number of vertices always exists and the properties of such graphs,…

Combinatorics · Mathematics 2020-08-21 Maria Axenovich , Mónika Csikós

For a graph G with real weights assigned to the vertices (edges), the MAX H-SUBGRAPH problem is to find an H-subgraph of G with maximum total weight, if one exists. The all-pairs MAX H-SUBGRAPH problem is to find for every pair of vertices…

Data Structures and Algorithms · Computer Science 2007-05-23 Virginia Vassilevska , Ryan Williams , Raphael Yuster

Let $F$ and $H$ be $k$-uniform hypergraphs. We say $H$ is $F$-saturated if $H$ does not contain a subgraph isomorphic to $F$, but $H+e$ does for any hyperedge $e\not\in E(H)$. The saturation number of $F$, denoted $\mathrm{sat}_k(n,F)$, is…

Combinatorics · Mathematics 2022-02-16 Sean English , Alexandr Kostochka , Dara Zirlin

A simple topological graph is a topological graph in which any two edges have at most one common point, which is either their common endpoint or a proper crossing. More generally, in a k-simple topological graph, every pair of edges has at…

Computational Geometry · Computer Science 2016-02-22 Péter Hajnal , Alexander Igamberdiev , Günter Rote , André Schulz

A graph $H$ is $K_s$-saturated if it is a maximal $K_s$-free graph, i.e., $H$ contains no clique on $s$ vertices, but the addition of any missing edge creates one. The minimum number of edges in a $K_s$-saturated graph was determined over…

Combinatorics · Mathematics 2016-04-14 Dániel Korándi , Benny Sudakov

In this paper we present a complete characterization of the smallest sets which block all the simple perfect matchings in a complete convex geometric graph on $2m$ vertices. In particular, we show that all these sets are caterpillar graphs…

Combinatorics · Mathematics 2009-11-18 Chaya Keller , Micha A. Perles

A well-known result of Kupitz from 1982 asserts that the maximal number of edges in a convex geometric graph (CGG) on $n$ vertices that does not contain $k+1$ pairwise disjoint edges is $kn$ (provided $n>2k$). For $k=1$ and $k=n/2-1$, the…

Combinatorics · Mathematics 2015-05-04 Chaya Keller , Micha A. Perles

Given graphs $G$ and $H$, $G$ is $H$-saturated if $H$ is not a subgraph of $G$, but for all $e \notin E(G)$, $H$ appears as a subgraph of $G + e$. While for every $n \ge |V(H)|$, there exists an $n$-vertex graph that is $H$-saturated, the…

Combinatorics · Mathematics 2015-03-10 Sarah Behrens , Catherine Erbes , Michael Santana , Derrek Yager , Elyse Yeager

We consider parameterised subgraph-counting problems of the following form: given a graph G, how many k-tuples of its vertices have a given property? A number of such problems are known to be #W[1]-complete; here we substantially generalise…

Computational Complexity · Computer Science 2014-09-26 Mark Jerrum , Kitty Meeks

The vertex-deleted subgraph G-v, obtained from the graph G by deleting the vertex v and all edges incident to v, is called a card of G. The deck of G is the multiset of its unlabelled cards. The number of common cards b(G,H) of G and H is…

Combinatorics · Mathematics 2020-10-19 Paul Brown , Trevor Fenner

We develop a notion of containment for independent sets in hypergraphs. For every $r$-uniform hypergraph $G$, we find a relatively small collection $C$ of vertex subsets, such that every independent set of $G$ is contained within a member…

Combinatorics · Mathematics 2014-12-01 David Saxton , Andrew Thomason

A hypergraph $H=(V(H), E(H))$ is a Berge copy of a graph $F$, if $V(F)\subset V(H)$ and there is a bijection $f:E(F)\rightarrow E(H)$ such that for any $e\in E(F)$ we have $e\subset f(e)$. A hypergraph is Berge-$F$-free if it does not…

Combinatorics · Mathematics 2021-03-16 Dániel Gerbner , Balázs Patkós , Zsolt Tuza , Máté Vizer

Determine the size of $r$-graphs with given graph parameters is an interesting problem. Chv\'atal and Hanson (JCTB, 1976) gave a tight upper bound of the size of 2-graphs with restricted maximum degree and matching number; Khare (DM, 2014)…

Combinatorics · Mathematics 2017-09-22 Xinmin Hou , Lei Yu , Jun Gao , Boyuan Liu

We consider several basic questions pertaining to the geometry of image of a general quadratic map. In general the image of a quadratic map is non-convex, although there are several known classes of quadratic maps when the image is convex.…

Optimization and Control · Mathematics 2018-10-03 Anatoly Dymarsky , Elena Gryazina , Sergei Volodin , Boris Polyak

For given graphs $F$ and $G$, the minimum number of edges in an inclusion-maximal $F$-free subgraph of $G$ is called the $F$-saturation number and denoted $\mathrm{sat}(G, F)$. For the star $F=K_{1,r}$, the asymptotics of…

Combinatorics · Mathematics 2022-12-13 Sergej Demyanov , Maksim Zhukovskii

A geometric graph is a graph whose vertices are points in general position in the plane and its edges are straight line segments joining these points. In this paper we give an $O(n^2 \log n)$ algorithm to compute the number of pairs of…

Computational Geometry · Computer Science 2020-09-04 Frank Duque , Ruy Fabila-Monroy , César Hernández-Vélez , Carlos Hidalgo-Toscano

A non-uniform hypergraph $H=(V,E)$ consists of a vertex set $V$ and an edge set $E\subseteq 2^V$; the edges in $E$ are not required to all have the same cardinality. The set of all cardinalities of edges in $H$ is denoted by $R(H)$, the set…

Combinatorics · Mathematics 2013-01-10 Travis Johnston , Linyuan Lu

Given a set $R$, a hypergraph is $R$-uniform if the size of every hyperedge belongs to $R$. A hypergraph $\mathcal{H}$ is called \textit{covering} if every vertex pair is contained in some hyperedge in $\mathcal{H}$. In this note, we show…

Combinatorics · Mathematics 2020-05-11 Linyuan Lu , Zhiyu Wang

Hypergraphs are structures that can be decomposed or described; in other words they are recursively countable. Here, we get exact and asymptotic enumeration results on hypergraphs by means of exponential generating functions. The number of…

Discrete Mathematics · Computer Science 2008-06-20 Tsiriniaina Andriamampianina