Bankq·7 bulan yang lalu·discussThe approach reminds me of NP-Completeness (Computational harness vs mathematical-proving hardness). Am I over-simplifying?