数字水印在数学上是怎么定义的，程序怎么才能判断出图片中有没有水印呢？