Details for entry \(A_9(13,4;3)\)

Lower bounds

• EF_Kurz2020_linkage_special ( ) : 12176215995921105826
• generalized_linkage ( 7,0 ) : 12176215995920451445
• generalized_linkage_multipleblocks ( show
  [7, 6],[0, 0]
  ) : 12176215995920451445
• CKMP2019_Cor_42 ( (10, 3) ) : 12176215995920434975
• CKMP2019_Lem_41 ( (10, 3) ) : 12176215995920434975
• improved_linkage ( 10 ) : 12176215995920434975
• linkage_GLT ( 10 ) : 12176215995920434975
• linkage_ST ( 3 ) : 12176215995920434975
• construction_D ( 3 ) : 12176215995920434974
• construction_1 ( ) : 12159776164859739406
• construction_ST_A_1 ( ) : 12159776164859739406
• ef_computation ( show
  [(0, 1, 2), (2, 3, 4), (1, 3, 5), (0, 4, 5), (0, 3, 6), (1, 4, 6), (2, 5, 6), (4, 7, 8), (5, 7, 9), (1, 8, 9), (1, 7, 10), (6, 7, 11), (5, 8, 10), (3, 7, 12), (0, 9, 10), (0, 8, 11), (2, 8, 12), (3, 9, 11), (2, 10, 11), (6, 9, 12), (4, 10, 12), (5, 11, 12)]
  ) : 12159772948307182006
• construction_ST_B_recursive ( ) : 12159541673416933220
• construction_ST_B ( ) : 12159519040703644247
• two_pivot_block_construction ( ) : 12159518761718370304
• multicomponent ( ) : 12159518761718364574
• JohnsonLB ( ) : 12157945621362139132
• LMRD ( ) : 12157665459056928801
• LiuChangFeng2019_Theo_2_6 ( ) : 12157665459056928801
• graham_sloane ( ) : 152179569356776966
• sphere_covering ( ) : 135456539795546939
• HKK_lemma_2_4_lower_bound ( ) : 285959905614
• trivial_1 ( ) : 0

Upper bounds

• Ahlswede_Aydinian ( 1, 2 ) : 12326545118286886906
• anticode ( ) : 12326545118286886906
• ilp_1 ( 1 ) : 12326545118286886906
• ilp_2 ( 2 ) : 12326545118286886906
• improved_johnson ( ) : 12326545118286886906
• johnson_1 ( ) : 12326545118286886906
• linear_programming_bound ( ) : 12326545118286886906
• singleton ( ) : 13848340811466703906
• ilp_4 ( 12 ) : 110938903802042068385
• johnson_2 ( ) : 110938903802042068385
• HKK_lemma_2_4_upper_bound ( ) : 6551829931064718363686280
• ilp_3 ( 4 ) : 58966470597204605006393398
• all_subs ( ) : 48352505889707776105242586606
• sphere_packing ( ) : 48352505889707776105242586606

Bound for codes containing the lifted MRD code

Do you have better bounds?