О числе проверок для определения значимых переменных булевских функций

Пусть имеется булевская функция $\tilde{f}(x_0,\dots, x_{n-1})$, которая в действительности зависит лишь от $m$ переменных: $\tilde{f}(x_0,\dots, x_{n-1})\equiv f(x_{i_1}\dots,x_{i_m})$. Функция $f$ известна, но неизвестны номера значимых переменных $i_1,\dots,i_m$. Мы хотим найти эти номера. При этом мы можем за одну проверку узнать значение $\tilde{f}(x_0,\dots, x_{n-1})$ для произвольного набора переменных $x_0,\dots, x_{n-1}$. В работе даны оценки для числа проверок, за которое заведомо можно найти номера $i_1,\dots,i_m$, а также приведены некоторые конкретные алгоритмы поиска этих номеров.