Added separate program, this one for self-reducibility of NP-hard problems