О сложности проблемы эквивалентности в модели программ с перестановочными и монотонными операторамистатья