[Help-glpk] [Fwd: Re: contribution to GLPK]

[Andrew Makhorin]

-------- Forwarded Message --------
From: Vuk <address@hidden>
To: Andrew Makhorin <address@hidden>
Subject: Re: contribution to GLPK
Date: Sat, 22 Jul 2017 02:15:58 +0200 (CEST)

Hi Andrew,

3 models are ready, I think. Next step should be involving mailing list 
members as jury?

Thanks & best regards,
Peter


On Fri, 21 Jul 2017, Vuk wrote:

> Hi Andrew,
>
> Thanks for your recommendations. Fixing is in progress with max load.
>
> My question is: all four .mod models are ready to post onto the glpk mailing 
> list in order to be discussed?
>
> Tibor's cc-ing will be important again, because in some weeks/months, I will 
> prepare and contribute my power plant scheduler with fake data. Until that, 
> Tibor will be removed from cc recipients.
>
> There is an embedding of a special infinite graph into the 6th dimensional 
> euclydian grid, which was found by a low level .lp model generated by a 
> selfmade python script. This graph is important, because this 
> construction+existence has a corollary: all 256 elementary cellular automata 
> can be embedded into E^n grids if n >= 6, not just the amphirical ones. The 
> embedded automata is outer-totalistic and has 3 states only, including 
> background. I will publish it later, but these results were checked both by 
> Tibor et al and independently, the conwaylife.com forums community.
>
> Besides, I haven't found any patterns to be followed like indentation, 
> maximal number of columns, other usual "coding styles".
> Well, self-explanatory variable names + descriptions were missing, as you 
> pinpointed. Remark styles will be guessed based on examples delivered in 
> debian/ubuntu builds - it is also important when merging/splitting 
> descriptions.
>
> Also, shall I explain why cos() magic is used for example when the usage of 
> Hamming-distance was hidden in toto.mod? (lacking type casting support in 
> *MPL?)
>
> My goal partly is: showing that even _high(er) level_ mathematical 
> programming/modeling is a powerful development solution.
>
> Best Regards,
> Peter
>
> On Fri, 21 Jul 2017, Andrew Makhorin wrote:
>
>> Hi Peter,
>> 
>> Thank you for your contribution.
>> 
>> Could you please provide your example models with more comments?
>> If someone looks for an example, he usually is not interested in a
>> particular solution of a problem, with which he might not be familiar.
>> In our case the purpose of an example model is to show how this or that
>> problem can be formalized and how it can be then formulated in terms of
>> lp/mip. Do you agree? So please add to your examples a brief
>> description of the problem being solved (just a reference to a website
>> is not sufficient), and also please add descriptions of all variables
>> and constraints; otherwise your example models are completely unclear
>> and unreadable. Please look at models glpk/examples/pentomino.mod and
>> glpk/examples/sudoku.mod as for good examples. Besides, please provide
>> only one version of data section included into .mod file.
>> 
>> Best regards,
>> 
>> Andrew Makhorin
>> 
>> 
>> On Thu, 2017-07-20 at 23:26 +0200, Vuk wrote:
>>> Greetings!
>>> 
>>> After a short break, here you are, some models that I would like to check
>>> whether it is worth to include them into the next release of GLPK.
>>> 
>>> There will also be later an example pure LP model of scheduling power
>>> plants based on my thesis. Its matrix is a network matrix, basically, it
>>> is a matroid. Proven since 2006 (I proved the total unimodularity of the
>>> matrix in 2004 based on colourings and works of Ghouila-Houri (1962) et
>>> al.)
>>> 
>>> The current list:
>>> 1. cellular automata class embedding (Wolfram into margolus)
>>> 2. tiling with suspected rectifiable polyominoes
>>> 3. Conway's Game of Life garden of eden tester
>>> 4. covering code searcher
>>> 
>>> Regards,
>>> Peter, NASZVADI
>>> +36 30 5984 790
>>> 
>>> (added Tibor Illes, he supervised my thesis. If I could be wrong, he can
>>> correct me:)
>>> 
>> 
>> 
>> 
>

naszvadi170721.tar.gz
Description: 20170721