http://www.cs.princeton.edu/~wayne/kleinberg-tardos/pdf/01StableMatching.pdf
سوال کانتست بیان هم بود که خواسته بود تعداد حالتها را بشماریم. توی اسلایدها نوشته بود PSPACE است و حالتی از independent set است.