同余整数问题