О средней сложности монотонных функций

В работе рассматривается сложность реализации монотонных функций неветвящимися программами с условной остановкой. Показано, что при $n\to\infty$ средняя сложность каждой монотонной функции $n$ переменных не превосходит величины $a{2^n}/{n^{2}}(1+o(1))$, а средняя сложность почти каждой монотонной функции $n$ переменных не меньше, чем $b{2^n}/{n^{2}}(1+o(1))$, где $a$ и $b$ – некоторые постоянные.