Details for entry \(A_2(11,4;4)\)

Lower bounds

• ef_computation ( show
  [(0, 1, 2, 3), (0, 1, 4, 5), (1, 2, 4, 6), (2, 3, 4, 5), (0, 3, 4, 6), (0, 2, 5, 6), (0, 2, 4, 7), (1, 3, 4, 7), (0, 1, 6, 7), (1, 2, 5, 7), (1, 3, 5, 6), (0, 3, 5, 7), (2, 3, 6, 7), (0, 1, 8, 9), (4, 5, 6, 7), (2, 3, 8, 9), (0, 2, 8, 10), (1, 3, 8, 10), (1, 2, 9, 10), (0, 3, 9, 10), (4, 5, 8, 9), (4, 6, 8, 10), (5, 6, 9, 10), (5, 7, 8, 10), (4, 7, 9, 10), (6, 7, 8, 9)]
  ) : 2383041
• greedy_multicomponent ( show
  [(0, 1, 2, 3), (0, 1, 4, 5), (0, 2, 4, 6), (2, 3, 4, 5), (1, 2, 4, 7), (1, 2, 5, 6), (1, 3, 4, 6), (0, 1, 6, 7), (0, 2, 5, 7), (0, 3, 4, 7), (0, 3, 5, 6), (1, 3, 5, 7), (2, 3, 6, 7), (0, 1, 8, 9), (4, 5, 6, 7), (0, 2, 8, 10), (2, 3, 8, 9), (1, 2, 9, 10), (1, 3, 8, 10), (0, 3, 9, 10), (4, 5, 8, 9), (4, 6, 8, 10), (5, 6, 9, 10), (4, 7, 9, 10), (5, 7, 8, 10), (6, 7, 8, 9)]
  ) : 2383041
• CKMP2019_Cor_45 ( show
  (7,),(2,),(1,)
  ) : 2272822
• CKMP2019_Cor_42 ( (4, 7) ) : 2272310
• CKMP2019_Lem_41 ( (4, 7) ) : 2272310
• generalized_linkage ( 4,0 ) : 2272310
• generalized_linkage_multipleblocks ( show
  [4, 7],[0, 0]
  ) : 2272310
• construction_ST_B_recursive ( ) : 2272205
• JohnsonLB ( ) : 2269321
• LiuChangFeng2019_Theo_3_12 ( ) : 2265438
• LiuChangFeng2019_Theo_3_14 ( ) : 2236928
• construction_ST_B ( ) : 2236928
• two_pivot_block_construction ( ) : 2236928
• improved_linkage ( 4 ) : 2134417
• multicomponent ( ) : 2130177
• LiuChangFeng2019_Theo_2_6 ( ) : 2101598
• linkage_GLT ( 4 ) : 2097485
• LMRD ( ) : 2097152
• ChenHeWengXu2019_T31 ( ) : 1223401
• graham_sloane ( ) : 423181
• sphere_covering ( ) : 227303
• HKK_lemma_2_4_lower_bound ( ) : 195052
• trivial_1 ( ) : 0

Upper bounds

• improved_johnson ( ) : 3370315
• Ahlswede_Aydinian ( 0, 10, o ) : 3370317
• ilp_1 ( 1 ) : 3370317
• johnson_1 ( ) : 3370317
• anticode ( ) : 3397064
• ilp_2 ( 3 ) : 3397064
• linear_programming_bound ( ) : 3397064
• singleton ( ) : 6347715
• ilp_4 ( 10 ) : 6820878
• johnson_2 ( ) : 6820878
• HKK_lemma_2_4_upper_bound ( ) : 13971798
• ilp_3 ( 5 ) : 27943597
• all_subs ( ) : 866251507
• sphere_packing ( ) : 866251507

Bound for codes containing the lifted MRD code

Do you have better bounds?