本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261012-advance-20261017-r05-graph-foundations · 2026-10-12 · 100 題
簡單無向圖，Fin頂點從0起。V=Fin(0)=∅，無向邊列項=[]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(0, [], [], [], 0, 0)
離散結構核對=(0, [], [], [], 0, 0)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(1)=[0]，無向邊列項=[]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(1, [], [[否]], [0], 0, 0)
離散結構核對=(1, [], [[否]], [0], 0, 0)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · 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, 2, 2, 2], 6, 6)
離散結構核對=(4, [[1, 2], [1, 3], [2, 3]], [[否, 否, 否, 否], [否, 否, 是, 是], [否, 是, 否, 是], [否, 是, 是, 否]], [0, 2, 2, 2], 6, 6)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [2, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(4, [[0, 1], [2, 3]], [[否, 是, 否, 否], [是, 否, 否, 否], [否, 否, 否, 是], [否, 否, 是, 否]], [1, 1, 1, 1], 4, 4)
離散結構核對=(4, [[0, 1], [2, 3]], [[否, 是, 否, 否], [是, 否, 否, 否], [否, 否, 否, 是], [否, 否, 是, 否]], [1, 1, 1, 1], 4, 4)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [1, 2], [2, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(4, [[0, 1], [1, 2], [2, 3]], [[否, 是, 否, 否], [是, 否, 是, 否], [否, 是, 否, 是], [否, 否, 是, 否]], [1, 2, 2, 1], 6, 6)
離散結構核對=(4, [[0, 1], [1, 2], [2, 3]], [[否, 是, 否, 否], [是, 否, 是, 否], [否, 是, 否, 是], [否, 否, 是, 否]], [1, 2, 2, 1], 6, 6)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [0, 2], [0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(4, [[0, 1], [0, 2], [0, 3]], [[否, 是, 是, 是], [是, 否, 否, 否], [是, 否, 否, 否], [是, 否, 否, 否]], [3, 1, 1, 1], 6, 6)
離散結構核對=(4, [[0, 1], [0, 2], [0, 3]], [[否, 是, 是, 是], [是, 否, 否, 否], [是, 否, 否, 否], [是, 否, 否, 否]], [3, 1, 1, 1], 6, 6)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 1]], [[否, 是, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [1, 1, 0, 0, 0], 2, 2)
離散結構核對=(5, [[0, 1]], [[否, 是, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [1, 1, 0, 0, 0], 2, 2)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 2]], [[否, 否, 是, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [1, 0, 1, 0, 0], 2, 2)
離散結構核對=(5, [[0, 2]], [[否, 否, 是, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [1, 0, 1, 0, 0], 2, 2)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 1], [0, 2]], [[否, 是, 是, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [2, 1, 1, 0, 0], 4, 4)
離散結構核對=(5, [[0, 1], [0, 2]], [[否, 是, 是, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [2, 1, 1, 0, 0], 4, 4)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 3]], [[否, 否, 否, 是, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [1, 0, 0, 1, 0], 2, 2)
離散結構核對=(5, [[0, 3]], [[否, 否, 否, 是, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [1, 0, 0, 1, 0], 2, 2)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 1], [0, 3]], [[否, 是, 否, 是, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [2, 1, 0, 1, 0], 4, 4)
離散結構核對=(5, [[0, 1], [0, 3]], [[否, 是, 否, 是, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [2, 1, 0, 1, 0], 4, 4)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 2], [0, 3]], [[否, 否, 是, 是, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [2, 0, 1, 1, 0], 4, 4)
離散結構核對=(5, [[0, 2], [0, 3]], [[否, 否, 是, 是, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [2, 0, 1, 1, 0], 4, 4)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · 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]], [[否, 是, 是, 是, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [3, 1, 1, 1, 0], 6, 6)
離散結構核對=(5, [[0, 1], [0, 2], [0, 3]], [[否, 是, 是, 是, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [3, 1, 1, 1, 0], 6, 6)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 4]], [[否, 否, 否, 否, 是], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [1, 0, 0, 0, 1], 2, 2)
離散結構核對=(5, [[0, 4]], [[否, 否, 否, 否, 是], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [1, 0, 0, 0, 1], 2, 2)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 1], [0, 4]], [[否, 是, 否, 否, 是], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [2, 1, 0, 0, 1], 4, 4)
離散結構核對=(5, [[0, 1], [0, 4]], [[否, 是, 否, 否, 是], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [2, 1, 0, 0, 1], 4, 4)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 2], [0, 4]], [[否, 否, 是, 否, 是], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [2, 0, 1, 0, 1], 4, 4)
離散結構核對=(5, [[0, 2], [0, 4]], [[否, 否, 是, 否, 是], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [2, 0, 1, 0, 1], 4, 4)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · 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]], [[否, 是, 是, 否, 是], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [3, 1, 1, 0, 1], 6, 6)
離散結構核對=(5, [[0, 1], [0, 2], [0, 4]], [[否, 是, 是, 否, 是], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [3, 1, 1, 0, 1], 6, 6)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 3], [0, 4]], [[否, 否, 否, 是, 是], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [2, 0, 0, 1, 1], 4, 4)
離散結構核對=(5, [[0, 3], [0, 4]], [[否, 否, 否, 是, 是], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [2, 0, 0, 1, 1], 4, 4)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · 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]], [[否, 是, 否, 是, 是], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [3, 1, 0, 1, 1], 6, 6)
離散結構核對=(5, [[0, 1], [0, 3], [0, 4]], [[否, 是, 否, 是, 是], [是, 否, 否, 否, 否], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [3, 1, 0, 1, 1], 6, 6)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · 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]], [[否, 否, 是, 是, 是], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [3, 0, 1, 1, 1], 6, 6)
離散結構核對=(5, [[0, 2], [0, 3], [0, 4]], [[否, 否, 是, 是, 是], [否, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [3, 0, 1, 1, 1], 6, 6)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · 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]], [[否, 是, 是, 是, 是], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [4, 1, 1, 1, 1], 8, 8)
離散結構核對=(5, [[0, 1], [0, 2], [0, 3], [0, 4]], [[否, 是, 是, 是, 是], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否], [是, 否, 否, 否, 否]], [4, 1, 1, 1, 1], 8, 8)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[1, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[1, 2]], [[否, 否, 否, 否, 否], [否, 否, 是, 否, 否], [否, 是, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [0, 1, 1, 0, 0], 2, 2)
離散結構核對=(5, [[1, 2]], [[否, 否, 否, 否, 否], [否, 否, 是, 否, 否], [否, 是, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [0, 1, 1, 0, 0], 2, 2)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 1], [1, 2]], [[否, 是, 否, 否, 否], [是, 否, 是, 否, 否], [否, 是, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [1, 2, 1, 0, 0], 4, 4)
離散結構核對=(5, [[0, 1], [1, 2]], [[否, 是, 否, 否, 否], [是, 否, 是, 否, 否], [否, 是, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [1, 2, 1, 0, 0], 4, 4)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [1, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 按全部頂點索引的布林鄰接矩陣, 度數向量, 度數和, 兩倍邊數)。
(5, [[0, 2], [1, 2]], [[否, 否, 是, 否, 否], [否, 否, 是, 否, 否], [是, 是, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [1, 1, 2, 0, 0], 4, 4)
離散結構核對=(5, [[0, 2], [1, 2]], [[否, 否, 是, 否, 否], [否, 否, 是, 否, 否], [是, 是, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [1, 1, 2, 0, 0], 4, 4)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · 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]], [[否, 是, 是, 否, 否], [是, 否, 是, 否, 否], [是, 是, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [2, 2, 2, 0, 0], 6, 6)
離散結構核對=(5, [[0, 1], [0, 2], [1, 2]], [[否, 是, 是, 否, 否], [是, 否, 是, 否, 否], [是, 是, 否, 否, 否], [否, 否, 否, 否, 否], [否, 否, 否, 否, 否]], [2, 2, 2, 0, 0], 6, 6)；每條無向邊加入兩個鄰居位置，再逐頂點計不同鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-adjacency-degrees · candidate
簡單無向圖，Fin頂點從0起。V=Fin(0)=∅，無向邊列項=[]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(0, [], [], [], [])
離散結構核對=(0, [], [], [], [])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(1)=[0]，無向邊列項=[]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(1, [], [[]], [[]], [0])
離散結構核對=(1, [], [[]], [[]], [0])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[1, 2], [1, 3], [2, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(4, [[1, 2], [1, 3], [2, 3]], [[], [2, 3], [1, 3], [1, 2]], [[1, 2, 3], [0], [0], [0]], [0])
離散結構核對=(4, [[1, 2], [1, 3], [2, 3]], [[], [2, 3], [1, 3], [1, 2]], [[1, 2, 3], [0], [0], [0]], [0])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [2, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(4, [[0, 1], [2, 3]], [[1], [0], [3], [2]], [[2, 3], [2, 3], [0, 1], [0, 1]], [])
離散結構核對=(4, [[0, 1], [2, 3]], [[1], [0], [3], [2]], [[2, 3], [2, 3], [0, 1], [0, 1]], [])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [1, 2], [2, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(4, [[0, 1], [1, 2], [2, 3]], [[1], [0, 2], [1, 3], [2]], [[2, 3], [3], [0], [0, 1]], [])
離散結構核對=(4, [[0, 1], [1, 2], [2, 3]], [[1], [0, 2], [1, 3], [2]], [[2, 3], [3], [0], [0, 1]], [])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [0, 2], [0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(4, [[0, 1], [0, 2], [0, 3]], [[1, 2, 3], [0], [0], [0]], [[], [2, 3], [1, 3], [1, 2]], [])
離散結構核對=(4, [[0, 1], [0, 2], [0, 3]], [[1, 2, 3], [0], [0], [0]], [[], [2, 3], [1, 3], [1, 2]], [])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 1]], [[1], [0], [], [], []], [[2, 3, 4], [2, 3, 4], [0, 1, 3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [2, 3, 4])
離散結構核對=(5, [[0, 1]], [[1], [0], [], [], []], [[2, 3, 4], [2, 3, 4], [0, 1, 3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [2, 3, 4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 2]], [[2], [], [0], [], []], [[1, 3, 4], [0, 2, 3, 4], [1, 3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [1, 3, 4])
離散結構核對=(5, [[0, 2]], [[2], [], [0], [], []], [[1, 3, 4], [0, 2, 3, 4], [1, 3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [1, 3, 4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 1], [0, 2]], [[1, 2], [0], [0], [], []], [[3, 4], [2, 3, 4], [1, 3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [3, 4])
離散結構核對=(5, [[0, 1], [0, 2]], [[1, 2], [0], [0], [], []], [[3, 4], [2, 3, 4], [1, 3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [3, 4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 3]], [[3], [], [], [0], []], [[1, 2, 4], [0, 2, 3, 4], [0, 1, 3, 4], [1, 2, 4], [0, 1, 2, 3]], [1, 2, 4])
離散結構核對=(5, [[0, 3]], [[3], [], [], [0], []], [[1, 2, 4], [0, 2, 3, 4], [0, 1, 3, 4], [1, 2, 4], [0, 1, 2, 3]], [1, 2, 4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 1], [0, 3]], [[1, 3], [0], [], [0], []], [[2, 4], [2, 3, 4], [0, 1, 3, 4], [1, 2, 4], [0, 1, 2, 3]], [2, 4])
離散結構核對=(5, [[0, 1], [0, 3]], [[1, 3], [0], [], [0], []], [[2, 4], [2, 3, 4], [0, 1, 3, 4], [1, 2, 4], [0, 1, 2, 3]], [2, 4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 3]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 2], [0, 3]], [[2, 3], [], [0], [0], []], [[1, 4], [0, 2, 3, 4], [1, 3, 4], [1, 2, 4], [0, 1, 2, 3]], [1, 4])
離散結構核對=(5, [[0, 2], [0, 3]], [[2, 3], [], [0], [0], []], [[1, 4], [0, 2, 3, 4], [1, 3, 4], [1, 2, 4], [0, 1, 2, 3]], [1, 4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · 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]], [[1, 2, 3], [0], [0], [0], []], [[4], [2, 3, 4], [1, 3, 4], [1, 2, 4], [0, 1, 2, 3]], [4])
離散結構核對=(5, [[0, 1], [0, 2], [0, 3]], [[1, 2, 3], [0], [0], [0], []], [[4], [2, 3, 4], [1, 3, 4], [1, 2, 4], [0, 1, 2, 3]], [4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 4]], [[4], [], [], [], [0]], [[1, 2, 3], [0, 2, 3, 4], [0, 1, 3, 4], [0, 1, 2, 4], [1, 2, 3]], [1, 2, 3])
離散結構核對=(5, [[0, 4]], [[4], [], [], [], [0]], [[1, 2, 3], [0, 2, 3, 4], [0, 1, 3, 4], [0, 1, 2, 4], [1, 2, 3]], [1, 2, 3])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 1], [0, 4]], [[1, 4], [0], [], [], [0]], [[2, 3], [2, 3, 4], [0, 1, 3, 4], [0, 1, 2, 4], [1, 2, 3]], [2, 3])
離散結構核對=(5, [[0, 1], [0, 4]], [[1, 4], [0], [], [], [0]], [[2, 3], [2, 3, 4], [0, 1, 3, 4], [0, 1, 2, 4], [1, 2, 3]], [2, 3])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 2], [0, 4]], [[2, 4], [], [0], [], [0]], [[1, 3], [0, 2, 3, 4], [1, 3, 4], [0, 1, 2, 4], [1, 2, 3]], [1, 3])
離散結構核對=(5, [[0, 2], [0, 4]], [[2, 4], [], [0], [], [0]], [[1, 3], [0, 2, 3, 4], [1, 3, 4], [0, 1, 2, 4], [1, 2, 3]], [1, 3])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · 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]], [[1, 2, 4], [0], [0], [], [0]], [[3], [2, 3, 4], [1, 3, 4], [0, 1, 2, 4], [1, 2, 3]], [3])
離散結構核對=(5, [[0, 1], [0, 2], [0, 4]], [[1, 2, 4], [0], [0], [], [0]], [[3], [2, 3, 4], [1, 3, 4], [0, 1, 2, 4], [1, 2, 3]], [3])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3], [0, 4]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 3], [0, 4]], [[3, 4], [], [], [0], [0]], [[1, 2], [0, 2, 3, 4], [0, 1, 3, 4], [1, 2, 4], [1, 2, 3]], [1, 2])
離散結構核對=(5, [[0, 3], [0, 4]], [[3, 4], [], [], [0], [0]], [[1, 2], [0, 2, 3, 4], [0, 1, 3, 4], [1, 2, 4], [1, 2, 3]], [1, 2])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · 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]], [[1, 3, 4], [0], [], [0], [0]], [[2], [2, 3, 4], [0, 1, 3, 4], [1, 2, 4], [1, 2, 3]], [2])
離散結構核對=(5, [[0, 1], [0, 3], [0, 4]], [[1, 3, 4], [0], [], [0], [0]], [[2], [2, 3, 4], [0, 1, 3, 4], [1, 2, 4], [1, 2, 3]], [2])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · 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]], [[2, 3, 4], [], [0], [0], [0]], [[1], [0, 2, 3, 4], [1, 3, 4], [1, 2, 4], [1, 2, 3]], [1])
離散結構核對=(5, [[0, 2], [0, 3], [0, 4]], [[2, 3, 4], [], [0], [0], [0]], [[1], [0, 2, 3, 4], [1, 3, 4], [1, 2, 4], [1, 2, 3]], [1])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · 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]], [[1, 2, 3, 4], [0], [0], [0], [0]], [[], [2, 3, 4], [1, 3, 4], [1, 2, 4], [1, 2, 3]], [])
離散結構核對=(5, [[0, 1], [0, 2], [0, 3], [0, 4]], [[1, 2, 3, 4], [0], [0], [0], [0]], [[], [2, 3, 4], [1, 3, 4], [1, 2, 4], [1, 2, 3]], [])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[1, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[1, 2]], [[], [2], [1], [], []], [[1, 2, 3, 4], [0, 3, 4], [0, 3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [0, 3, 4])
離散結構核對=(5, [[1, 2]], [[], [2], [1], [], []], [[1, 2, 3, 4], [0, 3, 4], [0, 3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [0, 3, 4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 1], [1, 2]], [[1], [0, 2], [1], [], []], [[2, 3, 4], [3, 4], [0, 3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [3, 4])
離散結構核對=(5, [[0, 1], [1, 2]], [[1], [0, 2], [1], [], []], [[2, 3, 4], [3, 4], [0, 3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [3, 4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [1, 2]]；各邊兩端皆合法且相異。答 (n, 正規邊集, 全部鄰居列表, 全部非鄰居列表, 孤立頂點)。非鄰居排除頂點自己，每列表遞增。
(5, [[0, 2], [1, 2]], [[2], [2], [0, 1], [], []], [[1, 3, 4], [0, 3, 4], [3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [3, 4])
離散結構核對=(5, [[0, 2], [1, 2]], [[2], [2], [0, 1], [], []], [[1, 3, 4], [0, 3, 4], [3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [3, 4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · 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]], [[1, 2], [0, 2], [0, 1], [], []], [[3, 4], [3, 4], [3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [3, 4])
離散結構核對=(5, [[0, 1], [0, 2], [1, 2]], [[1, 2], [0, 2], [0, 1], [], []], [[3, 4], [3, 4], [3, 4], [0, 1, 2, 4], [0, 1, 2, 3]], [3, 4])；由邊集建立鄰居；在其他頂點中取補集，空鄰居即孤立。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-complete-neighbor-partitions · candidate
簡單無向圖，Fin頂點從0起。V=Fin(2)=[0, 1]，無向邊列項=[[0, 1]]；各邊兩端皆合法且相異。候選邊=[1, 0]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1]], [0, 1], 移除, [], [1, 1], [0, 0], [-1, -1], -2)
離散結構核對=([[0, 1]], [0, 1], 移除, [], [1, 1], [0, 0], [-1, -1], -2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(2)=[0, 1]，無向邊列項=[]；各邊兩端皆合法且相異。候選邊=[0, 1]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([], [0, 1], 新增, [[0, 1]], [0, 0], [1, 1], [1, 1], 2)
離散結構核對=([], [0, 1], 新增, [[0, 1]], [0, 0], [1, 1], [1, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。候選邊=[2, 0]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [1, 2]], [0, 2], 新增, [[0, 1], [0, 2], [1, 2]], [1, 2, 1], [2, 2, 2], [1, 0, 1], 2)
離散結構核對=([[0, 1], [1, 2]], [0, 2], 新增, [[0, 1], [0, 2], [1, 2]], [1, 2, 1], [2, 2, 2], [1, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [0, 2]]；各邊兩端皆合法且相異。候選邊=[0, 1]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [0, 2]], [0, 1], 移除, [[0, 2]], [2, 1, 1], [1, 0, 1], [-1, -1, 0], -2)
離散結構核對=([[0, 1], [0, 2]], [0, 1], 移除, [[0, 2]], [2, 1, 1], [1, 0, 1], [-1, -1, 0], -2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1]], [0, 4], 新增, [[0, 1], [0, 4]], [1, 1, 0, 0, 0], [2, 1, 0, 0, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 1]], [0, 4], 新增, [[0, 1], [0, 4]], [1, 1, 0, 0, 0], [2, 1, 0, 0, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 2]], [0, 4], 新增, [[0, 2], [0, 4]], [1, 0, 1, 0, 0], [2, 0, 1, 0, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 2]], [0, 4], 新增, [[0, 2], [0, 4]], [1, 0, 1, 0, 0], [2, 0, 1, 0, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [0, 2]], [0, 4], 新增, [[0, 1], [0, 2], [0, 4]], [2, 1, 1, 0, 0], [3, 1, 1, 0, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 1], [0, 2]], [0, 4], 新增, [[0, 1], [0, 2], [0, 4]], [2, 1, 1, 0, 0], [3, 1, 1, 0, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 3]], [0, 4], 新增, [[0, 3], [0, 4]], [1, 0, 0, 1, 0], [2, 0, 0, 1, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 3]], [0, 4], 新增, [[0, 3], [0, 4]], [1, 0, 0, 1, 0], [2, 0, 0, 1, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 3]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [0, 3]], [0, 4], 新增, [[0, 1], [0, 3], [0, 4]], [2, 1, 0, 1, 0], [3, 1, 0, 1, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 1], [0, 3]], [0, 4], 新增, [[0, 1], [0, 3], [0, 4]], [2, 1, 0, 1, 0], [3, 1, 0, 1, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 3]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 2], [0, 3]], [0, 4], 新增, [[0, 2], [0, 3], [0, 4]], [2, 0, 1, 1, 0], [3, 0, 1, 1, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 2], [0, 3]], [0, 4], 新增, [[0, 2], [0, 3], [0, 4]], [2, 0, 1, 1, 0], [3, 0, 1, 1, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [0, 3]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [0, 2], [0, 3]], [0, 4], 新增, [[0, 1], [0, 2], [0, 3], [0, 4]], [3, 1, 1, 1, 0], [4, 1, 1, 1, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 1], [0, 2], [0, 3]], [0, 4], 新增, [[0, 1], [0, 2], [0, 3], [0, 4]], [3, 1, 1, 1, 0], [4, 1, 1, 1, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 4]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 4]], [0, 4], 移除, [], [1, 0, 0, 0, 1], [0, 0, 0, 0, 0], [-1, 0, 0, 0, -1], -2)
離散結構核對=([[0, 4]], [0, 4], 移除, [], [1, 0, 0, 0, 1], [0, 0, 0, 0, 0], [-1, 0, 0, 0, -1], -2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 4]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [0, 4]], [0, 4], 移除, [[0, 1]], [2, 1, 0, 0, 1], [1, 1, 0, 0, 0], [-1, 0, 0, 0, -1], -2)
離散結構核對=([[0, 1], [0, 4]], [0, 4], 移除, [[0, 1]], [2, 1, 0, 0, 1], [1, 1, 0, 0, 0], [-1, 0, 0, 0, -1], -2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 4]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 2], [0, 4]], [0, 4], 移除, [[0, 2]], [2, 0, 1, 0, 1], [1, 0, 1, 0, 0], [-1, 0, 0, 0, -1], -2)
離散結構核對=([[0, 2], [0, 4]], [0, 4], 移除, [[0, 2]], [2, 0, 1, 0, 1], [1, 0, 1, 0, 0], [-1, 0, 0, 0, -1], -2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [0, 4]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [0, 2], [0, 4]], [0, 4], 移除, [[0, 1], [0, 2]], [3, 1, 1, 0, 1], [2, 1, 1, 0, 0], [-1, 0, 0, 0, -1], -2)
離散結構核對=([[0, 1], [0, 2], [0, 4]], [0, 4], 移除, [[0, 1], [0, 2]], [3, 1, 1, 0, 1], [2, 1, 1, 0, 0], [-1, 0, 0, 0, -1], -2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3], [0, 4]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 3], [0, 4]], [0, 4], 移除, [[0, 3]], [2, 0, 0, 1, 1], [1, 0, 0, 1, 0], [-1, 0, 0, 0, -1], -2)
離散結構核對=([[0, 3], [0, 4]], [0, 4], 移除, [[0, 3]], [2, 0, 0, 1, 1], [1, 0, 0, 1, 0], [-1, 0, 0, 0, -1], -2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 3], [0, 4]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [0, 3], [0, 4]], [0, 4], 移除, [[0, 1], [0, 3]], [3, 1, 0, 1, 1], [2, 1, 0, 1, 0], [-1, 0, 0, 0, -1], -2)
離散結構核對=([[0, 1], [0, 3], [0, 4]], [0, 4], 移除, [[0, 1], [0, 3]], [3, 1, 0, 1, 1], [2, 1, 0, 1, 0], [-1, 0, 0, 0, -1], -2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 3], [0, 4]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 2], [0, 3], [0, 4]], [0, 4], 移除, [[0, 2], [0, 3]], [3, 0, 1, 1, 1], [2, 0, 1, 1, 0], [-1, 0, 0, 0, -1], -2)
離散結構核對=([[0, 2], [0, 3], [0, 4]], [0, 4], 移除, [[0, 2], [0, 3]], [3, 0, 1, 1, 1], [2, 0, 1, 1, 0], [-1, 0, 0, 0, -1], -2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [0, 3], [0, 4]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [0, 2], [0, 3], [0, 4]], [0, 4], 移除, [[0, 1], [0, 2], [0, 3]], [4, 1, 1, 1, 1], [3, 1, 1, 1, 0], [-1, 0, 0, 0, -1], -2)
離散結構核對=([[0, 1], [0, 2], [0, 3], [0, 4]], [0, 4], 移除, [[0, 1], [0, 2], [0, 3]], [4, 1, 1, 1, 1], [3, 1, 1, 1, 0], [-1, 0, 0, 0, -1], -2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[1, 2]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[1, 2]], [0, 4], 新增, [[0, 4], [1, 2]], [0, 1, 1, 0, 0], [1, 1, 1, 0, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[1, 2]], [0, 4], 新增, [[0, 4], [1, 2]], [0, 1, 1, 0, 0], [1, 1, 1, 0, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [1, 2]], [0, 4], 新增, [[0, 1], [0, 4], [1, 2]], [1, 2, 1, 0, 0], [2, 2, 1, 0, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 1], [1, 2]], [0, 4], 新增, [[0, 1], [0, 4], [1, 2]], [1, 2, 1, 0, 0], [2, 2, 1, 0, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [1, 2]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 2], [1, 2]], [0, 4], 新增, [[0, 2], [0, 4], [1, 2]], [1, 1, 2, 0, 0], [2, 1, 2, 0, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 2], [1, 2]], [0, 4], 新增, [[0, 2], [0, 4], [1, 2]], [1, 1, 2, 0, 0], [2, 1, 2, 0, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [1, 2]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [0, 2], [1, 2]], [0, 4], 新增, [[0, 1], [0, 2], [0, 4], [1, 2]], [2, 2, 2, 0, 0], [3, 2, 2, 0, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 1], [0, 2], [1, 2]], [0, 4], 新增, [[0, 1], [0, 2], [0, 4], [1, 2]], [2, 2, 2, 0, 0], [3, 2, 2, 0, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3], [1, 2]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 3], [1, 2]], [0, 4], 新增, [[0, 3], [0, 4], [1, 2]], [1, 1, 1, 1, 0], [2, 1, 1, 1, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 3], [1, 2]], [0, 4], 新增, [[0, 3], [0, 4], [1, 2]], [1, 1, 1, 1, 0], [2, 1, 1, 1, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 3], [1, 2]]；各邊兩端皆合法且相異。候選邊=[0, 4]。已存在則移除，未存在則新增。答 (原邊集, 排序候選邊, 新增或移除, 新邊集, 原度數, 新度數, 有號度數差, 度差總和)。
([[0, 1], [0, 3], [1, 2]], [0, 4], 新增, [[0, 1], [0, 3], [0, 4], [1, 2]], [2, 2, 1, 1, 0], [3, 2, 1, 1, 1], [1, 0, 0, 0, 1], 2)
離散結構核對=([[0, 1], [0, 3], [1, 2]], [0, 4], 新增, [[0, 1], [0, 3], [0, 4], [1, 2]], [2, 2, 1, 1, 0], [3, 2, 1, 1, 1], [1, 0, 0, 0, 1], 2)；先判是否原有此無向邊，再改一條邊並逐頂點計新度數。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-edge-toggle-delta · candidate
簡單無向圖，Fin頂點從0起。V=Fin(0)=∅，無向邊列項=[]；各邊兩端皆合法且相異。頂點子集列項=[]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([], [], [], [], [])
離散結構核對=([], [], [], [], [])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。頂點子集列項=[]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [1, 2]], [], [], [], [])
離散結構核對=([[0, 1], [1, 2]], [], [], [], [])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。頂點子集列項=[0, 2]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [1, 2]], [0, 2], [], [0, 0], [[], []])
離散結構核對=([[0, 1], [1, 2]], [0, 2], [], [0, 0], [[], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(3)=[0, 1, 2]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。頂點子集列項=[2, 1]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [1, 2]], [1, 2], [[1, 2]], [1, 1], [[2], [1]])
離散結構核對=([[0, 1], [1, 2]], [1, 2], [[1, 2]], [1, 1], [[2], [1]])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(4)=[0, 1, 2, 3]，無向邊列項=[[0, 1], [2, 3]]；各邊兩端皆合法且相異。頂點子集列項=[3, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [2, 3]], [0, 2, 3], [[2, 3]], [0, 1, 1], [[], [3], [2]])
離散結構核對=([[0, 1], [2, 3]], [0, 2, 3], [[2, 3]], [0, 1, 1], [[], [3], [2]])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1]], [0, 2, 4], [], [0, 0, 0], [[], [], []])
離散結構核對=([[0, 1]], [0, 2, 4], [], [0, 0, 0], [[], [], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 2]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])
離散結構核對=([[0, 2]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [0, 2]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])
離散結構核對=([[0, 1], [0, 2]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 3]], [0, 2, 4], [], [0, 0, 0], [[], [], []])
離散結構核對=([[0, 3]], [0, 2, 4], [], [0, 0, 0], [[], [], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 3]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [0, 3]], [0, 2, 4], [], [0, 0, 0], [[], [], []])
離散結構核對=([[0, 1], [0, 3]], [0, 2, 4], [], [0, 0, 0], [[], [], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 3]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 2], [0, 3]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])
離散結構核對=([[0, 2], [0, 3]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [0, 3]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [0, 2], [0, 3]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])
離散結構核對=([[0, 1], [0, 2], [0, 3]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 4]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 4]], [0, 2, 4], [[0, 4]], [1, 0, 1], [[4], [], [0]])
離散結構核對=([[0, 4]], [0, 2, 4], [[0, 4]], [1, 0, 1], [[4], [], [0]])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 4]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [0, 4]], [0, 2, 4], [[0, 4]], [1, 0, 1], [[4], [], [0]])
離散結構核對=([[0, 1], [0, 4]], [0, 2, 4], [[0, 4]], [1, 0, 1], [[4], [], [0]])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 4]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 2], [0, 4]], [0, 2, 4], [[0, 2], [0, 4]], [2, 1, 1], [[2, 4], [0], [0]])
離散結構核對=([[0, 2], [0, 4]], [0, 2, 4], [[0, 2], [0, 4]], [2, 1, 1], [[2, 4], [0], [0]])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [0, 4]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [0, 2], [0, 4]], [0, 2, 4], [[0, 2], [0, 4]], [2, 1, 1], [[2, 4], [0], [0]])
離散結構核對=([[0, 1], [0, 2], [0, 4]], [0, 2, 4], [[0, 2], [0, 4]], [2, 1, 1], [[2, 4], [0], [0]])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3], [0, 4]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 3], [0, 4]], [0, 2, 4], [[0, 4]], [1, 0, 1], [[4], [], [0]])
離散結構核對=([[0, 3], [0, 4]], [0, 2, 4], [[0, 4]], [1, 0, 1], [[4], [], [0]])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 3], [0, 4]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [0, 3], [0, 4]], [0, 2, 4], [[0, 4]], [1, 0, 1], [[4], [], [0]])
離散結構核對=([[0, 1], [0, 3], [0, 4]], [0, 2, 4], [[0, 4]], [1, 0, 1], [[4], [], [0]])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [0, 3], [0, 4]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 2], [0, 3], [0, 4]], [0, 2, 4], [[0, 2], [0, 4]], [2, 1, 1], [[2, 4], [0], [0]])
離散結構核對=([[0, 2], [0, 3], [0, 4]], [0, 2, 4], [[0, 2], [0, 4]], [2, 1, 1], [[2, 4], [0], [0]])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [0, 3], [0, 4]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [0, 2], [0, 3], [0, 4]], [0, 2, 4], [[0, 2], [0, 4]], [2, 1, 1], [[2, 4], [0], [0]])
離散結構核對=([[0, 1], [0, 2], [0, 3], [0, 4]], [0, 2, 4], [[0, 2], [0, 4]], [2, 1, 1], [[2, 4], [0], [0]])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[1, 2]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[1, 2]], [0, 2, 4], [], [0, 0, 0], [[], [], []])
離散結構核對=([[1, 2]], [0, 2, 4], [], [0, 0, 0], [[], [], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [1, 2]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [1, 2]], [0, 2, 4], [], [0, 0, 0], [[], [], []])
離散結構核對=([[0, 1], [1, 2]], [0, 2, 4], [], [0, 0, 0], [[], [], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 2], [1, 2]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 2], [1, 2]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])
離散結構核對=([[0, 2], [1, 2]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 1], [0, 2], [1, 2]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 1], [0, 2], [1, 2]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])
離散結構核對=([[0, 1], [0, 2], [1, 2]], [0, 2, 4], [[0, 2]], [1, 1, 0], [[2], [0], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate
簡單無向圖，Fin頂點從0起。V=Fin(5)=[0, 1, 2, 3, 4]，無向邊列項=[[0, 3], [1, 2]]；各邊兩端皆合法且相異。頂點子集列項=[4, 2, 0]。答 (原正規邊集, 正規子集, 誘導邊集, 子集頂點依原標籤遞增的度向量, 同序鄰居列表)。不重新編號。
([[0, 3], [1, 2]], [0, 2, 4], [], [0, 0, 0], [[], [], []])
離散結構核對=([[0, 3], [1, 2]], [0, 2, 4], [], [0, 0, 0], [[], [], []])；只保留兩端都在子集的邊，再以保留標籤計鄰居。；有限精確核對不是一般形式證明；無自環端點已合型；反向或重複邊不增加邊；不由畫法推相鄰。
有限簡單無向圖 · qf-density17-graph-induced-subset · candidate