# 型別密度：完整函數表、原像與資料列資格基礎 · 脈衝 R03

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

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

batch-20261011-advance-20261015-r03-domain-codomain-range-foundations · 2026-10-11 · 100 題



## 1. 完整型別表與值域清單

Fin型別從0起，Fin(0)=∅，Fin(0)=∅。完整合型images[x]表=[]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([0, 0], [], [], [], 0)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0001/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 2. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 0, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 0], [2, 0]], [0], [1, 2], 1)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0002/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 3. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 0, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 0], [2, 0]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0003/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 4. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 0, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 0], [2, 0]], [0, 2], [1], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0004/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 5. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 1, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 1], [2, 0]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0005/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 6. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 1, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 1], [2, 0]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0006/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 7. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 1, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 1], [2, 0]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0007/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 8. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 2, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 2], [2, 0]], [0, 2], [1], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0008/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 9. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 2, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 2], [2, 0]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0009/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 10. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 2, 0]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 2], [2, 0]], [0, 2], [1], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0010/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 11. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 0, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 0], [2, 1]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0011/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 12. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 0, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 0], [2, 1]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0012/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 13. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 0, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 0], [2, 1]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0013/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 14. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 1, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 1], [2, 1]], [0, 1], [2], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0014/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 15. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 1, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 1], [2, 1]], [1], [0, 2], 1)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0015/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 16. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 1, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 1], [2, 1]], [1, 2], [0], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0016/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 17. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 2, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 2], [2, 1]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0017/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 18. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 2, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 2], [2, 1]], [1, 2], [0], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0018/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 19. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 2, 1]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 2], [2, 1]], [1, 2], [0], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0019/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 20. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 0, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 0], [2, 2]], [0, 2], [1], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0020/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 21. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 0, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 0], [2, 2]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0021/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 22. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 0, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 0], [2, 2]], [0, 2], [1], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0022/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 23. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[0, 1, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 0], [1, 1], [2, 2]], [0, 1, 2], [], 3)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0023/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 24. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[1, 1, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 1], [1, 1], [2, 2]], [1, 2], [0], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0024/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 25. 完整型別表與值域清單

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(3)=[0, 1, 2]。完整合型images[x]表=[2, 1, 2]。求 ([n,m], 全部[x,images[x]]列, 值域, 未用陪域, 值域大小)。

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

定義陪域完整圖與值域=([3, 3], [[0, 2], [1, 1], [2, 2]], [1, 2], [0], 2)。逐輸入列圖，重複輸出去重為值域，再從陪域扣除。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0025/)

定義域、陪域與值域 · qf-density15-typed-domain-range-inventory · candidate





## 26. 陪域候選與完整原像

Fin型別從0起，Fin(0)=∅，Fin(0)=∅。完整合型images表=[]，有序陪域候選=[0, -1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

查看答案與解釋([否, 否], [不合陪域, 不合陪域], [不合陪域, 不合陪域])

陪域候選資格與原像列=([否, 否], [不合陪域, 不合陪域], [不合陪域, 不合陪域])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0026/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 27. 陪域候選與完整原像

Fin型別從0起，Fin(0)=∅，Fin(2)=[0, 1]。完整合型images表=[]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[], []], [0, 0])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0027/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 28. 陪域候選與完整原像

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。完整合型images表=[0, 1, 0]，有序陪域候選=[2, 0]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

查看答案與解釋([否, 是], [不合陪域, [0, 2]], [不合陪域, 2])

陪域候選資格與原像列=([否, 是], [不合陪域, [0, 2]], [不合陪域, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0028/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 29. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 0, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

查看答案與解釋([是, 是], [[0, 1, 2, 3, 4], []], [5, 0])

陪域候選資格與原像列=([是, 是], [[0, 1, 2, 3, 4], []], [5, 0])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0029/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 30. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 0, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[1, 2, 3, 4], [0]], [4, 1])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0030/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 31. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 1, 0, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[0, 2, 3, 4], [1]], [4, 1])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0031/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 32. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 1, 0, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[2, 3, 4], [0, 1]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0032/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 33. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 1, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[0, 1, 3, 4], [2]], [4, 1])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0033/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 34. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 1, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[1, 3, 4], [0, 2]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0034/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 35. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 1, 1, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[0, 3, 4], [1, 2]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0035/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 36. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 1, 1, 0, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[3, 4], [0, 1, 2]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0036/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 37. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 0, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[0, 1, 2, 4], [3]], [4, 1])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0037/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 38. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 0, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[1, 2, 4], [0, 3]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0038/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 39. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 1, 0, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[0, 2, 4], [1, 3]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0039/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 40. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 1, 0, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[2, 4], [0, 1, 3]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0040/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 41. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 1, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[0, 1, 4], [2, 3]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0041/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 42. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 1, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[1, 4], [0, 2, 3]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0042/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 43. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 1, 1, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[0, 4], [1, 2, 3]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0043/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 44. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 1, 1, 1, 0]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[4], [0, 1, 2, 3]], [1, 4])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0044/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 45. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 0, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[0, 1, 2, 3], [4]], [4, 1])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0045/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 46. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 0, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[1, 2, 3], [0, 4]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0046/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 47. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 1, 0, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[0, 2, 3], [1, 4]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0047/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 48. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 1, 0, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[2, 3], [0, 1, 4]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0048/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 49. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[0, 0, 1, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[0, 1, 3], [2, 4]], [3, 2])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0049/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 50. 陪域候選與完整原像

Fin型別從0起，Fin(5)=[0, 1, 2, 3, 4]，Fin(3)=[0, 1, 2]。完整合型images表=[1, 0, 1, 0, 1]，有序陪域候選=[0, 1]。求 (候選型別資格, 各原像索引列或不合陪域, 各大小或不合陪域)。域外候選不作合法空原像。

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

陪域候選資格與原像列=([是, 是], [[1, 3], [0, 2, 4]], [2, 3])。先核候選是否屬陪域；合型才遍歷全部來源列找輸出相等的位置。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0050/)

定義域、陪域與值域 · qf-density15-typed-mapping-preimage-two-values · candidate





## 51. 單格替換與值域增刪

Fin型別從0起，Fin(1)=[0]，Fin(1)=[0]。原完整合型images=[0]，at=0，新value=0。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

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

替換映射表與值域增刪=(0, [0], [0], [], [], 1)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0051/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 52. 單格替換與值域增刪

Fin型別從0起，Fin(2)=[0, 1]，Fin(2)=[0, 1]。原完整合型images=[0, 1]，at=0，新value=1。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

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

替換映射表與值域增刪=(0, [1, 1], [1], [0], [], 2)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0052/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 53. 單格替換與值域增刪

Fin型別從0起，Fin(2)=[0, 1]，Fin(3)=[0, 1, 2]。原完整合型images=[0, 0]，at=0，新value=2。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

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

替換映射表與值域增刪=(0, [2, 0], [0, 2], [], [2], 3)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0053/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 54. 單格替換與值域增刪

Fin型別從0起，Fin(2)=[0, 1]，Fin(2)=[0, 1]。原完整合型images=[0, 1]，at=1，新value=1。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

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

替換映射表與值域增刪=(1, [0, 1], [0, 1], [], [], 2)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0054/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 55. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[4, 0, 5]，at=0，新value=7。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(4, [7, 0, 5], [0, 5, 7], [4], [7], 8)

替換映射表與值域增刪=(4, [7, 0, 5], [0, 5, 7], [4], [7], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0055/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 56. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[5, 0, 6]，at=0，新value=0。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(5, [0, 0, 6], [0, 6], [5], [], 8)

替換映射表與值域增刪=(5, [0, 0, 6], [0, 6], [5], [], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0056/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 57. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[6, 0, 7]，at=0，新value=1。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(6, [1, 0, 7], [0, 1, 7], [6], [1], 8)

替換映射表與值域增刪=(6, [1, 0, 7], [0, 1, 7], [6], [1], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0057/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 58. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[7, 0, 0]，at=0，新value=2。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(7, [2, 0, 0], [0, 2], [7], [2], 8)

替換映射表與值域增刪=(7, [2, 0, 0], [0, 2], [7], [2], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0058/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 59. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[0, 1, 1]，at=0，新value=3。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

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

替換映射表與值域增刪=(0, [3, 1, 1], [1, 3], [0], [3], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0059/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 60. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[1, 1, 2]，at=0，新value=4。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(1, [4, 1, 2], [1, 2, 4], [], [4], 8)

替換映射表與值域增刪=(1, [4, 1, 2], [1, 2, 4], [], [4], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0060/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 61. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[2, 1, 3]，at=0，新value=5。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(2, [5, 1, 3], [1, 3, 5], [2], [5], 8)

替換映射表與值域增刪=(2, [5, 1, 3], [1, 3, 5], [2], [5], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0061/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 62. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[3, 1, 4]，at=0，新value=6。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(3, [6, 1, 4], [1, 4, 6], [3], [6], 8)

替換映射表與值域增刪=(3, [6, 1, 4], [1, 4, 6], [3], [6], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0062/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 63. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[4, 1, 5]，at=0，新value=7。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(4, [7, 1, 5], [1, 5, 7], [4], [7], 8)

替換映射表與值域增刪=(4, [7, 1, 5], [1, 5, 7], [4], [7], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0063/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 64. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[5, 1, 6]，at=0，新value=0。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(5, [0, 1, 6], [0, 1, 6], [5], [0], 8)

替換映射表與值域增刪=(5, [0, 1, 6], [0, 1, 6], [5], [0], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0064/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 65. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[6, 1, 7]，at=0，新value=1。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(6, [1, 1, 7], [1, 7], [6], [], 8)

替換映射表與值域增刪=(6, [1, 1, 7], [1, 7], [6], [], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0065/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 66. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[7, 1, 0]，at=0，新value=2。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(7, [2, 1, 0], [0, 1, 2], [7], [2], 8)

替換映射表與值域增刪=(7, [2, 1, 0], [0, 1, 2], [7], [2], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0066/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 67. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[0, 2, 1]，at=0，新value=3。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(0, [3, 2, 1], [1, 2, 3], [0], [3], 8)

替換映射表與值域增刪=(0, [3, 2, 1], [1, 2, 3], [0], [3], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0067/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 68. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[1, 2, 2]，at=0，新value=4。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(1, [4, 2, 2], [2, 4], [1], [4], 8)

替換映射表與值域增刪=(1, [4, 2, 2], [2, 4], [1], [4], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0068/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 69. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[2, 2, 3]，at=0，新value=5。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(2, [5, 2, 3], [2, 3, 5], [], [5], 8)

替換映射表與值域增刪=(2, [5, 2, 3], [2, 3, 5], [], [5], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0069/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 70. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[3, 2, 4]，at=0，新value=6。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(3, [6, 2, 4], [2, 4, 6], [3], [6], 8)

替換映射表與值域增刪=(3, [6, 2, 4], [2, 4, 6], [3], [6], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0070/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 71. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[4, 2, 5]，at=0，新value=7。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(4, [7, 2, 5], [2, 5, 7], [4], [7], 8)

替換映射表與值域增刪=(4, [7, 2, 5], [2, 5, 7], [4], [7], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0071/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 72. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[5, 2, 6]，at=0，新value=0。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(5, [0, 2, 6], [0, 2, 6], [5], [0], 8)

替換映射表與值域增刪=(5, [0, 2, 6], [0, 2, 6], [5], [0], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0072/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 73. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[6, 2, 7]，at=0，新value=1。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(6, [1, 2, 7], [1, 2, 7], [6], [1], 8)

替換映射表與值域增刪=(6, [1, 2, 7], [1, 2, 7], [6], [1], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0073/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 74. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[7, 2, 0]，at=0，新value=2。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

查看答案與解釋(7, [2, 2, 0], [0, 2], [7], [], 8)

替換映射表與值域增刪=(7, [2, 2, 0], [0, 2], [7], [], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0074/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 75. 單格替換與值域增刪

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(8)=[0, 1, 2, 3, 4, 5, 6, 7]。原完整合型images=[0, 3, 1]，at=0，新value=3。原表全格先合法，再作替換。求 (舊值, 新表, 新值域, 消失值, 新增值, m)。

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

替換映射表與值域增刪=(0, [3, 3, 1], [1, 3], [0], [], 8)。保留其餘表格列；新舊值域分別列集合差，同值替換不造新增值。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0075/)

定義域、陪域與值域 · qf-density15-typed-mapping-output-replacement · candidate





## 76. 一列資料協議完整稽核

Fin型別從0起，Fin(0)=∅，Fin(0)=∅。每輸入恰一資料列；待核原序候選rows=[]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

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

一列協議候選表完整稽核=([0, 0], [], [], [], [], 是, [])。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0076/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 77. 一列資料協議完整稽核

Fin型別從0起，Fin(1)=[0]，Fin(1)=[0]。每輸入恰一資料列；待核原序候選rows=[[0, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

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

一列協議候選表完整稽核=([1, 1], [是], [1], [], [], 是, [0])。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0077/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 78. 一列資料協議完整稽核

Fin型別從0起，Fin(1)=[0]，Fin(1)=[0]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([1, 1], [是, 是], [2], [], [0], 否, 未成總表)

一列協議候選表完整稽核=([1, 1], [是, 是], [2], [], [0], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0078/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 79. 一列資料協議完整稽核

Fin型別從0起，Fin(2)=[0, 1]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([2, 2], [是], [1, 0], [1], [], 否, 未成總表)

一列協議候選表完整稽核=([2, 2], [是], [1, 0], [1], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0079/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 80. 一列資料協議完整稽核

Fin型別從0起，Fin(2)=[0, 1]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [1, 2]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([2, 2], [是, 否], [1, 1], [], [], 否, 未成總表)

一列協議候選表完整稽核=([2, 2], [是, 否], [1, 1], [], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0080/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 81. 一列資料協議完整稽核

Fin型別從0起，Fin(2)=[0, 1]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[-1, 0], [0, 0], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([2, 2], [否, 是, 是], [1, 1], [], [], 否, 未成總表)

一列協議候選表完整稽核=([2, 2], [否, 是, 是], [1, 1], [], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0081/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 82. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [], [0, 0, 0], [0, 1, 2], [], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [], [0, 0, 0], [0, 1, 2], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0082/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 83. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是], [1, 0, 0], [1, 2], [], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是], [1, 0, 0], [1, 2], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0083/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 84. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是], [2, 0, 0], [1, 2], [0], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是], [2, 0, 0], [1, 2], [0], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0084/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 85. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是], [0, 1, 0], [0, 2], [], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是], [0, 1, 0], [0, 2], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0085/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 86. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是], [1, 1, 0], [2], [], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是], [1, 1, 0], [2], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0086/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 87. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是, 是], [2, 1, 0], [2], [0], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是, 是], [2, 1, 0], [2], [0], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0087/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 88. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[1, 1], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是], [0, 2, 0], [0, 2], [1], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是], [0, 2, 0], [0, 2], [1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0088/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 89. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [1, 1], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是, 是], [1, 2, 0], [2], [1], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是, 是], [1, 2, 0], [2], [1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0089/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 90. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0], [1, 1], [1, 1]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是, 是, 是], [2, 2, 0], [2], [0, 1], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是, 是, 是], [2, 2, 0], [2], [0, 1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0090/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 91. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是], [0, 0, 1], [0, 1], [], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是], [0, 0, 1], [0, 1], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0091/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 92. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是], [1, 0, 1], [1], [], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是], [1, 0, 1], [1], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0092/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 93. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是, 是], [2, 0, 1], [1], [0], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是, 是], [2, 0, 1], [1], [0], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0093/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 94. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是], [0, 1, 1], [0], [], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是], [0, 1, 1], [0], [], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0094/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 95. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

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

一列協議候選表完整稽核=([3, 2], [是, 是, 是], [1, 1, 1], [], [], 是, [0, 1, 0])。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0095/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 96. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0], [1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是, 是, 是], [2, 1, 1], [], [0], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是, 是, 是], [2, 1, 1], [], [0], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0096/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 97. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[1, 1], [1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是, 是], [0, 2, 1], [0], [1], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是, 是], [0, 2, 1], [0], [1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0097/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 98. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [1, 1], [1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是, 是, 是], [1, 2, 1], [], [1], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是, 是, 是], [1, 2, 1], [], [1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0098/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 99. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[0, 0], [0, 0], [1, 1], [1, 1], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是, 是, 是, 是], [2, 2, 1], [], [0, 1], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是, 是, 是, 是], [2, 2, 1], [], [0, 1], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0099/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate





## 100. 一列資料協議完整稽核

Fin型別從0起，Fin(3)=[0, 1, 2]，Fin(2)=[0, 1]。每輸入恰一資料列；待核原序候選rows=[[2, 0], [2, 0]]。求 ([n,m], 每列雙端型別資格, 每合法輸入的raw出現次數, 漏列輸入, 重複輸入, 完整資格, 合格orderedImages或未成總表)。出現次數先按input計，不因output域外而刪列。

查看答案與解釋([3, 2], [是, 是], [0, 0, 2], [0, 1], [2], 否, 未成總表)

一列協議候選表完整稽核=([3, 2], [是, 是], [0, 0, 2], [0, 1], [2], 否, 未成總表)。所有raw列型別與每個輸入次數分別核對；兩者都合格才形成完整表。同值重複列不符合一列協議不代表多值函數。完整總表非部分程式函數，有限表非一般無限集合證明。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261011-advance-20261015-r03-domain-codomain-range-0100/)

定義域、陪域與值域 · qf-density15-typed-mapping-table-candidate-audit · candidate



[原始題目 JSONL](https://ocme.evemisslab.com/data/questions/batches/batch-20261011-advance-20261015-r03-domain-codomain-range-foundations/questions.jsonl) · [驗收報告](https://ocme.evemisslab.com/data/questions/batches/batch-20261011-advance-20261015-r03-domain-codomain-range-foundations/validation-report.json)