Bankq·7 か月前·議論The approach reminds me of NP-Completeness (Computational harness vs mathematical-proving hardness). Am I over-simplifying?