Если желаешь работать с мыслью, то запиши её.
Представленное ниже исследование, посвящено рассмотрению соотношения классов сложности NP и co - NP, с точки зрения элементарной теории моделей. Известное понятие модельной полноты, рассматриваемой теориии и её критерии, переносятся и по новому формулируются с целью описать соотношения классов сложности NP и co - NP. Отмечу в этой связи, что во всех моделях модельно полной теории, иерархия свойств в каждой такой модели, обрывается на первом уровне. Для исследования соотношения между классами NP(A) и co - NP(A), формализуется понятие оракульного вычисления для чего формулируется понятие функционального слова, и таким образом, появляется возможность распространить "Use Principle" на модели изучаемой теории и связать соотношение классов сложности NP(A) и co - NP(A) с соотношением классов сложности NP и co - NP. Доказано весьма важное утверждение(теорема 6.4), если верно соотношение NP = co - NP, тогда верно соотношение NP(A) = co - NP(A) для любого оракула A, с применением "Use Principle". Из этого утверждения очевидно следует, что класс сложности NP не является булевой алгеброй. Исследование является оригинальным и ранее, даже фрагменты базисных идей и определений, в том числе "Use Principle" для моделей рассматриваемой теории, в этом исследовании, ни в каком, известном мне исследовании, не рассматривалось.
The study presented below is devoted to considering the relationship between NP and co-NP, complexity classes from the point of view of elementary model theory. The well-known concept of model completeness, the theory under consideration and its criteria are transferred and formulated in a new way in order to describe the relationship of complexity classes NP и co-NP. To study the relationship between the classes NP(A) and co-NP(A), the concept of oracle calculation is formalized, for which the concept of a functional word is formulated, and thus, it becomes possible to extend the "Use Principle" to the models of the theory under study connect the relationship of classes complexity NP(A) and co-NP(A) with the ratio of complexity classes NP and co-NP. A very important statement is proved (Theorem 6.4), if the relation NP = co-NP is true, then the relation NP(A) = co-NP(A) -is true for any oracle A, from which it obviously follows that the complexity class NP is not a Boolean algebra. "Use Principle" was used in proof. The study is original even earlier, even fragments of basic ideas and definitions in this study, in no study known to me.
Исследование нуждается в его верификации, поэтому опубликовано в таком виде. В недалёком будущем, я собираюсь опубликовать ряд весьма интересных исследований в области теории сложности вычислений и не только. Замечания и обсуждения прошу направлять по почте е-mail: logic-proof@outlook.com