4 ms·Are you arguing that writing a correct program is an NP problem?by xigoi 3mo agoAre you arguing that writing a correct program is an NP problem?