Two function algebras defining functions in NC k boolean circuits

We describe the functions computed by boolean circuits in NCk by means of func- tions algebra for k ≥ 1 in the spirit of implicit computational complexity. The whole hierarchy defines NC. In other words, we give a recursion-theoretic charac- terization of the complexity classes NCk for k ≥ 1 without...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Information and computation Jg. 248; S. 82 - 103
Hauptverfasser:	Bonfante, Guillaume, Kahle, Reinhard, Marion, Jean-Yves, Oitavem, Isabel
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier 01.06.2016
Schlagworte:	Computational Complexity Computer Science parallel computation class transducers Boolean circuits NCk
ISSN:	0890-5401, 1090-2651
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!