陣列是“列表的列表”,其中每個列表級別的長度相同。一個 維陣列的大小(有時稱為“形狀”)表示為
。最常見的陣列型別是二維
矩形陣列,具有
列和
行。如果
,則結果為方陣。有時,陣列中元素的順序很重要(如在矩陣中),而在其他時候,模反射(以及對於方陣的旋轉)等價的陣列被認為是相同的(如在幻方或素數陣列中)。
在Wolfram 語言中,深度為 的陣列使用巢狀列表表示,可以使用以下命令生成陣列[a,
i, j, ...
]。類似地,可以使用以下命令找到陣列的維度Dimensions[t],以及命令ArrayQ[expr] 測試表達式是否為完整陣列。例如,取
t=Array[a,{2,2,2,3}]
給出深度為 4 的列表
{{{{a[1,1,1,1],a[1,1,1,2],a[1,1,1,3]},
{a[1,1,2,1],a[1,1,2,2],a[1,1,2,3]}},
{{a[1,2,1,1],a[1,2,1,2],a[1,2,1,3]},
{a[1,2,2,1],a[1,2,2,2],a[1,2,2,3]}}},
{{{a[2,1,1,1],a[2,1,1,2],a[2,1,1,3]},
{a[2,1,2,1],a[2,1,2,2],a[2,1,2,3]}},
{{a[2,2,1,1],a[2,2,1,2],a[2,2,1,3]},
{a[2,2,2,1],a[2,2,2,2],a[2,2,2,3]}}}}
維度為 2, 2, 2, 3
。
為了窮舉列出給定形狀的不同陣列的數量,其中每個元素都是 種可能選擇之一,透過遍歷每種情況並檢查它是否等價於較早的情況的樸素演算法幾乎已經是最高效的了。執行時間必須至少是答案的數量,這非常接近
,以至於差異並不顯著。
然而,找到給定形狀的可能陣列的數量要容易得多,並且可以使用 波利亞列舉定理獲得精確公式。對於 陣列的簡單情況,即使這樣也證明是不必要的,因為只有幾種可能的對稱型別,允許顯式計數可能性。例如,考慮
和
偶數且不同的情況,因此只需要包括反射。以一個具體案例為例,設
和
,因此陣列看起來像
|
(1)
|
其中每個 、
、...、
可以取值從 1 到
。可能的排列總數為
(一般情況下為
)。與其左右映象影像等價的排列數為
(一般情況下為
),與其上下映象影像或旋轉
度也相同。還有
種排列(一般情況下為
)具有完全對稱性。
一般來說,因此以下公式成立
|
(2)
|
所以有
|
(3)
|
種排列沒有對稱性。現在除以每種型別影像的數量,對於 且
為 偶數 的情況,結果為
|
(4)
| |||
|
(5)
|
因此,數字的數量級為 ,其中“校正”項的階數要小得多。