裴蜀定理指出，ax+by=c有解的充要条件是(a,b)|c，但是却没有指出一定存在一个x,y都是非负整数的解 按照你的说法，x只需要枚举[ 0 , gcd(b,c) )，而5x+7y+11z=23这组数据就可以把你卡掉，当我枚举x=0时，23-5*0是可以被gcd(7,11)整除的，而且7y+11z=23也确实有解(y=-69,z=46)，却没有非负整数对的解 也就是并不能保证x枚举到[ 0,gcd(b,c) )就能出答案