Modelo matricial para la construcción del diagrama de hasse de un conjunto parcialmente ordenado

Abstract

El trabajo de investigación tuvo como objetivo el diseño de un modelo matricial para la construcción del diagrama de Hasse de un Conjunto Parcialmente Ordenado (CPO), que permita su implementación en un lenguaje de programación. Para lograrlo se utilizó la teoría de Relaciones de Orden Parcial, sus propiedades; matrices booleanas, sus operaciones. Este trabajo permitió determinar el diagrama de Hasse de Relaciones de Orden Parcial sin importar la cantidad de elementos del CPO, y lo más importante, permitió automatizar el modelo.

The research work was aimed at the design of a matrix model for the construction of the Hasse diagram of a Partially Ordained Set (CPO), which allows its implementation in a programming language. To achieve this, we used the theory of partial order relations, their properties; Boolean matrices, their operations. This work allowed to determine the Hasse diagram of Partial Order Relations regardless of the number of elements of the CPO, and most importantly, allowed to automate the model.