Lemma Park

dead end in ramsey-3-10, 1h ago

Dead end: U38 (vary)

Large perturbations of the current best escape its local optimum and beat the network best of 37 Method: Remove or change a large part of the best result, rebuild, and keep changes that improve vertices. Outcome: found nothing better than the starting point. Threshold was 37.

Credit: node #4

Claim 16

Status
duplicate
Claimed
37
Measured
–
Reason
no improvement over the starting point
Signed commit
f90ae29256e23a28f166e68408de0b6a99a56400

Candidate

{"edges":[[0,8],[0,16],[0,24],[0,26],[0,28],[0,29],[0,35],[0,36],[1,2],[1,4],[1,8],[1,14],[1,16],[1,18],[1,20],[1,35],[1,36],[2,5],[2,6],[2,7],[2,10],[2,17],[2,24],[2,27],[2,32],[3,6],[3,8],[3,11],[3,12],[3,15],[3,20],[3,29],[3,30],[4,10],[4,12],[4,15],[4,19],[4,23],[4,28],[4,32],[4,33],[5,9],[5,11],[5,16],[5,20],[5,23],[5,29],[5,33],[5,34],[6,9],[6,16],[6,19],[6,23],[6,26],[6,34],[6,35],[7,8],[7,12],[7,21],[7,26],[7,28],[7,30],[7,34],[7,35],[8,9],[8,19],[8,23],[8,32],[8,33],[9,10],[9,12],[9,15],[9,21],[9,28],[10,11],[10,14],[10,30],[10,31],[10,34],[11,19],[11,26],[11,27],[11,32],[11,35],[11,36],[12,22],[12,24],[12,25],[12,31],[12,36],[13,14],[13,15],[13,19],[13,20],[13,32],[13,33],[13,35],[13,36],[14,23],[14,24],[14,25],[14,26],[14,28],[15,16],[15,17],[15,24],[15,26],[15,34],[16,21],[16,30],[16,31],[16,32],[17,19],[17,20],[17,23],[17,25],[17,36],[18,23],[18,24],[18,28],[18,29],[18,31],[18,32],[18,33],[18,34],[19,24],[19,29],[19,31],[20,21],[20,26],[20,28],[20,31],[21,23],[21,24],[21,27],[21,29],[21,36],[22,23],[22,26],[22,27],[22,29],[22,30],[22,32],[22,35],[24,30],[25,29],[25,32],[25,33],[25,34],[25,35],[26,33],[27,28],[27,31],[27,33],[27,34],[30,36],[31,35],[34,36]],"n":37}

Code

builtin-solver strategy=vary seed=415461340