scholarly journals Monotone Paths in Random Hypergraphs

10.37236/2180 ◽  
2012 ◽  
Vol 19 (2) ◽  
Author(s):  
Matteo Novaga ◽  
Pietro Majer

We determine the probability thresholds for the existence of monotone paths, of finite and infinite length, in random oriented graphs with vertex set $\mathbb N^{[k]}$, the set of all increasing $k$-tuples in $\mathbb N$. These graphs appear as line graph of uniform hypergraphs with vertex set $\mathbb N$.

Mathematics ◽  
2021 ◽  
Vol 9 (5) ◽  
pp. 484
Author(s):  
Anita Keszler ◽  
Zsolt Tuza

In this paper, we consider the problem of constructing hypercycle systems of 5-cycles in complete 3-uniform hypergraphs. A hypercycle system C(r,k,v) of order v is a collection of r-uniform k-cycles on a v-element vertex set, such that each r-element subset is an edge in precisely one of those k-cycles. We present cyclic hypercycle systems C(3,5,v) of orders v=25,26,31,35,37,41,46,47,55,56, a highly symmetric construction for v=40, and cyclic 2-split constructions of orders 32,40,50,52. As a consequence, all orders v≤60 permitted by the divisibility conditions admit a C(3,5,v) system. New recursive constructions are also introduced.


2015 ◽  
Vol 25 (6) ◽  
pp. 870-908 ◽  
Author(s):  
NIKOLAOS FOUNTOULAKIS ◽  
MEGHA KHOSLA ◽  
KONSTANTINOS PANAGIOTOU

Ak-uniform hypergraphH= (V, E) is called ℓ-orientable if there is an assignment of each edgee∈Eto one of its verticesv∈esuch that no vertex is assigned more than ℓ edges. LetHn,m,kbe a hypergraph, drawn uniformly at random from the set of allk-uniform hypergraphs withnvertices andmedges. In this paper we establish the threshold for the ℓ-orientability ofHn,m,kfor allk⩾ 3 and ℓ ⩾ 2, that is, we determine a critical quantityc*k,ℓsuch that with probability 1 −o(1) the graphHn,cn,khas an ℓ-orientation ifc<c*k,ℓ, but fails to do so ifc>c*k,ℓ.Our result has various applications, including sharp load thresholds for cuckoo hashing, load balancing with guaranteed maximum load, and massive parallel access to hard disk arrays.


10.37236/2631 ◽  
2013 ◽  
Vol 20 (1) ◽  
Author(s):  
András Gyárfás ◽  
Gábor N. Sárközy

Here we address the problem to partition edge colored hypergraphs by monochromatic paths and cycles generalizing a well-known similar problem for graphs.We show that $r$-colored $r$-uniform complete hypergraphs can be partitioned into monochromatic Berge-paths of distinct colors. Also, apart from $2k-5$ vertices, $2$-colored $k$-uniform hypergraphs can be partitioned into two monochromatic loose paths.In general, we prove that in any $r$-coloring of a $k$-uniform hypergraph there is a partition of the vertex set intomonochromatic loose cycles such that their number depends only on $r$ and $k$.


1964 ◽  
Vol 16 ◽  
pp. 485-489 ◽  
Author(s):  
J. W. Moon

The set of all adjacency-preserving automorphisms of the vertex set of a graph form a group which is called the (automorphism) group of the graph. In 1938 Frucht (2) showed that every finite group is isomorphic to the group of some graph. Since then Frucht, Izbicki, and Sabidussi have considered various other properties that a graph having a given group may possess. (For pertinent references and definitions not given here see Ore (4).) The object in this paper is to treat by similar methods a corresponding problem for a class of oriented graphs. It will be shown that a finite group is isomorphic to the group of some complete oriented graph if and only if it has an odd number of elements.


1977 ◽  
Vol 20 (2) ◽  
pp. 215-220 ◽  
Author(s):  
L. Lesniak-Foster ◽  
James E. Williamson

AbstractA set E of edges of a graph G is said to be a dominating set of edges if every edge of G either belongs to E or is adjacent to an edge of E. If the subgraph 〈E〉 induced by E is a trail T, then T is called a dominating trail of G. Dominating circuits are defined analogously. A sufficient condition is given for a graph to possess a spanning (and thus dominating) circuit and a sufficient condition is given for a graph to possess a spanning (and thus dominating) trail between each pair of distinct vertices. The line graph L(G) of a graph G is defined to be that graph whose vertex set can be put in one-to-one correspondence with the edge set of G in such a way that two vertices of L(G) are adjacent if and only if the corresponding edges of G are adjacent. The existence of dominating trails and circuits is employed to present results on line graphs and second iterated line graphs, respectively.


2019 ◽  
Vol 30 (08) ◽  
pp. 1950052
Author(s):  
Feng Hu ◽  
Jin-Li Guo ◽  
Fa-Xu Li ◽  
Hai-Xing Zhao

Hypernetworks are ubiquitous in real-world systems. They provide a powerful means of accurately depicting networks of different types of entity and will attract more attention from researchers in the future. Most previous hypernetwork research has been focused on the application and modeling of uniform hypernetworks, which are based on uniform hypergraphs. However, random hypernetworks are generally more common, therefore, it is useful to investigate the evolution mechanisms of random hypernetworks. In this paper, we construct three dynamic evolutional models of hypernetworks, namely the equal-probability random hypernetwork model, the Poisson-probability random hypernetwork model and the certain-probability random hypernetwork model. Furthermore, we analyze the hyperdegree distributions of the three models with mean-field theory, and we simulate each model numerically with different parameter values. The simulation results agree well with the results of our theoretical analysis, and the findings indicate that our models could help understand the structure and evolution mechanisms of real systems.


Symmetry ◽  
2020 ◽  
Vol 12 (5) ◽  
pp. 809
Author(s):  
Milica Anđelić ◽  
Dejan Živković

The line graph of a graph G is another graph of which the vertex set corresponds to the edge set of G, and two vertices of the line graph of G are adjacent if the corresponding edges in G share a common vertex. A graph is reflexive if the second-largest eigenvalue of its adjacency matrix is no greater than 2. Reflexive graphs give combinatorial ground to generate two classes of algebraic numbers, Salem and Pisot numbers. The difficult question of identifying those graphs whose line graphs are reflexive (called L-reflexive graphs) is naturally attacked by first answering this question for trees. Even then, however, an elegant full characterization of reflexive line graphs of trees has proved to be quite formidable. In this paper, we present an efficient algorithm for the exhaustive generation of maximal L-reflexive trees.


Mathematics ◽  
2018 ◽  
Vol 7 (1) ◽  
pp. 2 ◽  
Author(s):  
Ke Zhang ◽  
Haixing Zhao ◽  
Zhonglin Ye ◽  
Yu Zhu ◽  
Liang Wei

A hypergraph H = ( V , ε ) is a pair consisting of a vertex set V , and a set ε of subsets (the hyperedges of H ) of V . A hypergraph H is r -uniform if all the hyperedges of H have the same cardinality r . Let H be an r -uniform hypergraph, we generalize the concept of trees for r -uniform hypergraphs. We say that an r -uniform hypergraph H is a generalized hypertree ( G H T ) if H is disconnected after removing any hyperedge E , and the number of components of G H T − E is a fixed value k   ( 2 ≤ k ≤ r ) . We focus on the case that G H T − E has exactly two components. An edge-minimal G H T is a G H T whose edge set is minimal with respect to inclusion. After considering these definitions, we show that an r -uniform G H T on n vertices has at least 2 n / ( r + 1 ) edges and it has at most n − r + 1 edges if r ≥ 3   and   n ≥ 3 , and the lower and upper bounds on the edge number are sharp. We then discuss the case that G H T − E has exactly k   ( 2 ≤ k ≤ r − 1 ) components.


2017 ◽  
Vol 27 (4) ◽  
pp. 531-538 ◽  
Author(s):  
DWIGHT DUFFUS ◽  
BILL KAY ◽  
VOJTĚCH RÖDL

An oriented k-uniform hypergraph (a family of ordered k-sets) has the ordering property (or Property O) if, for every linear order of the vertex set, there is some edge oriented consistently with the linear order. We find bounds on the minimum number of edges in a hypergraph with Property O.


1997 ◽  
Vol 07 (01n02) ◽  
pp. 5-20 ◽  
Author(s):  
Scott A. Mitchell

We consider the following problem: given a planar straight-line graph, find a covering triangulation whose maximum angle is as small as possible. A covering triangulation is a triangulation whose vertex set contains the input vertex set and whose edge set contains the input edge set. The covering triangulation problem differs from the usual Steiner triangulation problem in that we may not add a vertex on any input edge. Covering triangulations provide a convenient method for triangulating multiple regions sharing a common boundary, as each region can be triangulated independently. We give an explicit lower bound γopt on the maximum angle in any covering triangulation of a particular input graph in terms of its local geometry. Our algorithm produces a covering triangulation whose maximum angle γ is provably close to γopt. Specifically, we show that [Formula: see text], i.e., our γ is not much closer to π than is γopt. To our knowledge, this result represents the first nontrivial bound on a covering triangulation's maximum angle. Our algorithm adds O(n) Steiner points and runs in time O(n log n), where n is the number of vertices of the input. We have implemented an O(n2) time version of our algorithm.


Sign in / Sign up

Export Citation Format

Share Document