Coqのベクトルの順列について、私は理由を考える必要があります。標準ライブラリには、リストの置換定義のみが含まれています。私の最初の試みとして、私はのようなベクターのためにそれを模倣しようとした： Inductive VPermutation: forall n, vector A n -> vector A n -> Prop :=
| vperm_nil: VPermutation
Matlabにサイズnの2ストライド置換行列を作成する痛みのない方法はありますか？ nの L*x = [x(1), x(3), ..., x(n-1), x(2),x(4), ..., x(n)] % when n is even
L*x = [x(1), x(3), ..., x(n), x(2), x(4), ..., x(n-1)] % when n is odd
例えば= 4： は
私はこのコードをC＃に変換したいが、何かが間違っている。私は指針でそれをしたくなかった。すぐに改善する方法を誰かが知ることができますか？これは、最小転置数によって全ての置換を生成することである。これは私が変換したいコードです。 a link。新しい配列を作成しませんint[] I = P;： namespace Algorytm8
{
class Program
{