Given n and k, determine if an arrangement of [1..n] exists with exactly k distinct absolute differences between consecutive elements. Return true if 1<=k<=n-1, false otherwise.
Input: Two integers n, k.
Output: Boolean.
Input: 3, 2
Output: true
Explanation: [1,3,2] has diffs |2|,|1| -> 2 distinct.Input: 3, 0
Output: false
Explanation: k must be >= 1.Input: 1, 1
Output: false
Explanation: Single element has no consecutive diffs; k must be 0 but we need k>=1.1 <= n <= 10^40 <= k