Skip to content

Duality of Fix-Points for Distributive Lattices

Prahladavaradan Sampath

cs.DSarXiv:cs/0609118

Abstract

We present a novel algorithm for calculating fix-points. The algorithm calculates fix-points of an endo-function f on a distributive lattice, by performing reachability computation a graph derived from the dual of f; this is in comparison to traditional algorithms that are based on iterated application of f until a fix-point is reached.

Create a lesson