本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261012-advance-20261017-r06-tree-foundations · 2026-10-12 · 100 題
簡單無向圖，Fin頂點從0起。V=Fin(0)=∅，無向邊列項=[]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(0, [], [], 是, 否, 否, 否)
離散結構核對=(0, [], [], 是, 否, 否, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(1)=[0]，無向邊列項=[]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(1, [], [[0]], 是, 否, 是, 是)
離散結構核對=(1, [], [[0]], 是, 否, 是, 是)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[1, 2], [1, 3], [2, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(4, [[1, 2], [1, 3], [2, 3]], [[0], [1, 2, 3]], 否, 是, 是, 否)
離散結構核對=(4, [[1, 2], [1, 3], [2, 3]], [[0], [1, 2, 3]], 否, 是, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [2, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(4, [[0, 1], [2, 3]], [[0, 1], [2, 3]], 否, 否, 是, 否)
離散結構核對=(4, [[0, 1], [2, 3]], [[0, 1], [2, 3]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [1, 2], [2, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(4, [[0, 1], [1, 2], [2, 3]], [[0, 1, 2, 3]], 是, 否, 是, 是)
離散結構核對=(4, [[0, 1], [1, 2], [2, 3]], [[0, 1, 2, 3]], 是, 否, 是, 是)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [0, 2], [0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(4, [[0, 1], [0, 2], [0, 3]], [[0, 1, 2, 3]], 是, 否, 是, 是)
離散結構核對=(4, [[0, 1], [0, 2], [0, 3]], [[0, 1, 2, 3]], 是, 否, 是, 是)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 1]], [[0, 1], [2], [3], [4]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 1]], [[0, 1], [2], [3], [4]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 2]], [[0, 2], [1], [3], [4]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 2]], [[0, 2], [1], [3], [4]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 1], [0, 2]], [[0, 1, 2], [3], [4]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 1], [0, 2]], [[0, 1, 2], [3], [4]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 3]], [[0, 3], [1], [2], [4]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 3]], [[0, 3], [1], [2], [4]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 1], [0, 3]], [[0, 1, 3], [2], [4]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 1], [0, 3]], [[0, 1, 3], [2], [4]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 2], [0, 3]], [[0, 2, 3], [1], [4]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 2], [0, 3]], [[0, 2, 3], [1], [4]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 1], [0, 2], [0, 3]], [[0, 1, 2, 3], [4]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 1], [0, 2], [0, 3]], [[0, 1, 2, 3], [4]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 4]], [[0, 4], [1], [2], [3]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 4]], [[0, 4], [1], [2], [3]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 1], [0, 4]], [[0, 1, 4], [2], [3]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 1], [0, 4]], [[0, 1, 4], [2], [3]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 2], [0, 4]], [[0, 2, 4], [1], [3]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 2], [0, 4]], [[0, 2, 4], [1], [3]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 1], [0, 2], [0, 4]], [[0, 1, 2, 4], [3]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 1], [0, 2], [0, 4]], [[0, 1, 2, 4], [3]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 3], [0, 4]], [[0, 3, 4], [1], [2]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 3], [0, 4]], [[0, 3, 4], [1], [2]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 3], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 1], [0, 3], [0, 4]], [[0, 1, 3, 4], [2]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 1], [0, 3], [0, 4]], [[0, 1, 3, 4], [2]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 3], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 2], [0, 3], [0, 4]], [[0, 2, 3, 4], [1]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 2], [0, 3], [0, 4]], [[0, 2, 3, 4], [1]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [0, 3], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 1], [0, 2], [0, 3], [0, 4]], [[0, 1, 2, 3, 4]], 是, 否, 是, 是)
離散結構核對=(5, [[0, 1], [0, 2], [0, 3], [0, 4]], [[0, 1, 2, 3, 4]], 是, 否, 是, 是)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[1, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[1, 2]], [[0], [1, 2], [3], [4]], 否, 否, 是, 否)
離散結構核對=(5, [[1, 2]], [[0], [1, 2], [3], [4]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 1], [1, 2]], [[0, 1, 2], [3], [4]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 1], [1, 2]], [[0, 1, 2], [3], [4]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [1, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 2], [1, 2]], [[0, 1, 2], [3], [4]], 否, 否, 是, 否)
離散結構核對=(5, [[0, 2], [1, 2]], [[0, 1, 2], [3], [4]], 否, 否, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [1, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 依最小頂點排序的連通分量, 任兩頂點可連接資格, 有環資格, 非空資格, 樹資格)。空圖的任兩頂點條件為真，但空圖非樹。
(5, [[0, 1], [0, 2], [1, 2]], [[0, 1, 2], [3], [4]], 否, 是, 是, 否)
離散結構核對=(5, [[0, 1], [0, 2], [1, 2]], [[0, 1, 2], [3], [4]], 否, 是, 是, 否)；DFS走遍所有分量並偵測非父邊；非空、單分量、無環共同決定樹。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-component-qualification · candidate
簡單無向圖，Fin頂點從0起。V=Fin(0)=∅，無向邊列項=[]；各邊兩端皆合法且相異。start=0、end=-1。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(0, [], 否, [否, 否], 不成樹, 不求值)
離散結構核對=(0, [], 否, [否, 否], 不成樹, 不求值)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(1)=[0]，無向邊列項=[]；各邊兩端皆合法且相異。start=0、end=0。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(1, [], 是, [是, 是], [0], 0)
離散結構核對=(1, [], 是, [是, 是], [0], 0)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[1, 2], [1, 3], [2, 3]]；各邊兩端皆合法且相異。start=0、end=2。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(4, [[1, 2], [1, 3], [2, 3]], 否, [是, 是], 不成樹, 不求值)
離散結構核對=(4, [[1, 2], [1, 3], [2, 3]], 否, [是, 是], 不成樹, 不求值)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。start=-1、end=2。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(3, [[0, 1], [1, 2]], 是, [否, 是], 不合頂點, 不求值)
離散結構核對=(3, [[0, 1], [1, 2]], 是, [否, 是], 不合頂點, 不求值)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。start=1、end=1。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(3, [[0, 1], [1, 2]], 是, [是, 是], [1], 0)
離散結構核對=(3, [[0, 1], [1, 2]], 是, [是, 是], [1], 0)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [0, 2], [0, 3]]；各邊兩端皆合法且相異。start=1、end=3。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(4, [[0, 1], [0, 2], [0, 3]], 是, [是, 是], [1, 0, 3], 2)
離散結構核對=(4, [[0, 1], [0, 2], [0, 3]], 是, [是, 是], [1, 0, 3], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 2], [0, 3], [0, 4], [0, 5]]；各邊兩端皆合法且相異。start=0、end=3。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5]], 是, [是, 是], [0, 3], 1)
離散結構核對=(6, [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5]], 是, [是, 是], [0, 3], 1)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 3], [0, 4], [0, 5], [1, 2]]；各邊兩端皆合法且相異。start=1、end=4。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 1], [0, 3], [0, 4], [0, 5], [1, 2]], 是, [是, 是], [1, 0, 4], 2)
離散結構核對=(6, [[0, 1], [0, 3], [0, 4], [0, 5], [1, 2]], 是, [是, 是], [1, 0, 4], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 2]]；各邊兩端皆合法且相異。start=2、end=5。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 2]], 是, [是, 是], [2, 0, 5], 2)
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 2]], 是, [是, 是], [2, 0, 5], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 3]]；各邊兩端皆合法且相異。start=3、end=0。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 3]], 是, [是, 是], [3, 0], 1)
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 3]], 是, [是, 是], [3, 0], 1)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 4]]；各邊兩端皆合法且相異。start=4、end=1。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 4]], 是, [是, 是], [4, 1], 1)
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 4]], 是, [是, 是], [4, 1], 1)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 5]]；各邊兩端皆合法且相異。start=5、end=2。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 5]], 是, [是, 是], [5, 0, 2], 2)
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 5]], 是, [是, 是], [5, 0, 2], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 2], [0, 4], [0, 5], [1, 3]]；各邊兩端皆合法且相異。start=0、end=3。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 1], [0, 2], [0, 4], [0, 5], [1, 3]], 是, [是, 是], [0, 1, 3], 2)
離散結構核對=(6, [[0, 1], [0, 2], [0, 4], [0, 5], [1, 3]], 是, [是, 是], [0, 1, 3], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 2], [1, 3]]；各邊兩端皆合法且相異。start=1、end=4。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 1], [0, 4], [0, 5], [1, 2], [1, 3]], 是, [是, 是], [1, 0, 4], 2)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 2], [1, 3]], 是, [是, 是], [1, 0, 4], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 2], [2, 3]]；各邊兩端皆合法且相異。start=2、end=5。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 1], [0, 4], [0, 5], [1, 2], [2, 3]], 是, [是, 是], [2, 1, 0, 5], 3)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 2], [2, 3]], 是, [是, 是], [2, 1, 0, 5], 3)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 3], [2, 3]]；各邊兩端皆合法且相異。start=3、end=0。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 3]], 是, [是, 是], [3, 1, 0], 2)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 3]], 是, [是, 是], [3, 1, 0], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 3], [2, 4]]；各邊兩端皆合法且相異。start=4、end=1。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 4]], 是, [是, 是], [4, 0, 1], 2)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 4]], 是, [是, 是], [4, 0, 1], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 3], [2, 5]]；各邊兩端皆合法且相異。start=5、end=2。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 5]], 是, [是, 是], [5, 2], 1)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 5]], 是, [是, 是], [5, 2], 1)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 2], [0, 4], [0, 5], [2, 3]]；各邊兩端皆合法且相異。start=0、end=3。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 1], [0, 2], [0, 4], [0, 5], [2, 3]], 是, [是, 是], [0, 2, 3], 2)
離散結構核對=(6, [[0, 1], [0, 2], [0, 4], [0, 5], [2, 3]], 是, [是, 是], [0, 2, 3], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 2], [1, 3]]；各邊兩端皆合法且相異。start=1、end=4。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 2], [0, 4], [0, 5], [1, 2], [1, 3]], 是, [是, 是], [1, 2, 0, 4], 3)
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 2], [1, 3]], 是, [是, 是], [1, 2, 0, 4], 3)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 2], [2, 3]]；各邊兩端皆合法且相異。start=2、end=5。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 2], [0, 4], [0, 5], [1, 2], [2, 3]], 是, [是, 是], [2, 0, 5], 2)
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 2], [2, 3]], 是, [是, 是], [2, 0, 5], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 3], [2, 3]]；各邊兩端皆合法且相異。start=3、end=0。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 2], [0, 4], [0, 5], [1, 3], [2, 3]], 是, [是, 是], [3, 2, 0], 2)
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 3], [2, 3]], 是, [是, 是], [3, 2, 0], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 4], [2, 3]]；各邊兩端皆合法且相異。start=4、end=1。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 2], [0, 4], [0, 5], [1, 4], [2, 3]], 是, [是, 是], [4, 1], 1)
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 4], [2, 3]], 是, [是, 是], [4, 1], 1)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 5], [2, 3]]；各邊兩端皆合法且相異。start=5、end=2。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 2], [0, 4], [0, 5], [1, 5], [2, 3]], 是, [是, 是], [5, 0, 2], 2)
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 5], [2, 3]], 是, [是, 是], [5, 0, 2], 2)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 3], [0, 4], [0, 5], [2, 3]]；各邊兩端皆合法且相異。start=0、end=3。答 (n, 正規邊集, 原圖樹資格, 兩端點資格, 道路或不成樹或不合頂點, 邊數或不求值)。原圖非樹優先答不成樹；合法自身道路僅列[start]。
(6, [[0, 1], [0, 3], [0, 4], [0, 5], [2, 3]], 是, [是, 是], [0, 3], 1)
離散結構核對=(6, [[0, 1], [0, 3], [0, 4], [0, 5], [2, 3]], 是, [是, 是], [0, 3], 1)；先驗整張原圖與端點，再用不重複頂點的DFS尋路。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-unique-path-gate · candidate
簡單無向圖，Fin頂點從0起。V=Fin(0)=∅，無向邊列項=[]；各邊兩端皆合法且相異。候選刪除at=0。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(0, [], 否, 否, 不合頂點, 否, 不適用, 不適用, 不求值)
離散結構核對=(0, [], 否, 否, 不合頂點, 否, 不適用, 不適用, 不求值)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(1)=[0]，無向邊列項=[]；各邊兩端皆合法且相異。候選刪除at=0。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(1, [], 是, 是, 0, 否, 不適用, 不適用, 不求值)
離散結構核對=(1, [], 是, 是, 0, 否, 不適用, 不適用, 不求值)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(2)=[0, 1]，無向邊列項=[[0, 1]]；各邊兩端皆合法且相異。候選刪除at=1。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(2, [[0, 1]], 是, 是, 1, 是, [0], [], 是)
離散結構核對=(2, [[0, 1]], 是, 是, 1, 是, [0], [], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[1, 2], [1, 3], [2, 3]]；各邊兩端皆合法且相異。候選刪除at=0。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(4, [[1, 2], [1, 3], [2, 3]], 否, 是, 0, 否, 不適用, 不適用, 不求值)
離散結構核對=(4, [[1, 2], [1, 3], [2, 3]], 否, 是, 0, 否, 不適用, 不適用, 不求值)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。候選刪除at=1。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(3, [[0, 1], [1, 2]], 是, 是, 2, 否, 不適用, 不適用, 不求值)
離散結構核對=(3, [[0, 1], [1, 2]], 是, 是, 2, 否, 不適用, 不適用, 不求值)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。候選刪除at=3。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(3, [[0, 1], [1, 2]], 是, 否, 不合頂點, 否, 不適用, 不適用, 不求值)
離散結構核對=(3, [[0, 1], [1, 2]], 是, 否, 不合頂點, 否, 不適用, 不適用, 不求值)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [0, 2], [0, 3]]；各邊兩端皆合法且相異。候選刪除at=2。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(4, [[0, 1], [0, 2], [0, 3]], 是, 是, 1, 是, [0, 1, 3], [[0, 1], [0, 3]], 是)
離散結構核對=(4, [[0, 1], [0, 2], [0, 3]], 是, 是, 1, 是, [0, 1, 3], [[0, 1], [0, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 2], [0, 3], [0, 4], [0, 5]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 2], [0, 3], [0, 4]], 是)
離散結構核對=(6, [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 2], [0, 3], [0, 4]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 3], [0, 4], [0, 5], [1, 2]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 1], [0, 3], [0, 4], [0, 5], [1, 2]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 3], [0, 4], [1, 2]], 是)
離散結構核對=(6, [[0, 1], [0, 3], [0, 4], [0, 5], [1, 2]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 3], [0, 4], [1, 2]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 2]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 2]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 3], [0, 4], [1, 2]], 是)
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 2]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 3], [0, 4], [1, 2]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 3], [0, 4], [1, 3]], 是)
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 3], [0, 4], [1, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 4]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 4]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 3], [0, 4], [1, 4]], 是)
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 4]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 3], [0, 4], [1, 4]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 5]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 5]], 是, 是, 2, 否, 不適用, 不適用, 不求值)
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 5]], 是, 是, 2, 否, 不適用, 不適用, 不求值)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 2], [0, 4], [0, 5], [1, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 1], [0, 2], [0, 4], [0, 5], [1, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 2], [0, 4], [1, 3]], 是)
離散結構核對=(6, [[0, 1], [0, 2], [0, 4], [0, 5], [1, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 2], [0, 4], [1, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 2], [1, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 1], [0, 4], [0, 5], [1, 2], [1, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 4], [1, 2], [1, 3]], 是)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 2], [1, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 4], [1, 2], [1, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 2], [2, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 1], [0, 4], [0, 5], [1, 2], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 4], [1, 2], [2, 3]], 是)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 2], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 4], [1, 2], [2, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 3], [2, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 4], [1, 3], [2, 3]], 是)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 4], [1, 3], [2, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 3], [2, 4]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 4]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 4], [1, 3], [2, 4]], 是)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 4]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 4], [1, 3], [2, 4]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 3], [2, 5]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 5]], 是, 是, 2, 否, 不適用, 不適用, 不求值)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 5]], 是, 是, 2, 否, 不適用, 不適用, 不求值)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 2], [0, 4], [0, 5], [2, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 1], [0, 2], [0, 4], [0, 5], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 2], [0, 4], [2, 3]], 是)
離散結構核對=(6, [[0, 1], [0, 2], [0, 4], [0, 5], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 1], [0, 2], [0, 4], [2, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 2], [1, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 2], [0, 4], [0, 5], [1, 2], [1, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 4], [1, 2], [1, 3]], 是)
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 2], [1, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 4], [1, 2], [1, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 2], [2, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 2], [0, 4], [0, 5], [1, 2], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 4], [1, 2], [2, 3]], 是)
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 2], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 4], [1, 2], [2, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 3], [2, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 2], [0, 4], [0, 5], [1, 3], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 4], [1, 3], [2, 3]], 是)
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 3], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 4], [1, 3], [2, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 4], [2, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 2], [0, 4], [0, 5], [1, 4], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 4], [1, 4], [2, 3]], 是)
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 4], [2, 3]], 是, 是, 1, 是, [0, 1, 2, 3, 4], [[0, 2], [0, 4], [1, 4], [2, 3]], 是)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 5], [2, 3]]；各邊兩端皆合法且相異。候選刪除at=5。答 (n, 正規邊集, 原樹資格, at合頂點資格, 原度或不合頂點, 合法樹葉資格, 剩餘原標籤或不適用, 剩餘邊或不適用, 剩餘樹資格或不求值)。必須原圖為樹且度恰1才刪。
(6, [[0, 2], [0, 4], [0, 5], [1, 5], [2, 3]], 是, 是, 2, 否, 不適用, 不適用, 不求值)
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 5], [2, 3]], 是, 是, 2, 否, 不適用, 不適用, 不求值)；先核合法度1葉；刪該頂點及相接邊後，以原標籤DFS核剩餘圖。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-leaf-deletion · candidate
簡單無向圖，Fin頂點從0起。V=Fin(0)=∅，無向邊列項=[]；各邊兩端皆合法且相異。候選新增邊=[0, 1]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(0, [], 否, [否, 否], 是, 否, 否, 不適用, 不適用)
離散結構核對=(0, [], 否, [否, 否], 是, 否, 否, 不適用, 不適用)；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(1)=[0]，無向邊列項=[]；各邊兩端皆合法且相異。候選新增邊=[0, 0]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(1, [], 是, [是, 是], 否, 否, 否, 不適用, 不適用)
離散結構核對=(1, [], 是, [是, 是], 否, 否, 否, 不適用, 不適用)；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(2)=[0, 1]，無向邊列項=[[0, 1]]；各邊兩端皆合法且相異。候選新增邊=[0, 1]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(2, [[0, 1]], 是, [是, 是], 是, 是, 否, 不適用, 不適用)
離散結構核對=(2, [[0, 1]], 是, [是, 是], 是, 是, 否, 不適用, 不適用)；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。候選新增邊=[2, 0]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(3, [[0, 1], [1, 2]], 是, [是, 是], 是, 否, 是, [0, 1, 2], [0, 1, 2, 0])
離散結構核對=(3, [[0, 1], [1, 2]], 是, [是, 是], 是, 否, 是, [0, 1, 2], [0, 1, 2, 0])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。候選新增邊=[-1, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(3, [[0, 1], [1, 2]], 是, [否, 是], 是, 否, 否, 不適用, 不適用)
離散結構核對=(3, [[0, 1], [1, 2]], 是, [否, 是], 是, 否, 否, 不適用, 不適用)；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。候選新增邊=[1, 1]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(3, [[0, 1], [1, 2]], 是, [是, 是], 否, 否, 否, 不適用, 不適用)
離散結構核對=(3, [[0, 1], [1, 2]], 是, [是, 是], 否, 否, 否, 不適用, 不適用)；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[1, 2], [1, 3], [2, 3]]；各邊兩端皆合法且相異。候選新增邊=[0, 1]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(4, [[1, 2], [1, 3], [2, 3]], 否, [是, 是], 是, 否, 否, 不適用, 不適用)
離散結構核對=(4, [[1, 2], [1, 3], [2, 3]], 否, [是, 是], 是, 否, 否, 不適用, 不適用)；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 2], [0, 3], [0, 4], [0, 5]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 1], [0, 2], [0, 3], [0, 4], [0, 5]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 3], [0, 4], [0, 5], [1, 2]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 1], [0, 3], [0, 4], [0, 5], [1, 2]], 是, [是, 是], 是, 否, 是, [2, 1, 0, 5], [2, 1, 0, 5, 2])
離散結構核對=(6, [[0, 1], [0, 3], [0, 4], [0, 5], [1, 2]], 是, [是, 是], 是, 否, 是, [2, 1, 0, 5], [2, 1, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 2]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 2]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 2]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 4]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 4]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 4]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 3], [0, 4], [0, 5], [1, 5]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 5]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 2], [0, 3], [0, 4], [0, 5], [1, 5]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 2], [0, 4], [0, 5], [1, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 1], [0, 2], [0, 4], [0, 5], [1, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 1], [0, 2], [0, 4], [0, 5], [1, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 2], [1, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 1], [0, 4], [0, 5], [1, 2], [1, 3]], 是, [是, 是], 是, 否, 是, [2, 1, 0, 5], [2, 1, 0, 5, 2])
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 2], [1, 3]], 是, [是, 是], 是, 否, 是, [2, 1, 0, 5], [2, 1, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 2], [2, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 1], [0, 4], [0, 5], [1, 2], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 1, 0, 5], [2, 1, 0, 5, 2])
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 2], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 1, 0, 5], [2, 1, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 3], [2, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 3, 1, 0, 5], [2, 3, 1, 0, 5, 2])
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 3, 1, 0, 5], [2, 3, 1, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 3], [2, 4]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 4]], 是, [是, 是], 是, 否, 是, [2, 4, 0, 5], [2, 4, 0, 5, 2])
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 4]], 是, [是, 是], 是, 否, 是, [2, 4, 0, 5], [2, 4, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 4], [0, 5], [1, 3], [2, 5]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 5]], 是, [是, 是], 是, 是, 否, 不適用, 不適用)
離散結構核對=(6, [[0, 1], [0, 4], [0, 5], [1, 3], [2, 5]], 是, [是, 是], 是, 是, 否, 不適用, 不適用)；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 1], [0, 2], [0, 4], [0, 5], [2, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 1], [0, 2], [0, 4], [0, 5], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 1], [0, 2], [0, 4], [0, 5], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 2], [1, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 2], [0, 4], [0, 5], [1, 2], [1, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 2], [1, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 2], [2, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 2], [0, 4], [0, 5], [1, 2], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 2], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 3], [2, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 2], [0, 4], [0, 5], [1, 3], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 3], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 4], [2, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 2], [0, 4], [0, 5], [1, 4], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 4], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate
簡單無向圖，Fin頂點從0起。V=Fin(6)=[0, 1, 2, 3, 4, 5]，無向邊列項=[[0, 2], [0, 4], [0, 5], [1, 5], [2, 3]]；各邊兩端皆合法且相異。候選新增邊=[5, 2]。答 (n, 正規邊集, 原樹資格, 兩端合頂點資格, 端點相異資格, 原邊已存在資格, 合法新非邊資格, 較小的新增邊端點到較大的原道路或不適用, 閉回較小新增邊端點的環或不適用)。不是從環中全域最小頂點起列。
(6, [[0, 2], [0, 4], [0, 5], [1, 5], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])
離散結構核對=(6, [[0, 2], [0, 4], [0, 5], [1, 5], [2, 3]], 是, [是, 是], 是, 否, 是, [2, 0, 5], [2, 0, 5, 2])；原樹、合型、相異、原邊不存在全通過才尋原道路，最後加回較小新增邊端點。；有限精確核對不是一般形式證明；空圖非樹單點度0非葉；邊數不單獨判樹；刪除保留原標籤；加邊先核原樹與不存在邊。
非空有限樹：連通、無環與唯一道路 · qf-density17-tree-add-nonedge-cycle · candidate