\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees

計算機科學與數理邏輯領域中，Richter、Stephan 與 Zhang 曾提出一個經典難題：是否每個非遞迴的多對一分支（many-one degree）都包含一個最小的有限對一分支（least finite-one degree）？儘管作者先前的研究已在一般遞迴可枚舉集中給出否定的答案，但本篇論文透過拆解 10 種標準化的產生集分類，證實只要包含 $D$-極大集（$D$-maximal set） 的非遞迴多對一分支，這個問題的答案就會反轉為肯定。

拆解 Cholak-Gerdes-Lange 的 10 種極大集型態

在可計算性理論（Computability theory）中，歸約（Reducibility）是用來比較集合之間計算複雜度的核心概念。未解之謎在於：對於任何一個非遞迴的多對一分支（指互相可多對一歸約的等價類），內部是否必然存在一個最小的有限對一分支？作者 Patrizio Cintioli 先前已證明在一般「可計算枚舉集」（computably enumerable sets, 簡稱 c.e. 集）中此假設不成立。

然而，若將範圍縮小到包含 $D$-極大集的 c.e. 多對一分支，情況卻截然不同。為此，作者導入了 Cholak-Gerdes-Lange 的分類系統。該系統證明對於任何 c.e. 集，其不相交的 c.e. 家族 $\mathcal{D}(A)$ 都能由 10 種標準化型態（Types 1-10）之一來生成。這項分類成為本篇證明的骨幹，作者依據這 10 種不同型態的結構特性，分別設計了對應的數學工具來逐一攻破。

引用 Maslova 定理攻克 Type 1 與 2 簡單集

在分類系統中，Type 1 與 Type 2 屬於結構相對單純的型態。Type 1 的生成集僅有空集 ${ \varnothing }$，而 Type 2 的生成集則為單一個無限可計算集 ${R}$。

根據 Cholak-Gerdes-Lange 的研究，Type 1 完全等同於「簡單集」（simple sets）的類別，而 Type 2 則是只要與某個可計算集聯集後即可成為簡單集的特殊結構。這兩種類型的共同特徵，讓作者可以直接引用經典的 Maslova 定理。

Maslova 定理明確指出，每一個非遞迴的 c.e. 簡單集，都能在其所屬的多對一分支中，代表那個最小的有限對一分支。因此，作者透過代數轉換，證明了無論是原本就具備簡單集特性的 Type 1，或是能透過簡單擴充轉化的 Type 2，其多對一分支中必然包含最小有限對一分支。

針對 Type 3 單一生成元獨創混合重複覆蓋準則

進入 Type 3 後，系統變得更加複雜。Type 3 的特徵是其生成集由單一個「無限且不可計算」的 c.e. 集合 ${W}$ 所構成。為了處理這種無法直接套用經典定理的情境，作者開發了重複覆蓋法（duplicate-cover method）。

這個方法的核心在於處理「負向重複點」（negative duplicates，記為 $D_h$）。當存在一個從集合 A 歸約到集合 B 的函數 $h$ 時，$D_h$ 記錄了那些在 A 補集中、且函數值發生重複碰撞的元素。作者提出了一套「混合重複覆蓋準則」，透過設立一個可計算枚舉的保留區（reserve），結合 $D$-極大集的強大限制力，將這些負向重複點強制逼入特定後向歸約的範圍內。

藉由控制這個保留區與重複點之間的交集必須維持在有限數量，演算法能在同時搜尋多個條件（如枚舉狀態、歸約映射）時，確保每一條計算路徑最終只會對應到有限個前項（preimage）。這項機制的建立，成功證明了 Type 3 的多對一分支同樣具備最小有限對一分支。

處理 Type 4 至 7 複雜結構的有限聯集保留準則

當生成集的數量從單一擴展到多個時，便進入了 Type 4 到 Type 7 的領域。以 Type 4 為例，其生成集由無限多個互不相交的無限可計算集 ${R_0, R_1, \dots}$ 組成；而 Type 5 則是所謂的「半 Herrmann 集」（hemi-Herrmann），除了一組互不相交的可計算集之外，還加入了一個不可計算的 c.e. 集。

針對這類具有多重甚至無限生成元的結構，單一保留區已無法涵蓋所有變數，作者因此發展出有限聯集保留準則（Finite-union reserve criterion）。此準則的運作邏輯在於：不管後向歸約函數如何映射，總能在無限的生成族中，挑選出一組「有限數量的保留區聯集」，用以覆蓋絕大多數的補集空間。

在此條件下，即便面對 Type 4 的無限分割，或是 Type 5 中 Friedberg 分裂（Friedberg splitting）所帶來的不可計算干擾項，演算法仍能確保額外抽出一個未被選定的保留區，來提供無限的反向映射空間。這套準則透過將無限問題收斂至有限區塊的聯集，統一解決了 Type 4 至 Type 7 結構下的數學難題。

透過將抽象的可計算性難題拆解為 10 種標準化型態，並量身打造重複覆蓋與保留準則，即使是一般情況下不成立的數學猜想，也能在特定邊界條件下找到絕對的秩序。