p

The P=NP question is one of the great problems of science, which has intrigued computer scientists and mathematicians for decades. Despite the abundant research in theoretical computer science regarding the P=NP question, it has not been solved.

This book discusses the P-graph framework for developing and understanding effective design tools for process systems engineering, and addresses the current state of its theory and applications. The book details the new philosophy of the axioms-based mathematical modelling of processing systems, the basic algorithms, areas of application, future directions, and the proofs of theorems and algorithms.