Talk:AFLB

From ResearchWiki

Jump to: navigation, search

Basic Lattices

Q: Let (a_ij) be a matrix of elements of a lattice. Show the min-max theorem:

join over meet over columns is at most meet over join over rows

Use this to show the distributive inequality, that in any lattice

meet (a, join(b,c)) >= join(meet(a,b), meet(a,c))

(apologies for non-latex: need to install it)

Retrieved from "http://www.cs.utah.edu/~suresh/mediawiki/index.php/Talk:AFLB"
Personal tools