Re: Google's aptitude test equation
- To: mathgroup at smc.vnet.net
- Subject: [mg55030] Re: [mg55004] Google's aptitude test equation
- From: DrBob <drbob at bigfoot.com>
- Date: Thu, 10 Mar 2005 05:24:30 -0500 (EST)
- References: <200503091134.GAA06997@smc.vnet.net>
- Reply-to: drbob at bigfoot.com
- Sender: owner-wri-mathgroup at wolfram.com
Here's a minor rewrite:
prob = "wwwdot" - "google" == "dotcom";
eqn = prob /. s_String :> FromDigits@ToExpression@Characters@s;
vars = Variables[Subtract @@ eqn];
ineqs = And @@ Thread[0 <= vars <= 9];
Timing[sol = Reduce[eqn && ineqs, vars, Integers];]
Length[sol]
Timing[Select[sol, Unequal @@ #[[All,2]] & ]]
{8.875 Second,Null}
449
{0.*Second, (c == 4 && d == 5 &&
e == 3 && g == 1 &&
l == 0 && m == 6 &&
o == 8 && t == 9 &&
w == 7) || (c == 4 &&
d == 5 && e == 6 &&
g == 1 && l == 0 &&
m == 3 && o == 8 &&
t == 9 && w == 7)}
If we impose e < m (since e and m can be interchanged), it goes faster:
(sol = Reduce[eqn && ineqs && e < m, vars, Integers];) // Timing
Length@sol
Select[sol, Unequal @@ #[[All, 2]] &] // Timing
{5.3910000000000196*Second, Null}
204
{0.*Second, c == 4 && d == 5 &&
e == 3 && g == 1 && l == 0 &&
m == 6 && o == 8 && t == 9 &&
w == 7}
Bobby
On Wed, 9 Mar 2005 06:34:29 -0500 (EST), Lorenzo Castelli <gcastelli at NOSPAMracine.ra.it> wrote:
> Hi everybody, I have a little question about Mathematica (version 5.1).
> Please note that I just began to use this program, so sorry if I'm missing
> some trivial points.
>
> As an exercise I've tried to resolve the Google's equation that appeared on
> the web some time ago, using this page as a reference:
> http://mathworld.wolfram.com/news/2004-10-13/google/
>
> The text of the exercise is:
> 1. Solve this cryptic equation, realizing of course that values for M and E
> could be interchanged. No leading zeros are allowed.
> WWWDOT - GOOGLE = DOTCOM
>
> I've implemented the solution in Mathematica in this way:
>
> - Setup the problem:
> prob = "wwwdot" - "google" == "dotcom"
>
> - Setup the equation associated with the problem:
> eqn = prob /. s_String :> FromDigits[ToExpression[Characters[s]], 10]
>
> - Extract the variables of the equation:
> vars = Union[Cases[eqn, _Symbol, Infinity]]
>
> - Setup the constraints:
> ineqs = And @@ (0 <= # <= 9 & /@ vars)
>
> - Resolve the equation:
> (sol = Reduce[eqn && ineqs, vars, Integers]) // Timing
>
> This operation gives 449 solutions, calculated in roughly 13 seconds.
> Only two of these solutions are correct, since I have to remove the
> solutions which yield more than one variable to have the same value.
>
> Obviously this task is pretty easy, so I should expect it to take just a
> short time to compute.
> And that is actually the case if use a code like this:
>
> Select[sol, Unequal @@ (Part[#, 2] & /@ Cases[#, _Equal, 1]) &] // Timing
>
> The two solutions are extracted in a fraction of a second.
>
> On the contrary if I try to do that in the following way, Mathematica starts
> a long session of evaluation and eventually crashes after some minutes:
>
> Reduce[sol && Unequal @@ vars] // Timing
>
> I understand that Reduce might be too general to perform this operation in
> an efficient way, but I haven't been able to find a more suitable function.
>
> Also I've noticed that if I change the constraints on the single variables
> for the first Reduce in order to explicity consider that no leading zeros
> are allowed (so just replacing the 0<=x<=9 with 0<x<=9 for the variables w,
> g and d), the evaluation time jumps from 13 seconds to 40 seconds.
> That's odd, as in this case the new solutions are obviously just an easily
> computable subset of the previous ones.
>
> So I don't really know if Reduce is actually the best function even in the
> first usage.
>
> Can you help me out?
>
> Thanks,
>
> Lorenzo Castelli
> E-Mail: gcastelli at racine.ra.it
>
>
>
>
--
DrBob at bigfoot.com
- References:
- Google's aptitude test equation
- From: "Lorenzo Castelli" <gcastelli@NOSPAMracine.ra.it>
- Google's aptitude test equation