A slightly smarter checking program found

,

,

.
After an hour or two, the best it found for

= 4, 6, and 7 are

,

,

,
The program outputs

m-tuples for a given

for increasing values of

, avoiding increases in

. Here’s its
MUMPS code:
Code:
k A1,B s (B,A1,B1)=0 ;XFMTG2(1): initialize
s B=B+1,R=B**N,B(R)=B zt:R+1=R k A s A=0 f s A=A+1,F=$g(A(A)),R=R+F s:'F F=$s($g(A(A-1),R)<R:A(A-1)+1,1:A>1+R) s F=$o(B(F),-1),R=R-F s:$s(F:R/F+A>A1&A1,1:0) R=R+F,F=0 s A(A)=F s:'F A=A-2 q:A<0 i F,'R k A1 m A1=A s B1=B ;XFMTG2(2): check next B, update A1 least A count
w !,N," ",B," ",B1," ",A1,":" f I=1:1:A1 w " ",B(A1(I)) ;XFMTG2(3): display
s N=3 x XFMTG2(1) f x XFMTG2(2),XFMTG2(3) r R
And its first 10 lines of output for

:
Code:
3 1 0 0:
3 2 2 8: 1 1 1 1 1 1 1 1
3 3 3 6: 2 2 2 1 1 1
3 4 4 5: 3 3 2 1 1
3 5 4 5: 3 3 2 1 1
3 6 6 3: 5 4 3
3 7 6 3: 5 4 3
3 8 6 3: 5 4 3
3 9 9 3: 8 6 1
3 10 9 3: 8 6 1
I’m hunching toward conjecturing there’re

and

m-tuples such that

for all

, but am far from either an efficient program for finding examples, or ideas for proofs.
----------------
Moderator: Computers and Technology; Medical Science; Science Projects and Homework; Philosophy of Science; Physics and Mathematics; Environmental Studies
