ベクトルの長さは、システム内の変数の総数に等しく、特定のゲートによって影響を受ける変数に対応する位置にのみ値が入る。'sym_2')のでベクトルの長さも6に等しくなる。0]ちなみにこの1が立っているところは先ほどの変数の場所と一致している。あるのでaはxの位置、bもxの位置そしてcはsym_1の位置に1がたつ。9に帰着し、合格することがわかります。解ベクトルが2番目の位置に-3、4番目の位置に9を持つ場合、このチェックもパスする。実際、解ベクトルが2番目の位置に7、4番目の位置に49を持つ場合でも、このチェックはパスする。この最初のチェックの目的は、最初のゲートの入力と出力の整合性のみを検証することである。yをチェックしている。yと加算なので計算方法が少々ことなる。0を満たすことを考える。