计算理论 算法理论

问题:计算理论的主要内容?

回答:

1．算法（algorithm）:解题过程的精确描述 

2．算法学（algorithmics）:系统的研究算法的设计，分析与验证的学科 

3．计算复杂性理论（computational complexity theory）:用数学方法研究各类问题的计算复杂性学科。 

4．可计算性理论（computability theory）:研究计算的一般性质的数学理论。 

5．自动机理论（automata theory）:以研究离散数字系统的功能和结构以及两者之关系为主要 内容的数学理论。 

6．形式语言理论:用数学方法研究自然语言和人工语言的语法理论。

问题:计算理论的三个传统核心邻域是什么?可计算性理论和复杂性理论的联系是?

答:1．自动机；可计算性；复杂性。

2．它们是密切相关的。在复杂性理论中，目标是把问题分成容易计算和难以计算的；而在可计算性理论中是把问题分成可解和不可解的。

问题:计算理论的主要内容

答案:自动机理论:计算的数学模型的定义和性质

可计算理论:把问题分成可解和不可解的

计算复杂性理论:把问题分成容易计算和难以计算的

问题:什么是计算理论?

答案:计算理论是数学的一个领域，和计算机有密切关系。

其中的理论是现代密码协议、计算机设计和许多应用领域的基础。

该领域主要关心三个方面的问题:

1．采用什么计算模型（即形式语言、自动机）

2．解决哪些是能计算的、哪些是不能计算的（即可计算性理论）

3．要用多少时间、要用多少存储（即计算复杂性理论）

问:计算理论的核心问题是什么?

答:计算模型及其计算能力；

问题是否可解——可计算性；

问题是否难解——计算复杂性。

它们相互关联，相辅相成。

什么是可计算性理论?

答:可计算性理论是研究计算的一般性质的数学理论，也称算法理论或能行性理论。它通过建立计算的数学模型（例如抽象计算机），精确区分哪些是可计算的，哪些是不可计算的。计算的过程就是执行算法的过程。可计算性理论的重要课题之一，是将算法这一直观概念精确化。算法概念精确化的途径很多，其中之一是通过定义抽象计算机，把算法看作抽象计算机的程序。通常把那些存在算法计算其值的函数叫作可计算函数。因此，可计算函数的精确定义为:能够在抽象计算机上编出程序计算其值的函数。这样就可以讨论哪些函数是可计算的，哪些函数是不可计算的。

问题:可计算性理论是什么?

答:可计算性理论是研究计算的可行性和函数算法的理论。又称算法理论。它是算法设计与分析的基础，也是计算机科学的理论基础。可计算性是函数的一个特性。设函数f的定义域是D，值域是R ，如果存在一种算法 ，对D中任意给定的x ，都能计算出f（x）的值，则称函数f是可计算的。

问题:计算理论的地位和作用是什么?

回答:

1）计算机学科的基石；

2）令人着迷、引人入胜的领域；

3）受到优秀的数学家、哲学家、逻辑学家和物理学家等的青睐；

4）起源于上世纪30年代，成型于70年代，现在依然充满活力；

5）计算机科学领域其他学科和方向的思想源泉、理论基础和方法之本。

问题:计算理论的三大核心问题是什么?

答:①计算模型及其计算能力；

②问题是否可解——可计算性；

③问题是否难解——计算复杂性。

什么是可计算理论?

可计算性理论是研究计算的可行性和函数算法的理论。又称算法理论。它是算法设计与分析的基础，也是计算机科学的理论基础。可计算性是函数的一个特性。设函数f的定义域是D，值域是R ，如果存在一种算法 ，对D中任意给定的x ，都能计算出f（x）的值，则称函数f是可计算的。