Probabilistically Checkable Reconfiguration Proofs and Inapproximability of Reconfiguration Problems.

Shuichi Hirahara Naoto Ohsaka

Published in: CoRR (2024)

Keyphrases

problems involving
decision making
optimization problems
difficult problems
real time
databases
artificial intelligence
evolutionary algorithm
multi class
np complete
benchmark problems
manufacturing systems
theorem proving
solving problems