代码中用黑圈圈起来的地方是什么意思？以及为什么头尾指针要赋值为NULL?

struct stud_node {
int num;
char name[20];
int score;
struct stud_node *next;
};
struct stud_node *head, *tail;

void input();

int main()
{
struct stud_node *p;

head = tail = NULL;
input();
for ( p = head; p != NULL; p = p->next )
    printf("%d %s %d\n", p->num, p->name, p->score);

return 0;

}

/* 你的代码将被嵌在这里 */

void input()
{
int num;
//struct stud_node *head,*tail;
//head和tail已经声明为全局变量不可重复定义再定义就为错
head=tail=NULL;
while(scanf("%d",&num)&&num!=0)
{
//C语言中开辟一个结构体stud_node大小的空间并且用指针p指向开辟的空间
struct stud_node *p=(struct stud_node *)malloc(sizeof(struct stud_node ));
p->num=num;
//scanf中若输入的是int类型的数则要用&
scanf("%s %d", p->name,&p->score);
//若链表为空则首等于尾指向同一个位置
if(head==NULL)
{
head=tail=p;
}
//若链表不为空则尾的位置每次都在变化
//尾的下一个插入p，p又变成新的尾
//即尾指向p的位置
else
{
tail->next=p;
tail=p;
}
}
}