ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Доказано утверждение: Если СФЭ имеет полиномиальную сложность, то существует машина Тьюринга, вычисляющая булевскую функцию за полиномиальное число шагов.