黑与白问题
黑与白问题算法的验证。 （验证时间约40sec）
[Back to Index]
验证特点：自定义谓词，幽灵代码
标注说明： 函数前条件：默认为 \true；
函数后条件：函数返回值不等于0，则能正确判断五人额头贴纸的颜色；函数返回值等于0，则无法判断五人额头贴纸的颜色。
程序样例 
黑与白问题算法的验证。 （验证时间约40sec）
验证特点：自定义谓词，幽灵代码
标注说明： 函数前条件：默认为 \true；
函数后条件：函数返回值不等于0，则能正确判断五人额头贴纸的颜色；函数返回值等于0，则无法判断五人额头贴纸的颜色。
程序样例