Strong perfect graph conjecture