不定方程解的判定问题。

如何判定对于不定方程 $p_1 x + p_2y = c$ 是否有非负整数解？

这里的非负整数解指的是 $x, y$ 均大于等于零。