embedding np-complete problems in restaurant orders using tdd