Un problema atribuido a Euler

Antonio Manuel Moreno Delgado amoreno@alu.uma.es 9 de octubre de 2011

1.

Enunciado

Un grupo de hombres, algunos acompaados n por sus mujeres, gast 1000 dracmas en una o hostera. El gasto fue de 19 dracmas cada hombre y 13 dracmas por cada mujer. Cuntos hombres y cuntas mujeres haba? a a

Sean las x: Nmero de hombres u y: Nmero de mujeres u

variables:

Se propone la siguiente ecuacin diofntica: o a 19x + 13y = 1000

La cul posee soluciones enteras1 de la fora 1. Qu pasara si reemplazamos 13 por e 2 y algunos por la mayor en el ma: a enunciado original? 2. Qu pasara si reemplazamos 1 por e 2 y algunos por la minora en el enunciado original? x = x0 + 13t y = y0 19t

con t Z

(1)

2.

Dos soluciones

Nuestra atencin ahora se basa en encono trar la solucin particular. Mediante la ideno tidad de Bzout [2] se llega a: e 19 (2000) + 13 (3000) = 1000 Por lo tanto, de (1) y (2) se llega a: x = 2000 + 13t y = 3000 19t
1

En principio se propondrn dos soluciones: a una mediante ecuaciones diofnticas y otra a mediante programacin entera. o

(2)

2.1.

Ecuaciones diofnticas a

La primera solucin propuesta es mediante o ecuaciones diofnticas [1]. a 1

con t Z

(3)

mcd(19, 13) = 1 | 1000

Evidentemente, necesitamos acotar t puesto que no podemos tener un nmero negativo u de hombres o mujeres. Por lo tanto aadimos n las restricciones: 2000 + 13t 3000 19t de donde: t t 0 0 154 157 (4) (5)

x = 1000 + 2t y = 9000 19t

con t Z

(7)

A la que nuevamente se aade la restriccin n o de que haya un nmero positivo de hombres u y mujeres:

Adems se tiene una restriccin extra, y a o es que en el enunciado expresa [...] grupo de hombres, algunos acompaados por sus mun jeres [..] de donde se extrae que hab ms a a hombres que mujeres, por lo que hay que aadir la restriccin: n o

1000 + 2t 9000 19t de donde: t t

0 0 500 474 (8) (9)

x > y 2000 + 13t > 3000 19t t > 156

Y adems es un grupo de hombres acoma paados por sus mujeres, por lo tanto, de nuen ve se tiene que: (6) x > y 1000 + 2t > 9000 19t t 476

De (4), (5) y (6) se tiene que t = 157 y por lo tanto se concluye que hab 41 hombres a y 17 mujeres. 2.1.1. Apartados adicionales

(10)

De (8), (9) y (10) se tiene que t [476, 474] y por lo tanto: t -474 -475 -476 Hombres Mujeres 52 6 50 25 48 44

Para los apartados adicionales se plantea la ecuacin diofntica correspondiente: o a 19x + 2y = 1000

la cual tiene nuevamente soluciones enteras. Tras aplicar la identidad de Bzout[2] para e Entonces se puede contestar ya trivialmenhallar la solucin particular llegamos a la soo lucin: o te al primer y segundo apartado. 2

2.2.

Programacin entera o

Value of objective function: 0

En este apartado se propondr una solua Actual values of the variables: cin mediante programacin entera al probleo o XUNO 41 ma, utilizando el formato de archivos LP y el XDOS 17 programa lp solve 2 . Solucin equivalente a la que obtuvimos en o 2.2.1. Resolucin del problema o el apartado 2.1. Se crear entonces el archivo LP tal y como a 2.2.2. sigue: /* EULER */ /* Objective function */ min: +XUNO; /* Constraints */ CONS1: +19 XUNO +13 XDOS = 1000; CONS2: XUNO >= XDOS; /* Variable bounds */ XUNO <= 1000; XDOS <= 1000; /* Integer definitions */ int XUNO, XDOS; Resolucin de apartados adicioo nales

Para la resolucin de los apartados adicioo nales, las restricciones cambian puesto que las mujeres solo gastan 2 dracmas. Por lo tanto el planteamiento de las restricciones en LP ser a: /* Constraints */ CONS1: +19 XUNO +2 XDOS = 1000; CONS2: XUNO >= XDOS; El unico cambio entre el apartado 1 y el apartado 2, es la funcin objetivo. Y es que o ahora si tiene sentido ya que entre el abanico de soluciones posibles, queremos la solucin o que ms mujeres ofrece para el primer caso y a la que menos, para el segundo caso. Por lo tanto las funciones objetivos quedar para los dos casos respectivamente: an

Donde XUNO es el nmero de hombres y u XDOS es el nmero de mujeres. Se puede apreu 1. max: +XDOS; ciar que no se tiene funcin objetivo porque o 2. max: +XUNO; no lo exige el problema, sino que la solucin o es unica con las restricciones del enunciado. Y se obtiene como salida en el primer caso: Tras ejecutarlo en lp solve se obtiene la salida: Value of objective function: 44.00000000
2

lpsolve.sourceforge.net/5.5/

Actual values of the variables: XDOS 44 XUNO 48 Y en el segundo caso: Value of objective function: 52.00000000 Actual values of the variables: XUNO 52 XDOS 6

Referencias
[1] Diophantine equation. Wikipedia. http://en.wikipedia.org/wiki/ Diophantine_equation [2] Bzouts e identity. Wikipedia. http://en.wikipedia.org/wiki/B% C3%A9zout%27s_identity