Simon respuesta señala que el algoritmo de Euclides demuestra que mcd(a,B) divide a C es necesaria, pero la falta de un contenedor de grandes dimensiones hace que el problema más difícil, porque, obviamente, usted no puede conseguir a $C$ si $C \gt A+B$. Sin embargo, la siguiente modificación del algoritmo parece funcionar.
Supongamos $A \lt B$ y mcd$(A, B)=1$ por la simplicidad. Mediante el vertido de B en a y el dumping, usted puede conseguir cualquier entero positivo $B-nA$ a la izquierda en B. Haga esto hasta que la respuesta es menos de $A$. A continuación, mediante la transferencia de los contenidos a Un cubo y llenarlo de B, obtenemos $2B-(n+1)A$. A continuación, reste $A$ otra vez hasta que usted ha $0 \lt 2B-kA \lt A$, y podemos repetir este proceso para llevar a $3B-(k+1)A$, etc. Esto le da a cualquier número entero combinación lineal $rB-sA$ hasta el tamaño de $A+B$ porque una vez que tienes el derecho de varios de $B$ en la combinación, siempre se puede añadir bucketsful de $A$.
Usted sólo tiene que conseguir $rB\equiv C$ (mod A) con el fin de encontrar una combinación de $C$, que pasa si gcd$(A, B)=1$. Con este algoritmo se ejecute en el caso general, usted puede conseguir cualquier múltiplo de gcd($A, B$) a $A+B$ (esto es trivialmente al $A=B$).
(Lo siento, tuve que editar esta respuesta varias veces porque las partes desaparecido, hasta que me di cuenta de que mi desigualdad señales eran analiza como etiqueta HTML comienza incluso después de signos de dólar.)