輪番割当問題と川野方程式の密度構造同型性に関する統合的研究
要旨 本研究は、組合せ最適化問題である輪番割当問題(Pinwheel Scheduling)と、奇合成数生成方程式である川野方程式の間に存在する「密度構造の同型性」を体系的に示すものである。両者は数学的領域こそ異なるが、局所条件の集約によるグローバル密度の決定、被覆問題としての補集合構造、閾値による可否判定という共通の構造を持つ。本論文では、両者の密度空間を結ぶ写像を構成し、密度構造が同型であることを証明する。 1. はじめに 輪番割当問題は、周期タスク集合の逆数和によってスケジュール可能性が決定される密度判定問題である。一方、川野方程式は奇合成数集合を最小素因数ごとに生成する構造方程式であり、奇数集合の被覆構造を記述する。 両者は直接的な数学的関連を持たないが、 密度・被覆・補集合・局所–グローバル構造 という観点で深い同型性を示す。本研究はこの同型性を統合的に記述する。 2. 輪番割当問題の密度構造 2.1 密度の定義 周期タスク集合 { T i } の必要密度は D = ∑ i 1 T i . 2.2 6分の5予想とその解決 1993年に提唱された 6分の5予想 は D ≤ 5 6 ⇒ 必ずスケジュール可能 というものであり、2026年に河村彰星らによって完全に証明された。 2.3 被覆型の閾値 双対問題(covering)では D ≥ 1.264 … が最適限界であることが示されている。 3. 川野方程式の密度構造 3.1 川野方程式 K ( p , d ) = p ( p + 2 d − 2 ) は最小素因数 p を持つ奇合成数集合 C ( p ) = { K ( p , d ) ∣ d ∈ N } を生成する。 3.2 奇数集合の被覆構造 奇数集合 O は O = ⋃ p prime C ( p ) で完全被覆され、その補集合が奇素数集合となる。 3.3 密度の局所因子積 奇素数の密度は ∏ p ( 1 − 1 p ( p − 1 ) ) という局所因子の積で決定される。 4. 密度構造の同型性(統合主定理) 主定理 輪番割当問題の密度空間 D = ∑ i 1 T i と、川野方程式の密度空間 ∏ p ( 1 − 1 p ( p − 1 ) ) は、以下の写像によって同型である: Φ : 1 T i ...