P-Optimal Proof Systems for Each Set in coNP and no Complete Problems in NP⋂coNP Relative to an Oracle.

Published in: CoRR (2019)

Keyphrases

decision problems
optimal solution
database
np hard
benchmark problems
worst case
neural network
minimum cost
complex systems
np complete
distributed systems
optimization problems
small number
probability distribution
database applications
retrieval systems
management system
decision variables
logical rules