lambda1@tg says to YSITD
這步是NP-complete