本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261014-advance-20261101-r03-open-cover-and-subcover-foundations · 2026-10-14 · 100 題
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,2],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,1],[0,1,2,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,3],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,1],[0,1,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,1],[0,1,2,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,1],[0,1,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,2],[0,1,2,3],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,1,2],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,2],[0,1,2,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,2,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,2],[0,1,2,3],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,2,3],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,2],[0,2,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,2,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,2],[0,1,2,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,2,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,2],[0,2,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,1,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,3],[0,1,2,3],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,1,3],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,3],[0,1,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,2,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,3],[0,1,2,3],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,2,3],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,3],[0,2,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,3,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,3],[0,1,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,3,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,3],[0,2,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,1,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,4],[0,1,2,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,1,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,4],[0,1,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,2,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,4],[0,1,2,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,2,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,4],[0,2,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,3,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,4],[0,1,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,3,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,4],[0,2,3,4],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-audit；資料={"n":5,"topology":[[],[1],[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]]}。請依 [invalid_open_indexes,covered_union,covers_target,valid_open_cover] 欄序回答。
([], [0, 1, 2, 3, 4], 是, 是)
Wave5根節點核對=([], [0, 1, 2, 3, 4], 是, 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)
Wave5根節點核對=([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,2],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,1],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)
Wave5根節點核對=([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)
Wave5根節點核對=([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,3],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,1],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)
Wave5根節點核對=([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,1],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)
Wave5根節點核對=([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,1],[0,1,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,1],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)
Wave5根節點核對=([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,2],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)
Wave5根節點核對=([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,1,2],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,2],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)
Wave5根節點核對=([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,2,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,2],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)
Wave5根節點核對=([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,2,3],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,2],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)
Wave5根節點核對=([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,2,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,2],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)
Wave5根節點核對=([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,2],[0,2,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,2],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)
Wave5根節點核對=([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,1,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,3],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)
Wave5根節點核對=([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,1,3],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,3],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)
Wave5根節點核對=([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,2,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,3],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)
Wave5根節點核對=([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,2,3],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,3],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)
Wave5根節點核對=([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,3,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,3],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)
Wave5根節點核對=([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,3],[0,3,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,3],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)
Wave5根節點核對=([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,1,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,4],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)
Wave5根節點核對=([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,1,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,4],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)
Wave5根節點核對=([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,2,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,4],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)
Wave5根節點核對=([1], [[0, 1, 2, 4]], [0, 1, 2, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,2,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,4],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)
Wave5根節點核對=([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,3,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,4],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)
Wave5根節點核對=([1], [[0, 1, 3, 4]], [0, 1, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[0],[0,4],[0,3,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,4],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)
Wave5根節點核對=([1], [[0, 2, 3, 4]], [0, 2, 3, 4], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-subcover-audit；資料={"n":5,"topology":[[],[1],[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,selected_sets,covered_union,valid_subcover] 欄序回答。
([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)
Wave5根節點核對=([1], [[0, 1, 2, 3]], [0, 1, 2, 3], 是)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-subcover-audit · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,1],[0,1,2],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,1],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,1],[0,1,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,1],[0,1,3],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,1],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,1],[0,1,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,1],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,1],[0,1,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,1],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,2],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,2],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,2],[0,1,2],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,2],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,2],[0,2,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,2],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,2],[0,2,3],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,2],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,2],[0,2,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,2],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,2],[0,2,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,2],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,3],[0,1,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,3],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,3],[0,1,3],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,3],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,3],[0,2,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,3],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,3],[0,2,3],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,3],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,3],[0,3,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,3],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,3],[0,3,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,3],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,4],[0,1,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,4],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,4],[0,1,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,4],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,4],[0,2,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,4],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,4],[0,2,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,4],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,4],[0,3,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,4],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[0],[0,4],[0,3,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,4],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-minimal-subcover；資料={"n":5,"topology":[[],[1],[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,removal_rows,inclusion_minimal,boundary] 欄序回答。
([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)
Wave5根節點核對=([1], 是, [[1, [], 否]], 是, inclusion_minimal_not_minimum_cardinality)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-minimal-subcover · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,1],[0,1,2],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,1],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,1],[0,1,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,1],[0,1,3],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,1],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,1],[0,1,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,1],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,1],[0,1,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,1],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,2],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,2],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,2],[0,1,2],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,2],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,2],[0,2,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,2],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,2],[0,2,3],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,2],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,2],[0,2,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,2],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,2],[0,2,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,2],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,3],[0,1,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,3],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,3],[0,1,3],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,3],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,3],[0,2,3],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,3],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,3],[0,2,3],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,3],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,3],[0,3,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,3],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,3],[0,3,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,3],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,4],[0,1,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,4],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,4],[0,1,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,4],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,4],[0,2,4],[0,1,2,4],[0,1,2,3,4]],"target":[0,1,2,4],"cover":[[0,4],[0,1,2,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,4],[0,2,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,4],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,4],[0,3,4],[0,1,3,4],[0,1,2,3,4]],"target":[0,1,3,4],"cover":[[0,4],[0,1,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[0],[0,4],[0,3,4],[0,2,3,4],[0,1,2,3,4]],"target":[0,2,3,4],"cover":[[0,4],[0,2,3,4],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate
完整有限拓撲、目標集合與原始cover family。操作=cover-single-cover-boundary；資料={"n":5,"topology":[[],[1],[0,1],[0,1,2],[0,1,2,3],[0,1,2,3,4]],"target":[0,1,2,3],"cover":[[0,1],[0,1,2,3],[0,1,2,3,4]],"selected":[1]}。請依 [selected_indexes,valid_subcover,proves_compactness,boundary] 欄序回答。
([1], 是, 否, one_finite_subcover_does_not_prove_compactness)
Wave5根節點核對=([1], 是, 否, one_finite_subcover_does_not_prove_compactness)；依完整明示資料重算；每個cover成員須開且聯集包含目標；subcover只能選原成員；一個有限subcover不證空間compact。
開覆蓋與子覆蓋 · qf-mod32-cover-single-cover-boundary · candidate