Полиномиальный алгоритм проверки порождаемости конечных распределений рациональных вероятностейтезисы доклада