Necessary and sufficient conditions for dividing the structure of algorithms into non-intersecting sets: polynomial and enumeration algorithms

The article is devoted to a rigorous proof of the first millennium problem, which is named as P≠NP. This problem was raised in 1971 by S. Cook and marked the beginning of a long struggle in order to understand and prove it. The problem is closely related to the concept of a combinatorial explosion,...

Full description

Bibliographic Details
Main Author: Natalia L. Malinina
Format: Article
Language:English
Published: Peoples’ Friendship University of Russia (RUDN University) 2022-08-01
Series:RUDN Journal of Engineering Research
Online Access:https://journals.rudn.ru/engineering-researches/article/viewFile/31716/20976