Details for entry \(A_7(10,4;3)\)

Lower bounds

• EF_Kurz2020_linkage_special ( ) : 680487816156
• generalized_linkage ( 7,0 ) : 680487816156
• generalized_linkage_multipleblocks ( show
  [7, 3],[0, 0]
  ) : 680487816156
• CKMP2019_Cor_42 ( (7, 3) ) : 680487816100
• CKMP2019_Lem_41 ( (7, 3) ) : 680487816100
• improved_linkage ( 7 ) : 680487816100
• linkage_GLT ( 7 ) : 680487816100
• linkage_ST ( 3 ) : 680487816100
• construction_D ( 3 ) : 680487816099
• construction_1 ( ) : 678559489756
• construction_ST_A_1 ( ) : 678559489756
• pending_dots ( show
  optimal [(0, 1, 2), (0, 3, 6), (0, 3, 8), (0, 3, 9), (0, 4, 5), (0, 4, 6), (0, 4, 7), (0, 5, 7), (0, 6, 9), (0, 7, 9), (1, 3, 4), (1, 3, 5), (1, 3, 7), (1, 4, 8), (1, 4, 9), (1, 5, 6), (1, 5, 8), (1, 5, 9), (1, 6, 7), (1, 6, 8), (1, 7, 8), (1, 8, 9)] (if conjecture about Ferrers Diagram Rank-Metric Codes is true: 678559489756 with optimal [(0, 1, 2), (0, 3, 6), (0, 3, 8), (0, 3, 9), (0, 4, 5), (0, 4, 6), (0, 4, 7), (0, 5, 7), (0, 6, 9), (0, 7, 9), (1, 3, 4), (1, 3, 5), (1, 3, 7), (1, 4, 8), (1, 4, 9), (1, 5, 6), (1, 5, 8), (1, 5, 9), (1, 6, 7), (1, 6, 8), (1, 7, 8), (1, 8, 9)])
  ) : 678559489756
• echelon_ferrers ( show
  optimal [(0, 1, 2), (0, 3, 4), (0, 5, 6), (0, 7, 8), (1, 3, 5), (1, 4, 6), (1, 7, 9), (2, 3, 6), (2, 4, 5), (2, 8, 9)] (if conjecture about Ferrers Diagram Rank-Metric Codes is true: 678558372556 with optimal [(0, 1, 2), (0, 3, 4), (0, 5, 6), (0, 7, 8), (1, 3, 5), (1, 4, 6), (1, 7, 9), (2, 3, 6), (2, 4, 5), (2, 8, 9)])
  ) : 678558372556
• ef_computation ( show
  [(0, 1, 2), (2, 3, 4), (1, 3, 5), (0, 4, 5), (0, 3, 6), (1, 4, 6), (2, 5, 6), (0, 7, 8), (5, 7, 9), (4, 8, 9)]
  ) : 678558372556
• construction_ST_B_recursive ( ) : 678511449847
• two_pivot_block_construction ( ) : 678505665796
• multicomponent ( ) : 678505665748
• construction_ST_B ( ) : 678500013938
• JohnsonLB ( ) : 678237439602
• LMRD ( ) : 678223072849
• LiuChangFeng2019_Theo_2_6 ( ) : 678223072849
• graham_sloane ( ) : 14170959300
• sphere_covering ( ) : 12182067259
• HKK_lemma_2_4_lower_bound ( ) : 41194307
• trivial_1 ( ) : 0

Upper bounds

• improved_johnson ( ) : 694372064737
• Ahlswede_Aydinian ( 0, 9, o ) : 694372064743
• ilp_1 ( 1 ) : 694372064743
• johnson_1 ( ) : 694372064743
• anticode ( ) : 694377123693
• ilp_2 ( 2 ) : 694377123693
• linear_programming_bound ( ) : 694377123693
• singleton ( ) : 807744680100
• ilp_4 ( 9 ) : 4860644924807
• johnson_2 ( ) : 4860644924807
• HKK_lemma_2_4_upper_bound ( ) : 238270550158655
• ilp_3 ( 4 ) : 1667893851110586
• all_subs ( ) : 667157540444234400
• sphere_packing ( ) : 667157540444234400

Bound for codes containing the lifted MRD code

Do you have better bounds?