Four consequence operators based on hypergraph satisfiability are defined. Their properties are explored and interconnections are displayed. Finally their relation to the case of the Classical Propositional Calculus is shown. 1. Preliminaries. Let us recall some definitions and facts which can also be found in Cowen [1,2] and Kolany [3]. A hypergraph is a structure G = (V, E), where V is a set ...

Basic definitions. For X a finite set of vertices, a hypergraph H on X is a family of subsets (called edges) of X. In a directed hypergraph H, every set h E H contains a distinguished element called the head of h (a set h may appear more than once in H but with different heads). A hypergraph H’ is a subhypergraph of H iff H’ c H. A directed hypergraph H is an arborescence iff (i) H is empty, or...

ÐIn this work, we show that the standard graph-partitioning-based decomposition of sparse matrices does not reflect the actual communication volume requirement for parallel matrix-vector multiplication. We propose two computational hypergraph models which avoid this crucial deficiency of the graph model. The proposed models reduce the decomposition problem to the well-known hypergraph partition...

We consider a generalization of the notion of transversal to a finite hypergraph, so called weighted transversals. Given a non-negative weight vector assigned to each hyperedge of the input hypergraph, we define a weighted transversal as a minimal vertex set which intersects a collection of hyperedges of sufficiently large total weight. We show that the hypergraph of all weighted transversals i...

We study the complexity of structurally restricted homomorphism and constraint satisfaction problems. For every class of relational structures C, let LHOM(C, _) be the problem of deciding whether a structure A ∈ C has a homomorphism to a given arbitrary structure B, when each element in A is only allowed a certain subset of elements of B as its image. We prove, under a certain complexity-theore...

This chapter explores original techniques for the construction of hypergraph models for computer vision applications. A hypergraph is a generalization of a pairwise simple graph, where an edge can connect any number of vertices. The expressive power of the hypergraph models places a special emphasis on the relationship among three or more objects, which has made hypergraphs better models of cho...

We discuss Matijevic–Roberts type theorem on strong F -regularity, F -purity, and Cohen–Macaulay F -injective (CMFI for short) property. Related to this problem, we also discuss the base change problem and the openness of loci of these properties. In particular, we define the notion of F -purity of homomorphisms using Radu–André homomorphisms, and prove basic properties of it. We also discuss a...

Bounds on the range of random graph homomorphism into Z, and the maximal height difference of the Gaussian random field, are presented.

Eilenberg’s variety theorem gives a bijective correspondence between varieties of languages and varieties of finite semigroups. The second author gave a similar relation between conjunctive varieties of languages and varieties of semiring homomorphisms. In this paper, we add a third component to this result by considering varieties of meet automata. We consider three significant classes of lang...

0.1. Endomorphisms of elliptic curves. Recall that a homomorphism of complex elliptic curves is just a holomorphic map E1 → E2 which preserves the origin. (It turns out that this condition is enough to force it to be a homomorphism of groups in the usual sense; why?) An isogeny of elliptic curves is a homomorphism whose kernel is a finite subgroup of E1. In fact the kernel of a homomorphism of ...