METHODS FOR PROVING COMPLETENESS VIA LOGICAL REDUCTIONS

被引：10
|
作者：
STEWART, IA [1 ]
机构：
[1] UNIV NEWCASTLE UPON TYNE, COMP LAB, NEWCASTLE UPON TYNE NE1 7RU, TYNE & WEAR, ENGLAND
来源：
THEORETICAL COMPUTER SCIENCE | 1993年 / 118卷 / 02期
关键词：
D O I：
10.1016/0304-3975(93)90109-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we illustrate five different techniques for showing that problems are complete for some complexity class via projection translations (these are extremely weak logical reductions). These techniques would not be available to us if we were to take the traditional view of complexity theory where decision problems are equated with sets of strings instead of sets of finite structures.
引用
收藏
页码：193 / 229
页数：37
相关论文
共 50 条
  • [1] COMPLETENESS OF PATH-PROBLEMS VIA LOGICAL REDUCTIONS
    STEWART, IA
    [J]. INFORMATION AND COMPUTATION, 1995, 121 (01) : 123 - 134
  • [2] MACHINE METHODS FOR PROVING LOGICAL ARGUMENTS EXPRESSED IN ENGLISH
    DARLINGTON, JL
    [J]. MECHANICAL TRANSLATION, 1965, 8 (3-4): : 41 - +
  • [3] ON PROVING LIMITING COMPLETENESS
    MOSSES, PD
    PLOTKIN, GD
    [J]. SIAM JOURNAL ON COMPUTING, 1987, 16 (01) : 179 - 194
  • [4] Proving completeness by logic
    Escoffier, B
    Paschos, VT
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2005, 82 (02) : 151 - 161
  • [5] On the Meaning of Logical Completeness
    Basaldella, Michele
    Terui, Kazushige
    [J]. TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 50 - 64
  • [6] ON THE MEANING OF LOGICAL COMPLETENESS
    Basaldella, Michele
    Terui, Kazushige
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (04)
  • [7] Logical errors on proving theorem
    Sari, C. K.
    Waluyo, M.
    Ainur, C. M.
    Darmaningsih, E. N.
    [J]. 1ST INTERNATIONAL CONFERENCE OF EDUCATION ON SCIENCES, TECHNOLOGY, ENGINEERING, AND MATHEMATICS (ICE-STEM), 2018, 948
  • [8] Proving completeness of logic programs with the cut
    Drabent, Wodzimierz
    [J]. FORMAL ASPECTS OF COMPUTING, 2017, 29 (01) : 155 - 172
  • [9] Reductions, completeness and the hardness of approximability
    Ausiello, G
    Paschos, VT
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2006, 172 (03) : 719 - 739
  • [10] Theory of Completeness for Logical Spaces
    Gomi, Kensaku
    [J]. LOGICA UNIVERSALIS, 2009, 3 (02) : 243 - 291
12345