私は仮説 H : exists a b v, P a b v
私はinversion Hを使用する場合、私は罰金である a : nat
H1 : exists b v, P a b v.
を回復したが、その後、私は二倍以上反転を使用する必要があるとした証拠を通して働いていますbとvを復旧してください。 a、b、vを一度に復旧するコマンドはありますか?
こんにちは私はPythonには新しいですが、私はmergesortを使ってカウントの反転問題に問題があります。エラーは、 "" int "オブジェクトはiterableではないと言いました。しかし、私はこの段階で何回も反復しているとは思っていません。私はここにくっついているので、このコードにもっと多くのバグがあるかどうかはわかりません。私はここで何が起こっているかを考え出す助けどうもありがとうござ