本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261012-advance-20261017-r02-inverse-function-foundations · 2026-10-12 · 100 題
Fin型別從0起，完整總表。Fin(0)=∅→Fin(0)=∅；總函數f依輸入索引列images=[]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([], 是, [], [], [])
離散結構核對=([], 是, [], [], [])；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(2)=[0, 1]；總函數f依輸入索引列images=[]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(1)=[0]→Fin(1)=[0]；總函數f依輸入索引列images=[0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0], 是, [0], [0], [0])
離散結構核對=([0], 是, [0], [0], [0])；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 2]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0, 1, 2], 是, [0, 1, 2], [0, 1, 2], [0, 1, 2])
離散結構核對=([0, 1, 2], 是, [0, 1, 2], [0, 1, 2], [0, 1, 2])；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0, 0, 1], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([0, 0, 1], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(2)=[0, 1]；總函數f依輸入索引列images=[0, 1, 1]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0, 1, 1], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([0, 1, 1], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(2)=[0, 1]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0, 1], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([0, 1], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 0, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0, 0, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([0, 0, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 0, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([1, 0, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([1, 0, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 0, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([2, 0, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([2, 0, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 0, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0, 1, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([0, 1, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 0, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([1, 1, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([1, 1, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 0, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([2, 1, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([2, 1, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 0, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0, 2, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([0, 2, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 0, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([1, 2, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([1, 2, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 0, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([2, 2, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([2, 2, 0, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0, 0, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([0, 0, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 1, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([1, 0, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([1, 0, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 1, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([2, 0, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([2, 0, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 1, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0, 1, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([0, 1, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 1, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([1, 1, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([1, 1, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 1, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([2, 1, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([2, 1, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 1, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([0, 2, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([0, 2, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 1, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([1, 2, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([1, 2, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 1, 0, 0]。求 (images, f雙射資格, 反函數g總表或不成反函數, g(f(x))完整表或不求值, f(g(y))完整表或不求值)。
([2, 2, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)
離散結構核對=([2, 2, 1, 0, 0], 否, 不成反函數, 不求值, 不求值)；只有每個目標恰有一原像才建立g，再分別算兩個合成。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-bijection-gate-and-table · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(0)=∅；總函數f依輸入索引列images=[]。候選g的完整資料=[]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([], [], 是, [], [], 是, 是)
離散結構核對=([], [], 是, [], [], 是, 是)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(2)=[0, 1]；總函數f依輸入索引列images=[]。候選g的完整資料=[-1, 0]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([], [否, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([], [否, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(2)=[0, 1]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1]。候選g的完整資料=[0, 1, 0]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([0, 1], [是, 是, 是], 是, [0, 1], [0, 1, 0], 是, 否)
離散結構核對=([0, 1], [是, 是, 是], 是, [0, 1], [0, 1, 0], 是, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(2)=[0, 1]；總函數f依輸入索引列images=[0, 1, 1]。候選g的完整資料=[0, 1]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([0, 1, 1], [是, 是], 是, [0, 1, 1], [0, 1], 否, 是)
離散結構核對=([0, 1, 1], [是, 是], 是, [0, 1, 1], [0, 1], 否, 是)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(2)=[0, 1]→Fin(2)=[0, 1]；總函數f依輸入索引列images=[1, 0]。候選g的完整資料=[1, 0]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([1, 0], [是, 是], 是, [0, 1], [0, 1], 是, 是)
離散結構核對=([1, 0], [是, 是], 是, [0, 1], [0, 1], 是, 是)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(2)=[0, 1]→Fin(2)=[0, 1]；總函數f依輸入索引列images=[1, 0]。候選g的完整資料=[0, 1]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([1, 0], [是, 是], 是, [1, 0], [1, 0], 否, 否)
離散結構核對=([1, 0], [是, 是], 是, [1, 0], [1, 0], 否, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(2)=[0, 1]→Fin(2)=[0, 1]；總函數f依輸入索引列images=[0, 1]。候選g的完整資料=[0, 2]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([0, 1], [是, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([0, 1], [是, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 0, 0, 0]。候選g的完整資料=[0, 2, 5]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([0, 0, 0, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([0, 0, 0, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 0, 0, 0]。候選g的完整資料=[0, 2, 4]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([1, 0, 0, 0, 0], [是, 是, 是], 是, [2, 0, 0, 0, 0], [1, 0, 0], 否, 否)
離散結構核對=([1, 0, 0, 0, 0], [是, 是, 是], 是, [2, 0, 0, 0, 0], [1, 0, 0], 否, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 0, 0, 0]。候選g的完整資料=[0, 2, 5]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([2, 0, 0, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([2, 0, 0, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 0, 0, 0]。候選g的完整資料=[0, 2, 4]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([0, 1, 0, 0, 0], [是, 是, 是], 是, [0, 2, 0, 0, 0], [0, 0, 0], 否, 否)
離散結構核對=([0, 1, 0, 0, 0], [是, 是, 是], 是, [0, 2, 0, 0, 0], [0, 0, 0], 否, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 0, 0, 0]。候選g的完整資料=[0, 2, 5]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([1, 1, 0, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([1, 1, 0, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 0, 0, 0]。候選g的完整資料=[0, 2, 4]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([2, 1, 0, 0, 0], [是, 是, 是], 是, [4, 2, 0, 0, 0], [2, 0, 0], 否, 否)
離散結構核對=([2, 1, 0, 0, 0], [是, 是, 是], 是, [4, 2, 0, 0, 0], [2, 0, 0], 否, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 0, 0, 0]。候選g的完整資料=[0, 2, 5]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([0, 2, 0, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([0, 2, 0, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 0, 0, 0]。候選g的完整資料=[0, 2, 4]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([1, 2, 0, 0, 0], [是, 是, 是], 是, [2, 4, 0, 0, 0], [1, 0, 0], 否, 否)
離散結構核對=([1, 2, 0, 0, 0], [是, 是, 是], 是, [2, 4, 0, 0, 0], [1, 0, 0], 否, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 0, 0, 0]。候選g的完整資料=[0, 2, 5]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([2, 2, 0, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([2, 2, 0, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1, 0, 0]。候選g的完整資料=[0, 2, 4]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([0, 0, 1, 0, 0], [是, 是, 是], 是, [0, 0, 2, 0, 0], [0, 1, 0], 否, 否)
離散結構核對=([0, 0, 1, 0, 0], [是, 是, 是], 是, [0, 0, 2, 0, 0], [0, 1, 0], 否, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 1, 0, 0]。候選g的完整資料=[0, 2, 5]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([1, 0, 1, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([1, 0, 1, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 1, 0, 0]。候選g的完整資料=[0, 2, 4]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([2, 0, 1, 0, 0], [是, 是, 是], 是, [4, 0, 2, 0, 0], [2, 1, 0], 否, 否)
離散結構核對=([2, 0, 1, 0, 0], [是, 是, 是], 是, [4, 0, 2, 0, 0], [2, 1, 0], 否, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 1, 0, 0]。候選g的完整資料=[0, 2, 5]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([0, 1, 1, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([0, 1, 1, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 1, 0, 0]。候選g的完整資料=[0, 2, 4]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([1, 1, 1, 0, 0], [是, 是, 是], 是, [2, 2, 2, 0, 0], [1, 1, 0], 否, 否)
離散結構核對=([1, 1, 1, 0, 0], [是, 是, 是], 是, [2, 2, 2, 0, 0], [1, 1, 0], 否, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 1, 0, 0]。候選g的完整資料=[0, 2, 5]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([2, 1, 1, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([2, 1, 1, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 1, 0, 0]。候選g的完整資料=[0, 2, 4]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([0, 2, 1, 0, 0], [是, 是, 是], 是, [0, 4, 2, 0, 0], [0, 1, 0], 否, 否)
離散結構核對=([0, 2, 1, 0, 0], [是, 是, 是], 是, [0, 4, 2, 0, 0], [0, 1, 0], 否, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 1, 0, 0]。候選g的完整資料=[0, 2, 5]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([1, 2, 1, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)
離散結構核對=([1, 2, 1, 0, 0], [是, 是, 否], 否, 不求值, 不求值, 不求值, 不求值)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 1, 0, 0]。候選g的完整資料=[0, 2, 4]，其值可能不合Fin(n)。答 (images, g每格合型mask, g總表資格, g∘f表, f∘g表, 左identity資格, 右identity資格)。任一g格不合型，後四欄都答不求值；合型時單側identity不叫雙側反函數。
([2, 2, 1, 0, 0], [是, 是, 是], 是, [4, 4, 2, 0, 0], [2, 1, 0], 否, 否)
離散結構核對=([2, 2, 1, 0, 0], [是, 是, 是], 是, [4, 4, 2, 0, 0], [2, 1, 0], 否, 否)；先驗g每個值；全合型才沿兩個方向查表並逐索引比identity。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-candidate-two-sided · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(0)=∅；總函數f依輸入索引列images=[]。有序兩查詢=[0, -1]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([], 是, [否, 否], [不合陪域, 不合陪域])
離散結構核對=([], 是, [否, 否], [不合陪域, 不合陪域])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(0)=∅→Fin(2)=[0, 1]；總函數f依輸入索引列images=[]。有序兩查詢=[0, 1]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(1)=[0]→Fin(1)=[0]；總函數f依輸入索引列images=[0]。有序兩查詢=[0, 1]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0], 是, [是, 否], [0, 不合陪域])
離散結構核對=([0], 是, [是, 否], [0, 不合陪域])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 2]。有序兩查詢=[2, 1]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0, 1, 2], 是, [是, 是], [2, 1])
離散結構核對=([0, 1, 2], 是, [是, 是], [2, 1])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1]。有序兩查詢=[2, -1]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0, 0, 1], 否, [是, 否], [不成反函數, 不成反函數])
離散結構核對=([0, 0, 1], 否, [是, 否], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(3)=[0, 1, 2]→Fin(2)=[0, 1]；總函數f依輸入索引列images=[0, 1, 1]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0, 1, 1], 否, [是, 否], [不成反函數, 不成反函數])
離散結構核對=([0, 1, 1], 否, [是, 否], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(2)=[0, 1]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0, 1], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([0, 1], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 0, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0, 0, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([0, 0, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 0, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([1, 0, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([1, 0, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 0, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([2, 0, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([2, 0, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 0, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0, 1, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([0, 1, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 0, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([1, 1, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([1, 1, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 0, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([2, 1, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([2, 1, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 0, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0, 2, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([0, 2, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 0, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([1, 2, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([1, 2, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 0, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([2, 2, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([2, 2, 0, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 0, 1, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0, 0, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([0, 0, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 0, 1, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([1, 0, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([1, 0, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 0, 1, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([2, 0, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([2, 0, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 1, 1, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0, 1, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([0, 1, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 1, 1, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([1, 1, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([1, 1, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 1, 1, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([2, 1, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([2, 1, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[0, 2, 1, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([0, 2, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([0, 2, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[1, 2, 1, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([1, 2, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([1, 2, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
Fin型別從0起，完整總表。Fin(5)=[0, 1, 2, 3, 4]→Fin(3)=[0, 1, 2]；總函數f依輸入索引列images=[2, 2, 1, 0, 0]。有序兩查詢=[0, 2]。答 (images, f雙射資格, 兩查詢在原Fin(m)中的資格, 兩結果)。先判f；非雙射每結果均不成反函數，雙射但查詢域外答不合陪域。
([2, 2, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])
離散結構核對=([2, 2, 1, 0, 0], 否, [是, 是], [不成反函數, 不成反函數])；查詢資格按原宣告陪域；反函數未成立時不讀交換資料。；有限精確核對不是一般形式證明；基數相等不保證給定函數雙射；先資格後求值；反函數不是函數值倒數；兩側identity分開。
雙射的反函數 · qf-density17-inverse-query-qualification · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-2、b=1，有序兩目標y=[(1)/(-2), (-3)/(2)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/2, 1/2], [3/4, 5/4], [-1/2, -3/2], 是)
離散結構核對=([-1/2, 1/2], [3/4, 5/4], [-1/2, -3/2], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-2、b=-11，有序兩目標y=[(-11)/(3), (2)/(2)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/2, -11/2], [-11/3, -6/1], [-11/3, 1/1], 是)
離散結構核對=([-1/2, -11/2], [-11/3, -6/1], [-11/3, 1/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=3、b=-10，有序兩目標y=[(-10)/(3), (3)/(3)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/3, 10/3], [20/9, 11/3], [-10/3, 1/1], 是)
離散結構核對=([1/3, 10/3], [20/9, 11/3], [-10/3, 1/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-4、b=-9，有序兩目標y=[(-9)/(3), (4)/(4)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/4, -9/4], [-3/2, -5/2], [-3/1, 1/1], 是)
離散結構核對=([-1/4, -9/4], [-3/2, -5/2], [-3/1, 1/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=5、b=-8，有序兩目標y=[(-8)/(3), (5)/(1)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/5, 8/5], [16/15, 13/5], [-8/3, 5/1], 是)
離散結構核對=([1/5, 8/5], [16/15, 13/5], [-8/3, 5/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-1、b=-7，有序兩目標y=[(-7)/(3), (6)/(2)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/1, -7/1], [-14/3, -10/1], [-7/3, 3/1], 是)
離散結構核對=([-1/1, -7/1], [-14/3, -10/1], [-7/3, 3/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=2、b=-6，有序兩目標y=[(-6)/(3), (7)/(3)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/2, 3/1], [2/1, 25/6], [-2/1, 7/3], 是)
離散結構核對=([1/2, 3/1], [2/1, 25/6], [-2/1, 7/3], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-3、b=-5，有序兩目標y=[(-5)/(3), (8)/(4)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/3, -5/3], [-10/9, -7/3], [-5/3, 2/1], 是)
離散結構核對=([-1/3, -5/3], [-10/9, -7/3], [-5/3, 2/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=4、b=-4，有序兩目標y=[(-4)/(3), (9)/(1)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/4, 1/1], [2/3, 13/4], [-4/3, 9/1], 是)
離散結構核對=([1/4, 1/1], [2/3, 13/4], [-4/3, 9/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-5、b=-3，有序兩目標y=[(-3)/(3), (10)/(2)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/5, -3/5], [-2/5, -8/5], [-1/1, 5/1], 是)
離散結構核對=([-1/5, -3/5], [-2/5, -8/5], [-1/1, 5/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=1、b=-2，有序兩目標y=[(-2)/(3), (11)/(3)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/1, 2/1], [4/3, 17/3], [-2/3, 11/3], 是)
離散結構核對=([1/1, 2/1], [4/3, 17/3], [-2/3, 11/3], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-2、b=-1，有序兩目標y=[(-1)/(3), (12)/(4)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/2, -1/2], [-1/3, -2/1], [-1/3, 3/1], 是)
離散結構核對=([-1/2, -1/2], [-1/3, -2/1], [-1/3, 3/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=3、b=0，有序兩目標y=[(0)/(3), (13)/(1)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/3, 0/1], [0/1, 13/3], [0/1, 13/1], 是)
離散結構核對=([1/3, 0/1], [0/1, 13/3], [0/1, 13/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-4、b=1，有序兩目標y=[(1)/(3), (14)/(2)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/4, 1/4], [1/6, -3/2], [1/3, 7/1], 是)
離散結構核對=([-1/4, 1/4], [1/6, -3/2], [1/3, 7/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=5、b=2，有序兩目標y=[(2)/(3), (15)/(3)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/5, -2/5], [-4/15, 3/5], [2/3, 5/1], 是)
離散結構核對=([1/5, -2/5], [-4/15, 3/5], [2/3, 5/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-1、b=3，有序兩目標y=[(3)/(3), (16)/(4)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/1, 3/1], [2/1, -1/1], [1/1, 4/1], 是)
離散結構核對=([-1/1, 3/1], [2/1, -1/1], [1/1, 4/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=2、b=4，有序兩目標y=[(4)/(3), (17)/(1)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/2, -2/1], [-4/3, 13/2], [4/3, 17/1], 是)
離散結構核對=([1/2, -2/1], [-4/3, 13/2], [4/3, 17/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-3、b=5，有序兩目標y=[(5)/(3), (18)/(2)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/3, 5/3], [10/9, -4/3], [5/3, 9/1], 是)
離散結構核對=([-1/3, 5/3], [10/9, -4/3], [5/3, 9/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=4、b=6，有序兩目標y=[(6)/(3), (19)/(3)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/4, -3/2], [-1/1, 1/12], [2/1, 19/3], 是)
離散結構核對=([1/4, -3/2], [-1/1, 1/12], [2/1, 19/3], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-5、b=7，有序兩目標y=[(7)/(3), (20)/(4)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/5, 7/5], [14/15, 2/5], [7/3, 5/1], 是)
離散結構核對=([-1/5, 7/5], [14/15, 2/5], [7/3, 5/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=1、b=8，有序兩目標y=[(8)/(3), (21)/(1)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/1, -8/1], [-16/3, 13/1], [8/3, 21/1], 是)
離散結構核對=([1/1, -8/1], [-16/3, 13/1], [8/3, 21/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-2、b=9，有序兩目標y=[(9)/(3), (22)/(2)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/2, 9/2], [3/1, -1/1], [3/1, 11/1], 是)
離散結構核對=([-1/2, 9/2], [3/1, -1/1], [3/1, 11/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=3、b=10，有序兩目標y=[(10)/(3), (23)/(3)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/3, -10/3], [-20/9, -7/9], [10/3, 23/3], 是)
離散結構核對=([1/3, -10/3], [-20/9, -7/9], [10/3, 23/3], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=-4、b=11，有序兩目標y=[(11)/(3), (24)/(4)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([-1/4, 11/4], [11/6, 5/4], [11/3, 6/1], 是)
離散結構核對=([-1/4, 11/4], [11/6, 5/4], [11/3, 6/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate
R到R仿射模型，斜率非零。f(x)=a*x+b，a=5、b=12，有序兩目標y=[(12)/(3), (25)/(1)]。答 ([g的一次係數, 常數], 兩個原像x, 兩個回代f(x), 兩回代都等於原y資格)。
([1/5, -12/5], [-8/5, 13/5], [4/1, 25/1], 是)
離散結構核對=([1/5, -12/5], [-8/5, 13/5], [4/1, 25/1], 是)；先解a*x+b=y，再以原f精確回代；每個分數化為正分母既約值。；有限精確核對不是一般形式證明；反函數不是函數值倒數；兩側identity分開；有理答案最簡正分母。
雙射的反函數 · qf-density17-inverse-affine-recovery · candidate