# 映射補強：完整圖形、陪域差、型別查詢與逐點差異基礎 · 脈衝 R07

本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。

本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。

batch-20261008-advance-20261012-r07-function-mapping-foundations · 2026-10-08 · 100 題



## 1. 完整有限函數圖形

完整有限總映射 f:Fin(0)→Fin(0)，索引從0；Fin(0)=∅，[]是空來源的完整表；images=[]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。

查看答案與解釋[]

完整函數圖形=[]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0001/)

函數映射 · qf-density12-mapping-full-graph · candidate





## 2. 完整有限函數圖形

完整有限總映射 f:Fin(1)→Fin(1)，索引從0；images=[0]。按來源索引列全部有序對[[i,f(i)],…]，空表列[]。

查看答案與解釋[[0, 0]]

完整函數圖形=[[0, 0]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0002/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0003/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0004/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0005/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0006/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0007/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0008/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0009/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0010/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0011/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0012/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0013/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0014/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0015/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0016/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0017/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0018/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0019/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0020/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0021/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0022/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0023/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0024/)

函數映射 · 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]]。完整讀每個合法輸入的唯一值，不按陪域補造圖形點；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0025/)

函數映射 · qf-density12-mapping-full-graph · candidate





## 26. 值域與未用陪域

完整有限總映射 f:Fin(0)→Fin(0)，索引從0；Fin(0)=∅，[]是空來源的完整表；images=[]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。

查看答案與解釋([], [], 是)

值域與未用陪域=([], [], 是)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0026/)

函數映射 · qf-density12-mapping-range-codomain-defect · candidate





## 27. 值域與未用陪域

完整有限總映射 f:Fin(0)→Fin(1)，索引從0；Fin(0)=∅，[]是空來源的完整表；images=[]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。

查看答案與解釋([], [0], 否)

值域與未用陪域=([], [0], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0027/)

函數映射 · qf-density12-mapping-range-codomain-defect · candidate





## 28. 值域與未用陪域

完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。依序列 (遞增實際值域, 遞增未使用的Fin(m)陪域元素, 值域是否等於整個陪域)。

查看答案與解釋([0, 1], [], 是)

值域與未用陪域=([0, 1], [], 是)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0028/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0029/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0030/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0031/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0032/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0033/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0034/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0035/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0036/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0037/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0038/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0039/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0040/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0041/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0042/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0043/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0044/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0045/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0046/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0047/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0048/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0049/)

函數映射 · 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], 否)。先去重所有輸出，再枚舉陪域未用項；全定義不保證滿射，非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0050/)

函數映射 · qf-density12-mapping-range-codomain-defect · candidate





## 51. 有序查詢的型別資格與值

完整有限總映射 f:Fin(0)→Fin(0)，索引從0；Fin(0)=∅，[]是空來源的完整表；images=[]。queries=[-1, 0, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。

查看答案與解釋([否, 否, 否], [不合型別, 不合型別, 不合型別])

查詢型別資格與值=([否, 否, 否], [不合型別, 不合型別, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0051/)

函數映射 · qf-density12-mapping-candidate-evaluation · candidate





## 52. 有序查詢的型別資格與值

完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[1, 101, 102]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。

查看答案與解釋([是, 否, 否], [1, 不合型別, 不合型別])

查詢型別資格與值=([是, 否, 否], [1, 不合型別, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0052/)

函數映射 · 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, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0053/)

函數映射 · 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, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0054/)

函數映射 · qf-density12-mapping-candidate-evaluation · candidate





## 55. 有序查詢的型別資格與值

完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[100, 1, 102]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。

查看答案與解釋([否, 是, 否], [不合型別, 1, 不合型別])

查詢型別資格與值=([否, 是, 否], [不合型別, 1, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0055/)

函數映射 · 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, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0056/)

函數映射 · 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, 不合型別])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0057/)

函數映射 · qf-density12-mapping-candidate-evaluation · candidate





## 58. 有序查詢的型別資格與值

完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[100, 101, 0]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。

查看答案與解釋([否, 否, 是], [不合型別, 不合型別, 0])

查詢型別資格與值=([否, 否, 是], [不合型別, 不合型別, 0])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0058/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0059/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0060/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0061/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0062/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0063/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0064/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0065/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0066/)

函數映射 · qf-density12-mapping-candidate-evaluation · candidate





## 67. 有序查詢的型別資格與值

完整有限總映射 f:Fin(2)→Fin(2)，索引從0；images=[0, 1]。queries=[100, 101, 1]。依序答 (合法來源型別資格列表, 合法者輸出值或不合型別)，型別外不求f值。

查看答案與解釋([否, 否, 是], [不合型別, 不合型別, 1])

查詢型別資格與值=([否, 否, 是], [不合型別, 不合型別, 1])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0067/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0068/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0069/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0070/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0071/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0072/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0073/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0074/)

函數映射 · 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])。先核來源索引才讀表，不把域外查詢當未定義函數輸入；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0075/)

函數映射 · qf-density12-mapping-candidate-evaluation · candidate





## 76. 兩個總映射的逐點差異

完整有限總映射 f:Fin(0)→Fin(0)，索引從0；Fin(0)=∅，[]是空來源的完整表；images=[]。同來源與陪域的完整總映射g另表other=[]。依序列 (遞增失配索引, 對齊各失配的有序[f(i),g(i)]值對列表)。

查看答案與解釋([], [])

逐點差異索引與值對=([], [])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0076/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0077/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0078/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0079/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0080/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0081/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0082/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0083/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0084/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0085/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0086/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0087/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0088/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0089/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0090/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0091/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0092/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0093/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0094/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0095/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0096/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0097/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0098/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0099/)

函數映射 · 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]])。兩表全型別合法後逐點比較，只列實際差異且不交換值對；非部分程式函數。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261008-advance-20261012-r07-function-mapping-0100/)

函數映射 · qf-density12-mapping-equality-obstruction-list · candidate



[原始題目 JSONL](https://ocme.evemisslab.com/data/questions/batches/batch-20261008-advance-20261012-r07-function-mapping-foundations/questions.jsonl) · [驗收報告](https://ocme.evemisslab.com/data/questions/batches/batch-20261008-advance-20261012-r07-function-mapping-foundations/validation-report.json)