Johnson: "computers and intractability