本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261018-r06-decision-problem-foundations · 2026-10-13 · 100 題
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [], [[0, 否], [1, 否], [2, 否], [3, 否], [4, 否], [5, 否]])
擴展基礎核對=(6, [], [[0, 否], [1, 否], [2, 否], [3, 否], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0], [[0, 是], [1, 否], [2, 否], [3, 否], [4, 否], [5, 否]])
擴展基礎核對=(6, [0], [[0, 是], [1, 否], [2, 否], [3, 否], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[1]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [1], [[0, 否], [1, 是], [2, 否], [3, 否], [4, 否], [5, 否]])
擴展基礎核對=(6, [1], [[0, 否], [1, 是], [2, 否], [3, 否], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,1]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 1], [[0, 是], [1, 是], [2, 否], [3, 否], [4, 否], [5, 否]])
擴展基礎核對=(6, [0, 1], [[0, 是], [1, 是], [2, 否], [3, 否], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[2]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [2], [[0, 否], [1, 否], [2, 是], [3, 否], [4, 否], [5, 否]])
擴展基礎核對=(6, [2], [[0, 否], [1, 否], [2, 是], [3, 否], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,2]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 2], [[0, 是], [1, 否], [2, 是], [3, 否], [4, 否], [5, 否]])
擴展基礎核對=(6, [0, 2], [[0, 是], [1, 否], [2, 是], [3, 否], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[1,2]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [1, 2], [[0, 否], [1, 是], [2, 是], [3, 否], [4, 否], [5, 否]])
擴展基礎核對=(6, [1, 2], [[0, 否], [1, 是], [2, 是], [3, 否], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,1,2]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 1, 2], [[0, 是], [1, 是], [2, 是], [3, 否], [4, 否], [5, 否]])
擴展基礎核對=(6, [0, 1, 2], [[0, 是], [1, 是], [2, 是], [3, 否], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[3]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [3], [[0, 否], [1, 否], [2, 否], [3, 是], [4, 否], [5, 否]])
擴展基礎核對=(6, [3], [[0, 否], [1, 否], [2, 否], [3, 是], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,3]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 3], [[0, 是], [1, 否], [2, 否], [3, 是], [4, 否], [5, 否]])
擴展基礎核對=(6, [0, 3], [[0, 是], [1, 否], [2, 否], [3, 是], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[1,3]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [1, 3], [[0, 否], [1, 是], [2, 否], [3, 是], [4, 否], [5, 否]])
擴展基礎核對=(6, [1, 3], [[0, 否], [1, 是], [2, 否], [3, 是], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,1,3]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 1, 3], [[0, 是], [1, 是], [2, 否], [3, 是], [4, 否], [5, 否]])
擴展基礎核對=(6, [0, 1, 3], [[0, 是], [1, 是], [2, 否], [3, 是], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[2,3]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [2, 3], [[0, 否], [1, 否], [2, 是], [3, 是], [4, 否], [5, 否]])
擴展基礎核對=(6, [2, 3], [[0, 否], [1, 否], [2, 是], [3, 是], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,2,3]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 2, 3], [[0, 是], [1, 否], [2, 是], [3, 是], [4, 否], [5, 否]])
擴展基礎核對=(6, [0, 2, 3], [[0, 是], [1, 否], [2, 是], [3, 是], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[1,2,3]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [1, 2, 3], [[0, 否], [1, 是], [2, 是], [3, 是], [4, 否], [5, 否]])
擴展基礎核對=(6, [1, 2, 3], [[0, 否], [1, 是], [2, 是], [3, 是], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,1,2,3]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 1, 2, 3], [[0, 是], [1, 是], [2, 是], [3, 是], [4, 否], [5, 否]])
擴展基礎核對=(6, [0, 1, 2, 3], [[0, 是], [1, 是], [2, 是], [3, 是], [4, 否], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[4]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [4], [[0, 否], [1, 否], [2, 否], [3, 否], [4, 是], [5, 否]])
擴展基礎核對=(6, [4], [[0, 否], [1, 否], [2, 否], [3, 否], [4, 是], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,4]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 4], [[0, 是], [1, 否], [2, 否], [3, 否], [4, 是], [5, 否]])
擴展基礎核對=(6, [0, 4], [[0, 是], [1, 否], [2, 否], [3, 否], [4, 是], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[1,4]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [1, 4], [[0, 否], [1, 是], [2, 否], [3, 否], [4, 是], [5, 否]])
擴展基礎核對=(6, [1, 4], [[0, 否], [1, 是], [2, 否], [3, 否], [4, 是], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,1,4]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 1, 4], [[0, 是], [1, 是], [2, 否], [3, 否], [4, 是], [5, 否]])
擴展基礎核對=(6, [0, 1, 4], [[0, 是], [1, 是], [2, 否], [3, 否], [4, 是], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[2,4]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [2, 4], [[0, 否], [1, 否], [2, 是], [3, 否], [4, 是], [5, 否]])
擴展基礎核對=(6, [2, 4], [[0, 否], [1, 否], [2, 是], [3, 否], [4, 是], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,2,4]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 2, 4], [[0, 是], [1, 否], [2, 是], [3, 否], [4, 是], [5, 否]])
擴展基礎核對=(6, [0, 2, 4], [[0, 是], [1, 否], [2, 是], [3, 否], [4, 是], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[1,2,4]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [1, 2, 4], [[0, 否], [1, 是], [2, 是], [3, 否], [4, 是], [5, 否]])
擴展基礎核對=(6, [1, 2, 4], [[0, 否], [1, 是], [2, 是], [3, 否], [4, 是], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[0,1,2,4]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [0, 1, 2, 4], [[0, 是], [1, 是], [2, 是], [3, 否], [4, 是], [5, 否]])
擴展基礎核對=(6, [0, 1, 2, 4], [[0, 是], [1, 是], [2, 是], [3, 否], [4, 是], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-yes-set-table；資料={"n":6,"yes":[3,4]}。請依 [n,yes_set,full_truth_table] 的欄序回答。
(6, [3, 4], [[0, 否], [1, 否], [2, 否], [3, 是], [4, 是], [5, 否]])
擴展基礎核對=(6, [3, 4], [[0, 否], [1, 否], [2, 否], [3, 是], [4, 是], [5, 否]])；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-yes-set-table · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[],"decider":[false,false,false,false,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [], [否, 否, 否, 否, 否, 否], [], 是)
擴展基礎核對=(6, [], [否, 否, 否, 否, 否, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0],"decider":[true,true,false,false,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0], [是, 是, 否, 否, 否, 否], [1], 否)
擴展基礎核對=(6, [0], [是, 是, 否, 否, 否, 否], [1], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[1],"decider":[false,true,false,false,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [1], [否, 是, 否, 否, 否, 否], [], 是)
擴展基礎核對=(6, [1], [否, 是, 否, 否, 否, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,1],"decider":[true,true,false,true,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 1], [是, 是, 否, 是, 否, 否], [3], 否)
擴展基礎核對=(6, [0, 1], [是, 是, 否, 是, 否, 否], [3], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[2],"decider":[false,false,true,false,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [2], [否, 否, 是, 否, 否, 否], [], 是)
擴展基礎核對=(6, [2], [否, 否, 是, 否, 否, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,2],"decider":[true,false,true,false,false,true]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 2], [是, 否, 是, 否, 否, 是], [5], 否)
擴展基礎核對=(6, [0, 2], [是, 否, 是, 否, 否, 是], [5], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[1,2],"decider":[false,true,true,false,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [1, 2], [否, 是, 是, 否, 否, 否], [], 是)
擴展基礎核對=(6, [1, 2], [否, 是, 是, 否, 否, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,1,2],"decider":[true,false,true,false,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 1, 2], [是, 否, 是, 否, 否, 否], [1], 否)
擴展基礎核對=(6, [0, 1, 2], [是, 否, 是, 否, 否, 否], [1], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[3],"decider":[false,false,false,true,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [3], [否, 否, 否, 是, 否, 否], [], 是)
擴展基礎核對=(6, [3], [否, 否, 否, 是, 否, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,3],"decider":[true,false,false,false,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 3], [是, 否, 否, 否, 否, 否], [3], 否)
擴展基礎核對=(6, [0, 3], [是, 否, 否, 否, 否, 否], [3], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[1,3],"decider":[false,true,false,true,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [1, 3], [否, 是, 否, 是, 否, 否], [], 是)
擴展基礎核對=(6, [1, 3], [否, 是, 否, 是, 否, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,1,3],"decider":[true,true,false,true,false,true]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 1, 3], [是, 是, 否, 是, 否, 是], [5], 否)
擴展基礎核對=(6, [0, 1, 3], [是, 是, 否, 是, 否, 是], [5], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[2,3],"decider":[false,false,true,true,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [2, 3], [否, 否, 是, 是, 否, 否], [], 是)
擴展基礎核對=(6, [2, 3], [否, 否, 是, 是, 否, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,2,3],"decider":[true,true,true,true,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 2, 3], [是, 是, 是, 是, 否, 否], [1], 否)
擴展基礎核對=(6, [0, 2, 3], [是, 是, 是, 是, 否, 否], [1], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[1,2,3],"decider":[false,true,true,true,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [1, 2, 3], [否, 是, 是, 是, 否, 否], [], 是)
擴展基礎核對=(6, [1, 2, 3], [否, 是, 是, 是, 否, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,1,2,3],"decider":[true,true,true,false,false,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 1, 2, 3], [是, 是, 是, 否, 否, 否], [3], 否)
擴展基礎核對=(6, [0, 1, 2, 3], [是, 是, 是, 否, 否, 否], [3], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[4],"decider":[false,false,false,false,true,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [4], [否, 否, 否, 否, 是, 否], [], 是)
擴展基礎核對=(6, [4], [否, 否, 否, 否, 是, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,4],"decider":[true,false,false,false,true,true]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 4], [是, 否, 否, 否, 是, 是], [5], 否)
擴展基礎核對=(6, [0, 4], [是, 否, 否, 否, 是, 是], [5], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[1,4],"decider":[false,true,false,false,true,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [1, 4], [否, 是, 否, 否, 是, 否], [], 是)
擴展基礎核對=(6, [1, 4], [否, 是, 否, 否, 是, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,1,4],"decider":[true,false,false,false,true,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 1, 4], [是, 否, 否, 否, 是, 否], [1], 否)
擴展基礎核對=(6, [0, 1, 4], [是, 否, 否, 否, 是, 否], [1], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[2,4],"decider":[false,false,true,false,true,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [2, 4], [否, 否, 是, 否, 是, 否], [], 是)
擴展基礎核對=(6, [2, 4], [否, 否, 是, 否, 是, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,2,4],"decider":[true,false,true,true,true,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 2, 4], [是, 否, 是, 是, 是, 否], [3], 否)
擴展基礎核對=(6, [0, 2, 4], [是, 否, 是, 是, 是, 否], [3], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[1,2,4],"decider":[false,true,true,false,true,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [1, 2, 4], [否, 是, 是, 否, 是, 否], [], 是)
擴展基礎核對=(6, [1, 2, 4], [否, 是, 是, 否, 是, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[0,1,2,4],"decider":[true,true,true,false,true,true]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [0, 1, 2, 4], [是, 是, 是, 否, 是, 是], [5], 否)
擴展基礎核對=(6, [0, 1, 2, 4], [是, 是, 是, 否, 是, 是], [5], 否)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-decider-agreement；資料={"n":6,"yes":[3,4],"decider":[false,false,false,true,true,false]}。請依 [n,yes_set,decider,mismatches,agrees] 的欄序回答。
(6, [3, 4], [否, 否, 否, 是, 是, 否], [], 是)
擴展基礎核對=(6, [3, 4], [否, 否, 否, 是, 是, 否], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-decider-agreement · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[],"decider":[false,false,true,false,false,false],"subset":[0,1,3]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 1, 3], [], [], 是)
擴展基礎核對=(6, [0, 1, 3], [], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0],"decider":[true,false,false,true,false,false],"subset":[1,2,4]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [1, 2, 4], [], [], 是)
擴展基礎核對=(6, [1, 2, 4], [], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[1],"decider":[false,true,false,false,true,false],"subset":[2,3,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [2, 3, 5], [], [], 是)
擴展基礎核對=(6, [2, 3, 5], [], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,1],"decider":[true,true,false,false,false,true],"subset":[0,3,4]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 3, 4], [0], [], 是)
擴展基礎核對=(6, [0, 3, 4], [0], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[2],"decider":[true,false,true,false,false,false],"subset":[1,4,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [1, 4, 5], [], [], 是)
擴展基礎核對=(6, [1, 4, 5], [], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,2],"decider":[true,true,true,false,false,false],"subset":[0,2,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 2, 5], [0, 2], [], 是)
擴展基礎核對=(6, [0, 2, 5], [0, 2], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[1,2],"decider":[false,true,false,false,false,false],"subset":[0,1,3]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 1, 3], [1], [], 是)
擴展基礎核對=(6, [0, 1, 3], [1], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,1,2],"decider":[true,true,true,true,false,false],"subset":[1,2,4]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [1, 2, 4], [1, 2], [], 是)
擴展基礎核對=(6, [1, 2, 4], [1, 2], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[3],"decider":[false,false,false,true,true,false],"subset":[2,3,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [2, 3, 5], [3], [], 是)
擴展基礎核對=(6, [2, 3, 5], [3], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,3],"decider":[true,false,false,true,false,true],"subset":[0,3,4]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 3, 4], [0, 3], [], 是)
擴展基礎核對=(6, [0, 3, 4], [0, 3], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[1,3],"decider":[true,true,false,true,false,false],"subset":[1,4,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [1, 4, 5], [1], [], 是)
擴展基礎核對=(6, [1, 4, 5], [1], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,1,3],"decider":[true,false,false,true,false,false],"subset":[0,2,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 2, 5], [0], [], 是)
擴展基礎核對=(6, [0, 2, 5], [0], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[2,3],"decider":[false,false,false,true,false,false],"subset":[0,1,3]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 1, 3], [3], [], 是)
擴展基礎核對=(6, [0, 1, 3], [3], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,2,3],"decider":[true,false,true,false,false,false],"subset":[1,2,4]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [1, 2, 4], [2], [], 是)
擴展基礎核對=(6, [1, 2, 4], [2], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[1,2,3],"decider":[false,true,true,true,true,false],"subset":[2,3,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [2, 3, 5], [2, 3], [], 是)
擴展基礎核對=(6, [2, 3, 5], [2, 3], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,1,2,3],"decider":[true,true,true,true,false,true],"subset":[0,3,4]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 3, 4], [0, 3], [], 是)
擴展基礎核對=(6, [0, 3, 4], [0, 3], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[4],"decider":[true,false,false,false,true,false],"subset":[1,4,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [1, 4, 5], [4], [], 是)
擴展基礎核對=(6, [1, 4, 5], [4], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,4],"decider":[true,true,false,false,true,false],"subset":[0,2,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 2, 5], [0], [], 是)
擴展基礎核對=(6, [0, 2, 5], [0], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[1,4],"decider":[false,true,true,false,true,false],"subset":[0,1,3]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 1, 3], [1], [], 是)
擴展基礎核對=(6, [0, 1, 3], [1], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,1,4],"decider":[true,true,false,true,true,false],"subset":[1,2,4]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [1, 2, 4], [1, 4], [], 是)
擴展基礎核對=(6, [1, 2, 4], [1, 4], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[2,4],"decider":[false,false,true,false,false,false],"subset":[2,3,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [2, 3, 5], [2], [], 是)
擴展基礎核對=(6, [2, 3, 5], [2], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,2,4],"decider":[true,false,true,false,true,true],"subset":[0,3,4]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 3, 4], [0, 4], [], 是)
擴展基礎核對=(6, [0, 3, 4], [0, 4], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[1,2,4],"decider":[true,true,true,false,true,false],"subset":[1,4,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [1, 4, 5], [1, 4], [], 是)
擴展基礎核對=(6, [1, 4, 5], [1, 4], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[0,1,2,4],"decider":[true,false,true,false,true,false],"subset":[0,2,5]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 2, 5], [0, 2], [], 是)
擴展基礎核對=(6, [0, 2, 5], [0, 2], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-domain-restriction；資料={"n":6,"yes":[3,4],"decider":[false,false,true,true,true,false],"subset":[0,1,3]}。請依 [n,subset,restricted_yes,restricted_mismatches,agrees] 的欄序回答。
(6, [0, 1, 3], [3], [], 是)
擴展基礎核對=(6, [0, 1, 3], [3], [], 是)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-domain-restriction · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[],"decider":[false,false,false,true,false,false],"checked":[0,1]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 1], [], [3], 是, 否, 樣本通過但完整失敗)
擴展基礎核對=(6, [0, 1], [], [3], 是, 否, 樣本通過但完整失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0],"decider":[true,false,false,false,true,false],"checked":[1,4]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [1, 4], [4], [4], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [1, 4], [4], [4], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[1],"decider":[false,true,false,false,false,true],"checked":[0,2]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 2], [], [5], 是, 否, 樣本通過但完整失敗)
擴展基礎核對=(6, [0, 2], [], [5], 是, 否, 樣本通過但完整失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,1],"decider":[false,true,false,false,false,false],"checked":[0,3]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 3], [0], [0], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [0, 3], [0], [0], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[2],"decider":[false,true,true,false,false,false],"checked":[1,2]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [1, 2], [1], [1], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [1, 2], [1], [1], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,2],"decider":[true,false,false,false,false,false],"checked":[2,5]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [2, 5], [2], [2], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [2, 5], [2], [2], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[1,2],"decider":[false,true,true,true,false,false],"checked":[0,1]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 1], [], [3], 是, 否, 樣本通過但完整失敗)
擴展基礎核對=(6, [0, 1], [], [3], 是, 否, 樣本通過但完整失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,1,2],"decider":[true,true,true,false,true,false],"checked":[1,4]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [1, 4], [4], [4], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [1, 4], [4], [4], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[3],"decider":[false,false,false,true,false,true],"checked":[0,2]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 2], [], [5], 是, 否, 樣本通過但完整失敗)
擴展基礎核對=(6, [0, 2], [], [5], 是, 否, 樣本通過但完整失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,3],"decider":[false,false,false,true,false,false],"checked":[0,3]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 3], [0], [0], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [0, 3], [0], [0], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[1,3],"decider":[false,false,false,true,false,false],"checked":[1,2]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [1, 2], [1], [1], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [1, 2], [1], [1], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,1,3],"decider":[true,true,true,true,false,false],"checked":[2,5]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [2, 5], [2], [2], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [2, 5], [2], [2], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[2,3],"decider":[false,false,true,false,false,false],"checked":[0,1]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 1], [], [3], 是, 否, 樣本通過但完整失敗)
擴展基礎核對=(6, [0, 1], [], [3], 是, 否, 樣本通過但完整失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,2,3],"decider":[true,false,true,true,true,false],"checked":[1,4]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [1, 4], [4], [4], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [1, 4], [4], [4], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[1,2,3],"decider":[false,true,true,true,false,true],"checked":[0,2]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 2], [], [5], 是, 否, 樣本通過但完整失敗)
擴展基礎核對=(6, [0, 2], [], [5], 是, 否, 樣本通過但完整失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,1,2,3],"decider":[false,true,true,true,false,false],"checked":[0,3]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 3], [0], [0], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [0, 3], [0], [0], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[4],"decider":[false,true,false,false,true,false],"checked":[1,2]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [1, 2], [1], [1], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [1, 2], [1], [1], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,4],"decider":[true,false,true,false,true,false],"checked":[2,5]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [2, 5], [2], [2], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [2, 5], [2], [2], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[1,4],"decider":[false,true,false,true,true,false],"checked":[0,1]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 1], [], [3], 是, 否, 樣本通過但完整失敗)
擴展基礎核對=(6, [0, 1], [], [3], 是, 否, 樣本通過但完整失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,1,4],"decider":[true,true,false,false,false,false],"checked":[1,4]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [1, 4], [4], [4], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [1, 4], [4], [4], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[2,4],"decider":[false,false,true,false,true,true],"checked":[0,2]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 2], [], [5], 是, 否, 樣本通過但完整失敗)
擴展基礎核對=(6, [0, 2], [], [5], 是, 否, 樣本通過但完整失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,2,4],"decider":[false,false,true,false,true,false],"checked":[0,3]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 3], [0], [0], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [0, 3], [0], [0], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[1,2,4],"decider":[false,false,true,false,true,false],"checked":[1,2]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [1, 2], [1], [1], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [1, 2], [1], [1], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[0,1,2,4],"decider":[true,true,false,false,true,false],"checked":[2,5]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [2, 5], [2], [2], 否, 否, 樣本已失敗)
擴展基礎核對=(6, [2, 5], [2], [2], 否, 否, 樣本已失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate
明示有限輸入域。操作=decision-complete-vs-sample；資料={"n":6,"yes":[3,4],"decider":[false,false,false,false,true,false],"checked":[0,1]}。請依 [n,checked,sample_mismatches,full_mismatches,sample_agrees,complete_agrees,classification] 的欄序回答。
(6, [0, 1], [], [3], 是, 否, 樣本通過但完整失敗)
擴展基礎核對=(6, [0, 1], [], [3], 是, 否, 樣本通過但完整失敗)；依完整明示資料逐欄精確重算；有限／合成資料核對不是一般形式證明；規格與decider分離；有限完整表不外推無限可判定性。
決定問題 · qf-ext18-decision-complete-vs-sample · candidate