codeforces 776D-The Door Problem 2-sat模板题