Showing cs.DSShow all
2 papers · 1 filter
cs.DS1999
Formalization of the class of problems solvable by a nondeterministic Turing machine
Anatoly D. Plotnikov
The objective of this article is to formalize the definition of NP problems. We construct a mathematical model of discrete problems as independence systems with weighted elements.…
cs.DS1999
A class of problems of NP to be worth to search an efficient solving algorithm
Anatoly D. Plotnikov
We examine possibility to design an efficient solving algorithm for problems of the class \np. It is introduced a classification of \np problems by the property that a partial solu…