Relaxamento SDP do conjunto independente

Estou vendo a página 28 de Lovasz "Programas semidefinidos e otimização combinatória" e fornece a seguinte aproximação do número de independência do gráfico maxu′Zumaxu′Zu\max u' Z u sujeito a Z≻0Z≻0Z\succ 0 Zij=0 ∀ij∈E(G)Zij=0 ∀ij∈E(G)Z_{ij}=0 \ \forall ij\in E(G) tr(Z)=1tr(Z)=1tr(Z)=1 Posso...