solution

貪欲。$O(N)$。

関数$A = \lambda x. 2x$と関数$B = \lambda x. x + K$はいずれも単調増加である。これにより貪欲に結果の小さい方を使っていけばいいことが分かる。

implementation

#!/usr/bin/perl
$n=<>;$k=<>;$a+=$a>$k?$k:$a||2while$n--;print$a