Proof checking and non-approximability
From MaRDI portal
Publication:4571889
DOI10.1007/BFb0053014zbMath1401.68091MaRDI QIDQ4571889
Publication date: 3 July 2018
Published in: Lectures on Proof Verification and Approximation Algorithms (Search for Journal in Brave)
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Approximation algorithms (68W25) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
This page was built for publication: Proof checking and non-approximability