Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In with Facebook Sign In with Google Sign In with OpenID

Categories

We have migrated to a new platform! Please note that you will need to reset your password to log in (your credentials are still in-tact though). Please contact lee@programmersheaven.com if you have questions.
Welcome to the new platform of Programmer's Heaven! We apologize for the inconvenience caused, if you visited us from a broken link of the previous version. The main reason to move to a new platform is to provide more effective and collaborative experience to you all. Please feel free to experience the new platform and use its exciting features. Contact us for any issue that you need to get clarified. We are more than happy to help you.

inversion algorithm

compengrcompengr Posts: 1Member
Hi,
I need to write a pesudocode about InvertRelation function for 2-level Binary Decision diagrams.
InvertRelation takes as input a 2L-level quasi-reduced BDD rooted at r encoding a relation [code]R : B^L ? 2^{B^}L[/code] and returns the 2L-level quasi-reduced BDD rooted at s encoding the relation [code]R^{-1} :B^L ?2^{B^L},that is, j ? R(i) iff i ? R^{-1}(j).[/code]
the input BDD r uses the variable order x'1, x1, ..., x'L, xL and that the result BDD s uses the variable order x1,x'1,...,xL,x'L. Thus r is at level L and its children are at level L', while s is at level L' and its children are at level L.

Any help is appreciated.
Sign In or Register to comment.