除く \(1\) 個の要素を \(A_k\) とすると、 \(N-1\) 個の要素の総和は \(\displaystyle \sum_{i=1}^N A_i-A_k\) と表すことができます。この値が \(M\) になる \(k\) が存在するか判定できれば良いですが、この式を式変形すると \(\displaystyle A_k=\sum_{i=1}^N A_i-M\) となるため、この式を満たす \(k\) が存在するか調べれば良いです。

実装例(Python3)

n, m = map(int, input().split())
a = list(map(int, input().split()))
if sum(a) - m in a:
    print("Yes")
else:
    print("No")