従ってformula_12はformula_17の最大多項式次数であり、拘束長はformula_18と定義される。