7.4.1 从“智猪博弈”说起