Let k be a positive integer. A spectator is given n=k!+k−1 balls numbered 1,2,\dotsc,n. Unseen by the illusionist, the spectator arranges the balls into a sequence as they see fit. The assistant studies the sequence, chooses some block of k consecutive balls, and covers them under their scarf. Then the illusionist looks at the newly obscured sequence and guesses the precise order of the k balls they do not see.
Devise a strategy for the illusionist and the assistant to follow so that the trick always works.
(The strategy needs to be constructed explicitly. For instance, it should be possible to implement the strategy, as described by the solver, in the form of a computer program that takes k and the obscured sequence as input and then runs in time polynomial in n. A mere proof that an appropriate strategy exists does not qualify as a complete solution.)
Source: Komal, October 2019, problem A 760.
Proposed by Nikolai Beluhov, Bulgaria, and Palmer Mebane, USA
I can prove that such a strategy must exist:
We have a set A of all permutations (what assistant sees) and a set B of all possible positions of a scarf (mark it 0) and remaining numbers (what the illusionist sees).
We connect each a in A with b in B if a sequence b without 0 matches with some consecutive subsequence in a. Then each a has degree nk+1 and each b has degree k!. Now take an arbitrary subset X in A and let E be a set of all edges from X, and E’ set of all edges from N(X) (the set of all neighbours of vertices in X). Then we have E\subseteq E’ and so E\leq E’. Now E= (nk+1)X and E’ = k!N(X), so we have (nk+1)X \leq k!N(X)\implies X\leq N(X).
By Hall marriage theorem there exists a perfect matching between A and B……but I can not find one explicitly. Any idea?
Update: 2020. 12. 20.
Answer
This is a strategy that works in every case I checked, but its validity for all k needs to be proved. By his choice of placing the scarf, the assistant conveys information to the illusionist. There are k! ways of placing the scarf, to the assistant.
Consider a random permutation (a_1,a_2,…,a_n) of {1,2,…,n}, that the audience chooses. The assistant looks at this arrangement and assigns a parity to it as follows:

He takes the ktouple (a_1,a_2,…,a_{k}). He constructs a kdigit number (concatenation) from it as
a_1a_2…a_{k}
He then calculates the rank of this number among all of its k! permutations (lowest number gets rank 0 and highest gets rank (k!1)). He assigns it a variable \boxed{x_1=(rank)} 
Assign x_2 to {a_2,a_3,…,a_{k+1}}. Similarly assign x_3,x_4,…, and x_{k!}. Take that a_i=a_{i+n}
Compute the parity:
p=mod\left(\sum_{i=1}^{k!} x_i,k!\right)
There are k! values of p possible: {0,1,2,…,k!1}. Depending on the value of p the assistant chooses where to place the scarf. (When p=0 he places over first k! balls. When p=1 he places over second k! balls,.. etc)
When the illusionist sees the obscured arrangement, he knows the value of p by the position of the scarf. Although I haven’t proved it yet, only one arrangement of the obscured balls gives this value of p. This strategy works for all cases of k=2 and many cases of k=3. But it is a behemoth to prove for general (k,n).
Attribution
Source : Link , Question Author : Aqua , Answer Author : Community