本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261011-advance-20261015-r06-permutation-combination-foundations · 2026-10-11 · 100 題
相異標記物件無放回，有序與無序分開。n=0、k=0，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(1, 1, 1, 是)
有序無序排序因子與空選=(1, 1, 1, 是)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=1、k=1，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(1, 1, 1, 否)
有序無序排序因子與空選=(1, 1, 1, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=20、k=19，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(2432902008176640000, 20, 121645100408832000, 否)
有序無序排序因子與空選=(2432902008176640000, 20, 121645100408832000, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=4、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(24, 4, 6, 否)
有序無序排序因子與空選=(24, 4, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=5、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(20, 10, 2, 否)
有序無序排序因子與空選=(20, 10, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=6、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(120, 20, 6, 否)
有序無序排序因子與空選=(120, 20, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=7、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(42, 21, 2, 否)
有序無序排序因子與空選=(42, 21, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=8、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(336, 56, 6, 否)
有序無序排序因子與空選=(336, 56, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=9、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(72, 36, 2, 否)
有序無序排序因子與空選=(72, 36, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=10、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(720, 120, 6, 否)
有序無序排序因子與空選=(720, 120, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=11、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(110, 55, 2, 否)
有序無序排序因子與空選=(110, 55, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=12、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(1320, 220, 6, 否)
有序無序排序因子與空選=(1320, 220, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=13、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(156, 78, 2, 否)
有序無序排序因子與空選=(156, 78, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=14、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(2184, 364, 6, 否)
有序無序排序因子與空選=(2184, 364, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=15、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(210, 105, 2, 否)
有序無序排序因子與空選=(210, 105, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=16、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(3360, 560, 6, 否)
有序無序排序因子與空選=(3360, 560, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=17、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(272, 136, 2, 否)
有序無序排序因子與空選=(272, 136, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=18、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(4896, 816, 6, 否)
有序無序排序因子與空選=(4896, 816, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=19、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(342, 171, 2, 否)
有序無序排序因子與空選=(342, 171, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=20、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(6840, 1140, 6, 否)
有序無序排序因子與空選=(6840, 1140, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=21、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(420, 210, 2, 否)
有序無序排序因子與空選=(420, 210, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=22、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(9240, 1540, 6, 否)
有序無序排序因子與空選=(9240, 1540, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=23、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(506, 253, 2, 否)
有序無序排序因子與空選=(506, 253, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=24、k=3，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(12144, 2024, 6, 否)
有序無序排序因子與空選=(12144, 2024, 6, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。n=25、k=2，model=distinct_without_replacement。求 (P(n,k), C(n,k), k!, k=0空選資格)。
(600, 300, 2, 否)
有序無序排序因子與空選=(600, 300, 2, 否)。以Pascal整數遞推算組合，再乘排序因子得到有序選取數。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-order-factor-triple · candidate
相異標記物件無放回，有序與無序分開。Fin(0)=∅，k=0，model=distinct_without_replacement，候選三列=[[], [0], [0, 0]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 否, 否], [是, 否, 否], [是, 是, 否], [是, 否, 否], [[], 不合選取, 不合選取], [[], 不合選取, 不合選取])
三個標記選取候選資格=([是, 否, 否], [是, 否, 否], [是, 是, 否], [是, 否, 否], [[], 不合選取, 不合選取], [[], 不合選取, 不合選取])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(4)=[0, 1, 2, 3]，k=2，model=distinct_without_replacement，候選三列=[[1, 0], [0, 1], [0, 0]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 是], [是, 是, 是], [是, 是, 否], [是, 是, 否], [[1, 0], [0, 1], 不合選取], [[0, 1], [0, 1], 不合選取])
三個標記選取候選資格=([是, 是, 是], [是, 是, 是], [是, 是, 否], [是, 是, 否], [[1, 0], [0, 1], 不合選取], [[0, 1], [0, 1], 不合選取])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(4)=[0, 1, 2, 3]，k=2，model=distinct_without_replacement，候選三列=[[0], [0, 1, 2], [0, 4]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([否, 否, 是], [是, 是, 否], [是, 是, 是], [否, 否, 否], [不合選取, 不合選取, 不合選取], [不合選取, 不合選取, 不合選取])
三個標記選取候選資格=([否, 否, 是], [是, 是, 否], [是, 是, 是], [否, 否, 否], [不合選取, 不合選取, 不合選取], [不合選取, 不合選取, 不合選取])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 1], [0, 1], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 是], [是, 是, 是], [是, 是, 是], [是, 是, 是], [[0, 1], [0, 1], [0, 1]], [[0, 1], [0, 1], [0, 1]])
三個標記選取候選資格=([是, 是, 是], [是, 是, 是], [是, 是, 是], [是, 是, 是], [[0, 1], [0, 1], [0, 1]], [[0, 1], [0, 1], [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0], [0, 1], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([否, 是, 是], [是, 是, 是], [是, 是, 是], [否, 是, 是], [不合選取, [0, 1], [0, 1]], [不合選取, [0, 1], [0, 1]])
三個標記選取候選資格=([否, 是, 是], [是, 是, 是], [是, 是, 是], [否, 是, 是], [不合選取, [0, 1], [0, 1]], [不合選取, [0, 1], [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 0], [0, 1], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 是], [是, 是, 是], [否, 是, 是], [否, 是, 是], [不合選取, [0, 1], [0, 1]], [不合選取, [0, 1], [0, 1]])
三個標記選取候選資格=([是, 是, 是], [是, 是, 是], [否, 是, 是], [否, 是, 是], [不合選取, [0, 1], [0, 1]], [不合選取, [0, 1], [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 8], [0, 1], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 是], [否, 是, 是], [是, 是, 是], [否, 是, 是], [不合選取, [0, 1], [0, 1]], [不合選取, [0, 1], [0, 1]])
三個標記選取候選資格=([是, 是, 是], [否, 是, 是], [是, 是, 是], [否, 是, 是], [不合選取, [0, 1], [0, 1]], [不合選取, [0, 1], [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 1], [0], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 否, 是], [是, 是, 是], [是, 是, 是], [是, 否, 是], [[0, 1], 不合選取, [0, 1]], [[0, 1], 不合選取, [0, 1]])
三個標記選取候選資格=([是, 否, 是], [是, 是, 是], [是, 是, 是], [是, 否, 是], [[0, 1], 不合選取, [0, 1]], [[0, 1], 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0], [0], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([否, 否, 是], [是, 是, 是], [是, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])
三個標記選取候選資格=([否, 否, 是], [是, 是, 是], [是, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 0], [0], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 否, 是], [是, 是, 是], [否, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])
三個標記選取候選資格=([是, 否, 是], [是, 是, 是], [否, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 8], [0], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 否, 是], [否, 是, 是], [是, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])
三個標記選取候選資格=([是, 否, 是], [否, 是, 是], [是, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 1], [0, 0], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 是], [是, 是, 是], [是, 否, 是], [是, 否, 是], [[0, 1], 不合選取, [0, 1]], [[0, 1], 不合選取, [0, 1]])
三個標記選取候選資格=([是, 是, 是], [是, 是, 是], [是, 否, 是], [是, 否, 是], [[0, 1], 不合選取, [0, 1]], [[0, 1], 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0], [0, 0], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([否, 是, 是], [是, 是, 是], [是, 否, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])
三個標記選取候選資格=([否, 是, 是], [是, 是, 是], [是, 否, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 0], [0, 0], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 是], [是, 是, 是], [否, 否, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])
三個標記選取候選資格=([是, 是, 是], [是, 是, 是], [否, 否, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 8], [0, 0], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 是], [否, 是, 是], [是, 否, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])
三個標記選取候選資格=([是, 是, 是], [否, 是, 是], [是, 否, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 1], [0, 8], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 是], [是, 否, 是], [是, 是, 是], [是, 否, 是], [[0, 1], 不合選取, [0, 1]], [[0, 1], 不合選取, [0, 1]])
三個標記選取候選資格=([是, 是, 是], [是, 否, 是], [是, 是, 是], [是, 否, 是], [[0, 1], 不合選取, [0, 1]], [[0, 1], 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0], [0, 8], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([否, 是, 是], [是, 否, 是], [是, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])
三個標記選取候選資格=([否, 是, 是], [是, 否, 是], [是, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 0], [0, 8], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 是], [是, 否, 是], [否, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])
三個標記選取候選資格=([是, 是, 是], [是, 否, 是], [否, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 8], [0, 8], [0, 1]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 是], [否, 否, 是], [是, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])
三個標記選取候選資格=([是, 是, 是], [否, 否, 是], [是, 是, 是], [否, 否, 是], [不合選取, 不合選取, [0, 1]], [不合選取, 不合選取, [0, 1]])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 1], [0, 1], [0]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 否], [是, 是, 是], [是, 是, 是], [是, 是, 否], [[0, 1], [0, 1], 不合選取], [[0, 1], [0, 1], 不合選取])
三個標記選取候選資格=([是, 是, 否], [是, 是, 是], [是, 是, 是], [是, 是, 否], [[0, 1], [0, 1], 不合選取], [[0, 1], [0, 1], 不合選取])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0], [0, 1], [0]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([否, 是, 否], [是, 是, 是], [是, 是, 是], [否, 是, 否], [不合選取, [0, 1], 不合選取], [不合選取, [0, 1], 不合選取])
三個標記選取候選資格=([否, 是, 否], [是, 是, 是], [是, 是, 是], [否, 是, 否], [不合選取, [0, 1], 不合選取], [不合選取, [0, 1], 不合選取])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 0], [0, 1], [0]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 否], [是, 是, 是], [否, 是, 是], [否, 是, 否], [不合選取, [0, 1], 不合選取], [不合選取, [0, 1], 不合選取])
三個標記選取候選資格=([是, 是, 否], [是, 是, 是], [否, 是, 是], [否, 是, 否], [不合選取, [0, 1], 不合選取], [不合選取, [0, 1], 不合選取])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 8], [0, 1], [0]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 是, 否], [否, 是, 是], [是, 是, 是], [否, 是, 否], [不合選取, [0, 1], 不合選取], [不合選取, [0, 1], 不合選取])
三個標記選取候選資格=([是, 是, 否], [否, 是, 是], [是, 是, 是], [否, 是, 否], [不合選取, [0, 1], 不合選取], [不合選取, [0, 1], 不合選取])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0, 1], [0], [0]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([是, 否, 否], [是, 是, 是], [是, 是, 是], [是, 否, 否], [[0, 1], 不合選取, 不合選取], [[0, 1], 不合選取, 不合選取])
三個標記選取候選資格=([是, 否, 否], [是, 是, 是], [是, 是, 是], [是, 否, 否], [[0, 1], 不合選取, 不合選取], [[0, 1], 不合選取, 不合選取])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]，k=2，model=distinct_without_replacement，候選三列=[[0], [0], [0]]。依原序求 (長度資格, 全標記域內資格, 全相異資格, 完整選取資格, 合格有序tuple或不合選取, 合格排序subset或不合選取)。
([否, 否, 否], [是, 是, 是], [是, 是, 是], [否, 否, 否], [不合選取, 不合選取, 不合選取], [不合選取, 不合選取, 不合選取])
三個標記選取候選資格=([否, 否, 否], [是, 是, 是], [是, 是, 是], [否, 否, 否], [不合選取, 不合選取, 不合選取], [不合選取, 不合選取, 不合選取])。長度、型別、相異三軸分開核；合格列才保留有序列和其無序版本。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-fixed-label-qualification · candidate
相異標記物件無放回，有序與無序分開。n=1≥1、k=0、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(1, 0, 1, 0)
含排指定物件組合分割=(1, 0, 1, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=3≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(1, 1, 0, 0)
含排指定物件組合分割=(1, 1, 0, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=20≥1、k=10、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(184756, 92378, 92378, 0)
含排指定物件組合分割=(184756, 92378, 92378, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=6≥1、k=5、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(6, 5, 1, 0)
含排指定物件組合分割=(6, 5, 1, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=5≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(10, 4, 6, 0)
含排指定物件組合分割=(10, 4, 6, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=6≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(20, 10, 10, 0)
含排指定物件組合分割=(20, 10, 10, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=7≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(21, 6, 15, 0)
含排指定物件組合分割=(21, 6, 15, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=8≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(56, 21, 35, 0)
含排指定物件組合分割=(56, 21, 35, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=9≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(36, 8, 28, 0)
含排指定物件組合分割=(36, 8, 28, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=10≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(120, 36, 84, 0)
含排指定物件組合分割=(120, 36, 84, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=11≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(55, 10, 45, 0)
含排指定物件組合分割=(55, 10, 45, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=12≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(220, 55, 165, 0)
含排指定物件組合分割=(220, 55, 165, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=13≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(78, 12, 66, 0)
含排指定物件組合分割=(78, 12, 66, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=14≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(364, 78, 286, 0)
含排指定物件組合分割=(364, 78, 286, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=15≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(105, 14, 91, 0)
含排指定物件組合分割=(105, 14, 91, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=16≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(560, 105, 455, 0)
含排指定物件組合分割=(560, 105, 455, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=17≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(136, 16, 120, 0)
含排指定物件組合分割=(136, 16, 120, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=18≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(816, 136, 680, 0)
含排指定物件組合分割=(816, 136, 680, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=19≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(171, 18, 153, 0)
含排指定物件組合分割=(171, 18, 153, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=20≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(1140, 171, 969, 0)
含排指定物件組合分割=(1140, 171, 969, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=21≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(210, 20, 190, 0)
含排指定物件組合分割=(210, 20, 190, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=22≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(1540, 210, 1330, 0)
含排指定物件組合分割=(1540, 210, 1330, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=23≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(253, 22, 231, 0)
含排指定物件組合分割=(253, 22, 231, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=24≥1、k=3、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(2024, 253, 1771, 0)
含排指定物件組合分割=(2024, 253, 1771, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=25≥1、k=2、model=distinct_without_replacement，指定已存在標記0。求 (全組合數, 含0組合數, 排0組合數, 兩部分和減全數)。
(300, 24, 276, 0)
含排指定物件組合分割=(300, 24, 276, 0)。移出固定物件後以Pascal列分別核兩個合法選取大小；k=0含0數為零。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-one-distinguished-counts · candidate
相異標記物件無放回，有序與無序分開。n=0、k=0、r=0、model=distinct_without_replacement，前r個位置固定原序標記=[]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(0, 0, 1, 1, 1/1)
固定前序餘量與完成計數比=(0, 0, 1, 1, 1/1)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=4、k=2、r=0、model=distinct_without_replacement，前r個位置固定原序標記=[]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(4, 2, 12, 12, 1/1)
固定前序餘量與完成計數比=(4, 2, 12, 12, 1/1)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=4、k=2、r=2、model=distinct_without_replacement，前r個位置固定原序標記=[0, 1]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(2, 0, 1, 12, 1/12)
固定前序餘量與完成計數比=(2, 0, 1, 12, 1/12)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=32、k=32、r=16、model=distinct_without_replacement，前r個位置固定原序標記=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(16, 16, 20922789888000, 263130836933693530167218012160000000, 1/12576278705767096320000)
固定前序餘量與完成計數比=(16, 16, 20922789888000, 263130836933693530167218012160000000, 1/12576278705767096320000)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=5、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(4, 2, 12, 60, 1/5)
固定前序餘量與完成計數比=(4, 2, 12, 60, 1/5)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=6、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(5, 2, 20, 120, 1/6)
固定前序餘量與完成計數比=(5, 2, 20, 120, 1/6)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=7、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(6, 2, 30, 210, 1/7)
固定前序餘量與完成計數比=(6, 2, 30, 210, 1/7)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=8、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(7, 2, 42, 336, 1/8)
固定前序餘量與完成計數比=(7, 2, 42, 336, 1/8)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=9、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(8, 2, 56, 504, 1/9)
固定前序餘量與完成計數比=(8, 2, 56, 504, 1/9)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=10、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(9, 2, 72, 720, 1/10)
固定前序餘量與完成計數比=(9, 2, 72, 720, 1/10)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=11、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(10, 2, 90, 990, 1/11)
固定前序餘量與完成計數比=(10, 2, 90, 990, 1/11)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=12、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(11, 2, 110, 1320, 1/12)
固定前序餘量與完成計數比=(11, 2, 110, 1320, 1/12)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=13、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(12, 2, 132, 1716, 1/13)
固定前序餘量與完成計數比=(12, 2, 132, 1716, 1/13)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=14、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(13, 2, 156, 2184, 1/14)
固定前序餘量與完成計數比=(13, 2, 156, 2184, 1/14)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=15、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(14, 2, 182, 2730, 1/15)
固定前序餘量與完成計數比=(14, 2, 182, 2730, 1/15)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=16、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(15, 2, 210, 3360, 1/16)
固定前序餘量與完成計數比=(15, 2, 210, 3360, 1/16)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=17、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(16, 2, 240, 4080, 1/17)
固定前序餘量與完成計數比=(16, 2, 240, 4080, 1/17)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=18、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(17, 2, 272, 4896, 1/18)
固定前序餘量與完成計數比=(17, 2, 272, 4896, 1/18)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=19、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(18, 2, 306, 5814, 1/19)
固定前序餘量與完成計數比=(18, 2, 306, 5814, 1/19)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=20、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(19, 2, 342, 6840, 1/20)
固定前序餘量與完成計數比=(19, 2, 342, 6840, 1/20)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=21、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(20, 2, 380, 7980, 1/21)
固定前序餘量與完成計數比=(20, 2, 380, 7980, 1/21)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=22、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(21, 2, 420, 9240, 1/22)
固定前序餘量與完成計數比=(21, 2, 420, 9240, 1/22)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=23、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(22, 2, 462, 10626, 1/23)
固定前序餘量與完成計數比=(22, 2, 462, 10626, 1/23)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=24、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(23, 2, 506, 12144, 1/24)
固定前序餘量與完成計數比=(23, 2, 506, 12144, 1/24)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate
相異標記物件無放回，有序與無序分開。n=25、k=3、r=1、model=distinct_without_replacement，前r個位置固定原序標記=[0]。求 (剩餘物件數, 剩餘位置數, 完成數, 全有序數, 完成數/全數)。
(24, 2, 552, 13800, 1/25)
固定前序餘量與完成計數比=(24, 2, 552, 13800, 1/25)。固定前序移去已用物件與位置，再核兩個有序計數並規約其比。比例只作計數比不自行稱概率。空選取只有一種，不套重複不可區分或環形模型，有限計數非一般形式證明。
排列與組合 · qf-density15-selection-forced-initial-order · candidate