以下の内容はhttps://jupiro.hatenablog.com/entry/2020/06/28/162943より取得しました。

解説

$a + b = a \oplus b$ を満たす $a, b$ が存在する

は

$a \ \mathrm{and} \ b = 0$ となる $a, b$ が存在する

と同値です。ここまでくると後は桁DPで

dp[i][j][k][l] := i bit目までみたとき、j(すでに下限を超えたか)、k(すでに上限を下回ったか)、l(すでに二つの大小関係は満たされたか)

の桁DPを丁寧にしましょう。

基本的に二つのペアは異なりますが、(0, 0)という組み合わせだけは異ならないので注意しましょう

提出コード

以上の内容はhttps://jupiro.hatenablog.com/entry/2020/06/28/162943より取得しました。
このページはhttp://font.textar.tv/のウェブフォントを使用してます

不具合報告/要望等はこちらへお願いします。
モバイルやる夫Viewer Ver0.14