ABC193のE問題は連立合同式についての問題でした。これは中国式剰余定理によって解を求めるものです。他にも拡張Eulerの定理についての証明においても中国式剰余定理は登場します。 名前と背景 定理の主張 証明(互いに素、二元のとき) 解の存在 解の一意性 …