> -- Илья Ермаков писал(а):
> Lui Sha. Using Simplicity to Control Complexityесли вычислительная сложность характеризуется числом шагом для завершения вычисления, то логическая сложность характеризуется числом шагов, необходимых для верификации системы.Да, полезное понятие, но я бы так и говорил -- "сложность верификации".