線形方程式系の解の完全な特徴付け

加法冪等半環上の線形方程式系の解は完全に特徴付けられる。特に一般化トロピカル半環の場合、その解の完全な特徴付けと計算コストの明示的な上界が得られる。