Hostname: page-component-74656f9884-2dmjx Total loading time: 0 Render date: 2026-11-09T10:49:20.339Z Has data issue: false hasContentIssue false

Ackermann encoding, bisimulations and OBDDs

Published online by Cambridge University Press:  12 August 2004

CARLA PIAZZA
Affiliation:
Dipartimento di Informatica, Università Ca' Foscari di Venezia, Via Torino, 155 – 30172 Mestre (VE), Italy (e-mail: piazza@dsi.unive.it)
ALBERTO POLICRITI
Affiliation:
Dipartimento di Matematica e Informatica, Università di Udine, Via Le Scienze, 206 – 33100 Udine, Italy (e-mail: policriti@dimi.uniud.it)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

We propose an alternative way to represent graphs via OBDDs based on the observation that a partition of the graph nodes allows sharing among the employed OBDDs. In the second part of the paper we present a method to compute at the same time the quotient w.r.t. the maximum bisimulation and the OBDD representation of a given graph. The proposed computation is based on an OBDD-rewriting of the notion of Ackermann encoding of hereditarily finite sets into natural numbers.

Information

Type
Regular Papers
Copyright
© 2004 Cambridge University Press