Обсуждение:Теорема Махэни

TODO

• «…количество различных аргументов в формуле [math]\phi[/math].» У формулы нет аргументов.
• «Так как функция [math]f[/math] работает полиномиальное время, и [math]|\phi| = |y|[/math]…» Что значит [math]|\phi| = |y|[/math]? Нужно чётко определенить, что такое «модуль формулы» и «модуль вектора», иначе дальше понять что-то невозможно.

Дальше всё более-менее, вроде как норм, но нужно посмотреть, как сочитается то, что я додумал, с твоими определниями «модуля формулы». Ну и кое-где орфография, я пока на это не обращал мнивания.