3) N-representability problem
N表示问题
4) problem oriented knowledge representation
问题知识表示
5) question
[英]['kwestʃən] [美]['kwɛstʃən]
n.问题;询问;难题;议题 v.询问;怀疑,对…表示疑问
6) structure expression of conflict problems
冲突问题的结构表示
1.
With analyzing the specific problems by the structure expression of conflict problems,an algorithm for conflicts’ automatic generation based on conflicts’ structure is presented.
利用冲突问题的结构表示来对问题进行分析,并提出了通过冲突结构得到冲突的自动生成算法。
补充资料：矩阵表示问题
矩阵表示问题
representation of matrices, problem of
或Problenl of Prese”tation of matrices;npe及cTa.”-MocT“M盯p“”nPo6几eMa] 是否能够提出一个统一的一般方法(一个算法(al-即巧山m”，对于任意一组整数上的矩阵U，U，，…，U;来说，在有限步骤内，给出矩阵U能否由矩阵U，，‘·’，U，用乘法表示出来的答案.在U，U;，‘二，U。都是同阶方阵的情形最令人感兴趣.矩阵表示问题的这种陈述方式称为一般的(general).固定矩阵。，，…，u;而使矩阵u变动就得到琴呼寿那妙邵分j可题(part诫Pmbkm of presentation of tnatrices).解出一般陈述的算法也解出了所有部分问题，因为要证实一般陈述的不可解只需提出至少一个不可解的部分问题即可. 矩阵表现问题是代数特征的第一算法问题(见算法问题(司即石仇面c Prob1On”之一，它的不可解性已被证实、最早是A A.MaPK曲证明了对于n》6，可以构造一个含有91个n阶矩阵的系统，使得相应的部分问题不可解，即没有算法(在这个词的确切意义下)来辨别任意一个n阶矩阵是否可以由这一系统来表示(见[11，f21).后来(见t3])这一系统中矩阵的个数被减少到23个，并且证明了，在这个系统的构造里适当地复杂化，条件”)6可以减弱到n)4.对于任意n)6来说，可以构造一个具体的系统，包含12个n阶矩阵，具有不可解的部分问题(见[4])·适当地固定U并且变动U，，…，U。，一般陈述的不可解性已对n二3被证明(见【5」).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条