本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261022-r06-metric-space-foundations · 2026-10-13 · 100 題
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,1,3,6],[1,0,2,5],[3,2,0,3],[6,5,3,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 1, 3, 6], [1, 0, 2, 5], [3, 2, 0, 3], [6, 5, 3, 0]], 是, 是)
結構基礎核對=(4, [[0, 1, 3, 6], [1, 0, 2, 5], [3, 2, 0, 3], [6, 5, 3, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,2,5,9],[2,0,3,7],[5,3,0,4],[9,7,4,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 2, 5, 9], [2, 0, 3, 7], [5, 3, 0, 4], [9, 7, 4, 0]], 是, 是)
結構基礎核對=(4, [[0, 2, 5, 9], [2, 0, 3, 7], [5, 3, 0, 4], [9, 7, 4, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,3,7,12],[3,0,4,9],[7,4,0,5],[12,9,5,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 3, 7, 12], [3, 0, 4, 9], [7, 4, 0, 5], [12, 9, 5, 0]], 是, 是)
結構基礎核對=(4, [[0, 3, 7, 12], [3, 0, 4, 9], [7, 4, 0, 5], [12, 9, 5, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,4,9,15],[4,0,5,11],[9,5,0,6],[15,11,6,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 4, 9, 15], [4, 0, 5, 11], [9, 5, 0, 6], [15, 11, 6, 0]], 是, 是)
結構基礎核對=(4, [[0, 4, 9, 15], [4, 0, 5, 11], [9, 5, 0, 6], [15, 11, 6, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,5,11,18],[5,0,6,13],[11,6,0,7],[18,13,7,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 5, 11, 18], [5, 0, 6, 13], [11, 6, 0, 7], [18, 13, 7, 0]], 是, 是)
結構基礎核對=(4, [[0, 5, 11, 18], [5, 0, 6, 13], [11, 6, 0, 7], [18, 13, 7, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,6,13,21],[6,0,7,15],[13,7,0,8],[21,15,8,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 6, 13, 21], [6, 0, 7, 15], [13, 7, 0, 8], [21, 15, 8, 0]], 是, 是)
結構基礎核對=(4, [[0, 6, 13, 21], [6, 0, 7, 15], [13, 7, 0, 8], [21, 15, 8, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,7,15,24],[7,0,8,17],[15,8,0,9],[24,17,9,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 7, 15, 24], [7, 0, 8, 17], [15, 8, 0, 9], [24, 17, 9, 0]], 是, 是)
結構基礎核對=(4, [[0, 7, 15, 24], [7, 0, 8, 17], [15, 8, 0, 9], [24, 17, 9, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,8,17,27],[8,0,9,19],[17,9,0,10],[27,19,10,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 8, 17, 27], [8, 0, 9, 19], [17, 9, 0, 10], [27, 19, 10, 0]], 是, 是)
結構基礎核對=(4, [[0, 8, 17, 27], [8, 0, 9, 19], [17, 9, 0, 10], [27, 19, 10, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,9,19,30],[9,0,10,21],[19,10,0,11],[30,21,11,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 9, 19, 30], [9, 0, 10, 21], [19, 10, 0, 11], [30, 21, 11, 0]], 是, 是)
結構基礎核對=(4, [[0, 9, 19, 30], [9, 0, 10, 21], [19, 10, 0, 11], [30, 21, 11, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,10,21,33],[10,0,11,23],[21,11,0,12],[33,23,12,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 10, 21, 33], [10, 0, 11, 23], [21, 11, 0, 12], [33, 23, 12, 0]], 是, 是)
結構基礎核對=(4, [[0, 10, 21, 33], [10, 0, 11, 23], [21, 11, 0, 12], [33, 23, 12, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,11,23,36],[11,0,12,25],[23,12,0,13],[36,25,13,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 11, 23, 36], [11, 0, 12, 25], [23, 12, 0, 13], [36, 25, 13, 0]], 是, 是)
結構基礎核對=(4, [[0, 11, 23, 36], [11, 0, 12, 25], [23, 12, 0, 13], [36, 25, 13, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,12,25,39],[12,0,13,27],[25,13,0,14],[39,27,14,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 12, 25, 39], [12, 0, 13, 27], [25, 13, 0, 14], [39, 27, 14, 0]], 是, 是)
結構基礎核對=(4, [[0, 12, 25, 39], [12, 0, 13, 27], [25, 13, 0, 14], [39, 27, 14, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,13,27,42],[13,0,14,29],[27,14,0,15],[42,29,15,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 13, 27, 42], [13, 0, 14, 29], [27, 14, 0, 15], [42, 29, 15, 0]], 是, 是)
結構基礎核對=(4, [[0, 13, 27, 42], [13, 0, 14, 29], [27, 14, 0, 15], [42, 29, 15, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,14,29,45],[14,0,15,31],[29,15,0,16],[45,31,16,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 14, 29, 45], [14, 0, 15, 31], [29, 15, 0, 16], [45, 31, 16, 0]], 是, 是)
結構基礎核對=(4, [[0, 14, 29, 45], [14, 0, 15, 31], [29, 15, 0, 16], [45, 31, 16, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,15,31,48],[15,0,16,33],[31,16,0,17],[48,33,17,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 15, 31, 48], [15, 0, 16, 33], [31, 16, 0, 17], [48, 33, 17, 0]], 是, 是)
結構基礎核對=(4, [[0, 15, 31, 48], [15, 0, 16, 33], [31, 16, 0, 17], [48, 33, 17, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,16,33,51],[16,0,17,35],[33,17,0,18],[51,35,18,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 16, 33, 51], [16, 0, 17, 35], [33, 17, 0, 18], [51, 35, 18, 0]], 是, 是)
結構基礎核對=(4, [[0, 16, 33, 51], [16, 0, 17, 35], [33, 17, 0, 18], [51, 35, 18, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,17,35,54],[17,0,18,37],[35,18,0,19],[54,37,19,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 17, 35, 54], [17, 0, 18, 37], [35, 18, 0, 19], [54, 37, 19, 0]], 是, 是)
結構基礎核對=(4, [[0, 17, 35, 54], [17, 0, 18, 37], [35, 18, 0, 19], [54, 37, 19, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,18,37,57],[18,0,19,39],[37,19,0,20],[57,39,20,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 18, 37, 57], [18, 0, 19, 39], [37, 19, 0, 20], [57, 39, 20, 0]], 是, 是)
結構基礎核對=(4, [[0, 18, 37, 57], [18, 0, 19, 39], [37, 19, 0, 20], [57, 39, 20, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,19,39,60],[19,0,20,41],[39,20,0,21],[60,41,21,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 19, 39, 60], [19, 0, 20, 41], [39, 20, 0, 21], [60, 41, 21, 0]], 是, 是)
結構基礎核對=(4, [[0, 19, 39, 60], [19, 0, 20, 41], [39, 20, 0, 21], [60, 41, 21, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,20,41,63],[20,0,21,43],[41,21,0,22],[63,43,22,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 20, 41, 63], [20, 0, 21, 43], [41, 21, 0, 22], [63, 43, 22, 0]], 是, 是)
結構基礎核對=(4, [[0, 20, 41, 63], [20, 0, 21, 43], [41, 21, 0, 22], [63, 43, 22, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,21,43,66],[21,0,22,45],[43,22,0,23],[66,45,23,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 21, 43, 66], [21, 0, 22, 45], [43, 22, 0, 23], [66, 45, 23, 0]], 是, 是)
結構基礎核對=(4, [[0, 21, 43, 66], [21, 0, 22, 45], [43, 22, 0, 23], [66, 45, 23, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,22,45,69],[22,0,23,47],[45,23,0,24],[69,47,24,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 22, 45, 69], [22, 0, 23, 47], [45, 23, 0, 24], [69, 47, 24, 0]], 是, 是)
結構基礎核對=(4, [[0, 22, 45, 69], [22, 0, 23, 47], [45, 23, 0, 24], [69, 47, 24, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,23,47,72],[23,0,24,49],[47,24,0,25],[72,49,25,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 23, 47, 72], [23, 0, 24, 49], [47, 24, 0, 25], [72, 49, 25, 0]], 是, 是)
結構基礎核對=(4, [[0, 23, 47, 72], [23, 0, 24, 49], [47, 24, 0, 25], [72, 49, 25, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,24,49,75],[24,0,25,51],[49,25,0,26],[75,51,26,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 24, 49, 75], [24, 0, 25, 51], [49, 25, 0, 26], [75, 51, 26, 0]], 是, 是)
結構基礎核對=(4, [[0, 24, 49, 75], [24, 0, 25, 51], [49, 25, 0, 26], [75, 51, 26, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-table-qualification；資料={"n":4,"distances":[[0,25,51,78],[25,0,26,53],[51,26,0,27],[78,53,27,0]]}。請依 [n,distances,nonnegative,separation] 欄序回答。
(4, [[0, 25, 51, 78], [25, 0, 26, 53], [51, 26, 0, 27], [78, 53, 27, 0]], 是, 是)
結構基礎核對=(4, [[0, 25, 51, 78], [25, 0, 26, 53], [51, 26, 0, 27], [78, 53, 27, 0]], 是, 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-table-qualification · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,1,3,6],[1,0,2,5],[3,2,0,3],[6,5,3,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 1, 3, 6], [1, 0, 2, 5], [3, 2, 0, 3], [6, 5, 3, 0]], 是)
結構基礎核對=(4, [[0, 1, 3, 6], [1, 0, 2, 5], [3, 2, 0, 3], [6, 5, 3, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,2,5,9],[2,0,3,7],[5,3,0,4],[9,7,4,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 2, 5, 9], [2, 0, 3, 7], [5, 3, 0, 4], [9, 7, 4, 0]], 是)
結構基礎核對=(4, [[0, 2, 5, 9], [2, 0, 3, 7], [5, 3, 0, 4], [9, 7, 4, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,3,7,12],[3,0,4,9],[7,4,0,5],[12,9,5,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 3, 7, 12], [3, 0, 4, 9], [7, 4, 0, 5], [12, 9, 5, 0]], 是)
結構基礎核對=(4, [[0, 3, 7, 12], [3, 0, 4, 9], [7, 4, 0, 5], [12, 9, 5, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,4,9,15],[4,0,5,11],[9,5,0,6],[15,11,6,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 4, 9, 15], [4, 0, 5, 11], [9, 5, 0, 6], [15, 11, 6, 0]], 是)
結構基礎核對=(4, [[0, 4, 9, 15], [4, 0, 5, 11], [9, 5, 0, 6], [15, 11, 6, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,5,11,18],[5,0,6,13],[11,6,0,7],[18,13,7,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 5, 11, 18], [5, 0, 6, 13], [11, 6, 0, 7], [18, 13, 7, 0]], 是)
結構基礎核對=(4, [[0, 5, 11, 18], [5, 0, 6, 13], [11, 6, 0, 7], [18, 13, 7, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,6,13,21],[6,0,7,15],[13,7,0,8],[21,15,8,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 6, 13, 21], [6, 0, 7, 15], [13, 7, 0, 8], [21, 15, 8, 0]], 是)
結構基礎核對=(4, [[0, 6, 13, 21], [6, 0, 7, 15], [13, 7, 0, 8], [21, 15, 8, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,7,15,24],[7,0,8,17],[15,8,0,9],[24,17,9,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 7, 15, 24], [7, 0, 8, 17], [15, 8, 0, 9], [24, 17, 9, 0]], 是)
結構基礎核對=(4, [[0, 7, 15, 24], [7, 0, 8, 17], [15, 8, 0, 9], [24, 17, 9, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,8,17,27],[8,0,9,19],[17,9,0,10],[27,19,10,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 8, 17, 27], [8, 0, 9, 19], [17, 9, 0, 10], [27, 19, 10, 0]], 是)
結構基礎核對=(4, [[0, 8, 17, 27], [8, 0, 9, 19], [17, 9, 0, 10], [27, 19, 10, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,9,19,30],[9,0,10,21],[19,10,0,11],[30,21,11,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 9, 19, 30], [9, 0, 10, 21], [19, 10, 0, 11], [30, 21, 11, 0]], 是)
結構基礎核對=(4, [[0, 9, 19, 30], [9, 0, 10, 21], [19, 10, 0, 11], [30, 21, 11, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,10,21,33],[10,0,11,23],[21,11,0,12],[33,23,12,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 10, 21, 33], [10, 0, 11, 23], [21, 11, 0, 12], [33, 23, 12, 0]], 是)
結構基礎核對=(4, [[0, 10, 21, 33], [10, 0, 11, 23], [21, 11, 0, 12], [33, 23, 12, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,11,23,36],[11,0,12,25],[23,12,0,13],[36,25,13,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 11, 23, 36], [11, 0, 12, 25], [23, 12, 0, 13], [36, 25, 13, 0]], 是)
結構基礎核對=(4, [[0, 11, 23, 36], [11, 0, 12, 25], [23, 12, 0, 13], [36, 25, 13, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,12,25,39],[12,0,13,27],[25,13,0,14],[39,27,14,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 12, 25, 39], [12, 0, 13, 27], [25, 13, 0, 14], [39, 27, 14, 0]], 是)
結構基礎核對=(4, [[0, 12, 25, 39], [12, 0, 13, 27], [25, 13, 0, 14], [39, 27, 14, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,13,27,42],[13,0,14,29],[27,14,0,15],[42,29,15,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 13, 27, 42], [13, 0, 14, 29], [27, 14, 0, 15], [42, 29, 15, 0]], 是)
結構基礎核對=(4, [[0, 13, 27, 42], [13, 0, 14, 29], [27, 14, 0, 15], [42, 29, 15, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,14,29,45],[14,0,15,31],[29,15,0,16],[45,31,16,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 14, 29, 45], [14, 0, 15, 31], [29, 15, 0, 16], [45, 31, 16, 0]], 是)
結構基礎核對=(4, [[0, 14, 29, 45], [14, 0, 15, 31], [29, 15, 0, 16], [45, 31, 16, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,15,31,48],[15,0,16,33],[31,16,0,17],[48,33,17,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 15, 31, 48], [15, 0, 16, 33], [31, 16, 0, 17], [48, 33, 17, 0]], 是)
結構基礎核對=(4, [[0, 15, 31, 48], [15, 0, 16, 33], [31, 16, 0, 17], [48, 33, 17, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,16,33,51],[16,0,17,35],[33,17,0,18],[51,35,18,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 16, 33, 51], [16, 0, 17, 35], [33, 17, 0, 18], [51, 35, 18, 0]], 是)
結構基礎核對=(4, [[0, 16, 33, 51], [16, 0, 17, 35], [33, 17, 0, 18], [51, 35, 18, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,17,35,54],[17,0,18,37],[35,18,0,19],[54,37,19,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 17, 35, 54], [17, 0, 18, 37], [35, 18, 0, 19], [54, 37, 19, 0]], 是)
結構基礎核對=(4, [[0, 17, 35, 54], [17, 0, 18, 37], [35, 18, 0, 19], [54, 37, 19, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,18,37,57],[18,0,19,39],[37,19,0,20],[57,39,20,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 18, 37, 57], [18, 0, 19, 39], [37, 19, 0, 20], [57, 39, 20, 0]], 是)
結構基礎核對=(4, [[0, 18, 37, 57], [18, 0, 19, 39], [37, 19, 0, 20], [57, 39, 20, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,19,39,60],[19,0,20,41],[39,20,0,21],[60,41,21,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 19, 39, 60], [19, 0, 20, 41], [39, 20, 0, 21], [60, 41, 21, 0]], 是)
結構基礎核對=(4, [[0, 19, 39, 60], [19, 0, 20, 41], [39, 20, 0, 21], [60, 41, 21, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,20,41,63],[20,0,21,43],[41,21,0,22],[63,43,22,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 20, 41, 63], [20, 0, 21, 43], [41, 21, 0, 22], [63, 43, 22, 0]], 是)
結構基礎核對=(4, [[0, 20, 41, 63], [20, 0, 21, 43], [41, 21, 0, 22], [63, 43, 22, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,21,43,66],[21,0,22,45],[43,22,0,23],[66,45,23,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 21, 43, 66], [21, 0, 22, 45], [43, 22, 0, 23], [66, 45, 23, 0]], 是)
結構基礎核對=(4, [[0, 21, 43, 66], [21, 0, 22, 45], [43, 22, 0, 23], [66, 45, 23, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,22,45,69],[22,0,23,47],[45,23,0,24],[69,47,24,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 22, 45, 69], [22, 0, 23, 47], [45, 23, 0, 24], [69, 47, 24, 0]], 是)
結構基礎核對=(4, [[0, 22, 45, 69], [22, 0, 23, 47], [45, 23, 0, 24], [69, 47, 24, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,23,47,72],[23,0,24,49],[47,24,0,25],[72,49,25,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 23, 47, 72], [23, 0, 24, 49], [47, 24, 0, 25], [72, 49, 25, 0]], 是)
結構基礎核對=(4, [[0, 23, 47, 72], [23, 0, 24, 49], [47, 24, 0, 25], [72, 49, 25, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,24,49,75],[24,0,25,51],[49,25,0,26],[75,51,26,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 24, 49, 75], [24, 0, 25, 51], [49, 25, 0, 26], [75, 51, 26, 0]], 是)
結構基礎核對=(4, [[0, 24, 49, 75], [24, 0, 25, 51], [49, 25, 0, 26], [75, 51, 26, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-symmetry-audit；資料={"n":4,"distances":[[0,25,51,78],[25,0,26,53],[51,26,0,27],[78,53,27,0]]}。請依 [n,distances,symmetric] 欄序回答。
(4, [[0, 25, 51, 78], [25, 0, 26, 53], [51, 26, 0, 27], [78, 53, 27, 0]], 是)
結構基礎核對=(4, [[0, 25, 51, 78], [25, 0, 26, 53], [51, 26, 0, 27], [78, 53, 27, 0]], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-symmetry-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,1,3,6],[1,0,2,5],[3,2,0,3],[6,5,3,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 1, 3, 6], [1, 0, 2, 5], [3, 2, 0, 3], [6, 5, 3, 0]], [], 是)
結構基礎核對=(4, [[0, 1, 3, 6], [1, 0, 2, 5], [3, 2, 0, 3], [6, 5, 3, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,2,5,9],[2,0,3,7],[5,3,0,4],[9,7,4,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 2, 5, 9], [2, 0, 3, 7], [5, 3, 0, 4], [9, 7, 4, 0]], [], 是)
結構基礎核對=(4, [[0, 2, 5, 9], [2, 0, 3, 7], [5, 3, 0, 4], [9, 7, 4, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,3,7,12],[3,0,4,9],[7,4,0,5],[12,9,5,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 3, 7, 12], [3, 0, 4, 9], [7, 4, 0, 5], [12, 9, 5, 0]], [], 是)
結構基礎核對=(4, [[0, 3, 7, 12], [3, 0, 4, 9], [7, 4, 0, 5], [12, 9, 5, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,4,9,15],[4,0,5,11],[9,5,0,6],[15,11,6,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 4, 9, 15], [4, 0, 5, 11], [9, 5, 0, 6], [15, 11, 6, 0]], [], 是)
結構基礎核對=(4, [[0, 4, 9, 15], [4, 0, 5, 11], [9, 5, 0, 6], [15, 11, 6, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,5,11,18],[5,0,6,13],[11,6,0,7],[18,13,7,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 5, 11, 18], [5, 0, 6, 13], [11, 6, 0, 7], [18, 13, 7, 0]], [], 是)
結構基礎核對=(4, [[0, 5, 11, 18], [5, 0, 6, 13], [11, 6, 0, 7], [18, 13, 7, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,6,13,21],[6,0,7,15],[13,7,0,8],[21,15,8,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 6, 13, 21], [6, 0, 7, 15], [13, 7, 0, 8], [21, 15, 8, 0]], [], 是)
結構基礎核對=(4, [[0, 6, 13, 21], [6, 0, 7, 15], [13, 7, 0, 8], [21, 15, 8, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,7,15,24],[7,0,8,17],[15,8,0,9],[24,17,9,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 7, 15, 24], [7, 0, 8, 17], [15, 8, 0, 9], [24, 17, 9, 0]], [], 是)
結構基礎核對=(4, [[0, 7, 15, 24], [7, 0, 8, 17], [15, 8, 0, 9], [24, 17, 9, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,8,17,27],[8,0,9,19],[17,9,0,10],[27,19,10,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 8, 17, 27], [8, 0, 9, 19], [17, 9, 0, 10], [27, 19, 10, 0]], [], 是)
結構基礎核對=(4, [[0, 8, 17, 27], [8, 0, 9, 19], [17, 9, 0, 10], [27, 19, 10, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,9,19,30],[9,0,10,21],[19,10,0,11],[30,21,11,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 9, 19, 30], [9, 0, 10, 21], [19, 10, 0, 11], [30, 21, 11, 0]], [], 是)
結構基礎核對=(4, [[0, 9, 19, 30], [9, 0, 10, 21], [19, 10, 0, 11], [30, 21, 11, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,10,21,33],[10,0,11,23],[21,11,0,12],[33,23,12,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 10, 21, 33], [10, 0, 11, 23], [21, 11, 0, 12], [33, 23, 12, 0]], [], 是)
結構基礎核對=(4, [[0, 10, 21, 33], [10, 0, 11, 23], [21, 11, 0, 12], [33, 23, 12, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,11,23,36],[11,0,12,25],[23,12,0,13],[36,25,13,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 11, 23, 36], [11, 0, 12, 25], [23, 12, 0, 13], [36, 25, 13, 0]], [], 是)
結構基礎核對=(4, [[0, 11, 23, 36], [11, 0, 12, 25], [23, 12, 0, 13], [36, 25, 13, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,12,25,39],[12,0,13,27],[25,13,0,14],[39,27,14,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 12, 25, 39], [12, 0, 13, 27], [25, 13, 0, 14], [39, 27, 14, 0]], [], 是)
結構基礎核對=(4, [[0, 12, 25, 39], [12, 0, 13, 27], [25, 13, 0, 14], [39, 27, 14, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,13,27,42],[13,0,14,29],[27,14,0,15],[42,29,15,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 13, 27, 42], [13, 0, 14, 29], [27, 14, 0, 15], [42, 29, 15, 0]], [], 是)
結構基礎核對=(4, [[0, 13, 27, 42], [13, 0, 14, 29], [27, 14, 0, 15], [42, 29, 15, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,14,29,45],[14,0,15,31],[29,15,0,16],[45,31,16,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 14, 29, 45], [14, 0, 15, 31], [29, 15, 0, 16], [45, 31, 16, 0]], [], 是)
結構基礎核對=(4, [[0, 14, 29, 45], [14, 0, 15, 31], [29, 15, 0, 16], [45, 31, 16, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,15,31,48],[15,0,16,33],[31,16,0,17],[48,33,17,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 15, 31, 48], [15, 0, 16, 33], [31, 16, 0, 17], [48, 33, 17, 0]], [], 是)
結構基礎核對=(4, [[0, 15, 31, 48], [15, 0, 16, 33], [31, 16, 0, 17], [48, 33, 17, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,16,33,51],[16,0,17,35],[33,17,0,18],[51,35,18,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 16, 33, 51], [16, 0, 17, 35], [33, 17, 0, 18], [51, 35, 18, 0]], [], 是)
結構基礎核對=(4, [[0, 16, 33, 51], [16, 0, 17, 35], [33, 17, 0, 18], [51, 35, 18, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,17,35,54],[17,0,18,37],[35,18,0,19],[54,37,19,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 17, 35, 54], [17, 0, 18, 37], [35, 18, 0, 19], [54, 37, 19, 0]], [], 是)
結構基礎核對=(4, [[0, 17, 35, 54], [17, 0, 18, 37], [35, 18, 0, 19], [54, 37, 19, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,18,37,57],[18,0,19,39],[37,19,0,20],[57,39,20,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 18, 37, 57], [18, 0, 19, 39], [37, 19, 0, 20], [57, 39, 20, 0]], [], 是)
結構基礎核對=(4, [[0, 18, 37, 57], [18, 0, 19, 39], [37, 19, 0, 20], [57, 39, 20, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,19,39,60],[19,0,20,41],[39,20,0,21],[60,41,21,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 19, 39, 60], [19, 0, 20, 41], [39, 20, 0, 21], [60, 41, 21, 0]], [], 是)
結構基礎核對=(4, [[0, 19, 39, 60], [19, 0, 20, 41], [39, 20, 0, 21], [60, 41, 21, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,20,41,63],[20,0,21,43],[41,21,0,22],[63,43,22,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 20, 41, 63], [20, 0, 21, 43], [41, 21, 0, 22], [63, 43, 22, 0]], [], 是)
結構基礎核對=(4, [[0, 20, 41, 63], [20, 0, 21, 43], [41, 21, 0, 22], [63, 43, 22, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,21,43,66],[21,0,22,45],[43,22,0,23],[66,45,23,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 21, 43, 66], [21, 0, 22, 45], [43, 22, 0, 23], [66, 45, 23, 0]], [], 是)
結構基礎核對=(4, [[0, 21, 43, 66], [21, 0, 22, 45], [43, 22, 0, 23], [66, 45, 23, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,22,45,69],[22,0,23,47],[45,23,0,24],[69,47,24,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 22, 45, 69], [22, 0, 23, 47], [45, 23, 0, 24], [69, 47, 24, 0]], [], 是)
結構基礎核對=(4, [[0, 22, 45, 69], [22, 0, 23, 47], [45, 23, 0, 24], [69, 47, 24, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,23,47,72],[23,0,24,49],[47,24,0,25],[72,49,25,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 23, 47, 72], [23, 0, 24, 49], [47, 24, 0, 25], [72, 49, 25, 0]], [], 是)
結構基礎核對=(4, [[0, 23, 47, 72], [23, 0, 24, 49], [47, 24, 0, 25], [72, 49, 25, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,24,49,75],[24,0,25,51],[49,25,0,26],[75,51,26,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 24, 49, 75], [24, 0, 25, 51], [49, 25, 0, 26], [75, 51, 26, 0]], [], 是)
結構基礎核對=(4, [[0, 24, 49, 75], [24, 0, 25, 51], [49, 25, 0, 26], [75, 51, 26, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-triangle-audit；資料={"n":4,"distances":[[0,25,51,78],[25,0,26,53],[51,26,0,27],[78,53,27,0]]}。請依 [n,distances,bad_triples,triangle] 欄序回答。
(4, [[0, 25, 51, 78], [25, 0, 26, 53], [51, 26, 0, 27], [78, 53, 27, 0]], [], 是)
結構基礎核對=(4, [[0, 25, 51, 78], [25, 0, 26, 53], [51, 26, 0, 27], [78, 53, 27, 0]], [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-triangle-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,1,3,6],[1,0,2,5],[3,2,0,3],[6,5,3,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 1, 3, 6], [1, 0, 2, 5], [3, 2, 0, 3], [6, 5, 3, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 1, 3, 6], [1, 0, 2, 5], [3, 2, 0, 3], [6, 5, 3, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,2,5,9],[2,0,3,7],[5,3,0,4],[9,7,4,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 2, 5, 9], [2, 0, 3, 7], [5, 3, 0, 4], [9, 7, 4, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 2, 5, 9], [2, 0, 3, 7], [5, 3, 0, 4], [9, 7, 4, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,3,7,12],[3,0,4,9],[7,4,0,5],[12,9,5,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 3, 7, 12], [3, 0, 4, 9], [7, 4, 0, 5], [12, 9, 5, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 3, 7, 12], [3, 0, 4, 9], [7, 4, 0, 5], [12, 9, 5, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,4,9,15],[4,0,5,11],[9,5,0,6],[15,11,6,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 4, 9, 15], [4, 0, 5, 11], [9, 5, 0, 6], [15, 11, 6, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 4, 9, 15], [4, 0, 5, 11], [9, 5, 0, 6], [15, 11, 6, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,5,11,18],[5,0,6,13],[11,6,0,7],[18,13,7,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 5, 11, 18], [5, 0, 6, 13], [11, 6, 0, 7], [18, 13, 7, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 5, 11, 18], [5, 0, 6, 13], [11, 6, 0, 7], [18, 13, 7, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,6,13,21],[6,0,7,15],[13,7,0,8],[21,15,8,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 6, 13, 21], [6, 0, 7, 15], [13, 7, 0, 8], [21, 15, 8, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 6, 13, 21], [6, 0, 7, 15], [13, 7, 0, 8], [21, 15, 8, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,7,15,24],[7,0,8,17],[15,8,0,9],[24,17,9,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 7, 15, 24], [7, 0, 8, 17], [15, 8, 0, 9], [24, 17, 9, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 7, 15, 24], [7, 0, 8, 17], [15, 8, 0, 9], [24, 17, 9, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,8,17,27],[8,0,9,19],[17,9,0,10],[27,19,10,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 8, 17, 27], [8, 0, 9, 19], [17, 9, 0, 10], [27, 19, 10, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 8, 17, 27], [8, 0, 9, 19], [17, 9, 0, 10], [27, 19, 10, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,9,19,30],[9,0,10,21],[19,10,0,11],[30,21,11,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 9, 19, 30], [9, 0, 10, 21], [19, 10, 0, 11], [30, 21, 11, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 9, 19, 30], [9, 0, 10, 21], [19, 10, 0, 11], [30, 21, 11, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,10,21,33],[10,0,11,23],[21,11,0,12],[33,23,12,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 10, 21, 33], [10, 0, 11, 23], [21, 11, 0, 12], [33, 23, 12, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 10, 21, 33], [10, 0, 11, 23], [21, 11, 0, 12], [33, 23, 12, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,11,23,36],[11,0,12,25],[23,12,0,13],[36,25,13,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 11, 23, 36], [11, 0, 12, 25], [23, 12, 0, 13], [36, 25, 13, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 11, 23, 36], [11, 0, 12, 25], [23, 12, 0, 13], [36, 25, 13, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,12,25,39],[12,0,13,27],[25,13,0,14],[39,27,14,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 12, 25, 39], [12, 0, 13, 27], [25, 13, 0, 14], [39, 27, 14, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 12, 25, 39], [12, 0, 13, 27], [25, 13, 0, 14], [39, 27, 14, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,13,27,42],[13,0,14,29],[27,14,0,15],[42,29,15,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 13, 27, 42], [13, 0, 14, 29], [27, 14, 0, 15], [42, 29, 15, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 13, 27, 42], [13, 0, 14, 29], [27, 14, 0, 15], [42, 29, 15, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,14,29,45],[14,0,15,31],[29,15,0,16],[45,31,16,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 14, 29, 45], [14, 0, 15, 31], [29, 15, 0, 16], [45, 31, 16, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 14, 29, 45], [14, 0, 15, 31], [29, 15, 0, 16], [45, 31, 16, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,15,31,48],[15,0,16,33],[31,16,0,17],[48,33,17,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 15, 31, 48], [15, 0, 16, 33], [31, 16, 0, 17], [48, 33, 17, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 15, 31, 48], [15, 0, 16, 33], [31, 16, 0, 17], [48, 33, 17, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,16,33,51],[16,0,17,35],[33,17,0,18],[51,35,18,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 16, 33, 51], [16, 0, 17, 35], [33, 17, 0, 18], [51, 35, 18, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 16, 33, 51], [16, 0, 17, 35], [33, 17, 0, 18], [51, 35, 18, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,17,35,54],[17,0,18,37],[35,18,0,19],[54,37,19,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 17, 35, 54], [17, 0, 18, 37], [35, 18, 0, 19], [54, 37, 19, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 17, 35, 54], [17, 0, 18, 37], [35, 18, 0, 19], [54, 37, 19, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,18,37,57],[18,0,19,39],[37,19,0,20],[57,39,20,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 18, 37, 57], [18, 0, 19, 39], [37, 19, 0, 20], [57, 39, 20, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 18, 37, 57], [18, 0, 19, 39], [37, 19, 0, 20], [57, 39, 20, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,19,39,60],[19,0,20,41],[39,20,0,21],[60,41,21,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 19, 39, 60], [19, 0, 20, 41], [39, 20, 0, 21], [60, 41, 21, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 19, 39, 60], [19, 0, 20, 41], [39, 20, 0, 21], [60, 41, 21, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,20,41,63],[20,0,21,43],[41,21,0,22],[63,43,22,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 20, 41, 63], [20, 0, 21, 43], [41, 21, 0, 22], [63, 43, 22, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 20, 41, 63], [20, 0, 21, 43], [41, 21, 0, 22], [63, 43, 22, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,21,43,66],[21,0,22,45],[43,22,0,23],[66,45,23,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 21, 43, 66], [21, 0, 22, 45], [43, 22, 0, 23], [66, 45, 23, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 21, 43, 66], [21, 0, 22, 45], [43, 22, 0, 23], [66, 45, 23, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,22,45,69],[22,0,23,47],[45,23,0,24],[69,47,24,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 22, 45, 69], [22, 0, 23, 47], [45, 23, 0, 24], [69, 47, 24, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 22, 45, 69], [22, 0, 23, 47], [45, 23, 0, 24], [69, 47, 24, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,23,47,72],[23,0,24,49],[47,24,0,25],[72,49,25,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 23, 47, 72], [23, 0, 24, 49], [47, 24, 0, 25], [72, 49, 25, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 23, 47, 72], [23, 0, 24, 49], [47, 24, 0, 25], [72, 49, 25, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,24,49,75],[24,0,25,51],[49,25,0,26],[75,51,26,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 24, 49, 75], [24, 0, 25, 51], [49, 25, 0, 26], [75, 51, 26, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 24, 49, 75], [24, 0, 25, 51], [49, 25, 0, 26], [75, 51, 26, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate
完整有限距離表。操作=metric-full-metric-audit；資料={"n":4,"distances":[[0,25,51,78],[25,0,26,53],[51,26,0,27],[78,53,27,0]]}。請依 [n,distances,nonnegative,separation,symmetric,bad_triples,metric] 欄序回答。
(4, [[0, 25, 51, 78], [25, 0, 26, 53], [51, 26, 0, 27], [78, 53, 27, 0]], 是, 是, 是, [], 是)
結構基礎核對=(4, [[0, 25, 51, 78], [25, 0, 26, 53], [51, 26, 0, 27], [78, 53, 27, 0]], 是, 是, 是, [], 是)；依完整明示資料重算；完整明示的精確切片不是一般定理或經驗聲明；三角不等式逐三元組核對；有限模型不外推任意度量空間。
度量空間 · qf-str22-metric-full-metric-audit · candidate