本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261026-r06-graph-isomorphism-foundations · 2026-10-13 · 100 題
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,2,3,4,0]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 2, 3, 4, 0], 否)
結構深度核對=(6, [0, 1, 2, 3, 4, 0], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,2,3,5,4]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 2, 3, 5, 4], 是)
結構深度核對=(6, [0, 1, 2, 3, 5, 4], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,2,4,3,5]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 2, 4, 3, 5], 是)
結構深度核對=(6, [0, 1, 2, 4, 3, 5], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,2,4,5,3]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 2, 4, 5, 3], 是)
結構深度核對=(6, [0, 1, 2, 4, 5, 3], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,2,5,3,4]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 2, 5, 3, 4], 是)
結構深度核對=(6, [0, 1, 2, 5, 3, 4], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,2,5,4,0]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 2, 5, 4, 0], 否)
結構深度核對=(6, [0, 1, 2, 5, 4, 0], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,3,2,4,5]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 3, 2, 4, 5], 是)
結構深度核對=(6, [0, 1, 3, 2, 4, 5], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,3,2,5,4]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 3, 2, 5, 4], 是)
結構深度核對=(6, [0, 1, 3, 2, 5, 4], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,3,4,2,5]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 3, 4, 2, 5], 是)
結構深度核對=(6, [0, 1, 3, 4, 2, 5], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,3,4,5,2]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 3, 4, 5, 2], 是)
結構深度核對=(6, [0, 1, 3, 4, 5, 2], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,3,5,2,0]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 3, 5, 2, 0], 否)
結構深度核對=(6, [0, 1, 3, 5, 2, 0], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,3,5,4,2]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 3, 5, 4, 2], 是)
結構深度核對=(6, [0, 1, 3, 5, 4, 2], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,4,2,3,5]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 4, 2, 3, 5], 是)
結構深度核對=(6, [0, 1, 4, 2, 3, 5], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,4,2,5,3]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 4, 2, 5, 3], 是)
結構深度核對=(6, [0, 1, 4, 2, 5, 3], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,4,3,2,5]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 4, 3, 2, 5], 是)
結構深度核對=(6, [0, 1, 4, 3, 2, 5], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,4,3,5,0]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 4, 3, 5, 0], 否)
結構深度核對=(6, [0, 1, 4, 3, 5, 0], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,4,5,2,3]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 4, 5, 2, 3], 是)
結構深度核對=(6, [0, 1, 4, 5, 2, 3], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,4,5,3,2]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 4, 5, 3, 2], 是)
結構深度核對=(6, [0, 1, 4, 5, 3, 2], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,5,2,3,4]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 5, 2, 3, 4], 是)
結構深度核對=(6, [0, 1, 5, 2, 3, 4], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,5,2,4,3]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 5, 2, 4, 3], 是)
結構深度核對=(6, [0, 1, 5, 2, 4, 3], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,5,3,2,0]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 5, 3, 2, 0], 否)
結構深度核對=(6, [0, 1, 5, 3, 2, 0], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,5,3,4,2]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 5, 3, 4, 2], 是)
結構深度核對=(6, [0, 1, 5, 3, 4, 2], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,5,4,2,3]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 5, 4, 2, 3], 是)
結構深度核對=(6, [0, 1, 5, 4, 2, 3], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,1,5,4,3,2]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 1, 5, 4, 3, 2], 是)
結構深度核對=(6, [0, 1, 5, 4, 3, 2], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-bijection-audit；資料={"n":6,"mapping":[0,2,1,3,4,5]}。請依 [n,mapping,bijective] 欄序回答。
(6, [0, 2, 1, 3, 4, 5], 是)
結構深度核對=(6, [0, 2, 1, 3, 4, 5], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-bijection-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,3],[3,4],[4,5],[0,2]],"mapping":[0,1,2,3,4,5]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 2, 3, 4, 5], [[0, 2, 否, 是]], 否)
結構深度核對=([0, 1, 2, 3, 4, 5], [[0, 2, 否, 是]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,3],[3,5],[4,5]],"mapping":[0,1,2,3,5,4]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 2, 3, 5, 4], [], 是)
結構深度核對=([0, 1, 2, 3, 5, 4], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,4],[3,4],[3,5]],"mapping":[0,1,2,4,3,5]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 2, 4, 3, 5], [], 是)
結構深度核對=([0, 1, 2, 4, 3, 5], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,4],[4,5],[3,5]],"mapping":[0,1,2,4,5,3]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 2, 4, 5, 3], [], 是)
結構深度核對=([0, 1, 2, 4, 5, 3], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,5],[3,5],[3,4]],"mapping":[0,1,2,5,3,4]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 2, 5, 3, 4], [], 是)
結構深度核對=([0, 1, 2, 5, 3, 4], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,5],[4,5],[3,4],[0,2]],"mapping":[0,1,2,5,4,3]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 2, 5, 4, 3], [[0, 2, 否, 是]], 否)
結構深度核對=([0, 1, 2, 5, 4, 3], [[0, 2, 否, 是]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[2,3],[2,4],[4,5]],"mapping":[0,1,3,2,4,5]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 3, 2, 4, 5], [], 是)
結構深度核對=([0, 1, 3, 2, 4, 5], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[2,3],[2,5],[4,5]],"mapping":[0,1,3,2,5,4]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 3, 2, 5, 4], [], 是)
結構深度核對=([0, 1, 3, 2, 5, 4], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[3,4],[2,4],[2,5]],"mapping":[0,1,3,4,2,5]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 3, 4, 2, 5], [], 是)
結構深度核對=([0, 1, 3, 4, 2, 5], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[3,4],[4,5],[2,5]],"mapping":[0,1,3,4,5,2]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 3, 4, 5, 2], [], 是)
結構深度核對=([0, 1, 3, 4, 5, 2], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[3,5],[2,5],[2,4],[0,2]],"mapping":[0,1,3,5,2,4]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 3, 5, 2, 4], [[0, 4, 否, 是]], 否)
結構深度核對=([0, 1, 3, 5, 2, 4], [[0, 4, 否, 是]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[3,5],[4,5],[2,4]],"mapping":[0,1,3,5,4,2]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 3, 5, 4, 2], [], 是)
結構深度核對=([0, 1, 3, 5, 4, 2], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[2,4],[2,3],[3,5]],"mapping":[0,1,4,2,3,5]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 4, 2, 3, 5], [], 是)
結構深度核對=([0, 1, 4, 2, 3, 5], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[2,4],[2,5],[3,5]],"mapping":[0,1,4,2,5,3]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 4, 2, 5, 3], [], 是)
結構深度核對=([0, 1, 4, 2, 5, 3], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[3,4],[2,3],[2,5]],"mapping":[0,1,4,3,2,5]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 4, 3, 2, 5], [], 是)
結構深度核對=([0, 1, 4, 3, 2, 5], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[3,4],[3,5],[2,5],[0,2]],"mapping":[0,1,4,3,5,2]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 4, 3, 5, 2], [[0, 5, 否, 是]], 否)
結構深度核對=([0, 1, 4, 3, 5, 2], [[0, 5, 否, 是]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[4,5],[2,5],[2,3]],"mapping":[0,1,4,5,2,3]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 4, 5, 2, 3], [], 是)
結構深度核對=([0, 1, 4, 5, 2, 3], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[4,5],[3,5],[2,3]],"mapping":[0,1,4,5,3,2]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 4, 5, 3, 2], [], 是)
結構深度核對=([0, 1, 4, 5, 3, 2], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[2,5],[2,3],[3,4]],"mapping":[0,1,5,2,3,4]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 5, 2, 3, 4], [], 是)
結構深度核對=([0, 1, 5, 2, 3, 4], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[2,5],[2,4],[3,4]],"mapping":[0,1,5,2,4,3]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 5, 2, 4, 3], [], 是)
結構深度核對=([0, 1, 5, 2, 4, 3], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[3,5],[2,3],[2,4],[0,2]],"mapping":[0,1,5,3,2,4]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 5, 3, 2, 4], [[0, 4, 否, 是]], 否)
結構深度核對=([0, 1, 5, 3, 2, 4], [[0, 4, 否, 是]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[3,5],[3,4],[2,4]],"mapping":[0,1,5,3,4,2]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 5, 3, 4, 2], [], 是)
結構深度核對=([0, 1, 5, 3, 4, 2], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[4,5],[2,4],[2,3]],"mapping":[0,1,5,4,2,3]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 5, 4, 2, 3], [], 是)
結構深度核對=([0, 1, 5, 4, 2, 3], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[4,5],[3,4],[2,3]],"mapping":[0,1,5,4,3,2]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 1, 5, 4, 3, 2], [], 是)
結構深度核對=([0, 1, 5, 4, 3, 2], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-adjacency-iff-audit；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,2],[1,2],[1,3],[3,4],[4,5]],"mapping":[0,2,1,3,4,5]}。請依 [mapping,bad_pairs,adjacency_iff] 欄序回答。
([0, 2, 1, 3, 4, 5], [], 是)
結構深度核對=([0, 2, 1, 3, 4, 5], [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-adjacency-iff-audit · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,3],[3,4],[4,5],[0,2]],"mapping":[0,1,2,3,4,0]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 2, 3, 4, 0], 否, [[0, 2, 否, 是], [1, 5, 否, 是], [2, 5, 否, 是], [4, 5, 是, 否]], 否)
結構深度核對=(6, [0, 1, 2, 3, 4, 0], 否, [[0, 2, 否, 是], [1, 5, 否, 是], [2, 5, 否, 是], [4, 5, 是, 否]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,3],[3,5],[4,5]],"mapping":[0,1,2,3,5,4]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 2, 3, 5, 4], 是, [], 是)
結構深度核對=(6, [0, 1, 2, 3, 5, 4], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,4],[3,4],[3,5]],"mapping":[0,1,2,4,3,5]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 2, 4, 3, 5], 是, [], 是)
結構深度核對=(6, [0, 1, 2, 4, 3, 5], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,4],[4,5],[3,5]],"mapping":[0,1,2,4,5,3]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 2, 4, 5, 3], 是, [], 是)
結構深度核對=(6, [0, 1, 2, 4, 5, 3], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,5],[3,5],[3,4]],"mapping":[0,1,2,5,3,4]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 2, 5, 3, 4], 是, [], 是)
結構深度核對=(6, [0, 1, 2, 5, 3, 4], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,2],[2,5],[4,5],[3,4],[0,2]],"mapping":[0,1,2,5,4,3]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 2, 5, 4, 3], 是, [[0, 2, 否, 是]], 否)
結構深度核對=(6, [0, 1, 2, 5, 4, 3], 是, [[0, 2, 否, 是]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[2,3],[2,4],[4,5]],"mapping":[0,1,3,2,4,5]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 3, 2, 4, 5], 是, [], 是)
結構深度核對=(6, [0, 1, 3, 2, 4, 5], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[2,3],[2,5],[4,5]],"mapping":[0,1,3,2,5,0]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 3, 2, 5, 0], 否, [[1, 5, 否, 是], [4, 5, 是, 否]], 否)
結構深度核對=(6, [0, 1, 3, 2, 5, 0], 否, [[1, 5, 否, 是], [4, 5, 是, 否]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[3,4],[2,4],[2,5]],"mapping":[0,1,3,4,2,5]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 3, 4, 2, 5], 是, [], 是)
結構深度核對=(6, [0, 1, 3, 4, 2, 5], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[3,4],[4,5],[2,5]],"mapping":[0,1,3,4,5,2]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 3, 4, 5, 2], 是, [], 是)
結構深度核對=(6, [0, 1, 3, 4, 5, 2], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[3,5],[2,5],[2,4],[0,2]],"mapping":[0,1,3,5,2,4]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 3, 5, 2, 4], 是, [[0, 4, 否, 是]], 否)
結構深度核對=(6, [0, 1, 3, 5, 2, 4], 是, [[0, 4, 否, 是]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,3],[3,5],[4,5],[2,4]],"mapping":[0,1,3,5,4,2]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 3, 5, 4, 2], 是, [], 是)
結構深度核對=(6, [0, 1, 3, 5, 4, 2], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[2,4],[2,3],[3,5]],"mapping":[0,1,4,2,3,5]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 4, 2, 3, 5], 是, [], 是)
結構深度核對=(6, [0, 1, 4, 2, 3, 5], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[2,4],[2,5],[3,5]],"mapping":[0,1,4,2,5,3]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 4, 2, 5, 3], 是, [], 是)
結構深度核對=(6, [0, 1, 4, 2, 5, 3], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[3,4],[2,3],[2,5]],"mapping":[0,1,4,3,2,0]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 4, 3, 2, 0], 否, [[1, 5, 否, 是], [4, 5, 是, 否]], 否)
結構深度核對=(6, [0, 1, 4, 3, 2, 0], 否, [[1, 5, 否, 是], [4, 5, 是, 否]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[3,4],[3,5],[2,5],[0,2]],"mapping":[0,1,4,3,5,2]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 4, 3, 5, 2], 是, [[0, 5, 否, 是]], 否)
結構深度核對=(6, [0, 1, 4, 3, 5, 2], 是, [[0, 5, 否, 是]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[4,5],[2,5],[2,3]],"mapping":[0,1,4,5,2,3]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 4, 5, 2, 3], 是, [], 是)
結構深度核對=(6, [0, 1, 4, 5, 2, 3], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,4],[4,5],[3,5],[2,3]],"mapping":[0,1,4,5,3,2]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 4, 5, 3, 2], 是, [], 是)
結構深度核對=(6, [0, 1, 4, 5, 3, 2], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[2,5],[2,3],[3,4]],"mapping":[0,1,5,2,3,4]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 5, 2, 3, 4], 是, [], 是)
結構深度核對=(6, [0, 1, 5, 2, 3, 4], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[2,5],[2,4],[3,4]],"mapping":[0,1,5,2,4,3]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 5, 2, 4, 3], 是, [], 是)
結構深度核對=(6, [0, 1, 5, 2, 4, 3], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[3,5],[2,3],[2,4],[0,2]],"mapping":[0,1,5,3,2,4]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 5, 3, 2, 4], 是, [[0, 4, 否, 是]], 否)
結構深度核對=(6, [0, 1, 5, 3, 2, 4], 是, [[0, 4, 否, 是]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[3,5],[3,4],[2,4]],"mapping":[0,1,5,3,4,0]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 5, 3, 4, 0], 否, [[1, 5, 否, 是], [4, 5, 是, 否]], 否)
結構深度核對=(6, [0, 1, 5, 3, 4, 0], 否, [[1, 5, 否, 是], [4, 5, 是, 否]], 否)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[4,5],[2,4],[2,3]],"mapping":[0,1,5,4,2,3]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 5, 4, 2, 3], 是, [], 是)
結構深度核對=(6, [0, 1, 5, 4, 2, 3], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,1],[1,5],[4,5],[3,4],[2,3]],"mapping":[0,1,5,4,3,2]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 1, 5, 4, 3, 2], 是, [], 是)
結構深度核對=(6, [0, 1, 5, 4, 3, 2], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-qualification；資料={"n":6,"left_edges":[[0,1],[1,2],[2,3],[3,4],[4,5]],"right_edges":[[0,2],[1,2],[1,3],[3,4],[4,5]],"mapping":[0,2,1,3,4,5]}。請依 [n,mapping,bijective,bad_pairs,isomorphism] 欄序回答。
(6, [0, 2, 1, 3, 4, 5], 是, [], 是)
結構深度核對=(6, [0, 2, 1, 3, 4, 5], 是, [], 是)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-qualification · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1]],"right_n":6,"right_edges":[[0,1],[0,3],[1,2]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 0, 1, 1], 6, [0, 0, 1, 1, 2, 2], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 0, 1, 1], 6, [0, 0, 1, 1, 2, 2], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,2]],"right_n":6,"right_edges":[[0,2],[0,4],[1,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 0, 1, 1], 6, [0, 1, 1, 1, 1, 2], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 0, 1, 1], 6, [0, 1, 1, 1, 1, 2], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,2]],"right_n":6,"right_edges":[[0,1],[0,2],[0,3],[0,4],[1,2],[1,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 2, 2, 3, 4], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 2, 2, 3, 4], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,3]],"right_n":6,"right_edges":[[0,3],[0,5],[1,4]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 0, 1, 1], 6, [0, 1, 1, 1, 1, 2], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 0, 1, 1], 6, [0, 1, 1, 1, 1, 2], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,3]],"right_n":6,"right_edges":[[0,1],[0,4],[0,5],[1,2],[1,4]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 1, 2, 3, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 1, 2, 3, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,2],[0,3]],"right_n":6,"right_edges":[[0,2],[0,3],[0,4],[0,5],[1,3],[1,4]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 1, 1, 2], 6, [1, 1, 2, 2, 2, 4], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 1, 1, 2], 6, [1, 1, 2, 2, 2, 4], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,2],[0,3]],"right_n":6,"right_edges":[[0,1],[0,2],[1,5]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 1, 1, 1, 3], 6, [0, 0, 1, 1, 2, 2], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 1, 1, 1, 3], 6, [0, 0, 1, 1, 2, 2], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,4]],"right_n":6,"right_edges":[[0,4],[1,2],[1,5]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 0, 1, 1], 6, [0, 1, 1, 1, 1, 2], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 0, 1, 1], 6, [0, 1, 1, 1, 1, 2], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,4]],"right_n":6,"right_edges":[[0,1],[0,3],[0,4],[1,3],[1,5]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 1, 2, 3, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 1, 2, 3, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,2],[0,4]],"right_n":6,"right_edges":[[0,2],[0,5],[1,2],[1,3],[1,5]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 2, 2, 2, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 2, 2, 2, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,2],[0,4]],"right_n":6,"right_edges":[[0,1],[0,2],[0,3],[0,5],[1,4],[1,5]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 1, 1, 1, 3], 6, [1, 1, 1, 2, 3, 4], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 1, 1, 1, 3], 6, [1, 1, 1, 2, 3, 4], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,3],[0,4]],"right_n":6,"right_edges":[[0,3],[0,4],[0,5],[1,2],[1,4],[1,5]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 1, 1, 2], 6, [1, 1, 2, 2, 3, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 1, 1, 2], 6, [1, 1, 2, 2, 3, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,3],[0,4]],"right_n":6,"right_edges":[[0,1],[1,2],[1,3],[1,4],[1,5]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 1, 1, 1, 3], 6, [1, 1, 1, 1, 1, 5], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 1, 1, 1, 3], 6, [1, 1, 1, 1, 1, 5], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,2],[0,3],[0,4]],"right_n":6,"right_edges":[[0,2],[0,3],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 1, 1, 1, 3], 6, [0, 0, 0, 2, 2, 2], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 1, 1, 1, 3], 6, [0, 0, 0, 2, 2, 2], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,2],[0,3],[0,4]],"right_n":6,"right_edges":[[0,1],[0,2],[0,4],[1,2],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 1, 1, 1, 1, 4], 6, [0, 1, 1, 2, 3, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 1, 1, 1, 1, 4], 6, [0, 1, 1, 2, 3, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,5]],"right_n":6,"right_edges":[[0,5],[1,3],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 0, 1, 1], 6, [0, 1, 1, 1, 1, 2], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 0, 1, 1], 6, [0, 1, 1, 1, 1, 2], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,5]],"right_n":6,"right_edges":[[0,1],[0,3],[0,5],[1,2],[1,3],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 2, 3, 3, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 2, 3, 3, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,2],[0,5]],"right_n":6,"right_edges":[[0,2],[0,4],[0,5],[1,4],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 1, 1, 2], 6, [1, 1, 1, 2, 2, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 1, 1, 2], 6, [1, 1, 1, 2, 2, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,2],[0,5]],"right_n":6,"right_edges":[[0,1],[0,2],[0,3],[0,4],[0,5],[1,2],[1,4],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 1, 1, 1, 3], 6, [1, 2, 2, 3, 3, 5], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 1, 1, 1, 3], 6, [1, 2, 2, 3, 3, 5], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,3],[0,5]],"right_n":6,"right_edges":[[0,3],[1,2],[1,3],[1,4],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 1, 2, 3, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 1, 1, 2], 6, [0, 1, 1, 2, 3, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,3],[0,5]],"right_n":6,"right_edges":[[0,1],[0,4],[1,5],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 1, 1, 1, 3], 6, [1, 1, 1, 1, 2, 2], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 1, 1, 1, 3], 6, [1, 1, 1, 1, 2, 2], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,2],[0,3],[0,5]],"right_n":6,"right_edges":[[0,2],[0,3],[0,4],[1,2],[1,5],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 1, 1, 1, 3], 6, [1, 1, 2, 2, 3, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 1, 1, 1, 3], 6, [1, 1, 2, 2, 3, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,2],[0,3],[0,5]],"right_n":6,"right_edges":[[0,1],[0,2],[0,5],[1,3],[1,5],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 1, 1, 1, 1, 4], 6, [0, 2, 2, 2, 3, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 1, 1, 1, 1, 4], 6, [0, 2, 2, 2, 3, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,4],[0,5]],"right_n":6,"right_edges":[[0,4],[0,5],[1,2],[1,3],[1,5],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 0, 1, 1, 2], 6, [1, 2, 2, 2, 2, 3], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 0, 1, 1, 2], 6, [1, 2, 2, 2, 2, 3], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate
完整有限簡單圖與明示頂點映射。操作=graphiso-invariant-mismatch；資料={"left_n":6,"left_edges":[[0,1],[0,4],[0,5]],"right_n":6,"right_edges":[[0,1],[0,3],[0,4],[0,5],[1,4],[1,5],[2,3]]}。請依 [left_n,left_degree_multiset,right_n,right_degree_multiset,mismatch,conclusion] 欄序回答。
(6, [0, 0, 1, 1, 1, 3], 6, [1, 2, 2, 2, 3, 4], 是, nonisomorphic_certificate)
結構深度核對=(6, [0, 0, 1, 1, 1, 3], 6, [1, 2, 2, 2, 3, 4], 是, nonisomorphic_certificate)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；同構要求鄰接與非鄰接iff；不變量相同不足以證同構。
圖同構 · qf-mod26-graphiso-invariant-mismatch · candidate