Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 2233

Hypergraphs are generalizations of graphs, where edges can be made of more than two vertices.

2 votes
Accepted

Discrepancy of chromatic number and independent covering number for $k$-regular hypergraphs

Let $A$ and $B$ be disjoint sets of size $n$, and let $H$ be the hypergraph with vertex set $A \cup B$, whose hyperedges are all $3$-subsets $e$ of $A \cup B$ such that $|e \cap A| \in \{1, 2\}$. …
Tony Huynh's user avatar
  • 32.1k
4 votes
Accepted

$k$-regular linear set systems

I think they exist for all $k \geq 2$. Here is a proof. Fix an enumeration of $[\omega]^2$. For the first step in the process add an arbitrary $k$-set $q_1=q(p_1)$ containing the first pair $p_1$ of …
Tony Huynh's user avatar
  • 32.1k
1 vote
Accepted

Maximum number of hyperedges on a hypergraph without a spanning tree

Then add a hyperedge $e$ of size $n-1$ containing $x$ to make the hypergraph connected. … Let $\mathcal{H}$ be a hypergraph on $[n]$ with more than $3 \cdot 2^{n-2}$ hyperedges. …
Tony Huynh's user avatar
  • 32.1k
6 votes

Intersecting 4-sets

For all even $n \geq 16$, $N:=\binom{n/2}{2}$ is the right answer. Semi-proof. Let $n=2k$ and observe that $4N=2k(k-1)$. Thus, if more than $N$ sets appear, then some element $x$ occurs in at leas …
Tony Huynh's user avatar
  • 32.1k
3 votes

Bipartiteness criterion

Indeed we can define a cycle in a hypergraph as a sequence of distinct alternating vertices and hyperedges $C:=v_1, E_1, v_2, E_2, \dots, v_n, E_n, v_1, E_1$, where $v_i \in E_i \cap E_{i+1}$ for all $ … Let $\mathcal{H}$ be a hypergraph where each hyperedge contains at least 3 vertices. …
Tony Huynh's user avatar
  • 32.1k
3 votes
Accepted

Injective choice function for finite Fano planes

Yes, there is always such a map. Let $k$ be the number of vertices in each edge of $H=(V,E)$. Consider an arbitrary vertex $v \in V$ and choose $e \in E$ such that $v \notin e$. For each $w \in e$ …
Tony Huynh's user avatar
  • 32.1k
2 votes
Accepted

Summable hypergraphs

No, not every sane hypergraph is summable. To see this, let $G$ be a star with five leaves $\ell_1, \dots, \ell_5$ all adjacent to a vertex $u$. … Then turn $G$ into a sane hypergraph $H$ by adding the hyperedges $\{\ell_1,\ell_2\}$ and $\{\ell_3, \ell_4, \ell_5\}$. …
Tony Huynh's user avatar
  • 32.1k
7 votes

VC dimension of vector spaces

Given a hypergraph $H=(V,E)$ and $X \subseteq V$, we say that $X$ is shattered if for all $X' \subseteq X$, there exists $e \in E$ such that $e \cap X=X'$. … Given a finite dimensional vector space $\mathbb V$, let $H$ be the hypergraph with vertex set $\mathbb V$ and whose edges are the subspaces of $\mathbb V$. …
Tony Huynh's user avatar
  • 32.1k
3 votes
Accepted

Coloring hypergraphs with no singleton intersections

Let $H=(V,E)$ be a finite hypergraph such that $|e| > 1$ for all $e \in E$ and for all distinct $e_1, e_2 \in E$, $|e_1 \cap e_2| \neq 1$. Then $H$ is $2$-chromatic. Proof. …
Tony Huynh's user avatar
  • 32.1k
3 votes

Maximum bipartite graph (1,n) "matching"

This problem seems pretty hard. Let $G$ be a bipartite graph with bipartition $(A,B)$. One easy case to consider is if each vertex in $A$ has degree $k$ and we seek a maximum $(1, k)$ matching. For …
Tony Huynh's user avatar
  • 32.1k
8 votes

Does the hypergraph structure of the set of subgroups of a finite group characterize isomorp...

To expand on Steve D's comment, the answer is indeed yes for finite abelian groups. The following is a simplified version of an earlier proof (rendering some of the below comments obsolete). Proof. …
Tony Huynh's user avatar
  • 32.1k
5 votes
Accepted

Clutters with no maximum-size matchings

Yes, this is possible. For each prime $p$ and $c \in \{0,1, \dots, p-1\}$ let $A_{c,p}=\{c+kp \mid k \in \mathbb{Z}\}$. Clearly, the set of all $A_{c,p}$ is a clutter $\mathcal C$ with ground set $\ …
Tony Huynh's user avatar
  • 32.1k
2 votes
Accepted

3-Approximation Algorithm for 3-Hitting Set

Let $\mathcal{H}$ be a hypergraph where each hyperedge has size $3$. A vertex cover is a set of vertices $X$ such that every hyperedge is incident to a vertex in $X$. …
Tony Huynh's user avatar
  • 32.1k
19 votes

Is there a version of König's theorem for tripartite 3-graphs?

This is a special case of Ryser's Conjecture, which states that in an $r$-partite, $r$-uniform hypergraph (with $r>1$) $\tau \leq (r-1) \nu$, where $\tau$ is the size of a minimum cover and $\nu …
Tony Huynh's user avatar
  • 32.1k