solution

同じ数字がふたつ並ぶともうそれは変化しない。 ピラミッドの中央に目標の$x$でそのようなものを作ればよい。 これは$x + 2, x - 1, x, x + 1, x - 2$などと並べればできる。$O(N)$。

implementation

#!/usr/bin/env python3
n, x = map(int,input().split())
assert n >= 2
if x == 1 or x == 2 * n - 1:
    print('No')
else:
    a = [ x - 1, x, x + 1 ]
    b = list(range(1, x - 1)) + list(range(x + 2, 2 * n))
    c = b[n - 2 :] + a + b[: n - 2]
    print('Yes')
    print(*c, sep='\n')