Which smooth compact 4-manifolds admit an Einstein metric with non-negative Einstein constant? A complete answer is provided in the special case of 4-manifolds that also happen to admit either a complex structure or a symplectic structure. A Riemannian manifold (M, g) is said to be Einstein if it has constant Ricci curvature, in the sense that the function v −→ r(v, v) on the unit tangent bundl...