参考答案:

（2）m-1   

（3）p=p->next

（4）p->next->No

（5）p->next

详细解析:

本题考查 C 程序设计基本能力及指针的应用。
题目中涉及的考点主要有链表运算和程序逻辑，分析程序时首先要明确各个变量所起的作用，并按照语句组分析各段代码的功能，从而完成空缺处的代码填充。
根据函数 Joseph 的处理思路， "m= m%i" 可避免计数过程重复（通俗来说，就是计数时绕着圈地数），需要考虑的特殊情况是 m 可能取值为 0，此时对应的情况应该是正好要数到目前所在位置的前一个人，由于链表指针的单向特点，还需逐个结点数过去才行，即当圈中还剩下 i 个人时，最多计数到 i，因此空（1）处应填入"i"
下面的语句组在单循环链表中扫描结点并完成计数。
k =  0;
while (k< （2）     )   {
（3）  ;
k++;
}
由于计数器 k 从 0 开始计数，因此，while 语句的循环条件应为 "k<m-1"，因此，空（2）处应填入 "m-1"。由于在链表中通过指针p 指向结点并进行遍历，所以空（3）处应填入 "p = p->next"。
根据题目中函数 Joseph 的处理思路说明，当 k 的值等于 m-1 时，p指向出圈者对应结点的前驱结点，因此，p->next 所指向的结点是要被删除的结点，其编号为 p->next->No ， 因此空（4）处应填入"p->next->No"。
删除 p 所指结点的后继结点的处理如下图所示，即要删除数据域为 y 的结点，需要将 p 所指结点的指针域指向 z 结点，对应的处理是：p->next = p->next->next ，由于己经使得 q 指向了 y 结点，从而有等同的处理：p->next  =  q->next ，因此空（5）处应填入"p->next"。