report best_adjmatrix in that form

option for starting best value

document -j option in head comment

fudge the {n,m}_max_frags to deal with rounding errors in glpk results

use "git describe" not "git-describe"

move minham check earlier; this avoids some printing etc

apparent speedup of -j4 9 7 on zealot is about 10%

minimum output match hamming weight; enforce argument ordering

This seems to provide a very dramatic speedup.

.gitignore: profiling output files

commentary: document new criterion introduced in ea5f3526c7c0

commentary: clarify and fix input vs output confusion

add one missing call to FOR_BITS (no functional change)

{n,m}_max_frags: fix fencepost efficiency problem

fixes the bug discovered/exacerbated in 41013cb05383

rename {n,m}_over_best to {n,m}_max_frags to reflect way used in most of the code

introduce m_over_best and use it instead of computing maxminsize

XXX makes things slower, perhaps has bug ?!

move had_max and totalfrags update later in loop body (no functional change)

provide and use FOR_BITS

this seemed like it would make it faster but doesn't appear to have done so

provide CMDLINE_CFLAGS feature

This can be used for profiling etc.

remove some debugging newlines (mistakenly included in previous commit)

multicore: in master, when collecting results, pay no attention to bus and look only at our own best

only report "reporting" if we actually have something

show git version in output

pass weight array to workers (fix semantic conflict between horizontal weight elimination and multicore)

move -lm to LDLIBS where it ought to be

apply floor to n_over_best

add <math.h> and -lm (no functional change)

Merge remote-tracking branch 'sgt/master'

Changes made to the new code in sgt/master:
  - use "-std=gnu99" not "--std=gnu99"
  - n_over_best calculation is in set_best
  - n_over_best initialised properly
 style:
  - use calloc, do not cast return value from int, better sizeof
  - extra blank line

Conflicts:
Makefile
main.c

break out set_best

in multicore, generator periodically checks for new best to avoid generating many pointless suggestions

in mc_iterate_worker, use maxhamweight_ok and preconsider_ok on incoming suggestions (for quicker elimination)

break out maxhamweight_ok (no functional change)

predeclare preconsider_ok and multicore_check_for_new_best (no functional change)

tiresome portability fix for pread on squeeze

multicore support seems to work

.gitignore: core, t.*

introduce progress_eol and make stderr line buffered

in preconsider_ok, check for frags >= maxhamweight so we can force this to pass by setting maxhamweight

break out preconsider_ok

PRINTF is less bodgy now

Add -std=gnu99 to Makefile

break out report()

wip multicore: add argument parsing; currently -j option is actually ignored

Check max Hamming weight in the other direction.

Once we've already got a solution, we can further winnow the set of
possible adjacency matrices, by ensuring the same bit is not set in
too many entries of adjmatrix (since if it were, some length-n stick
would have to be divided into enough pieces to make one at most the
already-known best result). This adds complexity to each step of the
recursion over possible matrices, but by early pruning it seems to cut
down the number of steps by rather more; I estimate a factor of four
speedup in pursuit of (n,m)=(10,7).

Prune by symmetry: constrain 1st adj row to all 1s at low end.

Separate stdout from stderr.

Output the actual dissection, as a matrix.

commentary

assert our arguments

do not leak prob when retrying

search in order by max hamming weight

Revert "loop in reverse order - this is a better search path"

This reverts commit 35e60acecf2f2657a3fd53f89053de9e57a0d7fe.

Doesn't actually seem to help that much.

loop in reverse order - this is a better search path

Revert "mix up the order" and "mix up the order"

This is not correct; I think it doesn't in fact search all relevant
bit patterns.

mix up the order, print better

mix up the order

error fixes; tried interior but doesn't work (EINSTAB) and docs say cannot cope with dense columns of which our X_minimum is one

print best solution

improve maxminsize thing

fix printing more

less printing, optimise

output improvements

wip lp seems to work so far...

wip lp, results, compiles

wip lp, problem setup compiles

wip lp

wip lp notes before condense

wip, builds, before glpk

wip