Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
 
WIDTH HIERARCHY FOR K-OBDD OF SMALL WIDTH
Форма представленияСтатьи в зарубежных журналах и сборниках
Год публикации2015
Языканглийский
  • Хадиев Камиль Равилевич, автор
  • Хадиев Камиль Равилевич, автор
  • Библиографическое описание на языке оригинала Khadiev Kamil, Width Hierarchy for k-OBDD of Small Width // Electronic Colloquium on Computational Complexity (ECCC) (048), 2015
    Аннотация 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.
    Ключевые слова branching program, hierarchy, k-OBDD, OBDD
    Название журнала Electronic Colloquium on Computational Complexity
    URL http://eccc.hpi-web.de/report/2015/048/
    Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку https://repository.kpfu.ru/?p_id=107296

    Полная запись метаданных