Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

also in the informal proceedings of CICLOPS 2008 workshop at: http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/CICLOPS-2008-

Scientific paper

A "pairing function" J associates a unique natural number z to any two natural numbers x,y such that for two "unpairing functions" K and L, the equalities K(J(x,y))=x, L(J(x,y))=y and J(K(z),L(z))=z hold. Using pairing functions on natural number representations of truth tables, we derive an encoding for Binary Decision Diagrams with the unique property that its boolean evaluation faithfully mimics its structural conversion to a a natural number through recursive application of a matching pairing function. We then use this result to derive {\em ranking} and {\em unranking} functions for BDDs and reduced BDDs. The paper is organized as a self-contained literate Prolog program, available at http://logic.csci.unt.edu/tarau/research/2008/pBDD.zip Keywords: logic programming and computational mathematics, pairing/unpairing functions, encodings of boolean functions, binary decision diagrams, natural number representations of truth tables

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-549728

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.