Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

On the Complexity of Finite Sorted Algebras

Thierry Boy de la TourContact Information

(3)  LEIBNIZ Laboratory - IMAG (CNRS), 46, Av. Félix Viallet, 38031 Grenoble Cedex, France
Abstract
The general problem of testing the isomorphism of two given finite algebras is known to be isomorphism complete, i.e. polynomially equivalent to the graph isomorphism problem (GI). It is easy to see that this fact still holds when sorts are introduced. However, this isomorphism problem is relevant only for algebras (or interpretations) of a fixed signature, and in some cases, according to the signature, is much simpler than the general problem. We therefore establish exactly for which signatures is the associated isomorphism problem simpler than GI, and for which is it isomorphism complete. It turns out that for non-monadic signatures, this problem is isomorphism complete just as is the case without sorts, while the classification of monadic signatures is more complex and interesting in the presence of sorts.

Contact Information Thierry Boy de la Tour
Email: Thierry.Boy-de-la-Tour@imag.fr
URL: http://www-leibniz.imag.fr/atinf/thierry.boy-de-la-tour/welcome.html
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.109 • Server: mpweb22
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)