Details for entry \(A_4(12,4;5)\)

Lower bounds

• JohnsonLB ( ) : 72427784145573711
• ef_computation ( show
  [(0, 1, 2, 3, 4), (0, 1, 2, 5, 6), (0, 1, 3, 5, 7), (0, 2, 4, 5, 7), (0, 1, 3, 6, 8), (0, 2, 3, 6, 7), (2, 3, 4, 5, 6), (1, 2, 3, 5, 8), (0, 1, 2, 7, 8), (0, 1, 4, 6, 7), (0, 1, 4, 5, 8), (0, 2, 3, 5, 9), (1, 2, 3, 6, 9), (1, 2, 4, 6, 8), (1, 3, 4, 5, 9), (1, 2, 4, 5, 10), (0, 2, 4, 6, 9), (0, 1, 2, 9, 10), (1, 2, 3, 7, 10), (1, 3, 4, 7, 8), (1, 2, 4, 7, 9), (0, 3, 4, 5, 10), (1, 3, 4, 6, 10), (0, 3, 4, 7, 9), (0, 2, 3, 8, 10), (0, 3, 4, 6, 11), (0, 1, 3, 9, 11), (2, 3, 4, 8, 9), (1, 3, 5, 6, 11), (2, 3, 4, 7, 11), (1, 2, 5, 7, 11), (0, 2, 4, 8, 11), (2, 5, 6, 7, 8), (0, 1, 4, 10, 11), (2, 4, 6, 7, 10), (0, 3, 5, 8, 11), (1, 5, 6, 7, 9), (0, 4, 6, 8, 10), (2, 3, 6, 8, 11), (0, 3, 6, 9, 10), (0, 2, 5, 10, 11), (0, 5, 6, 8, 9), (0, 2, 7, 9, 11), (1, 2, 6, 10, 11), (3, 5, 6, 7, 10), (0, 5, 6, 7, 11), (1, 5, 6, 8, 10), (0, 4, 5, 9, 11), (1, 3, 8, 9, 10), (1, 4, 6, 9, 11), (1, 2, 8, 9, 11), (0, 5, 7, 8, 10), (3, 5, 7, 8, 9), (2, 5, 7, 9, 10), (2, 5, 6, 9, 11), (4, 5, 6, 8, 11), (0, 3, 7, 10, 11), (4, 5, 6, 9, 10), (4, 6, 7, 8, 9), (1, 6, 7, 8, 11), (4, 5, 7, 10, 11), (2, 6, 8, 9, 10), (3, 6, 7, 9, 11), (3, 4, 8, 10, 11), (2, 3, 9, 10, 11), (1, 5, 9, 10, 11), (2, 7, 8, 10, 11), (0, 8, 9, 10, 11)]
  ) : 72365946973340753
• LiuChangFeng2019_Theo_3_16 ( ) : 72362503800095061
• LiuChangFeng2019_Theo_3_12 ( ) : 72341722747153984
• construction_ST_B_recursive ( ) : 72341276644607041
• LiuChangFeng2019_Theo_3_14 ( ) : 72341211666448384
• two_pivot_block_construction ( ) : 72340172821233664
• CKMP2019_Cor_45 ( show
  (7,),(3,),(2,)
  ) : 72064084727475776
• CKMP2019_Cor_42 ( (5, 7) ) : 72064084459040320
• CKMP2019_Lem_41 ( (5, 7) ) : 72064084459040320
• generalized_linkage ( 5,0 ) : 72064084459040320
• generalized_linkage_multipleblocks ( show
  [5, 7],[0, 0]
  ) : 72064084459040320
• LiuChangFeng2019_Theo_2_6 ( ) : 72059148258815552
• improved_linkage ( 5 ) : 72058699509800512
• multicomponent ( ) : 72058693550604289
• LMRD ( ) : 72057594037927936
• HKK_lemma_2_4_lower_bound ( ) : 1132416612904260
• ChenHeWengXu2019_T31 ( ) : 1132390327953919
• graham_sloane ( ) : 306494895880785
• sphere_covering ( ) : 230109875100528

Upper bounds

• improved_johnson ( ) : 78449517889004877
• Ahlswede_Aydinian ( 0, 11, o ) : 78449517889004879
• linear_programming_bound ( ) : 78463885932624465
• HKK_lemma_2_4_upper_bound ( ) : 313927397105894036

Bound for codes containing the lifted MRD code

Do you have better bounds?