English
Related papers

Related papers: Hydras: Directed Hypergraphs and Horn Formulas

200 papers

An identifying code $C$ of a graph $G$ is a dominating set of $G$ such that any two distinct vertices of $G$ have distinct closed neighbourhoods within $C$. These codes have been widely studied for over two decades. We give an improvement…

Combinatorics · Mathematics 2022-11-14 Florent Foucaud , Tuomo Lehtilä

For a given collection G of directed graphs we define the join-reachability graph of G, denoted by J(G), as the directed graph that, for any pair of vertices a and b, contains a path from a to b if and only if such a path exists in all…

Data Structures and Algorithms · Computer Science 2010-12-23 Loukas Georgiadis , Stavros D. Nikolopoulos , Leonidas Palios

The "slope-number" of a graph $G$ is the minimum number of distinct edge slopes in a straight-line drawing of $G$ in the plane. We prove that for $\Delta\geq5$ and all large $n$, there is a $\Delta$-regular $n$-vertex graph with…

Combinatorics · Mathematics 2008-09-09 Vida Dujmovic' , Matthew Suderman , David R. Wood

The threshold-$k$ metric dimension ($\mathrm{Tmd}_k$) of a graph is the minimum number of sensors -- a subset of the vertex set -- needed to uniquely identify any vertex in the graph, solely based on its distances from the sensors, when the…

Combinatorics · Mathematics 2021-11-18 Zsolt Bartha , Júlia Komjáthy , Järvi Raes

A h-uniform hypergraph H=(V,E) is called (l,k)-orientable if there exists an assignment of each hyperedge e to exactly l of its vertices such that no vertex is assigned more than k hyperedges. Let H_{n,m,h} be a hypergraph, drawn uniformly…

Probability · Mathematics 2012-01-26 Marc Lelarge

A support or realization of a hypergraph $H$ is a graph $G$ on the same vertex as $H$ such that for each hyperedge of $H$ it holds that its vertices induce a connected subgraph of $G$. The NP-hard problem of finding a planar support has…

Discrete Mathematics · Computer Science 2022-08-02 René van Bevern , Iyad A. Kanj , Christian Komusiewicz , Rolf Niedermeier , Manuel Sorge

For a given graph $G$, a "hopset" $H$ with hopbound $\beta$ and stretch $\alpha$ is a set of edges such that between every pair of vertices $u$ and $v$, there is a path with at most $\beta$ hops in $G \cup H$ that approximates the distance…

Data Structures and Algorithms · Computer Science 2025-05-08 Michael Dinitz , Ama Koranteng , Yasamin Nazari

For fixed integers $r\ge 3,e\ge 3,v\ge r+1$, an $r$-uniform hypergraph is called $\mathscr{G}_r(v,e)$-free if the union of any $e$ distinct edges contains at least $v+1$ vertices. Brown, Erd\H{o}s and S\'{o}s showed that the maximum number…

Combinatorics · Mathematics 2020-04-08 Chong Shangguan , Itzhak Tamo

We study reachability and shortest paths problems in dynamic directed graphs. Whereas algebraic dynamic data structures supporting edge updates and reachability/distance queries have been known for quite a long time, they do not, in…

Data Structures and Algorithms · Computer Science 2022-04-01 Adam Karczmarz , Anish Mukherjee , Piotr Sankowski

Let $G$ be a finite group, and let ${\rm{cd}}(G)$ denote the set of degrees of the irreducible complex characters of $G$. The degree graph $\Delta(G)$ of $G$ is defined as the simple undirected graph whose vertex set ${\rm{V}}(G)$ consists…

Group Theory · Mathematics 2018-11-06 Zeinab Akhlaghi , Silvio Dolfi , Emanuele Pacifici , Lucia Sanus

A directed graph is oriented if it can be obtained by orienting the edges of a simple, undirected graph. For an oriented graph $G$, let $\beta(G)$ denote the size of a minimum feedback arc set, a smallest subset of edges whose deletion…

Combinatorics · Mathematics 2022-04-20 Jacob Fox , Zoe Himwich , Nitya Mani

A set of vertices $S$ \emph{resolves} a connected graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The \emph{metric dimension} of $G$ is the minimum cardinality of a resolving set of $G$.…

Combinatorics · Mathematics 2012-05-21 Carmen Hernando , Merce Mora , Ignacio M. Pelayo , Carlos Seara , David R. Wood

In real life, it is always an urge to reach our goal in minimum effort i.e., it should have a minimum constrained path. The path may be shortest route in practical life, either physical or electronic medium. The scenario is to represents…

Neural and Evolutionary Computing · Computer Science 2014-01-14 Sounak Sadhukhan , Samar Sen Sarma

The \emph{distance-number} of a graph $G$ is the minimum number of distinct edge-lengths over all straight-line drawings of $G$ in the plane. This definition generalises many well-known concepts in combinatorial geometry. We consider the…

Combinatorics · Mathematics 2008-09-09 Paz Carmi , Vida Dujmović , Pat Morin , David R. Wood

A radio labeling of a graph $G$ is a mapping $f$ : $V(G) \rightarrow \{0, 1, 2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ holds for every pair of vertices $u$ and $v$, where $diam(G)$ is the diameter of $G$ and $d(u,v)$ is the…

Combinatorics · Mathematics 2021-08-31 Devsi Bantva , Daphne Der-Fen Liu

Graph burning is motivated by the spread of social influence, and the burning number measures the speed of the spread. Given that the smallest burning number among the spanning trees of a graph determines the burning number of a connected…

Combinatorics · Mathematics 2025-07-01 Eugene Jun Tong Leong , Kai An Sim , Wen Chean Teh

A dynamic graph algorithm is a data structure that answers queries about a property of the current graph while supporting graph modifications such as edge insertions and deletions. Prior work has shown strong conditional lower bounds for…

Data Structures and Algorithms · Computer Science 2023-01-30 Monika Henzinger , Ami Paz , A. R. Sricharan

Let $F(G)$ be the number of forests of a graph $G$. Similarly let $C(G)$ be the number of connected spanning subgraphs of a connected graph $G$. We bound $F(G)$ and $C(G)$ for regular graphs and for graphs with fixed average degree. Among…

Combinatorics · Mathematics 2021-08-03 Márton Borbényi , Péter Csikvári , Haoran Luo

The inducibility of a graph $H$ measures the maximum number of induced copies of $H$ a large graph $G$ can have. Generalizing this notion, we study how many induced subgraphs of fixed order $k$ and size $\ell$ a large graph $G$ on $n$…

Combinatorics · Mathematics 2019-11-05 Noga Alon , Dan Hefetz , Michael Krivelevich , Mykhaylo Tyomkyn

We introduce the discrete-time treatment number of a graph, in which each vertex is in exactly one of three states at any given time-step: compromised, vulnerable, or treated. Our treatment number is distinct from other graph searching…

Combinatorics · Mathematics 2025-10-13 N. E. Clarke , K. L. Collins , M. E. Messinger , A. N. Trenk , A. Vetta