Cromwell backend tutorial. Zwar beispiel. Np hard 问题 是 什么. クロス の 法則 数学.