સમાનતા વર્ગો પી અને એનપી, પણ કૂક-લેવિન સમજી ભાષાના સમસ્યા તરીકે ઓળખાય સમસ્યા નીચે પ્રમાણે ઘડવામાં આવી શકે છે.