Proper-parent face inequality (14): $Q^\circ(Y)\le D^\circ(Y)+(n-|S|)+\#\{u\in S:Y\cap(R_u\cup T_u)\neq\varnothing\}$ (Erdős 624)

Initializing...

Proper-parent face inequality (14): $Q^\circ(Y)\le D^\circ(Y)+(n-|S|)+\#\{u\in S:Y\cap(R_u\cup T_u)\neq\varnothing\}$ (Erdős 624) · Prove2Me