已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这种知识的表示方法叫（）。A．状态空间法B．问题归约法C．谓词逻辑法D．语义网络法
已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这种知识的表示方法叫（）。
A．状态空间法
B．问题归约法
C．谓词逻辑法
D．语义网络法
参考答案和解析
问题归约法
相关考题：
分治法所能解决的问题一般具有的几个特征不包括() A.该问题的规模缩小到一定的程度就可以容易地解决B.该问题可以分解为若干个规模较小的相同问题，即该问题具有最优子结构性质C.利用该问题分解出的子问题的解不可以合并为该问题的解D.原问题所分解出的各个子问题是相互独立的，即子问题之间不包含公共的子问题
能采用递归描述的算法通常有这样的特征:为求解规模为N的问题,设法将它分解成规模较小的问题,然后从这些小问题的解很容易构造出大问题的解,并且这些规模较小的问题也能采用同样的分解和综合方法,分解成规模更小的问题,并从这些更小问题的解构造出规模较大问题的解。特别地,当规模N=1时,能直接得解。() 此题为判断题(对，错)。
分枝定界法的基本思想()。 A、不断用变量的旧值递推新值的过程B、把全部可行的解空间不断分割为越来越小的子集(称为分支)，并为每个子集内的解的值计算一个下界或上界C、将原问题分解为相似的子问题，在求解的过程中通过子问题的解求出原问题的解D、一种用若干步可重复的简运算(规律)来描述复杂问题的方法
已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）A、状态空间法B、问题归约法C、谓词逻辑法D、语义网络法
“根据问题解决的需要转变研究对象的内容或形式，即把困难的问题转化为已知的或新形式的问题，利用变换后新形式的方便和变换中的不变性，通过对已知问题或新形式问题的解决，获得原问题的解决。”这种思想体现了数学中的（）A、化归思想B、建模思想C、整体思想D、集合思想
分治法的设计思想是将一个难以直接解决的大问题分割成规模较小的子问题，分别解决子问题，最后将子问题的解组合起来形成原问题的解。这要求原问题和子问题（）A、问题规模相同，问题性质相同B、问题规模相同，问题性质不同C、问题规模不同，问题性质相同D、问题规模不同，问题性质不同
给出一个初始状态，问题解决者必须发展一系列达到目标状态的操作，通过这些操作，使最初状态不断向目标状态转化，最终达到总目标，这种问题属于（）。A、具体问题B、归纳结构问题C、转换问题D、排列问题
找出问题空间中问题的初始状态与目标状态之间存在的差距，把问题划分为一系列的子目标，并通过逐个解决子目标最终达到问题解决的策略是（）。A、手段——目的分析B、逆向搜索C、生成——检验策略D、类比策略
单选题“根据问题解决的需要转变研究对象的内容或形式，即把困难的问题转化为已知的或新形式的问题，利用变换后新形式的方便和变换中的不变性，通过对已知问题或新形式问题的解决，获得原问题的解决。”这种思想体现了数学中的（）A化归思想B建模思想C整体思想D集合思想
单选题分治法的设计思想是将一个难以直接解决的大问题分割成规模较小的子问题，分别解决子问题，最后将子问题的解组合起来形成原问题的解。这要求原问题和子问题（）A问题规模相同，问题性质相同B问题规模相同，问题性质不同C问题规模不同，问题性质相同D问题规模不同，问题性质不同
单选题化归是指在解决问题的过程中不直接解决原问题，而是对问题进行变形、转化，直至把它变为某些已经解决的问题，或容易解决的问题。再通过这些问题的求解，把解得结果作用于原有问题，从而使原有问题得解。根据上述定义，以下不属于化归的是（ ）。A解一元二次方程时，先通过因式分解将其化为一元一次方程，再进行解决B计算多边形面积时，将多边形划分为若干个三角形，再通过加和三角形求解C在解决解析几何题目时，通过建立坐标系将其转化为代数问题解决D在解决行程类应用题中的相遇问题时，通过画图法将抽象的文字描述化为直观的图画来解决
单选题在求解规模较大的问题时，可以把它分解成若干个规模较小的子问题，求出各个子问题的解之后，再把这些解合成原问题的解，这种方法是（）。A穷举法B回溯法C分治法D递归法