AI Computing Programming Optimality vs Completeness: Striking a Balance in Algorithm Design 8 May 2023