https://thelogictutorial.blogspot.com/2024/03/theory-of-np-completeness-in-design-and.html