Smallest eigenvalue가 람다일때 특정 그래프를 subgraph, induced subgraph, minor 등등 으로 안가진다/가진다 관련된 정리들이 있나