Social networks are represented using graph theory. In this case, individuals in a social network are assumed as nodes. Sometimes institutions or groups are also assumed as nodes. Institutions and such groups are assumed as cluster nodes that contain individuals or simple nodes. Hypergraphs have hyperedges that include more than one node. In this study, cluster hypergraphs are introduced to generalize the concept of hypergraphs, where cluster nodes are allowed. Sometimes competitions in the real world are done as groups. Cluster hypergraphs are used to represent such kinds of competitions. Competition cluster hypergraphs of semidirected graphs (a special type of mixed graphs called semidirected graphs, where the directed and undirected edges both are allowed) are introduced, and related properties are discussed. To define competition cluster hypergraphs, a few properties of semidirected graphs are established. Some associated terms on semidirected graphs are studied. At last, a numerical application is illustrated.
1. Introduction
Cohen introduced the concept of a competition graph [1] with application in an ecosystem which was related to the competition among species in a food web. If two species have at least one common prey, then there is a competition between them. Let G⟶=V,E⟶ be a digraph, which corresponds to a food web. A vertex x∈V represents a species in the food web, and an arc x,s⟶∈E⟶ means x preys on the species s. The competition graph CG⟶ of a digraph G⟶ is an undirected graph G=V,E which has the same vertex set and has an edge between two distinct vertices x,y∈V if there exists a vertex s∈V and arcs x,s⟶,y,s⟶∈E⟶.
There are various research works on competition graphs. Roberts et al. studied that any graph with isolated vertices is the competition graph [2, 3], and the minimum number of such vertices is called the competition number. Opsut discussed the computation of competition numbers [4] of a graph. Kim et al. introduced the p-competition graph [5] and also the p-competition number [6]. Brigham et al. introduced the ∅−tolerance graph as a generalization of p-competition [7]. Cho and Kim studied competition numbers [8] of a graph having one hole. Li and Chang proposed about a competition graph [9] with h holes. Factor and Merz introduced the 1,2-step competition graph [10] of a tournament and extended the 1,2-step competition graph. But group competition along with the individual competition is not considered in these papers. This study developed the representations of an individual and group competition by cluster hypergraphs.
A hypergraph is a generalization of a graph in which any subset of a vertex set is an edge rather than two vertex sets. Especially, Berge [11, 12] introduced hypergraphs as a generalization of graph theory as follows.
Let X=x1,x2,…,xn be a finite set and let E=e1,e2,…,em be a family of subsets of X such that(1)ei≠ϕ,i=1,2,…,m,∪i=1mei=X.
The pair X,E is called a hypergraph with vertex set X and hyperedge set E. The elements x1,x2,…,xn of X are vertices of hypergraph H, and the sets e1,e2,…,em are hyperedges of hypergraph H.
Burosch and Ceccherini [13] characterised cube hypergraphs, where each hyperedge contains three vertices. Bergen et al. [14] studied infection in hypergraphs. There are various research works on hypergraphs [15–29]. Sonntag and Teichert [30] defined hypertrees, and they extended the notion to competition hypergraphs [31] in another paper in 2004. But, group competition was ignored in the paper. Cluster hypergraphs have been introduced here to capture the notion of a cluster node.
Mixed graphs represent social networks accurately as there may be directed edges and undirected edges. Directed edges are the indication of influences, dominations, or followers while undirected edges are the indication of the opposite cases where individuals are connected but without following each other. The study of mixed graphs [32, 33] was started from 1970 where the edges are directed or undirected as follows: Adiga et al. studied the adjacency matrix [34] of mixed graphs. There are various research works related to matrices [35] and isomorphism [36] on mixed graphs. There are many applications of mixed graphs on social networks. For example, Facebook networks [37] allow mixed direction when if at least one friend follows another along with their friendship, then there are directed edges (for following) along with undirected edges (for friendship). In this sense, considering the mixed graph where the edges both directed and undirected are considered as semidirected graphs, we introduced the representation of competition of semidirected graphs as a special type of hypergraphs, called the competition cluster hypergraph where the nodes may be a cluster or a simple node. This study has the following contributions. In Section 2, semidirected graphs and their properties have been developed. In Section 3, cluster hypergraphs and related notions are introduced. The competition cluster hypergraphs and their classifications are analyzed in Section 4. At last, an application and conclusions are drawn in Section 5. Throughout this paper, mixed graphs and semidirected graphs are used synonymously.
2. Semidirected Graph
The definition of a semidirected graph is given as follows.
Definition 1.
(see [32]). Let V be a nonempty set of elements, called vertices or nodes. Also, let E=E1∪E2⟶ where E1⊂V×V is a set of unordered pairs of vertices, i.e., E1=u,vu,v∈V, called a set of undirected edges, and E2⟶⊂V×V is a set of ordered pair of vertices, E2⟶=a,b⟶a,b∈V, called a set of directed edges. Here, G=V,E1,E2⟶ is said to be a semidirected graph.
The preliminary terms are not defined in the literature. These terms are defined as follows. Incidence number which is related to the degree of a node is defined in the following.
Definition 2.
The degree of a vertex u is denoted as a triplet Du=du,d+u,d−u where du is the number of all incident edges of u in E1, d+u is the number of out-directed edges of E2⟶ from the vertex u, and d−u is the number of in-directed edges of E2⟶ towards the vertex u. Now, the incidence number of a vertex u is denoted as inu and defined inu=du+d+u−d−u.
Example 1.
The degree of a vertex a of the graph, as shown in Figure 1, is given as da=1,1,2. Now, the incidence number is ina=1+1−2=0.
A related property has been developed as follows.
A semidirected graph.
Theorem 1.
The sum of the incidence numbers in a semidirected graph is always even.
Proof.
Let G=V,E1,E2⟶ be a semidirected graph with n vertices. If inu, du, d+u, and d−u denote the incidence number, degree, in-degree, and out-degree of a vertex u, respectively, then invi=dvi+d+vi−d−vi and hence(2)∑i=1ninvi=∑i=1ndvi+∑i=1nd+vi−∑i=1nd−vi.
Since one undirected edge contributes two degrees, then ∑i=1ndvi=even number. Also, if there is a directed edge in the graph, then it is a source of one vertex and also a sink of another vertex, thus ∑i=1nd+vi=∑i=1nd−vi.
Hence, ∑i=1ninvi = even number is true.
The definitions of complete semidirected graphs are introduced in the following.
Definition 3.
If there exist all three types of connections, i.e., out-directed edges, in-directed edges, and undirected edges, between every pair of vertices, then the graph is called a complete semidirected graph.
Without having all three types of edges, sometimes graphs may be completely depending on the incidence number and connections between every pair of vertices.
Definition 4.
A semidirected graph is said to be a complete-incidence semidirected graph if every pair of vertices is connected by at least one edge (undirected or directed), and the incidence number of all vertices is equal.
Example 2.
Since, as shown in Figure 2, there are connections (undirected or directed) between every pair of vertices and the incidence number of each of the vertices is 3, it is a complete-incidence semidirected graph.
An example of a complete-incidence semidirected graph.
Definition 5.
Neighbourhood, out-neighbourhood, and in-neighbourhood of a vertex u in a semidirected graph G=V,E1,E2⟶ are denoted as Nu,N+u, and N−u and defined as follows:(3)Nu=v∈Vu,v∈E1,N+u=v∈Vu,v⟶∈E2⟶,N−u=v∈Vv,u⟶∈E2⟶.
The maximal out-neighbourhood vertex set is an out-neighbourhood of a vertex which is not contained in other out-neighbourhood of any vertices.
The maximal in-neighbourhood vertex set is an in-neighbourhood of a vertex which is not contained in other in-neighbourhood of any vertices.
Example 3.
In Figure 3,(4)Nd=e,N+d=a,b,c,N+e=b,c,N−d=a,b,N−e=a,b,c.
Thus, N+d is a maximal out-neighbourhood set and N−e is a maximal in-neighbourhood set of the semidirected graph assumed in Figure 3.
A semidirected graph.
Definition 6.
The m−stepneighbourhood, m−step out-neighbourhood, and m−step in-neighbourhood of a vertex u in a semidirected graph G=V,E1,E2⟶ are denoted as Nmu,Nm+u, and Nm−u and defined as follows:(5)Nmu=vm∈V:for all paths such that u−v1−v2−⋯−vm,Nm+u=vm∈V:for all paths such that u⟶v1⟶v2⟶⋯⟶vm,Nm−u=vm∈V:for all paths such that u⟵v1⟵v2⟵⋯⟵vm.
Example 4.
In Figure 3, N2d=∅, N2+d=e, and N2−d=e.
Definition 7.
The m-step semidirected graph Gm=Vm,E1m,E2m⟶ of a semidirected graph G=V,E1,E2⟶ is defined as follows:
(i) Vertex set of Gm is Vm=V
(ii) Edge set of Gm is E1m=u,vm:vm∈Nmu, E⟶2m=u,vm⟶:vm∈Nm+u or Nm−u
Example 5.
In Figure 4, the corresponding 2-step semidirected graph of Figure 3 is shown.
2-step semidirected graph of Figure 3.
3. Cluster HypergraphsDefinition 8.
Let X be a nonempty set and VX be a subset of PX such that ϕ∉VX and X⊂VX. Now, E be a multiset whose elements belong to PPX such that
ϕ∉E
For each element e∈E, there exists at least one element v∈VX such that v∈e
Then, G=VX,E is said to be cluster hypergraph where VX is said to be the vertex set and E is said to be the multi-hyperedge set.
The k-cluster hypergraph is defined as follows.
Definition 9.
Let X be a nonempty set and VX be a subset of PkX, k=1,2,3,… such that ϕ∉VX and X⊂VX. Now, E be a multiset whose elements belong to PVX such that
ϕ∉E
For each element e∈E, there exists at least one element v∈VX such that v∈e
Then, G=VX,E is said to be k-cluster hypergraph where VX is said to be the vertex set and E is said to be the multi-hyperedge set. Generally, for k=1, 1-cluster hypergraphs are assumed as cluster hypergraphs.
Example 6.
In Figure 5, X=A,B,C,E,F,G, VX=A,B,C,D=B,C,E,F,G,H=F,G, and E=A,B,A,E,B,C,B,B,C,C,F,G,F,G,F,F,G,G,F,G,B,C. It can be easily verified that for each element e in E, there exists an element v∈VX such that v∈e. For example, for F,G,F in E, there exists an element(6)F,G∈VX,such that F,G∈F,G,F.
A cluster hypergraph.
Virtual representation of Figure 5.
Remark 1.
The vertex set of a cluster hypergraph may contain a group of people/individuals in a network as a node (cluster node) while all the people in the network are assumed as simple nodes. This concept is helpful to assume any organisation or group as nodes in any network. Also, it is assumed that each node inside a cluster node is automatically connected to the cluster node, but these inside nodes may not be connected to each other.
The definition of a cluster hypergraph includes the concept of the multi-hyperedge set. Thus, the repetition of elements in E is allowed.
In a virtual representation (Figure 6) of any cluster hypergraph, the cluster nodes are assumed as separate nodes, and the connections to the inside nodes are shown in the representation.
3.1. Types of Cluster Hypergraphs
Depending on the cluster node sizes and their edges, cluster hypergraphs are classified into different categories. To classify, maximal nodes are to be defined. The maximal nodes are those nodes which are not contained in any other cluster nodes. The elements of X are termed as simple nodes. A simple node may be termed as a maximal node if it does not belong to any other nodes. For example, in Figure 7, the node f is a simple as well as a maximal node, but the node a,b,c,d is a maximal node.
Virtual representations of CCCH (2-cluster hypergraphs have been assumed here).
3.1.1. Uniform Cluster Hypergraphs
A cluster hypergraph is said to be am,n-uniform cluster hypergraph if every edge of the hypergraph contains exactly m nodes and each maximal node contains n simple nodes. In Figure 8, a 2,3-uniform cluster hypergraph is shown.
A (2,3)-uniform cluster hypergraph and its virtual representation.
A cluster hypergraph is said to be cluster connected cluster hypergraphs (CCCH) if there are edges only connecting the maximal cluster nodes. In that case, maximal cluster nodes are automatically connected to its internal nodes. In Figure 7, a CCCH is shown.
3.1.3. Completeness Property of Cluster Hypergraphs
Let X be a nonempty set containing n elements. A cluster hypergraph G=V,E on X contains maximum PX−ϕ number of vertices, i.e., V=2n−1, and for the complete cluster hypergraph, the number of edges is PPX−ϕ−ϕ=22n−1−1. The completeness properties of different types of cluster graphs are discussed as follows.
(1) Complete CCCH. A complete CCCH is a cluster hypergraph where any two maximal nodes are connected by an edge. An example of a complete CCCH is shown in Figure 9.
A complete CCCH and its virtual representation.
(2) Complete Uniform Cluster Hypergraph. A complete uniform cluster hypergraph is a m,n-uniform cluster hypergraph where an edge connects any two maximal nodes and an edge connects any two simple nodes within cluster nodes. An example of a complete (2,3)-uniform cluster hypergraph is shown in Figure 10.
A complete uniform CCCH and its virtual representation.
Theorem 2.
A complete m,n-uniform cluster hypergraph having x cluster nodes contains x×Cmn+Cmx edges.
Proof.
Let us consider a complete m,n-uniform cluster hypergraph having x cluster nodes. The hypergraph has x cluster nodes containing n nodes per cluster. Thus, the total number of simple nodes is x×n. Also, the graph is complete. Therefore, each edge contains exactly m nodes. Hence, the total number of edges per cluster is Cmn. Also, the total number of edges among x clusters is Cmx. Thus, the number of edges in the complete m,n-uniform cluster hypergraph having x cluster nodes is x×Cmn+Cmx.
Note. A m,n-uniform complete CCCH having x cluster nodes contains Cmx and x×n simple nodes.
4. Competition Cluster Hypergraphs
Competition cluster hypergraphs of semidirected graphs are defined where adjacent vertices by undirected edges form a cluster. If these adjacent vertices have common out-directed neighbours, then these vertices are also adjacent in competition cluster hypergraphs. The formal definition is given as follows.
Definition 10.
Let G=X,E1,E2⟶ be a semidirected graph where X is a nonempty vertex set, E1 is the set of undirected edges, and E2⟶ is the set of directed edges. Now, the competition cluster hypergraph of G is denoted as CG=VX,E where VX⊂PX is the vertex set of CG such that X⊂VX, xi,xj∈VX if xi,xj∈E1 and x1,x2,…,xm∈VX if x1,x2,…,xm forms a maximal clique in G and E which is the hyperedge set if there exists an edge containing vertices x1,x2,…,xm if N+x1∩N+x2∩⋯∩N+xm≠ϕ and m=2,…,X.
Example 7.
Let us consider a semidirected graph, as shown in Figure 11(a). The corresponding competition cluster hypergraph is shown in Figure 11(b). In the semidirected graph, X=a,b,c,d,e,f, and also e,f,c forms a clique. So, the vertex set of the corresponding competition hypergraph is VX=X∪e,f,c. Now, N+a∩N+b=a and N+a∩N+b∩N+c=d, Thus, the edge set of CG is E=ab,abc.
A competition cluster hypergraph. (a) A semidirected graph G. (b) Competition cluster hypergraphs of G.
Proposition 1.
Let G=X,E1,E⟶2 be a semidirected graph and the corresponding competition cluster hypergraph of G be CG=VX,E. The number of edges in CG is equal to the number of a maximal in-degree set of vertices in G with cardinality greater than one.
Proof.
Let G=X,E1,E⟶2 be a semidirected graph where X is a nonempty vertex set and the corresponding competition cluster hypergraph of G be CG=VX,E. In competition cluster hypergraphs, an edge exists between two vertices x and y if they have a common vertex (or vertices). Along with this, if it is found that the third vertex, say z, has the same common vertex, then that edge will contain all the three vertices x,y, and z and so on. Thus, the number of edges in CG is equal to the number of a maximal in-degree set of vertices in G with cardinality greater than one.
Remark 2.
Let G=X,E1,E⟶2 be a semidirected graph and the corresponding competition cluster hypergraph of G be CG=VX,E. The number of cluster nodes in CG is equal to the number of cliques by undirected edges in G.
Theorem 3.
Let G=X,E1,E⟶2 be a semidirected graph and the corresponding competition cluster hypergraph of G be CG=VX,E. The number of maximal nodes in CG is equal to a number of nodes which are not adjacent to other vertices by undirected edges in G+ (the number of undirected edges which are not part of any cliques in G) + (number of maximal cliques in G).
Proof.
Let G=X,E1,E⟶2 be a semidirected graph where X is a nonempty vertex set and the corresponding competition cluster hypergraph of G be CG=VX,E.
Case 1.
(E1=ϕ): if the graph G has no undirected edges, then every node in CG is a simple node. Hence, the statement is obvious.
Case 2.
(E1≠ϕ): in this case, G contains undirected edges. Those edges may construct maximal cliques or simple undirected edges. One maximal clique in G will correspond to one cluster node in CG. The undirected edges which are not in any cluster also correspond to cluster nodes containing two simple nodes. Hence, the number of maximal nodes in CG is equal to the number of nodes which are not adjacent to other vertices by undirected edges in G+ (the number of undirected edges which are not part of any cliques in G) + (number of maximal cliques in G).
Corollary 1.
Let G=X,E1,E2⟶ be a semidirected graph and the corresponding competition cluster hypergraph of G be CG=VX,E. All cliques in G correspond to maximal nodes if the cliques are disjoint completely, i.e., no vertex and edges are common.
Definition 11.
(double competition cluster hypergraphs). Let G=X,E1,E2⟶ be a semidirected graph where X is a nonempty vertex set, E1 is the set of undirected edges, and E2⟶ is the set of directed edges. Now, the competition cluster hypergraph of G is denoted as CG=VX,E where VX⊂PX is the vertex set of CG such that X⊂VX, xi,xj∈VX if xi,xj∈E1 and x1,x2,…,xm∈VX if x1,x2,…,xm forms a maximal clique in G and E which is the edge set if there exists an edge containing vertices x1,x2,…,xm if N+x1∩N+x2∩⋯∩N+xm≠ϕ and m=2,…,X.
Example 8.
A semidirected graph is shown in Figure 12(a). The corresponding double competition cluster hypergraph is shown in Figure 12(b).
(m−step competition cluster hypergraphs). Let G=X,E1,E2⟶ be a semidirected graph where X is a nonempty vertex set, E1 is the set of undirected edges, and E2⟶ is the set of directed edges. Now, the m-step competition cluster hypergraph of G is denoted as CmG=VX,E where VX⊂PX is the vertex set of CmG such that X⊂VX, xi,xj∈VX if xi,xj∈E1 and x1,x2,…,xn∈VX if x1,x2,…,xn forms a maximal clique in G and E which is the hyperedge set if there exists an edge containing vertices x1,x2,…,xn if Nm+x1∩Nm+x2∩⋯∩Nm+xn≠ϕ and n=2,…,X.
Example 9.
Let us consider a semidirected graph, as shown in Figure 3. The corresponding 2-step competition cluster hypergraph CmG is shown in Figure 13. In the semidirected graph, X=a,b,c,d,e, and also d,e∈E1. So, the vertex set of the corresponding 2-step competition hypergraph is VX=X∪d,e. Now, N2+a∩N2+c=b. Thus, the edge set of CmG is E=ac.
2-step competition cluster hypergraph.
A cluster hypergraph with two isolated nodes.
A cluster hypergraph with one isolated node.
Definition 13.
A node in a cluster hypergraph is called an isolated node if there exist no edge to the node from the nodes of the graph. There are two types of isolated nodes.
Isolated Maximal Node. A maximal node (simple or cluster) is called a maximal isolated node if it has no incident edges, i.e., it is isolated from all other maximal nodes of the cluster hypergraph. Consider a cluster hypergraph as shown in Figure 14. We observe that k,D=g,h are isolated maximal nodes.
Isolated Node in a Cluster. A simple node may be isolated within a cluster node of a cluster hypergraph. Consider a cluster hypergraph as shown in Figure 15. We observe that only node c is an isolated node in the cluster F=c,b of the cluster hypergraph.
Definition 14.
Consider a cluster hypergraph G. Then, the competition number k of G is the minimum number of k maximal isolated nodes with G which forms the competition graph of a semidirected graph.
Example 10.
Consider a cluster hypergraph (Figure 16) G=VX,E where VX=a,b,a,b,c and E=c,b. Then, the corresponding semidirected graph (Figure 17) is drawn. There is no isolated node. Hence, the competition number of G is 0.
A cluster hypergraph G.
Corresponding semidirected graph of G.
Algorithm 1.
The steps to find the competition number of a cluster hypergraph are given as follows:
Step 1. Consider a cluster hypergraph G
Step 2. Draw the required directed or undirected edges to fit a corresponding semidirected graph G′ from G
Step 3. The extra nodes if needed to get CG′=G may be taken as isolated nodes
Step 4. The minimum number of maximal isolated nodes will be the competition number of G
Proposition 2.
Competition number of a 2,2−uniform cluster hypergraph is zero.
Proof.
Consider a 2,2−uniform cluster hypergraph and draw the virtual presentation of it. Then, draw the bidirected lines between all nodes. Then, we observe that the semidirected graph is obtained whose corresponding competition cluster hypergraph is the 2,2−uniform cluster hypergraph. Hence, there is no isolated node in the graph, and the competition number is zero. This completes the proof.
Theorem 4.
Let G be a semidirected graph and Gm be the m-step semi directed graph of G, then CGm=CmG.
Proof.
Since G is a semi‐directed graph and Gm is the m‐step semi‐directed graph of G. Then vertex set of both graphs is the same. Let u,v∈CGm. Then, there exist edges u,x1⟶, v,x1⟶; u,x2⟶, v,x2⟶;…, u,xn⟶; v,xn⟶ for some integer n. Now, N+u∩N+v = x1,x2,…,xn. Since an edge u,x1⟶∈Gm implies there exists a path of length m from u to x1 and similar for v,x1⟶∈Gm; hence u,v∈CmG. Similarly, if an edge x,y∈CmG then it implies x,y∈CGm. Therefore, CGm=CmG.
Proposition 3.
In a semidirected graph G=V,E1,E2⟶, if m>V, then CmG is a null cluster hypergraph.
Proof.
Since CmG is an m-step competition cluster hypergraph of G and if m>V, then there does not exist a path of length m in G. Hence, Nm+u=Nm+v=∅ and Nm+u∩Nm+v=∅ for all u,v∈G. Thus, there does not exist any edge in CmG. Therefore, CmG is a null cluster hypergraph.
5. Application and Conclusions
This study developed basic terminologies of mixed graphs. Some properties have been discussed. Another notion is that the cluster hypergraphs are also introduced. And finally, competition cluster hypergraphs of such semidirected graphs have been described. These types of competition graphs can be used to represent group competitions. A network is considered for COVID-19-affected areas as follows to show such a competition.
Affected places are assumed as nodes of a semidirected graph along with the source node as “COVID-19.” Another different topic, major carbon emission countries are added in this network along with a source node as “carbon emission.” Undirected edges connect the regions which are affected by COVID-19 through other countries. For Tables 1 and 2, the corresponding semidirected graph is shown in Figure 12, and its corresponding competition cluster hypergraph is shown in Figure 13.
Top six COVID-19-affected countries (collected from Wikipedia dated 15 March 2020).
Country
Total affected
Date of the first case
Affected from
China
81,218
31 December 2019
Italy
69,176
31 January 2020
China
USA
54,935
19 January 2020
China
Spain
42,058
31 January 2020
China
Germany
33,593
25 February 2020
Italy
Iran
24,811
19 February 2020
China
Top 20 countries of carbon emissions (collected from Wikipedia dated 15 March 2020).
Country
Total emissions
Per capita emissions
China
9.04 Bn
6.59
United States
5.00 Bn
15.53
India
2.07 Bn
1.58
Russia
1.47 Bn
10.19
Japan
1.14 Bn
8.99
Germany
729.77 Mn
8.93
South Korea
585.99 Mn
11.58
Iran
552.40 Mn
6.98
Canada
549.23 Mn
15.32
Saudi Arabia
531.46 Mn
16.85
Brazil
450.79 Mn
2.17
Mexico
442.31 Mn
3.66
Indonesia
441.91 Mn
1.72
South Africa
427.57 Mn
7.77
United Kingdom
389.75 Mn
5.99
Australia
380.93 Mn
15.83
Italy
330.75 Mn
5.45
Turkey
317.22 Mn
4.1
France
290.49 Mn
4.37
Poland
282.40 Mn
7.34
A semidirected graph.
Competition cluster hypergraphs of Figure 18.
The step-by-step process to find out the competition cluster hypergraphs is given as follows:
Step 1. Construction of Semidirected Graphs. Six highest COVID-19-affected countries have been assumed as nodes along with two fictitious nodes COVID-19 and CO2 emissions for a small semidirected graph. All the assumed countries are affected by COVID-19 and CO2 emissions. Thus, there will be direct edges from COVID-19 and CO2 emissions to all the nodes. If one country is affected by others, then there will be undirected edges (see Table 1 and Figure 18).
Step 2. Resultant Competition Hypergraphs. In the resultant competition hypergraphs, cliques will form cluster nodes. China-Italy, China-Spain, Italy-Germany, China-USA, and China-Iran are cluster nodes for this case (Figure 19). Between two nodes, there will be edges if the nodes have common out-neighbourhoods in semidirected graphs. Hence, the nodes COVID-19 and CO2 emissions will have one edge.
This small illustration can be extended to large networks for the detection of competition among different species, different countries, different cultures, etc., in several networks. Few related terms like m-step competition cluster hypergraphs and competition numbers have been analyzed with proper examples. This study will be a backbone for a new branch of hypergraphs and cluster hypergraphs along with competition cluster hypergraphs of semidirected graphs. Along with the theoretical developments, these theories may be applied to find out real-world competitions in business and sports industries where clusters are meaningful. The significant contributions of this study are given in Section 5.1.
5.1. The Insights of the Research
A few properties of semidirected graphs have been established
Cluster hypergraphs are introduced
Competition cluster hypergraphs are defined
m-step competition cluster hypergraphs have been classified
Various features of competition cluster hypergraphs have been studied
An application/numerical example of COVID-19 networks by using competition cluster hypergraphs has been given
Data Availability
The data, provided in the article, were collected from Wikipedia and https://www.worldometers.info/coronavirus/#countries. They are available in the public domain, so the authors have no restriction on that.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
CohenJ. E.1968Santa Monica, CA, USARAND CorporationRobertsF. S.AlaviY.LickD.Food webs, competition graphs, and the boxicity of ecological phase space1978New York, NY, USASpringer-Verlag477490RobertsF. S.1976Englewood Cliffs, NJ, USAPrentice-HallOpsutR. J.On the computation of the competition number of a graph19823442042810.1137/0603043KimS. R.McKeeT. A.McMorrisF. R.RobertsF. S.p-competition graphs199521716717810.1016/0024-3795(94)00060-q2-s2.0-21844488101KimS. R.McKeeT. A.McMorrisR. R.RobertsF. S.p-competition number199346899210.1016/0166-218x(93)90160-p2-s2.0-43949164226BrighamR. C.McMorrisF. R.VitrayR. P.Tolerance competition graphs1995217415210.1016/0024-3795(94)00059-m2-s2.0-21844512948ChoH. H.KimS. R.The competition number of a graph having exactly one hole20053033241LiB. J.ChangG. J.The competition number of a graph with exactly one hole, all of a which are independent20091571337134110.1016/j.dam.2008.10.0122-s2.0-61849172982FactorK. A. S.MerzS. K.The (1,2)–step competition graph of a tournament2011159100103BergeC.1973New York, NY, USAElsevierBergeC.1989Amsterdam, NetherlandsNorth-HollandBuroschG.CeccheriniP. V.A characterization of cube-hypergraphs19961521–3556810.1016/0012-365x(94)00297-v2-s2.0-30244490467BergenR.FallatS.GorrA.Infection in hypergraphs2018237435610.1016/j.dam.2017.11.0122-s2.0-85042024355DjokovicD. Z.Distance preserving subgraphs of hypercubes197314263267FranklP.KatonaG. Y.Extremal k-edge-Hamiltonian hypergraphs2000513013310.1016/s1571-0653(05)80144-12-s2.0-34247127934KatonaG. Y.KiersteadH. A.Hamiltonian chains in hypergraphs199930320521210.1002/(sici)1097-0118(199903)30:3<205::aid-jgt5>3.0.co;2-oBollabosB.ScottA. D.Judicious partitions of 3-uniform hypergraphs200021289300TyshkevichR. I.ZverovichV. E.Line hypergraphs19961611–326528310.1016/0012-365x(95)00233-m2-s2.0-0041592385SarwarM.AkramM.AlshehriN. O.A new method to decision-making with fuzzy competition hypergraphs201810910.3390/sym100904042-s2.0-85054395485AkramM.SarwarM.BorzooeiR. A.Certain network models using intuitionistic fuzzy hypergraphs20183521905192210.3233/jifs-1714432-s2.0-85053334930SarwarM.AkramM.Bipolar fuzzy circuits with applications201834154755810.3233/jifs-177582-s2.0-85056455719SarwarM.AkramM.Certain algorithms for computing strength of competition in bipolar fuzzy graphs201725687789610.1142/s02184885175003742-s2.0-85029377520AkramM.SarwarM.Novel applications of m-polar fuzzy competition graphs in decision support system201830103145316510.1007/s00521-017-2894-y2-s2.0-85014038338AkramM.LuqmanA.2020Berlin, GermanySpringerHamidiM.Borumand SaeidA.Achievable single-valued neutrosophic graphs in Wireless sensor networks201814215718510.1142/s17930057185001142-s2.0-85048025193HamidiM.Borumand SaeidA.Creating and computing graphs from hypergraphs2019431139164AkramM.GaniA. N.SaeidA. B.Vague hypergraphs201426264765310.3233/ifs-1207562-s2.0-84892944971HamidiM.Borumand SaeidA.On derivable trees2019822143SonntagM.TeichertH.-M.Sum numbers of hypertrees20002141–328529010.1016/s0012-365x(99)00307-62-s2.0-0346640556SonntagM.TeichertH.-M.Competition hypergraphs20041431–332432910.1016/j.dam.2004.02.0102-s2.0-4243185750LambinN. V.TanaevV. S.On a circuit-free orientation of mixed graphs197014780781SotskovY. N.TanaevV. S.Chromatic polynomial of a mixed graph197662023AdigaC.RakshithB. R.SoW.On the mixed adjacency matrix of a mixed graph201649522324110.1016/j.laa.2016.01.0332-s2.0-84956671731LiuJ.LiX.Hermitian-adjacency matrices and Hermitian energies of mixed graphs2015466182207MohammedA. M.Mixed graph representation and mixed graph isomorphism2017301303310YangC. C.LeeY.Interactants and activities on facebook, instagram, and twitter: associations between social media use and social adjustment to college2020241627810.1080/10888691.2018.14402332-s2.0-85042372251