Details for entry \(A_4(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)]
  ) : 4418468947289
• construction_ST_B_recursive ( ) : 4416371770636
• JohnsonLB ( ) : 4416324353054
• LiuChangFeng2019_Theo_3_12 ( ) : 4416305970844
• LiuChangFeng2019_Theo_3_14 ( ) : 4415293751296
• construction_ST_B ( ) : 4415293751296
• two_pivot_block_construction ( ) : 4415293751296
• CKMP2019_Cor_45 ( show
  (7,),(2,),(1,)
  ) : 4404130527056
• CKMP2019_Cor_42 ( (4, 7) ) : 4404130264912
• CKMP2019_Lem_41 ( (4, 7) ) : 4404130264912
• generalized_linkage ( 4,0 ) : 4404130264912
• generalized_linkage_multipleblocks ( show
  [4, 7],[0, 0]
  ) : 4404130264912
• improved_linkage ( 4 ) : 4399125068709
• multicomponent ( ) : 4399120318465
• LiuChangFeng2019_Theo_2_6 ( ) : 4398052359836
• linkage_GLT ( 4 ) : 4398046577932
• LMRD ( ) : 4398046511104
• ChenHeWengXu2019_T31 ( ) : 1105595314756
• graham_sloane ( ) : 74754799185
• sphere_covering ( ) : 56289358341
• HKK_lemma_2_4_lower_bound ( ) : 17518560660
• trivial_1 ( ) : 0

Upper bounds

• improved_johnson ( ) : 4783502911565
• Ahlswede_Aydinian ( 0, 10, o ) : 4783502911571
• ilp_1 ( 1 ) : 4783502911571
• johnson_1 ( ) : 4783502911571
• anticode ( ) : 4784379011002
• ilp_2 ( 3 ) : 4784379011002
• linear_programming_bound ( ) : 4784379011002
• singleton ( ) : 6354157930725
• ilp_4 ( 10 ) : 19138392143444
• johnson_2 ( ) : 19138392143444
• HKK_lemma_2_4_upper_bound ( ) : 76623723970196
• ilp_3 ( 5 ) : 306494895880785
• all_subs ( ) : 104514759495347685
• sphere_packing ( ) : 104514759495347685

Bound for codes containing the lifted MRD code

Do you have better bounds?