Re: Hofman and Diaby talk about P=NP at INFORMS 2007
 From: tchow@xxxxxxxxxxxxx
 Date: 07 Feb 2007 15:05:03 GMT
In article <1170809084.134968.69070@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
<dmoews@xxxxxxxxxxx> wrote:
nonzero zero total[...]
y's 32793 1007648743 1007681536
z's 1054748 31987841624036 31987842678784
nonvacuously vacuously total
satisfied satisfied satisfied
equations equations equations
(2.6) 1 0 1
(2.7) 431 30289 30720
(2.8) 14124 15222996 15237120
(2.9) 341033 4713008087 4713349120
(2.10) 256403 4713092717 4713349120
(2.11) 341033 4713008087 4713349120
(2.12) 30 30722 30752
(2.14) 0 31744 31744
Excellent! Thank you very much. So there are 31988850360320 variables
and 14155377697 constraints. Moews and Hofman have checked all
14155377697 constraints and have not been able to find a violated
constraint.
But we know from your arguments that there *must* be a violated constraint.
Their lack of mathematical programming knowledge, however, seems to be
preventing them from finding the violated constraint. This is where we
need you to step in.
Professor Diaby, David Moews has responded promptly to your request. Will
you now respond promptly to my request, to find the violated constraint?

Tim Chow tchowatalumdotmitdotedu
The range of our projectileseven ... the artilleryhowever great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth. Galileo, Dialogues Concerning Two New Sciences
.
 FollowUps:
 References:
 Re: Hofman and Diaby talk about P=NP at INFORMS 2007
 From: moustapha . diaby
 Re: Hofman and Diaby talk about P=NP at INFORMS 2007
 From: tchow
 Re: Hofman and Diaby talk about P=NP at INFORMS 2007
 Prev by Date: Compendium for Counting Hierarchy (CH) complete problems
 Next by Date: Re: Hofman and Diaby talk about P=NP at INFORMS 2007
 Previous by thread: Re: Hofman and Diaby talk about P=NP at INFORMS 2007
 Next by thread: Re: Hofman and Diaby talk about P=NP at INFORMS 2007
 Index(es):
Relevant Pages
