Advertisement

Complexity and depth of formulas realizing functions from closed classes

  • A. B. Ugol'nikov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)

Keywords

Boolean Function Boolean Expression Finite System Finite Base Closed Classis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Лупанов О.Б. О сложности реализации функций алгебры логики формулами. — Проблемы кибернетики, 1960, вып. 3, 61–80.Google Scholar
  2. 2.
    Лупанов О.Б. Асимптотические оценки сложности управляющих систем. Изд-во Московского университета, 1984.Google Scholar
  3. 3.
    Яблонский С.В. Введение в дискретную математику, М., 1979.Google Scholar
  4. 4.
    Яблонский С.В. Введение в теорию Функций к-значной логики. — дискретная математика и математические вопросы кибернетики, М., 1974, T.I, 9–66.Google Scholar
  5. 5.
    Post E.L. Introduction to a general theory of elementary propositions, Amer.J. Math. 43 (1921), 163–185.Google Scholar
  6. 6.
    Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры лотики и классы поста, М., 1966.Google Scholar
  7. 7.
    Уголъников А.Б. Синтез схем и формул в неполных базисах. — Докл. АН СССР, 1979, Т. 249, No. I, 60–63.Google Scholar
  8. 8.
    Юголъников А.Б. Синтез схем и формул в неполных базисах. — Тезисы докл. у Всес. конф. по проблемам теоретич. кибернетики, Новосибирск, 1980, 175–176.Google Scholar
  9. 9.
    Уголъников А.Б. Синтез схем и Формул в неполных базисах. Препринт Ин. прикл. матем. АН СССР, М., 1980, No.112.Google Scholar
  10. 10.
    Храпченко В.М. О соотнощении между сложностъю и глубиной Форму л — Методы дискретного анализа, Новосибирск, 1978, вып. 32, 76–94.Google Scholar
  11. 11.
    Spira P.M. On time-hardware complexity tradeoffs for Boolean functions, Proc 4th Hawaii Intern. Symp. Syst. Sci., 1971, 523–527.Google Scholar
  12. 12.
    Яблонский С.В., Козырев В.П. Математические вопросы кибернетики — Информ. материалы Научного совета по комплексной проблеме "Кибернетика" АН СССР, 1968, Вып. 19a, 3–15.Google Scholar
  13. 13.
    Pratt V.R. The effect of basis on size of Boolean expressions, 16th Ann. Symp. Found. Comput. Sci., 1975, New York, 119–121.Google Scholar
  14. 14.
    Храпченко В.М. О соотнощении между сложностъю и глубиной Формул в базисе, содержащем медиану — Методы дискретного анализа, Новосибирск, 1981, вып. 37, 76–94.Google Scholar
  15. 15.
    Уголъников А.Б. О полиномиалъной эквивалентности Форму л для замкну тых классов двузначной логики — Тез.докл. УII Всес.конф. по проблемам теоретической кибернетики, Иркутск, 1985, ч. I, 194–195.Google Scholar
  16. 16.
    Уголъников А.Б. О соотнощении между глубиной и сложностъю Формул для замкну тых классов дву значной логики — Тез.докл. IУ Всес.конф. "Применение методов математической логики", Таллин, 1986, 184.Google Scholar
  17. 17.
    Muller D.E. Complexity in electronic switching circuits, IRE Transactions, EC-5, 1956, 1, 15–19.Google Scholar
  18. 18.
    Храпченко В.М. О сложности реализации линейной Функции в классе π-схем — Математические заметки, т. 9, No.1, 1971, 35–40.Google Scholar
  19. 19.
    Нечипорук Э.И. О реализации дизъюнкции и конъюнкции в некоторых монотонных базисах — Пробл.кибернетики, М., 1970, вып. 23, 291–293.Google Scholar
  20. 20.
    Рохлина М.М. О схемах, повышающих надезностъ — Пробл.кибернетики, 1970, вып. 23, 295–301.Google Scholar
  21. 21.
    Субботовская Б.А. О сравнении базисов при реализации функций алгебры логики формулами — Докл. АН СССР, 1963, т. 149, No.4, 784–787.Google Scholar
  22. 22.
    Андреев А.Е. Об одном методе получения нижних оценок сложности индивидуалъных монотонных функций. Препринт ИПМех. АН СССР и МГУ, 1985, No.248.Google Scholar
  23. 23.
    Андреев А.Е. Об одном методе получения нижних оценок сложности индивидуалъных монотонных функций — Докл. АН СССР, 1985, т.282, No.5, 1033–1037.Google Scholar
  24. 24.
    Разборов А.А. Нижние оценки монотонной сложности некоторых булевых функций — Докл. АН СССР, т.281, No.4, 798–801.Google Scholar
  25. 25.
    Разборов А.А. Нижние оценки монотонной сложности логического перманента — Математические заметки, 1985, т.37, No.6, 887–908.Google Scholar
  26. 26.
    Уголъников А.Б. О реализации булевых функций из некоторых замкнутых классов схемами из функционалъных элементов в неполных базисах — Вестн.Моск.ун-та,Сер.I,М атематика,Механика, 1985,3,87–89.Google Scholar
  27. 27.
    Ткачев Г.А. О сложности реализации одной последователъности функций к-значной логики — Весн.Моск.ун-та,Сер.Вы числ.Математика и кибернетика, 1977,I,45–57.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • A. B. Ugol'nikov
    • 1
  1. 1.Department of Mathematics and MechanicsMoscow State UniversityMoscowUSSR

Personalised recommendations