теперь можете сходить посмотреть на алгоритм Дойча-Джозсы
задача там решается следующая:
есть функция, приниающая N битный вектор
она либо постоянная -- независимо от входа возвращает всегда 0 или всегда 1
либо сбалансированная -- в половине случаев возвращает 0, в половине 1
функция очень тяжело вычислимая