LATTICES FINITAS

Abstract

Sea L = (L,v) un conjunto parcialmente ordenado y _ la correspondiente relación de cubiertas. Se presentan programas en C++ que calculan los siguientes: una extensión lineal para el orden v, se calcula v a partir de _ y visceversa, se determina cuando la cerradura transitiva de una relación binaria es un orden, se determina si v define una lattice y en caso afirmativo se calculan las tablas de multiplicar u y t y se calculan las anticadenas de (L,v). Se describen las algebras de Boole como un tipo especial de lattice con más aplicaciones y se presenta una aplicación conocida para simplificar circuitos. Finalmente se describe un algoritmo para calcular todos los representantes de las lattices con n elementos con la relación “ser isomorfo.”