私はZ表記の完全な初心者です。Z でグラフ タイプを表す必要があります。私が考えているのは、ノードとエッジの間を簡単に自由に移動できるように、インシデンス マトリックスを使用することです。
唯一の問題は、Z で入射行列を指定する方法がわからないことです。私は 2D 配列が必要だと思いますが、Z 表記に使用できる参照資料を調べると、配列は一般的に seq を使用して表されます。多次元配列を指定する別の方法はありますか?
前もって感謝します。
私はZ表記の完全な初心者です。Z でグラフ タイプを表す必要があります。私が考えているのは、ノードとエッジの間を簡単に自由に移動できるように、インシデンス マトリックスを使用することです。
唯一の問題は、Z で入射行列を指定する方法がわからないことです。私は 2D 配列が必要だと思いますが、Z 表記に使用できる参照資料を調べると、配列は一般的に seq を使用して表されます。多次元配列を指定する別の方法はありますか?
前もって感謝します。