NP完全性不仅仅是一个理论上的好奇心;它对实际计算有着深远的影响。
法律是一个规则系统,是义务的主要规则与承认、变更和裁决的次要规则的结合。