Suppose that you are given a set $S$ of $k$ nonzero elements from $\mathbb{Z}_n$. Is it always possible to order the elements of $S$, say $a_1,a_2,\dots,a_k$ in such a way that the partial sums $a_1,a_1+a_2,a_1+a_2+a_3,\dots,a_1+a_2+\cdots+a_k$ are all distinct. Equivalently, you want to avoid runs $a_i+a_{i+1}+\cdots+a_j$ that add to zero (where $1<i<j\le k$).

In the case when $k=n-1$ this is known -- it is covered by the theory of sequenceable and $R$-sequenceable groups. Has anyone looked at the above generalisation before? Even though $k=n-1$ feels like it should be the hardest case, it doesn't seem to imply the other cases. I have some hope of a proof for the case when $n$ is prime, but before I go to the effort of sorting out the details I want to be sure I'm not reinventing the wheel.

It is tempting to think the problem will be easy when $k$ is very much smaller than $n$. However, it is possible that $S$ might be all the nonzero elements of some subgroup of $\mathbb{Z}_n$, in which case you are just looking for a sequencing of that subgroup. This will exist, but are probably very rare in some sense.

This problem was told to me by Jeff Dinitz, and I think he might have got it from Dan Archdeacon. Any pointers to relevant literature will be much appreciated.