AtCoder Regular Contest 085: C - HSI

問題文が難しい。ただし自分なら分かりやすい文章に直せるかどうかについては言及していないことに注意。そもそも分かりやすく書けたらC問題ではなくなりそう。

C:(経験とエスパー)
D:高々最後2個しか使わん
E:残り8ケースまで追い詰めるも死
F:█

— fal_rnd@傍観 (@fal_rnd) 2017年11月11日

C なんかエスパーすると((1900*m+100*(n-m))<<m)という式が出てくる
D なんかエスパーするとmax(abs(w-a[n-1]),abs(a[n-1]-a[n-2]))という式が出てくる
E 実験をすると35まで全探索できることと35以上でlcmが100以下のペアがないことがわかるのではい

— beet (@beet_aizu) 2017年11月11日

solution

$(1900M + 100(N - M)) \cdot 2^M$。$O(1)$。

implementation

#!/usr/bin/env python3
n, m = map(int, input().split())
print((1900 * m + 100 * (n - m)) * 2 ** m)