>>604 
≺ のことかな?
is Karp reducible to;
is polynomial-time many-one reducible to