V·阿尔文德。;比斯瓦斯，S。 [Thanh Tung Nguyen先生] 具有一阶可表示子图性质的边删除图问题。 （英语） Zbl 0753.05066号 发现的国际期刊。计算。科学。 第2期，第2期，第83-99页（1991年）. 小结：从一个新的角度研究边删除问题。一般来说，边删除问题的形式是：给定一个图（G），它是否有通过删除零条或多条边而获得的子图（H），使得（H）满足多项式时间可验证属性？本文将注意力限制在一阶可表达性质上。如果属性用prenex范式中的\（\pi\）表示，其中\（\Phi）\是量词前缀，那么我们证明了表征边删除问题复杂性的量词结构的结果。特别地，我们为（Q）“简单”的问题给出了多项式时间算法，在其他情况下，我们将某些NP-完全问题编码为边删除问题，本质上使用了（pi）的量词结构。我们还提出了证据，证明仅靠\（Q\）无法捕捉边缘删除问题的复杂性。 MSC公司： 05C99年 图论 65年第68季度 算法和问题复杂性分析 05C85号 图形算法（图形理论方面） 03B10号机组 经典一阶逻辑 05C45号 欧拉图和哈密顿图 关键词：边删除图问题;一级财产;NP-完成;多项式时间 PDF格式BibTeX公司 XML格式引用 \textit{V.Arvind}和\textit{S.Biswas}，国际期刊发现。计算。科学。2，编号2，83--99（1991；Zbl 0753.05066） 全文： 内政部