Details for entry \(A_2(17,10;8)\)

Lower bounds

• greedy_multicomponent ( show
  [(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 2, 8, 9, 10, 11, 12), (3, 4, 5, 8, 9, 10, 13, 14), (0, 6, 7, 8, 9, 13, 15, 16), (0, 3, 4, 11, 12, 14, 15, 16)]
  ) : 68719480899
• ef_computation ( show
  [(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 2, 8, 9, 10, 11, 12), (3, 4, 5, 9, 10, 11, 15, 16), (2, 4, 6, 8, 9, 13, 14, 16), (0, 3, 7, 8, 10, 13, 14, 15), (1, 6, 7, 11, 12, 14, 15, 16)] (if conjecture about Ferrers Diagram Rank-Metric Codes is true: 68719509665)
  ) : 68719480889
• generalized_linkage ( 8,0 ) : 68719476770
• generalized_linkage_multipleblocks ( show
  [8, 9],[0, 0]
  ) : 68719476770
• CKMP2019_Cor_42 ( (8, 9) ) : 68719476737
• CKMP2019_Lem_41 ( (8, 9) ) : 68719476737
• LiuChangFeng2019_Theo_2_6 ( ) : 68719476737
• improved_linkage ( 8 ) : 68719476737
• multicomponent ( ) : 68719476737
• LMRD ( ) : 68719476736
• JohnsonLB ( ) : 68585522691
• JohnsonLB_special ( ) : 68585522691
• HKK_lemma_2_4_lower_bound ( ) : 2147487792
• sphere_covering ( ) : 372938
• graham_sloane ( ) : 56

Upper bounds

• improved_johnson ( ) : 71873440257
• Ahlswede_Aydinian ( 0, 16, o ) : 71873440261
• linear_programming_bound ( ) : 72906102923

Bound for codes containing the lifted MRD code

Do you have better bounds?