In this paper, we introduce contextual hypergraph grammars, which generalize the total contextual string grammars. We study the position of the class of languages generated by contextual hypergraph grammars in comparison with graph languages generated by hyperedge replacement grammars and double-pushout hypergraph grammars. Moreover, several examples show the potential of the new class of gramm...

This article explores possibilities of partitioning the vertex set of a given simple loop-free Sperner hypergraph into a union of transversals. Studies are done on the possible number of transversals in such partitions, followed by forming a hypergraph (on the vertex set of the given hypergraph) that consists of transversals for hyperedges. AMS Subject Classification: 05C65

Some results on matchings in a hypergraph cut vertex, cut edge of hypergraph have been obtained analogous to the results in a simple graph. In this paper we have obtained some interesting properties of a hypergraph. The notations and terminology that are used in this paper are the same as in [1].

For digraphs D and H , a mapping f : V (D)→V (H) is a homomorphism of D to H if uv ∈ A(D) implies f(u)f(v) ∈ A(H). For a fixed digraph H , the homomorphism problem is to decide whether an input digraph D admits a homomorphism to H or not, and is denoted as HOMP(H). Digraphs are allowed to have loops, but not allowed to have parallel arcs. A natural optimization version of the homomorphism probl...

in this note by considering a complete lattice l, we define thenotion of an l-fuzzy hyperrelation on a given non-empty set x. then wedefine the concepts of (pom)l-fuzzy graph, hypergraph and subhypergroupand obtain some related results. in particular we construct the categories ofthe above mentioned notions, and give a (full and faithful) functor form thecategory of (pom)l-fuzzy subhypergroups ...

Trigraph list homomorphism problems (also known as list matrix partition problems) have generated recent interest, partly because there are concrete problems that are not known to be polynomial time solvable or NP -complete. Thus while digraph list homomorphism problems enjoy dichotomy (each problem is NP -complete or polynomial time solvable), such dichotomy is not necessarily expected for tri...

In this paper we provide a new scheme to securely forward the message in wireless mobile ad hoc networks (MANETs) by using existing homomorphic encryption schemes. This scheme is an alternative for threshold cryptography (TC) in MANETs to securely forward the message. By using homomorphic encryption schemes we remove the computational cost associated with Lagrange Interpolation scheme used in T...

2 Structure of Norming hypergraph pairs 6 2.1 Two Hölder type inequalities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2 Factorizable hypergraph pairs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3 Semi-norming hypergraph pairs that are not norming . . . . . . . . . . . . . . . . . . . . 12 2.4 Some facts about Gowers norms . . . . . . . . . ....

The role of symmetry in ring theory is universally recognized. most directly definable universal relation a symmetric set isomorphism. This article develops certain structure bipolar fuzzy subrings, including quotient ring, homomorphism, and We define (?,?)-cut investigate the algebraic attributions this phenomenon. also support prove various important properties relating to concept. Additional...

We study leading-edge local search heuristics for balanced hypergraph partitioning and Boolean satisfiability, intending the generalization of such heuristics beyond their original domains. We adapt the Fiduccia Mattheyses (FM) hypergraph partitioning heuristic to Boolean Satisfiability (SAT), and the WalkSAT SAT solver to hypergraph partitioning. Focusing on balanced hypergraph partitioning, w...