1. 非空有限圖的樹資格
有限簡單無向圖;約定樹須非空、連通且無環。V=[],E=[],邊無向且重列合併。此圖是否為樹?
查看答案與解釋
否
非空=否;連通=否;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
本批已通過 Schema、去重、來源快照與獨立答案重算;仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留;AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261007-advance-20261009-r02-tree-foundations · 2026-10-07 · 100 題
有限簡單無向圖;約定樹須非空、連通且無環。V=[],E=[],邊無向且重列合併。此圖是否為樹?
否
非空=否;連通=否;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0],E=[],邊無向且重列合併。此圖是否為樹?
是
非空=是;連通=是;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1],E=[],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=否;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1],E=[[0,1]],邊無向且重列合併。此圖是否為樹?
是
非空=是;連通=是;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2],E=[],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=否;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2],E=[[0,1]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=否;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2],E=[[0,1],[1,2]],邊無向且重列合併。此圖是否為樹?
是
非空=是;連通=是;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2],E=[[0,1],[1,2],[0,2]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=是;無環=否。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=否;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[[0,1]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=否;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[[0,1],[2,3]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=否;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[[0,1],[1,2]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=否;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[[0,1],[1,2],[2,3]],邊無向且重列合併。此圖是否為樹?
是
非空=是;連通=是;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[[0,1],[0,2],[0,3]],邊無向且重列合併。此圖是否為樹?
是
非空=是;連通=是;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[[1,2],[2,3],[3,1]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=否;無環=否。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[[0,1],[1,2],[2,3],[0,3]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=是;無環=否。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[[0,1],[1,2],[2,0],[2,3]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=是;無環=否。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[[0,1],[0,2],[0,3],[1,2],[1,3]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=是;無環=否。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3],E=[[0,1],[0,2],[0,3],[1,2],[1,3],[2,3]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=是;無環=否。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3, 4],E=[[0,1],[1,2],[2,3],[3,4]],邊無向且重列合併。此圖是否為樹?
是
非空=是;連通=是;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3, 4],E=[[0,1],[0,2],[0,3],[0,4]],邊無向且重列合併。此圖是否為樹?
是
非空=是;連通=是;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3, 4],E=[[0,1],[1,2],[2,3],[3,4],[0,4]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=是;無環=否。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3, 4, 5],E=[[0,1],[1,2],[2,3],[3,4],[4,5]],邊無向且重列合併。此圖是否為樹?
是
非空=是;連通=是;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3, 4, 5],E=[[0,1],[0,2],[0,3],[0,4],[0,5]],邊無向且重列合併。此圖是否為樹?
是
非空=是;連通=是;無環=是。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。V=[0, 1, 2, 3, 4, 5],E=[[0,1],[1,2],[2,3],[3,4],[4,5],[0,5]],邊無向且重列合併。此圖是否為樹?
否
非空=是;連通=是;無環=否。以DFS分別核非空、連通與無環;空圖不算樹,單點無邊算樹,只看邊數不足以代替資格。
非空有限樹:連通、無環與唯一道路 · qf-tree-property · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0]、E=[],s=0、t=0。列從s到t的頂點次序,不把道路當排序集合。
[0]
唯一道路=[0]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1]、E=[[0,1]],s=0、t=1。列從s到t的頂點次序,不把道路當排序集合。
[0, 1]
唯一道路=[0, 1]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2]、E=[[1,0],[0,2]],s=0、t=2。列從s到t的頂點次序,不把道路當排序集合。
[0, 2]
唯一道路=[0, 2]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3]、E=[[1,0],[2,0],[0,3]],s=0、t=3。列從s到t的頂點次序,不把道路當排序集合。
[0, 3]
唯一道路=[0, 3]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3]、E=[[2,1],[1,0],[0,3]],s=0、t=3。列從s到t的頂點次序,不把道路當排序集合。
[0, 3]
唯一道路=[0, 3]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4]、E=[[1,0],[2,0],[3,0],[0,4]],s=4、t=4。列從s到t的頂點次序,不把道路當排序集合。
[4]
唯一道路=[4]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4]、E=[[2,1],[1,0],[3,0],[0,4]],s=0、t=4。列從s到t的頂點次序,不把道路當排序集合。
[0, 4]
唯一道路=[0, 4]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4]、E=[[3,2],[2,1],[1,0],[0,4]],s=0、t=4。列從s到t的頂點次序,不把道路當排序集合。
[0, 4]
唯一道路=[0, 4]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[1,0],[2,0],[3,0],[4,0],[0,5]],s=0、t=5。列從s到t的頂點次序,不把道路當排序集合。
[0, 5]
唯一道路=[0, 5]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[2,1],[1,0],[3,0],[4,0],[0,5]],s=0、t=5。列從s到t的頂點次序,不把道路當排序集合。
[0, 5]
唯一道路=[0, 5]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[2,1],[3,1],[1,0],[4,0],[0,5]],s=5、t=5。列從s到t的頂點次序,不把道路當排序集合。
[5]
唯一道路=[5]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[3,2],[2,1],[1,0],[4,0],[0,5]],s=0、t=5。列從s到t的頂點次序,不把道路當排序集合。
[0, 5]
唯一道路=[0, 5]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[2,4],[3,1],[1,0],[4,0],[0,5]],s=0、t=5。列從s到t的頂點次序,不把道路當排序集合。
[0, 5]
唯一道路=[0, 5]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[4,3],[3,2],[2,1],[1,0],[0,5]],s=0、t=5。列從s到t的頂點次序,不把道路當排序集合。
[0, 5]
唯一道路=[0, 5]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[1,0],[2,0],[3,0],[4,0],[5,0],[0,6]],s=0、t=6。列從s到t的頂點次序,不把道路當排序集合。
[0, 6]
唯一道路=[0, 6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[2,1],[1,0],[3,0],[4,0],[5,0],[0,6]],s=6、t=6。列從s到t的頂點次序,不把道路當排序集合。
[6]
唯一道路=[6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[2,1],[3,1],[1,0],[4,0],[5,0],[0,6]],s=0、t=6。列從s到t的頂點次序,不把道路當排序集合。
[0, 6]
唯一道路=[0, 6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[3,2],[2,1],[1,0],[4,0],[5,0],[0,6]],s=0、t=6。列從s到t的頂點次序,不把道路當排序集合。
[0, 6]
唯一道路=[0, 6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[2,4],[3,1],[1,0],[4,0],[5,0],[0,6]],s=0、t=6。列從s到t的頂點次序,不把道路當排序集合。
[0, 6]
唯一道路=[0, 6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[3,2],[2,1],[4,1],[1,0],[5,0],[0,6]],s=0、t=6。列從s到t的頂點次序,不把道路當排序集合。
[0, 6]
唯一道路=[0, 6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[3,2],[4,2],[2,1],[1,0],[5,0],[0,6]],s=6、t=6。列從s到t的頂點次序,不把道路當排序集合。
[6]
唯一道路=[6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[4,3],[3,2],[2,1],[1,0],[5,0],[0,6]],s=0、t=6。列從s到t的頂點次序,不把道路當排序集合。
[0, 6]
唯一道路=[0, 6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[3,5],[4,2],[2,1],[1,0],[5,0],[0,6]],s=0、t=6。列從s到t的頂點次序,不把道路當排序集合。
[0, 6]
唯一道路=[0, 6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[2,6],[3,5],[4,1],[1,0],[5,0],[0,6]],s=0、t=6。列從s到t的頂點次序,不把道路當排序集合。
[0, 6]
唯一道路=[0, 6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[5,4],[4,3],[3,2],[2,1],[1,0],[0,6]],s=0、t=6。列從s到t的頂點次序,不把道路當排序集合。
[0, 6]
唯一道路=[0, 6]。在合法樹上用DFS尋找實際次序;兩端相同時零邊道路是單頂點列表,沒有替一般樹定理新增形式證明。
非空有限樹:連通、無環與唯一道路 · qf-tree-unique-path · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0]、E=[]。葉定義為度1頂點,依遞增次序列其列表。
[]
度1葉集=[]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1]、E=[[0,1]]。葉定義為度1頂點,依遞增次序列其列表。
[0, 1]
度1葉集=[0, 1]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2]、E=[[1,0],[0,2]]。葉定義為度1頂點,依遞增次序列其列表。
[1, 2]
度1葉集=[1, 2]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3]、E=[[1,0],[2,0],[0,3]]。葉定義為度1頂點,依遞增次序列其列表。
[1, 2, 3]
度1葉集=[1, 2, 3]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3]、E=[[2,1],[1,0],[0,3]]。葉定義為度1頂點,依遞增次序列其列表。
[2, 3]
度1葉集=[2, 3]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4]、E=[[1,0],[2,0],[3,0],[0,4]]。葉定義為度1頂點,依遞增次序列其列表。
[1, 2, 3, 4]
度1葉集=[1, 2, 3, 4]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4]、E=[[2,1],[1,0],[3,0],[0,4]]。葉定義為度1頂點,依遞增次序列其列表。
[2, 3, 4]
度1葉集=[2, 3, 4]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4]、E=[[3,2],[2,1],[1,0],[0,4]]。葉定義為度1頂點,依遞增次序列其列表。
[3, 4]
度1葉集=[3, 4]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[1,0],[2,0],[3,0],[4,0],[0,5]]。葉定義為度1頂點,依遞增次序列其列表。
[1, 2, 3, 4, 5]
度1葉集=[1, 2, 3, 4, 5]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[2,1],[1,0],[3,0],[4,0],[0,5]]。葉定義為度1頂點,依遞增次序列其列表。
[2, 3, 4, 5]
度1葉集=[2, 3, 4, 5]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[2,1],[3,1],[1,0],[4,0],[0,5]]。葉定義為度1頂點,依遞增次序列其列表。
[2, 3, 4, 5]
度1葉集=[2, 3, 4, 5]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[3,2],[2,1],[1,0],[4,0],[0,5]]。葉定義為度1頂點,依遞增次序列其列表。
[3, 4, 5]
度1葉集=[3, 4, 5]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[2,4],[3,1],[1,0],[4,0],[0,5]]。葉定義為度1頂點,依遞增次序列其列表。
[2, 3, 5]
度1葉集=[2, 3, 5]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5]、E=[[4,3],[3,2],[2,1],[1,0],[0,5]]。葉定義為度1頂點,依遞增次序列其列表。
[4, 5]
度1葉集=[4, 5]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[1,0],[2,0],[3,0],[4,0],[5,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[1, 2, 3, 4, 5, 6]
度1葉集=[1, 2, 3, 4, 5, 6]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[2,1],[1,0],[3,0],[4,0],[5,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[2, 3, 4, 5, 6]
度1葉集=[2, 3, 4, 5, 6]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[2,1],[3,1],[1,0],[4,0],[5,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[2, 3, 4, 5, 6]
度1葉集=[2, 3, 4, 5, 6]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[3,2],[2,1],[1,0],[4,0],[5,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[3, 4, 5, 6]
度1葉集=[3, 4, 5, 6]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[2,4],[3,1],[1,0],[4,0],[5,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[2, 3, 5, 6]
度1葉集=[2, 3, 5, 6]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[3,2],[2,1],[4,1],[1,0],[5,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[3, 4, 5, 6]
度1葉集=[3, 4, 5, 6]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[3,2],[4,2],[2,1],[1,0],[5,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[3, 4, 5, 6]
度1葉集=[3, 4, 5, 6]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[4,3],[3,2],[2,1],[1,0],[5,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[4, 5, 6]
度1葉集=[4, 5, 6]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[3,5],[4,2],[2,1],[1,0],[5,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[3, 4, 6]
度1葉集=[3, 4, 6]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[2,6],[3,5],[4,1],[1,0],[5,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[2, 3, 4]
度1葉集=[2, 3, 4]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。已給樹 V=[0, 1, 2, 3, 4, 5, 6]、E=[[5,4],[4,3],[3,2],[2,1],[1,0],[0,6]]。葉定義為度1頂點,依遞增次序列其列表。
[5, 6]
度1葉集=[5, 6]。由互異無向鄰點數計度;單點的度0不是度1葉,空葉集列[]。
非空有限樹:連通、無環與唯一道路 · qf-tree-leaf-set · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3]、E=[[0,1],[1,2],[2,3]],加入端點u=3、v=1的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 2, 3, 1]
新增邊唯一環=[1, 2, 3, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2]、E=[[1,0],[0,2]],加入端點u=2、v=1的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 0, 2, 1]
新增邊唯一環=[1, 0, 2, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3]、E=[[1,0],[2,0],[0,3]],加入端點u=1、v=2的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 0, 2, 1]
新增邊唯一環=[1, 0, 2, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3]、E=[[1,0],[2,0],[0,3]],加入端點u=3、v=1的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 0, 3, 1]
新增邊唯一環=[1, 0, 3, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3]、E=[[1,0],[2,0],[0,3]],加入端點u=2、v=3的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[2, 0, 3, 2]
新增邊唯一環=[2, 0, 3, 2]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3]、E=[[2,1],[1,0],[0,3]],加入端點u=2、v=0的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[0, 1, 2, 0]
新增邊唯一環=[0, 1, 2, 0]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3]、E=[[2,1],[1,0],[0,3]],加入端點u=1、v=3的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 0, 3, 1]
新增邊唯一環=[1, 0, 3, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3]、E=[[2,1],[1,0],[0,3]],加入端點u=3、v=2的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[2, 1, 0, 3, 2]
新增邊唯一環=[2, 1, 0, 3, 2]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[1,0],[2,0],[3,0],[0,4]],加入端點u=1、v=2的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 0, 2, 1]
新增邊唯一環=[1, 0, 2, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[1,0],[2,0],[3,0],[0,4]],加入端點u=3、v=1的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 0, 3, 1]
新增邊唯一環=[1, 0, 3, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[1,0],[2,0],[3,0],[0,4]],加入端點u=1、v=4的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 0, 4, 1]
新增邊唯一環=[1, 0, 4, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[1,0],[2,0],[3,0],[0,4]],加入端點u=3、v=2的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[2, 0, 3, 2]
新增邊唯一環=[2, 0, 3, 2]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[1,0],[2,0],[3,0],[0,4]],加入端點u=2、v=4的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[2, 0, 4, 2]
新增邊唯一環=[2, 0, 4, 2]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[1,0],[2,0],[3,0],[0,4]],加入端點u=4、v=3的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[3, 0, 4, 3]
新增邊唯一環=[3, 0, 4, 3]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[2,1],[1,0],[3,0],[0,4]],加入端點u=0、v=2的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[0, 1, 2, 0]
新增邊唯一環=[0, 1, 2, 0]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[2,1],[1,0],[3,0],[0,4]],加入端點u=3、v=1的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 0, 3, 1]
新增邊唯一環=[1, 0, 3, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[2,1],[1,0],[3,0],[0,4]],加入端點u=1、v=4的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 0, 4, 1]
新增邊唯一環=[1, 0, 4, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[2,1],[1,0],[3,0],[0,4]],加入端點u=3、v=2的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[2, 1, 0, 3, 2]
新增邊唯一環=[2, 1, 0, 3, 2]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[2,1],[1,0],[3,0],[0,4]],加入端點u=2、v=4的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[2, 1, 0, 4, 2]
新增邊唯一環=[2, 1, 0, 4, 2]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[2,1],[1,0],[3,0],[0,4]],加入端點u=4、v=3的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[3, 0, 4, 3]
新增邊唯一環=[3, 0, 4, 3]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[3,2],[2,1],[1,0],[0,4]],加入端點u=0、v=2的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[0, 1, 2, 0]
新增邊唯一環=[0, 1, 2, 0]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[3,2],[2,1],[1,0],[0,4]],加入端點u=3、v=0的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[0, 1, 2, 3, 0]
新增邊唯一環=[0, 1, 2, 3, 0]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[3,2],[2,1],[1,0],[0,4]],加入端點u=1、v=3的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 2, 3, 1]
新增邊唯一環=[1, 2, 3, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[3,2],[2,1],[1,0],[0,4]],加入端點u=4、v=1的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[1, 0, 4, 1]
新增邊唯一環=[1, 0, 4, 1]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate
有限簡單無向圖;約定樹須非空、連通且無環。原樹 V=[0, 1, 2, 3, 4]、E=[[3,2],[2,1],[1,0],[0,4]],加入端點u=2、v=4的邊,原邊不存在。從較小的新增邊端點出發,沿原道路到另一端,再以新邊回起點,列唯一環。
[2, 1, 0, 4, 2]
新增邊唯一環=[2, 1, 0, 4, 2]。起點只比較新增邊的兩端,不選全圖或全環的最小標籤;原邊必須不存在,重列已有邊不是此操作。
非空有限樹:連通、無環與唯一道路 · qf-tree-added-edge-cycle · candidate