答案:
$设M=a_0+10a_1+...+10^{p-1}a_{p-1},其中,从右到左记第i号空格放置的数码为a_i(i=1,2,...,p-1)$
$若p=2或5,此时甲将0放置在最右侧的空格中即可$
$若p\neq 2且p\neq 5,此时由费马小定理可知$
$p\mid(10^{p-1}-1) \Leftrightarrow p\mid((10^{\frac{p-1}{2}})^2-1) \Leftrightarrow p\mid(10^{\frac{p-1}{2}}+1)(10^{\frac{p-1}{2}}-1)$
$则 p\mid(10^{\frac{p-1}{2}}+1)或p\mid(10^{\frac{p-1}{2}}-1)$
$(i) p\mid(10^{\frac{p-1}{2}}+1),此时甲令a_{p-1}=0,则之后每次乙将a_i放在第i号空格中,甲对称地将a_i放在第j号空格中$
$其中当i\in[0,\frac{p-1}{2}]时,j=i+\frac{p-1}{2};当i\in[\frac{p-1}{2},p-2]时,j=i-\frac{p-1}{2}$
$故10^j\equiv -10^i(mod ~ p),于是a_j10^j= a_i10^i\equiv -a_i10^j(mod ~ p),可得p\mid(a_i10^i+a_j10^j)$
$显然,当甲第一次操作后仍有p-1个空格,继续先前的操作,故最后所得的数可被p整除$
$此时甲获胜$
$(ii)p\mid(10^{\frac{p-1}{2}}-1),此时甲令a_{p-1}=0,之后每次乙将a_i放在第i号空格中,甲对称地将9-a_i放在第j号空格中$
$其中当i\in[0,\frac{p-1}{2}]时,j=i+\frac{p-1}{2};当i\in[\frac{p-1}{2},p-2]时,j=i-\frac{p-1}{2}$
$故10^j\equiv 10^i(mod~ p),于是a_j10^j+a_i10^i\equiv (a_i+a_j)10^i\equiv 9*10^i (mod~ p)$
$这表明M\equiv {\sum^{\frac{p-1}{2}}_{i=1} i}=9*10^i=10^{\frac{p-1}{2}}-1\equiv 0 (mod ~p)$
$此时甲获胜$
$综上,甲有必胜策略$