Enumeration of Lozenge tilings of halved hexagons with a boundary defect (Q888637)

Summary: We generalize a special case of a theorem of Proctor on the enumeration of lozenge tilings of a hexagon with a maximal staircase removed using Kuo's graphical condensation method. Additionally, we prove a formula for a weighted version of the given region. The result also extends work of \textit{M. Ciucu} and \textit{I. Fischer} [J. Comb. Theory, Ser. A 133, Article ID 4663, 228--250 (2015; Zbl 1315.05076)]. By applying the factorization theorem of Ciucu, we are also able to generalize a special case of MacMahon's boxed plane partition formula.