1. 完整有限函數圖形
完整有限總映射 f:Fin(0)→Fin(0)，索引從0；Fin(0)=∅，[]是空來源的完整表；images=[]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[]
完整函數圖形=[]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
映射補強：完整圖形、陪域差、型別查詢與逐點差異基礎 · 脈衝 R07
本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261008-advance-20261012-r07-function-mapping-foundations · 2026-10-08 · 100 題
2. 完整有限函數圖形
完整有限總映射 f:Fin(1)→Fin(1)，索引從0；images=[0]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 0]]
完整函數圖形=[[0, 0]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
3. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[2, 0, 5]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 2], [1, 0], [2, 5]]
完整函數圖形=[[0, 2], [1, 0], [2, 5]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
4. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[3, 0, 6]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 3], [1, 0], [2, 6]]
完整函數圖形=[[0, 3], [1, 0], [2, 6]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
5. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[4, 0, 7]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 4], [1, 0], [2, 7]]
完整函數圖形=[[0, 4], [1, 0], [2, 7]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
6. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[5, 0, 0]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 5], [1, 0], [2, 0]]
完整函數圖形=[[0, 5], [1, 0], [2, 0]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
7. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[6, 0, 1]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 6], [1, 0], [2, 1]]
完整函數圖形=[[0, 6], [1, 0], [2, 1]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
8. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[7, 0, 2]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 7], [1, 0], [2, 2]]
完整函數圖形=[[0, 7], [1, 0], [2, 2]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
9. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 1, 3]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 0], [1, 1], [2, 3]]
完整函數圖形=[[0, 0], [1, 1], [2, 3]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
10. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[1, 1, 4]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 1], [1, 1], [2, 4]]
完整函數圖形=[[0, 1], [1, 1], [2, 4]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
11. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[2, 1, 5]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 2], [1, 1], [2, 5]]
完整函數圖形=[[0, 2], [1, 1], [2, 5]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
12. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[3, 1, 6]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 3], [1, 1], [2, 6]]
完整函數圖形=[[0, 3], [1, 1], [2, 6]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
13. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[4, 1, 7]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 4], [1, 1], [2, 7]]
完整函數圖形=[[0, 4], [1, 1], [2, 7]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
14. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[5, 1, 0]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 5], [1, 1], [2, 0]]
完整函數圖形=[[0, 5], [1, 1], [2, 0]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
15. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[6, 1, 1]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 6], [1, 1], [2, 1]]
完整函數圖形=[[0, 6], [1, 1], [2, 1]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
16. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[7, 1, 2]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 7], [1, 1], [2, 2]]
完整函數圖形=[[0, 7], [1, 1], [2, 2]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
17. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 2, 3]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 0], [1, 2], [2, 3]]
完整函數圖形=[[0, 0], [1, 2], [2, 3]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
18. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[1, 2, 4]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 1], [1, 2], [2, 4]]
完整函數圖形=[[0, 1], [1, 2], [2, 4]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
19. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[2, 2, 5]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 2], [1, 2], [2, 5]]
完整函數圖形=[[0, 2], [1, 2], [2, 5]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
20. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[3, 2, 6]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 3], [1, 2], [2, 6]]
完整函數圖形=[[0, 3], [1, 2], [2, 6]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
21. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[4, 2, 7]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 4], [1, 2], [2, 7]]
完整函數圖形=[[0, 4], [1, 2], [2, 7]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
22. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[5, 2, 0]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 5], [1, 2], [2, 0]]
完整函數圖形=[[0, 5], [1, 2], [2, 0]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
23. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[6, 2, 1]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 6], [1, 2], [2, 1]]
完整函數圖形=[[0, 6], [1, 2], [2, 1]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
24. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[7, 2, 2]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 7], [1, 2], [2, 2]]
完整函數圖形=[[0, 7], [1, 2], [2, 2]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
25. 完整有限函數圖形
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 3, 3]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。
查看答案與解釋
[[0, 0], [1, 3], [2, 3]]
完整函數圖形=[[0, 0], [1, 3], [2, 3]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。
函數映射 · qf-density12-mapping-full-graph · candidate
26. 值域與未用陪域
完整有限總映射 f:Fin(0)→Fin(0)，索引從0；Fin(0)=∅，[]是空來源的完整表；images=[]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([], [], 是)
值域與未用陪域=([], [], 是)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
27. 值域與未用陪域
完整有限總映射 f:Fin(0)→Fin(1)，索引從0；Fin(0)=∅，[]是空來源的完整表；images=[]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([], [0], 否)
值域與未用陪域=([], [0], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
28. 值域與未用陪域
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 1], [], 是)
值域與未用陪域=([0, 1], [], 是)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
29. 值域與未用陪域
完整有限總映射 f:Fin(1)→Fin(8)，索引從0；images=[0]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0], [1, 2, 3, 4, 5, 6, 7], 否)
值域與未用陪域=([0], [1, 2, 3, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
30. 值域與未用陪域
完整有限總映射 f:Fin(1)→Fin(8)，索引從0；images=[1]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([1], [0, 2, 3, 4, 5, 6, 7], 否)
值域與未用陪域=([1], [0, 2, 3, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
31. 值域與未用陪域
完整有限總映射 f:Fin(2)→Fin(8)，索引從0；images=[0, 1]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 1], [2, 3, 4, 5, 6, 7], 否)
值域與未用陪域=([0, 1], [2, 3, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
32. 值域與未用陪域
完整有限總映射 f:Fin(1)→Fin(8)，索引從0；images=[2]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([2], [0, 1, 3, 4, 5, 6, 7], 否)
值域與未用陪域=([2], [0, 1, 3, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
33. 值域與未用陪域
完整有限總映射 f:Fin(2)→Fin(8)，索引從0；images=[0, 2]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 2], [1, 3, 4, 5, 6, 7], 否)
值域與未用陪域=([0, 2], [1, 3, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
34. 值域與未用陪域
完整有限總映射 f:Fin(2)→Fin(8)，索引從0；images=[1, 2]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([1, 2], [0, 3, 4, 5, 6, 7], 否)
值域與未用陪域=([1, 2], [0, 3, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
35. 值域與未用陪域
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 1, 2]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 1, 2], [3, 4, 5, 6, 7], 否)
值域與未用陪域=([0, 1, 2], [3, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
36. 值域與未用陪域
完整有限總映射 f:Fin(1)→Fin(8)，索引從0；images=[3]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([3], [0, 1, 2, 4, 5, 6, 7], 否)
值域與未用陪域=([3], [0, 1, 2, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
37. 值域與未用陪域
完整有限總映射 f:Fin(2)→Fin(8)，索引從0；images=[0, 3]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 3], [1, 2, 4, 5, 6, 7], 否)
值域與未用陪域=([0, 3], [1, 2, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
38. 值域與未用陪域
完整有限總映射 f:Fin(2)→Fin(8)，索引從0；images=[1, 3]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([1, 3], [0, 2, 4, 5, 6, 7], 否)
值域與未用陪域=([1, 3], [0, 2, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
39. 值域與未用陪域
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 1, 3]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 1, 3], [2, 4, 5, 6, 7], 否)
值域與未用陪域=([0, 1, 3], [2, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
40. 值域與未用陪域
完整有限總映射 f:Fin(2)→Fin(8)，索引從0；images=[2, 3]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([2, 3], [0, 1, 4, 5, 6, 7], 否)
值域與未用陪域=([2, 3], [0, 1, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
41. 值域與未用陪域
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 2, 3]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 2, 3], [1, 4, 5, 6, 7], 否)
值域與未用陪域=([0, 2, 3], [1, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
42. 值域與未用陪域
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[1, 2, 3]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([1, 2, 3], [0, 4, 5, 6, 7], 否)
值域與未用陪域=([1, 2, 3], [0, 4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
43. 值域與未用陪域
完整有限總映射 f:Fin(4)→Fin(8)，索引從0；images=[0, 1, 2, 3]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 1, 2, 3], [4, 5, 6, 7], 否)
值域與未用陪域=([0, 1, 2, 3], [4, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
44. 值域與未用陪域
完整有限總映射 f:Fin(1)→Fin(8)，索引從0；images=[4]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([4], [0, 1, 2, 3, 5, 6, 7], 否)
值域與未用陪域=([4], [0, 1, 2, 3, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
45. 值域與未用陪域
完整有限總映射 f:Fin(2)→Fin(8)，索引從0；images=[0, 4]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 4], [1, 2, 3, 5, 6, 7], 否)
值域與未用陪域=([0, 4], [1, 2, 3, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
46. 值域與未用陪域
完整有限總映射 f:Fin(2)→Fin(8)，索引從0；images=[1, 4]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([1, 4], [0, 2, 3, 5, 6, 7], 否)
值域與未用陪域=([1, 4], [0, 2, 3, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
47. 值域與未用陪域
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 1, 4]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 1, 4], [2, 3, 5, 6, 7], 否)
值域與未用陪域=([0, 1, 4], [2, 3, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
48. 值域與未用陪域
完整有限總映射 f:Fin(2)→Fin(8)，索引從0；images=[2, 4]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([2, 4], [0, 1, 3, 5, 6, 7], 否)
值域與未用陪域=([2, 4], [0, 1, 3, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
49. 值域與未用陪域
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 2, 4]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([0, 2, 4], [1, 3, 5, 6, 7], 否)
值域與未用陪域=([0, 2, 4], [1, 3, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
50. 值域與未用陪域
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[1, 2, 4]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。
查看答案與解釋
([1, 2, 4], [0, 3, 5, 6, 7], 否)
值域與未用陪域=([1, 2, 4], [0, 3, 5, 6, 7], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。
函數映射 · qf-density12-mapping-range-codomain-defect · candidate
51. 有序查詢的型別資格與值
完整有限總映射 f:Fin(0)→Fin(0)，索引從0；Fin(0)=∅，[]是空來源的完整表；images=[]。queries=[-1, 0, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([否, 否, 否], [不合型別, 不合型別, 不合型別])
查詢型別資格與值=([否, 否, 否], [不合型別, 不合型別, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
52. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[1, 101, 102]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 否, 否], [1, 不合型別, 不合型別])
查詢型別資格與值=([是, 否, 否], [1, 不合型別, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
53. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[0, 0, 102]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 否], [0, 0, 不合型別])
查詢型別資格與值=([是, 是, 否], [0, 0, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
54. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[1, 0, 102]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 否], [1, 0, 不合型別])
查詢型別資格與值=([是, 是, 否], [1, 0, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
55. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[100, 1, 102]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([否, 是, 否], [不合型別, 1, 不合型別])
查詢型別資格與值=([否, 是, 否], [不合型別, 1, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
56. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[0, 1, 102]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 否], [0, 1, 不合型別])
查詢型別資格與值=([是, 是, 否], [0, 1, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
57. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[1, 1, 102]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 否], [1, 1, 不合型別])
查詢型別資格與值=([是, 是, 否], [1, 1, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
58. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[100, 101, 0]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([否, 否, 是], [不合型別, 不合型別, 0])
查詢型別資格與值=([否, 否, 是], [不合型別, 不合型別, 0])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
59. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[0, 101, 0]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 否, 是], [0, 不合型別, 0])
查詢型別資格與值=([是, 否, 是], [0, 不合型別, 0])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
60. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[1, 101, 0]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 否, 是], [1, 不合型別, 0])
查詢型別資格與值=([是, 否, 是], [1, 不合型別, 0])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
61. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[100, 0, 0]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([否, 是, 是], [不合型別, 0, 0])
查詢型別資格與值=([否, 是, 是], [不合型別, 0, 0])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
62. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[0, 0, 0]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 是], [0, 0, 0])
查詢型別資格與值=([是, 是, 是], [0, 0, 0])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
63. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[1, 0, 0]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 是], [1, 0, 0])
查詢型別資格與值=([是, 是, 是], [1, 0, 0])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
64. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[100, 1, 0]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([否, 是, 是], [不合型別, 1, 0])
查詢型別資格與值=([否, 是, 是], [不合型別, 1, 0])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
65. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[0, 1, 0]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 是], [0, 1, 0])
查詢型別資格與值=([是, 是, 是], [0, 1, 0])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
66. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[1, 1, 0]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 是], [1, 1, 0])
查詢型別資格與值=([是, 是, 是], [1, 1, 0])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
67. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[100, 101, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([否, 否, 是], [不合型別, 不合型別, 1])
查詢型別資格與值=([否, 否, 是], [不合型別, 不合型別, 1])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
68. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[0, 101, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 否, 是], [0, 不合型別, 1])
查詢型別資格與值=([是, 否, 是], [0, 不合型別, 1])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
69. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[1, 101, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 否, 是], [1, 不合型別, 1])
查詢型別資格與值=([是, 否, 是], [1, 不合型別, 1])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
70. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[100, 0, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([否, 是, 是], [不合型別, 0, 1])
查詢型別資格與值=([否, 是, 是], [不合型別, 0, 1])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
71. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[0, 0, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 是], [0, 0, 1])
查詢型別資格與值=([是, 是, 是], [0, 0, 1])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
72. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[1, 0, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 是], [1, 0, 1])
查詢型別資格與值=([是, 是, 是], [1, 0, 1])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
73. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[100, 1, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([否, 是, 是], [不合型別, 1, 1])
查詢型別資格與值=([否, 是, 是], [不合型別, 1, 1])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
74. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[0, 1, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 是], [0, 1, 1])
查詢型別資格與值=([是, 是, 是], [0, 1, 1])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
75. 有序查詢的型別資格與值
完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[1, 1, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。
查看答案與解釋
([是, 是, 是], [1, 1, 1])
查詢型別資格與值=([是, 是, 是], [1, 1, 1])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。
函數映射 · qf-density12-mapping-candidate-evaluation · candidate
76. 兩個總映射的逐點差異
完整有限總映射 f:Fin(0)→Fin(0)，索引從0；Fin(0)=∅，[]是空來源的完整表；images=[]。同來源與陪域的完整總映射g另表other=[]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([], [])
逐點差異索引與值對=([], [])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
77. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 0, 0]。同來源與陪域的完整總映射g另表other=[1, 0, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([0], [[0, 1]])
逐點差異索引與值對=([0], [[0, 1]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
78. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 0, 0]。同來源與陪域的完整總映射g另表other=[0, 1, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([1], [[0, 1]])
逐點差異索引與值對=([1], [[0, 1]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
79. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 0, 0]。同來源與陪域的完整總映射g另表other=[0, 0, 1]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([2], [[0, 1]])
逐點差異索引與值對=([2], [[0, 1]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
80. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[1, 0, 0]。同來源與陪域的完整總映射g另表other=[2, 0, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([0], [[1, 2]])
逐點差異索引與值對=([0], [[1, 2]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
81. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 1, 0]。同來源與陪域的完整總映射g另表other=[0, 2, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([1], [[1, 2]])
逐點差異索引與值對=([1], [[1, 2]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
82. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 0, 1]。同來源與陪域的完整總映射g另表other=[0, 0, 2]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([2], [[1, 2]])
逐點差異索引與值對=([2], [[1, 2]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
83. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[2, 0, 0]。同來源與陪域的完整總映射g另表other=[3, 0, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([0], [[2, 3]])
逐點差異索引與值對=([0], [[2, 3]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
84. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 2, 0]。同來源與陪域的完整總映射g另表other=[0, 3, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([1], [[2, 3]])
逐點差異索引與值對=([1], [[2, 3]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
85. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 0, 2]。同來源與陪域的完整總映射g另表other=[0, 0, 3]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([2], [[2, 3]])
逐點差異索引與值對=([2], [[2, 3]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
86. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[3, 0, 0]。同來源與陪域的完整總映射g另表other=[4, 0, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([0], [[3, 4]])
逐點差異索引與值對=([0], [[3, 4]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
87. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 3, 0]。同來源與陪域的完整總映射g另表other=[0, 4, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([1], [[3, 4]])
逐點差異索引與值對=([1], [[3, 4]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
88. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 0, 3]。同來源與陪域的完整總映射g另表other=[0, 0, 4]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([2], [[3, 4]])
逐點差異索引與值對=([2], [[3, 4]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
89. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[4, 0, 0]。同來源與陪域的完整總映射g另表other=[5, 0, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([0], [[4, 5]])
逐點差異索引與值對=([0], [[4, 5]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
90. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 4, 0]。同來源與陪域的完整總映射g另表other=[0, 5, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([1], [[4, 5]])
逐點差異索引與值對=([1], [[4, 5]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
91. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 0, 4]。同來源與陪域的完整總映射g另表other=[0, 0, 5]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([2], [[4, 5]])
逐點差異索引與值對=([2], [[4, 5]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
92. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[5, 0, 0]。同來源與陪域的完整總映射g另表other=[6, 0, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([0], [[5, 6]])
逐點差異索引與值對=([0], [[5, 6]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
93. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 5, 0]。同來源與陪域的完整總映射g另表other=[0, 6, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([1], [[5, 6]])
逐點差異索引與值對=([1], [[5, 6]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
94. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 0, 5]。同來源與陪域的完整總映射g另表other=[0, 0, 6]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([2], [[5, 6]])
逐點差異索引與值對=([2], [[5, 6]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
95. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[6, 0, 0]。同來源與陪域的完整總映射g另表other=[7, 0, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([0], [[6, 7]])
逐點差異索引與值對=([0], [[6, 7]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
96. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 6, 0]。同來源與陪域的完整總映射g另表other=[0, 7, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([1], [[6, 7]])
逐點差異索引與值對=([1], [[6, 7]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
97. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 0, 6]。同來源與陪域的完整總映射g另表other=[0, 0, 7]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([2], [[6, 7]])
逐點差異索引與值對=([2], [[6, 7]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
98. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[7, 0, 0]。同來源與陪域的完整總映射g另表other=[0, 0, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([0], [[7, 0]])
逐點差異索引與值對=([0], [[7, 0]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
99. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 7, 0]。同來源與陪域的完整總映射g另表other=[0, 0, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([1], [[7, 0]])
逐點差異索引與值對=([1], [[7, 0]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate
100. 兩個總映射的逐點差異
完整有限總映射 f:Fin(3)→Fin(8)，索引從0；images=[0, 0, 7]。同來源與陪域的完整總映射g另表other=[0, 0, 0]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。
查看答案與解釋
([2], [[7, 0]])
逐點差異索引與值對=([2], [[7, 0]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。
函數映射 · qf-density12-mapping-equality-obstruction-list · candidate