按这个推论，那么所有if else也都是np hard，因为所有 pattern match都能表达为等价的if else。

【 在 philbloo 的大作中提到: 】
: 但 pattern match 是 np hard
--
FROM 222.212.168.*