Details for entry \(A_8(13,4;4)\)

Lower bounds

• EF_Kurz2020_linkage_special ( ) : 2418546150658513179095553
• CKMP2019_Cor_45 ( show
  (5,),(2,),(1,)
  ) : 2418546150622126921477496
• CKMP2019_Cor_42 ( (8, 5) ) : 2418546150622058202000760
• CKMP2019_Lem_41 ( (8, 5) ) : 2418546150622058202000760
• generalized_linkage ( 8,0 ) : 2418546150622058202000760
• generalized_linkage_multipleblocks ( show
  [8, 5],[0, 0]
  ) : 2418546150622058202000760
• noted_linkage_special ( ) : 2418546150622048540721664
• improved_linkage ( 8 ) : 2418546150621978610929720
• linkage_GLT ( 8 ) : 2418546150621978594115585
• linkage_ST ( 5 ) : 2418546150621978594115585
• construction_D ( 5 ) : 2418546150621978594115584
• ChenHeWengXu2019_T31 ( ) : 2418535471280204166374177
• 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), (4, 5, 6, 7), (0, 1, 8, 9), (0, 2, 8, 10), (2, 3, 8, 9), (1, 3, 8, 10), (1, 2, 9, 10), (1, 2, 8, 11), (0, 2, 9, 11), (0, 3, 9, 10), (0, 3, 8, 11), (4, 5, 8, 9), (0, 1, 10, 11), (1, 3, 9, 11), (5, 6, 8, 10), (1, 4, 8, 12), (2, 3, 10, 11), (3, 5, 8, 12), (4, 6, 8, 11), (2, 4, 9, 12), (6, 7, 8, 9), (4, 7, 8, 10), (4, 6, 9, 10), (0, 4, 10, 12), (4, 5, 10, 11), (0, 6, 8, 12), (5, 7, 9, 10), (1, 5, 9, 12), (5, 6, 9, 11), (5, 7, 8, 11), (4, 7, 9, 11), (2, 7, 8, 12), (3, 6, 9, 12), (3, 4, 11, 12), (2, 5, 10, 12), (1, 6, 10, 12), (0, 5, 11, 12), (0, 7, 9, 12), (6, 7, 10, 11), (2, 6, 11, 12), (3, 7, 10, 12), (1, 7, 11, 12), (8, 9, 10, 12)]
  ) : 2418464437346874168816129
• construction_ST_B_recursive ( ) : 2418451304849577897765415
• LiuChangFeng2019_Theo_3_12 ( ) : 2418451158412290772954488
• LiuChangFeng2019_Theo_3_14 ( ) : 2418442079189998092943360
• construction_ST_B ( ) : 2418442079189998092943360
• two_pivot_block_construction ( ) : 2418442079189998092943360
• JohnsonLB ( ) : 2418378531238095137155987
• multicomponent ( ) : 2417860862636479593054209
• LiuChangFeng2019_Theo_2_6 ( ) : 2417851639229895212526968
• LMRD ( ) : 2417851639229258349412352
• graham_sloane ( ) : 4807886587262397096513
• sphere_covering ( ) : 4207928121345417102929
• HKK_lemma_2_4_lower_bound ( ) : 9243669021659341896
• trivial_1 ( ) : 0

Upper bounds

• Ahlswede_Aydinian ( 0, 11, o ) : 2461637806582025740129281
• ilp_1 ( 1 ) : 2461637806582025740129281
• improved_johnson ( ) : 2461637806582025740129281
• johnson_1 ( ) : 2461637806582025740129281
• anticode ( ) : 2461637934966448599463830
• ilp_2 ( 3 ) : 2461637934966448599463830
• linear_programming_bound ( ) : 2461637934966448599463830
• singleton ( ) : 2812613653548502301460105
• ilp_4 ( 12 ) : 19693103608115530501235271
• johnson_2 ( ) : 19693103608115530501235271
• HKK_lemma_2_4_upper_bound ( ) : 10083176686364197429101569032
• ilp_3 ( 5 ) : 80665413490915554155830256193
• all_subs ( ) : 377594800550975709003441429239433
• sphere_packing ( ) : 377594800550975709003441429239433

Bound for codes containing the lifted MRD code

Do you have better bounds?