达维多夫，G.V。;达维多娃，I.M。 线性系统的可解性和可满足性。 （英语。俄文原件） Zbl 0883.68064号 维斯特。圣彼得堡大学数学。 28，第4期，第11-13页（1995年）; 由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。1995年，第4期，第14-17页（1995年）。 摘要：将已知的NP-完全问题“可满足性”归结为关于类型为（Ax=0\），（x\geq0\）的齐次线性系统的非平凡可解性问题，其中矩阵\（A\）来自类\（K\）。这个类是通过测试公式（L）的可满足性来定义的，它由矩阵组成，其中（m）是公式中命题变量的数量。证明了公式（L）是可满足的当且仅当在类（K）中存在一个矩阵（a），使得系统（Ax=0），（xgeq0）只有平凡解。 引用于1文件 MSC公司： 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 65楼30 其他矩阵算法（MSC2010） 关键词：NP-完全问题的可满足性;非平凡可解性;线性系统 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Davydov}和\textit{I.M.Davidova}，Vestn。圣彼得堡大学数学。28，第4号，第11--13号（1995；Zbl 0883.68064）；由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。1995年，第4期，第14--17期（1995年）