Details for entry \(A_9(11,4;5)\)

Lower bounds

• JohnsonLB ( ) : 79780119907554209858239
• JohnsonLB_special ( ) : 79780119907554209858239
• ef_computation ( show
  [(0, 1, 2, 3, 4), (0, 1, 2, 5, 6), (0, 1, 3, 5, 7), (0, 2, 3, 6, 7), (0, 1, 3, 6, 8), (1, 2, 3, 5, 8), (1, 3, 4, 5, 6), (0, 2, 4, 5, 7), (0, 1, 4, 6, 7), (0, 1, 2, 7, 8), (0, 1, 4, 5, 8), (0, 2, 3, 5, 9), (1, 2, 4, 5, 9), (1, 2, 3, 6, 9), (1, 2, 4, 6, 8), (1, 2, 3, 7, 10), (0, 1, 2, 9, 10), (0, 3, 4, 7, 8), (0, 3, 4, 6, 9), (0, 3, 4, 5, 10), (0, 2, 4, 6, 10), (0, 2, 3, 8, 10), (1, 3, 4, 7, 9), (0, 2, 4, 8, 9), (2, 3, 5, 6, 10), (1, 3, 4, 8, 10), (2, 3, 4, 9, 10), (1, 4, 5, 7, 10), (0, 5, 6, 7, 8), (1, 5, 6, 7, 9), (2, 4, 6, 7, 9), (1, 3, 5, 9, 10), (2, 4, 5, 8, 10), (2, 3, 7, 8, 9), (3, 4, 5, 8, 9), (3, 4, 6, 7, 10), (1, 5, 6, 8, 10), (2, 5, 6, 8, 9), (0, 3, 7, 9, 10), (1, 4, 6, 9, 10), (0, 5, 6, 9, 10), (3, 5, 7, 8, 10), (2, 6, 7, 8, 10), (2, 5, 7, 9, 10), (3, 6, 8, 9, 10), (4, 7, 8, 9, 10)]
  ) : 79778765937442628779462
• two_pivot_block_construction ( ) : 79778602595634183667712
• LiuChangFeng2019_Theo_2_6 ( ) : 79766613986141545328322
• CKMP2019_Cor_45 ( show
  (6,),(3,),(2,)
  ) : 79766445184286853559203
• CKMP2019_Cor_42 ( (5, 6) ) : 79766445184004424022722
• CKMP2019_Lem_41 ( (5, 6) ) : 79766445184004424022722
• generalized_linkage ( 5,0 ) : 79766445184004424022722
• generalized_linkage_multipleblocks ( show
  [5, 6],[0, 0]
  ) : 79766445184004424022722
• improved_linkage ( 5 ) : 79766443282795839098899
• multicomponent ( ) : 79766443282763642017060
• linkage_GLT ( 5 ) : 79766443076872509863362
• LMRD ( ) : 79766443076872509863361
• HKK_lemma_2_4_lower_bound ( ) : 984925414868117866506
• graham_sloane ( ) : 12328630051958712010
• ChenHeWengXu2019_T31 ( ) : 12159772590971088161
• sphere_covering ( ) : 10958988477928346703
• trivial_1 ( ) : 0

Upper bounds

• Ahlswede_Aydinian ( 1, 4 ) : 80888158680028065991810
• anticode ( ) : 80888158680028065991810
• ilp_1 ( 1 ) : 80888158680028065991810
• ilp_2 ( 4 ) : 80888158680028065991810
• improved_johnson ( ) : 80888158680028065991810
• johnson_1 ( ) : 80888158680028065991810
• linear_programming_bound ( ) : 80888158680028065991810
• singleton ( ) : 90997618413507253345810
• ilp_4 ( 9 ) : 727896015052249128310601
• johnson_2 ( ) : 727896015052249128310601
• ilp_3 ( 6 ) : 727994645765272615423595
• all_subs ( ) : 48360684318187059842589436510
• sphere_packing ( ) : 48360684318187059842589436510

Bound for codes containing the lifted MRD code

Do you have better bounds?