KFU. Card publication. Width Hierarchy for k-OBDD of Small Width

WIDTH HIERARCHY FOR K-OBDD OF SMALL WIDTH

Form of presentation

Articles in international journals and collections

Year of publication

2015

Язык

английский

Authors, employees of KFU

Khadiev Kamil Ravilevich, author

Bibliographic description in the original language

K. Khadiev. Width Hierarchy for k-OBDD of Small Width // Lobachevskii Journal of Mathematics, V. 36, I. 2, pp 178-183 , 2015

Annotation

Lobachevskii Journal of Mathematics

Keywords

branching program, hierarchy, k-OBDD, OBDD

The name of the journal

Lobachevskii Journal of Mathematics

URL

http://link.springer.com/article/10.1134/S1995080215020092

Please use this ID to quote from or refer to the card

Field DC	Value	Language
dc.contributor.author	Khadiev Kamil Ravilevich	ru_RU
dc.date.accessioned	2015-01-01T00:00:00Z	ru_RU
dc.date.available	2015-01-01T00:00:00Z	ru_RU
dc.date.issued	2015	ru_RU
dc.identifier.citation	K. Khadiev. Width Hierarchy for k-OBDD of Small Width // Lobachevskii Journal of Mathematics, V. 36, I. 2, pp 178-183 , 2015	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=109480&p_lang=2	ru_RU
dc.description.abstract	Lobachevskii Journal of Mathematics	ru_RU
dc.description.abstract	Lobachevskii Journal of Mathematics	ru_RU
dc.description.abstract	In this paper was explored well known model k-OBDD. There are proven width based hierarchy of classes of boolean functions which computed by k-OBDD. The proof of hierarchy is based on sufficient condition of Boolean function?s non representation as k-OBDD and complexity properties of Boolean function SAF. This function is modification of known Pointer Jumping (PJ) and Indirect Storage Access (ISA) functions.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	branching program	ru_RU
dc.subject	hierarchy	ru_RU
dc.subject	k-OBDD	ru_RU
dc.subject	OBDD	ru_RU
dc.title	Width Hierarchy for k-OBDD of Small Width	ru_RU
dc.type	Articles in international journals and collections	ru_RU