本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261012-advance-20261017-r01-bijective-foundations · 2026-10-12 · 100 題
Fin型別從0起，完整總表。Fin(0)=∅→Fin(0)=∅；總函數f依輸入索引列images=[]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([], [], [], [], 是, 是, 是)
離散結構核對=([], [], [], [], 是, 是, 是)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(2)=[0, 1]；總函數f依輸入索引列images=[]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([], [[], []], [], [0, 1], 是, 否, 否)
離散結構核對=([], [[], []], [], [0, 1], 是, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(1)=[0]→Fin(1)=[0]；總函數f依輸入索引列images=[0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0], [[0]], [], [], 是, 是, 是)
離散結構核對=([0], [[0]], [], [], 是, 是, 是)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 2]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0, 1, 2], [[0], [1], [2]], [], [], 是, 是, 是)
離散結構核對=([0, 1, 2], [[0], [1], [2]], [], [], 是, 是, 是)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0, 0, 1], [[0, 1], [2], []], [[0, 1]], [2], 否, 否, 否)
離散結構核對=([0, 0, 1], [[0, 1], [2], []], [[0, 1]], [2], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(2)=[0, 1]；總函數f依輸入索引列images=[0, 1, 1]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0, 1, 1], [[0], [1, 2]], [[1, 2]], [], 否, 是, 否)
離散結構核對=([0, 1, 1], [[0], [1, 2]], [[1, 2]], [], 否, 是, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(2)=[0, 1]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0, 1], [[0], [1], []], [], [2], 是, 否, 否)
離散結構核對=([0, 1], [[0], [1], []], [], [2], 是, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 0, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0, 0, 0, 0, 0], [[0, 1, 2, 3, 4], [], []], [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], [1, 2], 否, 否, 否)
離散結構核對=([0, 0, 0, 0, 0], [[0, 1, 2, 3, 4], [], []], [[0, 1], [0, 2], [0, 3], [0, 4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], [1, 2], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 0, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([1, 0, 0, 0, 0], [[1, 2, 3, 4], [0], []], [[1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], [2], 否, 否, 否)
離散結構核對=([1, 0, 0, 0, 0], [[1, 2, 3, 4], [0], []], [[1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], [2], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 0, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([2, 0, 0, 0, 0], [[1, 2, 3, 4], [], [0]], [[1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], [1], 否, 否, 否)
離散結構核對=([2, 0, 0, 0, 0], [[1, 2, 3, 4], [], [0]], [[1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4]], [1], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 0, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0, 1, 0, 0, 0], [[0, 2, 3, 4], [1], []], [[0, 2], [0, 3], [0, 4], [2, 3], [2, 4], [3, 4]], [2], 否, 否, 否)
離散結構核對=([0, 1, 0, 0, 0], [[0, 2, 3, 4], [1], []], [[0, 2], [0, 3], [0, 4], [2, 3], [2, 4], [3, 4]], [2], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 0, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([1, 1, 0, 0, 0], [[2, 3, 4], [0, 1], []], [[0, 1], [2, 3], [2, 4], [3, 4]], [2], 否, 否, 否)
離散結構核對=([1, 1, 0, 0, 0], [[2, 3, 4], [0, 1], []], [[0, 1], [2, 3], [2, 4], [3, 4]], [2], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 0, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([2, 1, 0, 0, 0], [[2, 3, 4], [1], [0]], [[2, 3], [2, 4], [3, 4]], [], 否, 是, 否)
離散結構核對=([2, 1, 0, 0, 0], [[2, 3, 4], [1], [0]], [[2, 3], [2, 4], [3, 4]], [], 否, 是, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 0, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0, 2, 0, 0, 0], [[0, 2, 3, 4], [], [1]], [[0, 2], [0, 3], [0, 4], [2, 3], [2, 4], [3, 4]], [1], 否, 否, 否)
離散結構核對=([0, 2, 0, 0, 0], [[0, 2, 3, 4], [], [1]], [[0, 2], [0, 3], [0, 4], [2, 3], [2, 4], [3, 4]], [1], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 0, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([1, 2, 0, 0, 0], [[2, 3, 4], [0], [1]], [[2, 3], [2, 4], [3, 4]], [], 否, 是, 否)
離散結構核對=([1, 2, 0, 0, 0], [[2, 3, 4], [0], [1]], [[2, 3], [2, 4], [3, 4]], [], 否, 是, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 0, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([2, 2, 0, 0, 0], [[2, 3, 4], [], [0, 1]], [[0, 1], [2, 3], [2, 4], [3, 4]], [1], 否, 否, 否)
離散結構核對=([2, 2, 0, 0, 0], [[2, 3, 4], [], [0, 1]], [[0, 1], [2, 3], [2, 4], [3, 4]], [1], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0, 0, 1, 0, 0], [[0, 1, 3, 4], [2], []], [[0, 1], [0, 3], [0, 4], [1, 3], [1, 4], [3, 4]], [2], 否, 否, 否)
離散結構核對=([0, 0, 1, 0, 0], [[0, 1, 3, 4], [2], []], [[0, 1], [0, 3], [0, 4], [1, 3], [1, 4], [3, 4]], [2], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 1, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([1, 0, 1, 0, 0], [[1, 3, 4], [0, 2], []], [[0, 2], [1, 3], [1, 4], [3, 4]], [2], 否, 否, 否)
離散結構核對=([1, 0, 1, 0, 0], [[1, 3, 4], [0, 2], []], [[0, 2], [1, 3], [1, 4], [3, 4]], [2], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 1, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([2, 0, 1, 0, 0], [[1, 3, 4], [2], [0]], [[1, 3], [1, 4], [3, 4]], [], 否, 是, 否)
離散結構核對=([2, 0, 1, 0, 0], [[1, 3, 4], [2], [0]], [[1, 3], [1, 4], [3, 4]], [], 否, 是, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 1, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0, 1, 1, 0, 0], [[0, 3, 4], [1, 2], []], [[0, 3], [0, 4], [1, 2], [3, 4]], [2], 否, 否, 否)
離散結構核對=([0, 1, 1, 0, 0], [[0, 3, 4], [1, 2], []], [[0, 3], [0, 4], [1, 2], [3, 4]], [2], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 1, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([1, 1, 1, 0, 0], [[3, 4], [0, 1, 2], []], [[0, 1], [0, 2], [1, 2], [3, 4]], [2], 否, 否, 否)
離散結構核對=([1, 1, 1, 0, 0], [[3, 4], [0, 1, 2], []], [[0, 1], [0, 2], [1, 2], [3, 4]], [2], 否, 否, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 1, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([2, 1, 1, 0, 0], [[3, 4], [1, 2], [0]], [[1, 2], [3, 4]], [], 否, 是, 否)
離散結構核對=([2, 1, 1, 0, 0], [[3, 4], [1, 2], [0]], [[1, 2], [3, 4]], [], 否, 是, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 1, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([0, 2, 1, 0, 0], [[0, 3, 4], [2], [1]], [[0, 3], [0, 4], [3, 4]], [], 否, 是, 否)
離散結構核對=([0, 2, 1, 0, 0], [[0, 3, 4], [2], [1]], [[0, 3], [0, 4], [3, 4]], [], 否, 是, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 1, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([1, 2, 1, 0, 0], [[3, 4], [0, 2], [1]], [[0, 2], [3, 4]], [], 否, 是, 否)
離散結構核對=([1, 2, 1, 0, 0], [[3, 4], [0, 2], [1]], [[0, 2], [3, 4]], [], 否, 是, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 1, 0, 0]。依序答 (images, 全陪域纖維, 所有相撞輸入對, 缺失目標, 單射, 滿射, 雙射)。纖維按目標索引列齊，空纖維也保留；相撞對按字典序。
([2, 2, 1, 0, 0], [[3, 4], [2], [0, 1]], [[0, 1], [3, 4]], [], 否, 是, 否)
離散結構核對=([2, 2, 1, 0, 0], [[3, 4], [2], [0, 1]], [[0, 1], [3, 4]], [], 否, 是, 否)；逐個輸入放進其目標纖維，再列所有相同輸出的相異輸入對。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-fibers-and-class · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(0)=∅；總函數f依輸入索引列images=[]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([], [], 是, [])
離散結構核對=([], [], 是, [])；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(2)=[0, 1]；總函數f依輸入索引列images=[]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([], [0, 0], 否, 不成反函數)
離散結構核對=([], [0, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(1)=[0]→Fin(1)=[0]；總函數f依輸入索引列images=[0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0]], [1], 是, [0])
離散結構核對=([[0, 0]], [1], 是, [0])；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 2]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0], [1, 1], [2, 2]], [1, 1, 1], 是, [0, 1, 2])
離散結構核對=([[0, 0], [1, 1], [2, 2]], [1, 1, 1], 是, [0, 1, 2])；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0], [0, 1], [1, 2]], [2, 1, 0], 否, 不成反函數)
離散結構核對=([[0, 0], [0, 1], [1, 2]], [2, 1, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(2)=[0, 1]；總函數f依輸入索引列images=[0, 1, 1]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0], [1, 1], [1, 2]], [1, 2], 否, 不成反函數)
離散結構核對=([[0, 0], [1, 1], [1, 2]], [1, 2], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(2)=[0, 1]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0], [1, 1]], [1, 1, 0], 否, 不成反函數)
離散結構核對=([[0, 0], [1, 1]], [1, 1, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 0, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0], [0, 1], [0, 2], [0, 3], [0, 4]], [5, 0, 0], 否, 不成反函數)
離散結構核對=([[0, 0], [0, 1], [0, 2], [0, 3], [0, 4]], [5, 0, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 0, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 1], [0, 2], [0, 3], [0, 4], [1, 0]], [4, 1, 0], 否, 不成反函數)
離散結構核對=([[0, 1], [0, 2], [0, 3], [0, 4], [1, 0]], [4, 1, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 0, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 1], [0, 2], [0, 3], [0, 4], [2, 0]], [4, 0, 1], 否, 不成反函數)
離散結構核對=([[0, 1], [0, 2], [0, 3], [0, 4], [2, 0]], [4, 0, 1], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 0, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0], [0, 2], [0, 3], [0, 4], [1, 1]], [4, 1, 0], 否, 不成反函數)
離散結構核對=([[0, 0], [0, 2], [0, 3], [0, 4], [1, 1]], [4, 1, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 0, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 2], [0, 3], [0, 4], [1, 0], [1, 1]], [3, 2, 0], 否, 不成反函數)
離散結構核對=([[0, 2], [0, 3], [0, 4], [1, 0], [1, 1]], [3, 2, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 0, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 2], [0, 3], [0, 4], [1, 1], [2, 0]], [3, 1, 1], 否, 不成反函數)
離散結構核對=([[0, 2], [0, 3], [0, 4], [1, 1], [2, 0]], [3, 1, 1], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 0, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0], [0, 2], [0, 3], [0, 4], [2, 1]], [4, 0, 1], 否, 不成反函數)
離散結構核對=([[0, 0], [0, 2], [0, 3], [0, 4], [2, 1]], [4, 0, 1], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 0, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 2], [0, 3], [0, 4], [1, 0], [2, 1]], [3, 1, 1], 否, 不成反函數)
離散結構核對=([[0, 2], [0, 3], [0, 4], [1, 0], [2, 1]], [3, 1, 1], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 0, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 2], [0, 3], [0, 4], [2, 0], [2, 1]], [3, 0, 2], 否, 不成反函數)
離散結構核對=([[0, 2], [0, 3], [0, 4], [2, 0], [2, 1]], [3, 0, 2], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0], [0, 1], [0, 3], [0, 4], [1, 2]], [4, 1, 0], 否, 不成反函數)
離散結構核對=([[0, 0], [0, 1], [0, 3], [0, 4], [1, 2]], [4, 1, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 1, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 1], [0, 3], [0, 4], [1, 0], [1, 2]], [3, 2, 0], 否, 不成反函數)
離散結構核對=([[0, 1], [0, 3], [0, 4], [1, 0], [1, 2]], [3, 2, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 1, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 1], [0, 3], [0, 4], [1, 2], [2, 0]], [3, 1, 1], 否, 不成反函數)
離散結構核對=([[0, 1], [0, 3], [0, 4], [1, 2], [2, 0]], [3, 1, 1], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 1, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0], [0, 3], [0, 4], [1, 1], [1, 2]], [3, 2, 0], 否, 不成反函數)
離散結構核對=([[0, 0], [0, 3], [0, 4], [1, 1], [1, 2]], [3, 2, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 1, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 3], [0, 4], [1, 0], [1, 1], [1, 2]], [2, 3, 0], 否, 不成反函數)
離散結構核對=([[0, 3], [0, 4], [1, 0], [1, 1], [1, 2]], [2, 3, 0], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 1, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 3], [0, 4], [1, 1], [1, 2], [2, 0]], [2, 2, 1], 否, 不成反函數)
離散結構核對=([[0, 3], [0, 4], [1, 1], [1, 2], [2, 0]], [2, 2, 1], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 1, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 0], [0, 3], [0, 4], [1, 2], [2, 1]], [3, 1, 1], 否, 不成反函數)
離散結構核對=([[0, 0], [0, 3], [0, 4], [1, 2], [2, 1]], [3, 1, 1], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 1, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 3], [0, 4], [1, 0], [1, 2], [2, 1]], [2, 2, 1], 否, 不成反函數)
離散結構核對=([[0, 3], [0, 4], [1, 0], [1, 2], [2, 1]], [2, 2, 1], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 1, 0, 0]。求 (交換後有序對字典序列, 全目標纖維大小, 雙射資格, 反函數總表或不成反函數)。
([[0, 3], [0, 4], [1, 2], [2, 0], [2, 1]], [2, 1, 2], 否, 不成反函數)
離散結構核對=([[0, 3], [0, 4], [1, 2], [2, 0], [2, 1]], [2, 1, 2], 否, 不成反函數)；先把每列(x,f(x))交換，再查每個目標是否恰有一個原像。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-swapped-relation-audit · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(2)=[0, 1]；總函數f依輸入索引列images=[]。交換目標標籤a=0與b=1，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([], [], [[], []], 否, 否, 是)
離散結構核對=([], [], [[], []], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(2)=[0, 1]→Fin(2)=[0, 1]；總函數f依輸入索引列images=[0, 1]。交換目標標籤a=0與b=1，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([0, 1], [1, 0], [[1], [0]], 是, 是, 是)
離散結構核對=([0, 1], [1, 0], [[1], [0]], 是, 是, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1]。交換目標標籤a=0與b=1，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([0, 0, 1], [1, 1, 0], [[2], [0, 1], []], 否, 否, 是)
離散結構核對=([0, 0, 1], [1, 1, 0], [[2], [0, 1], []], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 0, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([0, 0, 0, 0, 0], [2, 2, 2, 2, 2], [[], [], [0, 1, 2, 3, 4]], 否, 否, 是)
離散結構核對=([0, 0, 0, 0, 0], [2, 2, 2, 2, 2], [[], [], [0, 1, 2, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 0, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([1, 0, 0, 0, 0], [1, 2, 2, 2, 2], [[], [0], [1, 2, 3, 4]], 否, 否, 是)
離散結構核對=([1, 0, 0, 0, 0], [1, 2, 2, 2, 2], [[], [0], [1, 2, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 0, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([2, 0, 0, 0, 0], [0, 2, 2, 2, 2], [[0], [], [1, 2, 3, 4]], 否, 否, 是)
離散結構核對=([2, 0, 0, 0, 0], [0, 2, 2, 2, 2], [[0], [], [1, 2, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 0, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([0, 1, 0, 0, 0], [2, 1, 2, 2, 2], [[], [1], [0, 2, 3, 4]], 否, 否, 是)
離散結構核對=([0, 1, 0, 0, 0], [2, 1, 2, 2, 2], [[], [1], [0, 2, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 0, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([1, 1, 0, 0, 0], [1, 1, 2, 2, 2], [[], [0, 1], [2, 3, 4]], 否, 否, 是)
離散結構核對=([1, 1, 0, 0, 0], [1, 1, 2, 2, 2], [[], [0, 1], [2, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 0, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([2, 1, 0, 0, 0], [0, 1, 2, 2, 2], [[0], [1], [2, 3, 4]], 否, 否, 是)
離散結構核對=([2, 1, 0, 0, 0], [0, 1, 2, 2, 2], [[0], [1], [2, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 0, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([0, 2, 0, 0, 0], [2, 0, 2, 2, 2], [[1], [], [0, 2, 3, 4]], 否, 否, 是)
離散結構核對=([0, 2, 0, 0, 0], [2, 0, 2, 2, 2], [[1], [], [0, 2, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 0, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([1, 2, 0, 0, 0], [1, 0, 2, 2, 2], [[1], [0], [2, 3, 4]], 否, 否, 是)
離散結構核對=([1, 2, 0, 0, 0], [1, 0, 2, 2, 2], [[1], [0], [2, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 0, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([2, 2, 0, 0, 0], [0, 0, 2, 2, 2], [[0, 1], [], [2, 3, 4]], 否, 否, 是)
離散結構核對=([2, 2, 0, 0, 0], [0, 0, 2, 2, 2], [[0, 1], [], [2, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([0, 0, 1, 0, 0], [2, 2, 1, 2, 2], [[], [2], [0, 1, 3, 4]], 否, 否, 是)
離散結構核對=([0, 0, 1, 0, 0], [2, 2, 1, 2, 2], [[], [2], [0, 1, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 1, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([1, 0, 1, 0, 0], [1, 2, 1, 2, 2], [[], [0, 2], [1, 3, 4]], 否, 否, 是)
離散結構核對=([1, 0, 1, 0, 0], [1, 2, 1, 2, 2], [[], [0, 2], [1, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 1, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([2, 0, 1, 0, 0], [0, 2, 1, 2, 2], [[0], [2], [1, 3, 4]], 否, 否, 是)
離散結構核對=([2, 0, 1, 0, 0], [0, 2, 1, 2, 2], [[0], [2], [1, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 1, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([0, 1, 1, 0, 0], [2, 1, 1, 2, 2], [[], [1, 2], [0, 3, 4]], 否, 否, 是)
離散結構核對=([0, 1, 1, 0, 0], [2, 1, 1, 2, 2], [[], [1, 2], [0, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 1, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([1, 1, 1, 0, 0], [1, 1, 1, 2, 2], [[], [0, 1, 2], [3, 4]], 否, 否, 是)
離散結構核對=([1, 1, 1, 0, 0], [1, 1, 1, 2, 2], [[], [0, 1, 2], [3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 1, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([2, 1, 1, 0, 0], [0, 1, 1, 2, 2], [[0], [1, 2], [3, 4]], 否, 否, 是)
離散結構核對=([2, 1, 1, 0, 0], [0, 1, 1, 2, 2], [[0], [1, 2], [3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 1, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([0, 2, 1, 0, 0], [2, 0, 1, 2, 2], [[1], [2], [0, 3, 4]], 否, 否, 是)
離散結構核對=([0, 2, 1, 0, 0], [2, 0, 1, 2, 2], [[1], [2], [0, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 1, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([1, 2, 1, 0, 0], [1, 0, 1, 2, 2], [[1], [0, 2], [3, 4]], 否, 否, 是)
離散結構核對=([1, 2, 1, 0, 0], [1, 0, 1, 2, 2], [[1], [0, 2], [3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 1, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([2, 2, 1, 0, 0], [0, 0, 1, 2, 2], [[0, 1], [2], [3, 4]], 否, 否, 是)
離散結構核對=([2, 2, 1, 0, 0], [0, 0, 1, 2, 2], [[0, 1], [2], [3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 2, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([0, 0, 2, 0, 0], [2, 2, 0, 2, 2], [[2], [], [0, 1, 3, 4]], 否, 否, 是)
離散結構核對=([0, 0, 2, 0, 0], [2, 2, 0, 2, 2], [[2], [], [0, 1, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 2, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([1, 0, 2, 0, 0], [1, 2, 0, 2, 2], [[2], [0], [1, 3, 4]], 否, 否, 是)
離散結構核對=([1, 0, 2, 0, 0], [1, 2, 0, 2, 2], [[2], [0], [1, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 2, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([2, 0, 2, 0, 0], [0, 2, 0, 2, 2], [[0, 2], [], [1, 3, 4]], 否, 否, 是)
離散結構核對=([2, 0, 2, 0, 0], [0, 2, 0, 2, 2], [[0, 2], [], [1, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 2, 0, 0]。交換目標標籤a=0與b=2，其他目標不變。答 (原images, 交換後images, 新全目標纖維, 原雙射資格, 新雙射資格, 兩資格相同與否)。
([0, 1, 2, 0, 0], [2, 1, 0, 2, 2], [[2], [1], [0, 3, 4]], 否, 否, 是)
離散結構核對=([0, 1, 2, 0, 0], [2, 1, 0, 2, 2], [[2], [1], [0, 3, 4]], 否, 否, 是)；只交換指定兩個輸出標籤，再對新表重新分纖維。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-output-transposition · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(0)=∅；總函數f依輸入索引列images=[]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([0, 0], [], 是, [], 是)
離散結構核對=([0, 0], [], 是, [], 是)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(2)=[0, 1]；總函數f依輸入索引列images=[]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([0, 2], [], 否, [[], []], 否)
離散結構核對=([0, 2], [], 否, [[], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(1)=[0]→Fin(1)=[0]；總函數f依輸入索引列images=[0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([1, 1], [0], 是, [[0]], 是)
離散結構核對=([1, 1], [0], 是, [[0]], 是)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 2]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([3, 3], [0, 1, 2], 是, [[0], [1], [2]], 是)
離散結構核對=([3, 3], [0, 1, 2], 是, [[0], [1], [2]], 是)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([3, 3], [0, 0, 1], 是, [[0, 1], [2], []], 否)
離散結構核對=([3, 3], [0, 0, 1], 是, [[0, 1], [2], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(2)=[0, 1]；總函數f依輸入索引列images=[0, 1, 1]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([3, 2], [0, 1, 1], 否, [[0], [1, 2]], 否)
離散結構核對=([3, 2], [0, 1, 1], 否, [[0], [1, 2]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(2)=[0, 1]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([2, 3], [0, 1], 否, [[0], [1], []], 否)
離散結構核對=([2, 3], [0, 1], 否, [[0], [1], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 0, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [0, 0, 0, 0, 0], 否, [[0, 1, 2, 3, 4], [], []], 否)
離散結構核對=([5, 3], [0, 0, 0, 0, 0], 否, [[0, 1, 2, 3, 4], [], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 0, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [1, 0, 0, 0, 0], 否, [[1, 2, 3, 4], [0], []], 否)
離散結構核對=([5, 3], [1, 0, 0, 0, 0], 否, [[1, 2, 3, 4], [0], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 0, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [2, 0, 0, 0, 0], 否, [[1, 2, 3, 4], [], [0]], 否)
離散結構核對=([5, 3], [2, 0, 0, 0, 0], 否, [[1, 2, 3, 4], [], [0]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 0, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [0, 1, 0, 0, 0], 否, [[0, 2, 3, 4], [1], []], 否)
離散結構核對=([5, 3], [0, 1, 0, 0, 0], 否, [[0, 2, 3, 4], [1], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 0, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [1, 1, 0, 0, 0], 否, [[2, 3, 4], [0, 1], []], 否)
離散結構核對=([5, 3], [1, 1, 0, 0, 0], 否, [[2, 3, 4], [0, 1], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 0, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [2, 1, 0, 0, 0], 否, [[2, 3, 4], [1], [0]], 否)
離散結構核對=([5, 3], [2, 1, 0, 0, 0], 否, [[2, 3, 4], [1], [0]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 0, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [0, 2, 0, 0, 0], 否, [[0, 2, 3, 4], [], [1]], 否)
離散結構核對=([5, 3], [0, 2, 0, 0, 0], 否, [[0, 2, 3, 4], [], [1]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 0, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [1, 2, 0, 0, 0], 否, [[2, 3, 4], [0], [1]], 否)
離散結構核對=([5, 3], [1, 2, 0, 0, 0], 否, [[2, 3, 4], [0], [1]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 0, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [2, 2, 0, 0, 0], 否, [[2, 3, 4], [], [0, 1]], 否)
離散結構核對=([5, 3], [2, 2, 0, 0, 0], 否, [[2, 3, 4], [], [0, 1]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [0, 0, 1, 0, 0], 否, [[0, 1, 3, 4], [2], []], 否)
離散結構核對=([5, 3], [0, 0, 1, 0, 0], 否, [[0, 1, 3, 4], [2], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 1, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [1, 0, 1, 0, 0], 否, [[1, 3, 4], [0, 2], []], 否)
離散結構核對=([5, 3], [1, 0, 1, 0, 0], 否, [[1, 3, 4], [0, 2], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 1, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [2, 0, 1, 0, 0], 否, [[1, 3, 4], [2], [0]], 否)
離散結構核對=([5, 3], [2, 0, 1, 0, 0], 否, [[1, 3, 4], [2], [0]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 1, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [0, 1, 1, 0, 0], 否, [[0, 3, 4], [1, 2], []], 否)
離散結構核對=([5, 3], [0, 1, 1, 0, 0], 否, [[0, 3, 4], [1, 2], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 1, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [1, 1, 1, 0, 0], 否, [[3, 4], [0, 1, 2], []], 否)
離散結構核對=([5, 3], [1, 1, 1, 0, 0], 否, [[3, 4], [0, 1, 2], []], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 1, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [2, 1, 1, 0, 0], 否, [[3, 4], [1, 2], [0]], 否)
離散結構核對=([5, 3], [2, 1, 1, 0, 0], 否, [[3, 4], [1, 2], [0]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 1, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [0, 2, 1, 0, 0], 否, [[0, 3, 4], [2], [1]], 否)
離散結構核對=([5, 3], [0, 2, 1, 0, 0], 否, [[0, 3, 4], [2], [1]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 1, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [1, 2, 1, 0, 0], 否, [[3, 4], [0, 2], [1]], 否)
離散結構核對=([5, 3], [1, 2, 1, 0, 0], 否, [[3, 4], [0, 2], [1]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 1, 0, 0]。答 ([n,m], images, 是否存在某個雙射, 給定表的全目標纖維, 給定f雙射資格)。存在性只問兩個有限型別能否配對。
([5, 3], [2, 2, 1, 0, 0], 否, [[3, 4], [2], [0, 1]], 否)
離散結構核對=([5, 3], [2, 2, 1, 0, 0], 否, [[3, 4], [2], [0, 1]], 否)；大小決定某個雙射的存在可能；給定表另以每個纖維恰一元素檢查。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值。
雙射與唯一原像 · qf-density17-bij-size-obstruction-with-table · candidate