From: "David C. Hoos" <david.c.hoos.sr@ada95.com>
To: <comp.lang.ada@ada.eu.org>
Subject: Re: Programming Contest
Date: Mon, 23 Jul 2001 06:44:21 -0500
Date: 2001-07-23T06:44:21-05:00 [thread overview]
Message-ID: <mailman.995888729.11518.comp.lang.ada@ada.eu.org> (raw)
In-Reply-To: Pine.LNX.4.33.9901111915230.32622-100000@lagoa.niaad.liacc.up.pt
The conjecture is false.
----- Original Message -----
From: "M. A. Alves" <maa@liacc.up.pt>
To: <comp.lang.ada@ada.eu.org>
Sent: Monday, January 11, 1999 2:29 PM
Subject: Re: Programming Contest
> Conjecture: Solution (greatest possible smallest unattainable score) =
> Greatest_Attainable_Score + 1, i.e. the set of attainable scores
> associated with Solution has no holes (i.e. all scores below Solution are
> attainable).
>
> Is anyone sure this conjecture is false? (No proof asked :-)
>
> --
> ,
> M A R I O data miner, LIACC, room 221 tel 351+226078830, ext 121
> A M A D O Rua Campo Alegre, 823 fax 351+226003654
> A L V E S P-4150 PORTO, Portugal mob 351+939354002
>
>
>
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada.eu.org
> http://ada.eu.org/mailman/listinfo/comp.lang.ada
>
next parent reply other threads:[~2001-07-23 11:44 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <Pine.LNX.4.33.9901111915230.32622-100000@lagoa.niaad.liacc.up.pt>
2001-07-23 11:44 ` David C. Hoos [this message]
2001-07-22 15:51 Programming Contest AlZimmerma
2001-07-22 16:21 ` Al Christians
2001-07-22 20:01 ` tmoran
2001-07-23 1:26 ` Tucker Taft
2001-07-23 2:22 ` Al Christians
2001-07-23 10:49 ` Larry Kilgallen
2001-07-23 6:04 ` Al Christians
2001-07-29 19:57 ` Tucker Taft
-- strict thread matches above, loose matches on Subject: below --
2001-07-21 17:42 Al Christians
2001-07-21 19:54 ` Larry Kilgallen
2001-07-11 11:29 Programming contest Martin Dowie
2001-07-11 12:22 ` Ehud Lamm
2001-07-11 15:25 ` Cailean Nicholas Pól Gloucester
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox