Зюзьков В.М.
Количество страниц: 43
Язык: Русский
Формат: PDF / RAR
Формат файла: RAR
Использование компьютеров связано с возможностью алгоритмического решения задач и эффективного вычисления функций. Между тем в математике широко используются функции, заданные неэффективными определениями. Это приводит к тому, что некоторые функции поддаются вычислению с помощью алгоритма, скажем на компьютере, как только для этого будет составлена надлежащая программа, тогда как другие функции, заданные неэффективным определением, могут требовать творческого подхода для вычисления своих значений. Столь же часты доказательства разрешимости задач, не сопровождаемые алгоритмами их решения.
В действительности класс задач, доступных классическим средствам, в некотором грудно уточняемом смысле строго шире класса задач, решаемых алгоритмически. В главе проясняется смысл этого утверждения, и излагаются некоторые математические модели вычислимости. За последние десятилетия стало ясно, что различие между быстро и долго решаемыми задачами не менее философски и практически важно, чем различие между алгоритмически разрешимыми и неразрешимыми, и теория сложности вычислений стала одной из центральных в логике (и вообще в математике). Поэтому также рассматриваются основные понятия теории сложности алгоритмов.