Let K (3) 4 denote the complete 3-uniform hypergraph on 4 vertices. Ajtai, Erdős, Komlós, and Szemerédi (1981) asked if there is a function ω(d) → ∞ such that every 3-uniform, K (3) 4 -free hypergraph H with N vertices and average degree d has independence number at least N d1/2 ω(d). We answer this question by constructing a 3-uniform, K (3) 4 -free hypergraph with independence number at most ...

The hypergraph augmentation problem is to augment a hypergraph by hyperedges to meet prescribed local connectivity requirements. We provide here a minimax theorem for this problem. The result is derived from the degree constrained version of the problem by a standard method. We shall construct the required hypergraph for the latter problem by a greedy type algorithm. A similar minimax result wi...

In this paper we use directed hypergraphs to represent the locality-based dependencies between the axioms of an OWL ontology. We define a notion of an axiom dependency hypergraph, where axioms are represented as nodes and dependencies between axioms as hyperedges connecting possibly several nodes with one node. We show that a locality-based module of an ontology corresponds to a connected compo...

Let k ≥ 2 be a fixed integer and P be a property of k-uniform hypergraphs. In other words, P is a (typically infinite) family of k-uniform hypergraphs and we say a given hypergraph H satisfies P if H ∈ P . For a given constant η > 0 a k-uniform hypergraph H on n vertices is η-far from P if no hypergraph obtained from H by changing (adding or deleting) at most ηn edges in H satisfies P . More pr...

A biclique is a maximal induced complete bipartite subgraph of a graph. We investigate the intersection structure of edge-sets of bicliques in a graph. Specifically, we study the associated edge-biclique hypergraph whose hyperedges are precisely the edge-sets of all bicliques. We characterize graphs whose edgebiclique hypergraph is conformal (i.e., it is the clique hypergraph of its 2-section) ...

A hypergraph pair is a pair (G,H) where G and H are hypergraphs on the same set of vertices. We extend the definitions of hypertree-width [7] and generalised hypertree-width [8] from hypergraphs to hypergraph pairs. We show that for constant k the problem of deciding whether a hypergraph pair has generalised hypertree-width ≤ k, is equivalent to the Hypergraph Sandwich Problem (HSP) [13]. It wa...

The densest subgraph problem (DSG) aiming at finding an induced such that the average edge-weights of is maximized, a well-studied problem. However, when input graph hypergraph, existing notion DSG fails to capture fact hyperedge partially belonging sub-hypergraph also part sub-hypergraph. To resolve issue, we suggest function $$f_e:\mathbb {Z}_{\ge 0}\rightarrow \mathbb {R}_{\ge 0}$$ represent...

Generating minimal transversals of a hypergraph is an important problem which has many applications in Computer Science. In the present paper, we address this problem and its decisional variant, i.e., the recognition of the transversal hypergraph for another hypergraph. We survey some results on problems which are known to be related to computing the transversal hypergraph, where we focus on pr...

Coarse grain parallelism inherent in the solution of Linear Programming LP problems with block angular constraint matrices has been exploited in recent research works However these approaches su er from unscalability and load imbalance since they exploit only the exist ing block angular structure of the LP constraint matrix In this paper we consider decomposing LP constraint matrices to obtain ...

The competition hypergraph CH(D) of a digraph D is the hypergraph such that the vertex set is the same as D and e ⊆ V (D) is a hyperedge if and only if e contains at least 2 vertices and e coincides with the in-neighborhood of some vertex v in the digraph D. Any hypergraph H with sufficiently many isolated vertices is the competition hypergraph of an acyclic digraph. The hypercompetition number...