Cartesian Product & Binary Relations

2017 ◽  
pp. 39-54
Author(s):  
Claudia Menini ◽  
Freddy Van Oystaeyen
Keyword(s):  
Cartesian Product ◽  
Binary Relations

Theoretical Basics of NTA

2018 ◽  
pp. 97-124
Keyword(s):  
General Theory ◽  
Cartesian Product ◽  
Semantic Networks ◽  
Basic Structure ◽  
Relational Algebra ◽  
Binary Relations ◽  
Mathematical Structures ◽  
Theoretical Generalization

The chapter introduces theoretical features of n-tuple algebra developed by the authors as a theoretical generalization of structures and methods applied in intelligence systems. NTA supports formalization of a wide set of logical problems (abductive and modified conclusions, modeling of graphs, semantic networks, expert rules, etc.). This chapter contains main definitions and theorems of NTA. Unlike relational algebra and theory of binary relations, NTA uses Cartesian product of sets rather than sequences of elements (elementary n-tuples) as a basic structure and implements a general theory of n-ary relations. Novelty of our approach is that we developed some new mathematical structures allowing to implement many techniques of semantic and logical analyses; these methods have no analogies in conventional theories.

FACTOR ANALYSIS OF GEOGRAPHIC COORDINATES AT POINTS OF THE CHANNEL OF A SMALL RIVER ON SPACE IMAGES

2020 ◽  
Author(s):  
Peter Matveevich Mazurkin ◽  
Yana Oltgovna Georgieva
Keyword(s):  
Correlation Coefficient ◽  
Geographical Location ◽  
Small River ◽  
Binary Relations ◽  
Catchment Basin ◽  
Space Images ◽  
The North ◽  
Inverse Effect ◽  
Characteristic Points ◽  
Fractal Representation

The purpose of the article is the analysis of asymmetric wavelets in binary relations between three coordinates at 290 characteristic points from the source to the mouth of the small river Irovka. The hypsometric characteristic is the most important property of the relief. The Irovka River belongs to a low level, at the mouth it is 89 m high, and at the source it is 148 m above sea level. Modeling of binary relations with latitude, longitude, and height has shown that local latitude receives the greatest quantum certainty. In this case, all paired regularities received a correlation coefficient of more than 0.95. Such a high adequacy of wave patterns shows that geomorphology can go over to the wave multiple fractal representation of the relief. The Irovka River is characterized by a small anthropogenic impact, therefore, the relief over a length of 69 km has the natural character of the oscillatory adaptation of a small river to the surface of the Vyatka Uval from its eastern side. This allows us to proceed to the analysis of the four tributaries of the small river Irovka, as well as to model the relief of the entire catchment basin of 917 km2. The greatest adequacy with a correlation coefficient of 0.9976 was obtained by the influence of latitude on longitude, that is, the geographical location of the relief of the river channel with respect to the geomorphology of the Vyatka Uval. In second place with a correlation of 0.9967 was the influence of the height of the points of the channel of the small river on local longitude and it is also mainly determined by the relief of the Vyatka Uval. In third place was the effect of latitude on height with a correlation coefficient of 0.9859. And in last sixth place is the inverse effect of altitude on local latitude in the North-South direction.

CARTESIAN PRODUCT ON FUZZY IDEALS OF A TERNARY Γ-SEMIGROUP

2020 ◽  
Vol 9 (3) ◽  
pp. 1189-1195 ◽  
Author(s):  
Y. Bhargavi ◽  
T. Eswarlal ◽  
S. Ragamayi
Keyword(s):  
Cartesian Product

scholarly journals Finite representability of semigroups with demonic refinement

2021 ◽  
Vol 82 (2) ◽  
Author(s):  
Robin Hirsch ◽  
Jaš Šemrl
Keyword(s):  
Partial Order ◽  
Turing Machines ◽  
Binary Relations ◽  
Finite Representation ◽  
First Order ◽  
Finite Structures ◽  
Finite Base ◽  
Finite Set ◽  
Finite Representability ◽  
Representation Class

AbstractThe motivation for using demonic calculus for binary relations stems from the behaviour of demonic turing machines, when modelled relationally. Relational composition (; ) models sequential runs of two programs and demonic refinement ($$\sqsubseteq $$ ⊑ ) arises from the partial order given by modeling demonic choice ($$\sqcup $$ ⊔ ) of programs (see below for the formal relational definitions). We prove that the class $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) of abstract $$(\le , \circ )$$ ( ≤ , ∘ ) structures isomorphic to a set of binary relations ordered by demonic refinement with composition cannot be axiomatised by any finite set of first-order $$(\le , \circ )$$ ( ≤ , ∘ ) formulas. We provide a fairly simple, infinite, recursive axiomatisation that defines $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) . We prove that a finite representable $$(\le , \circ )$$ ( ≤ , ∘ ) structure has a representation over a finite base. This appears to be the first example of a signature for binary relations with composition where the representation class is non-finitely axiomatisable, but where the finite representation property holds for finite structures.

scholarly journals THE GENERAL POSITION NUMBER OF THE CARTESIAN PRODUCT OF TWO TREES

2020 ◽  
pp. 1-10
Author(s):  
JING TIAN ◽  
KEXIANG XU ◽  
SANDI KLAVŽAR
Keyword(s):  
Shortest Path ◽  
Connected Graph ◽  
General Position ◽  
Cartesian Product

Abstract The general position number of a connected graph is the cardinality of a largest set of vertices such that no three pairwise-distinct vertices from the set lie on a common shortest path. In this paper it is proved that the general position number is additive on the Cartesian product of two trees.

scholarly journals Peg Solitaire on Cartesian Products of Graphs

2021 ◽  
Vol 37 (3) ◽  
pp. 907-917
Author(s):  
Martin Kreh ◽  
Jan-Hendrik de Wiljes
Keyword(s):  
Cartesian Product ◽  
Cartesian Products ◽  
Connected Graphs ◽  
Grid Graphs ◽  
Cartesian Products Of Graphs

AbstractIn 2011, Beeler and Hoilman generalized the game of peg solitaire to arbitrary connected graphs. In the same article, the authors proved some results on the solvability of Cartesian products, given solvable or distance 2-solvable graphs. We extend these results to Cartesian products of certain unsolvable graphs. In particular, we prove that ladders and grid graphs are solvable and, further, even the Cartesian product of two stars, which in a sense are the “most” unsolvable graphs.

Sign in / Sign up

Export Citation Format

Share Document