我用的状压+容斥，虽然听说可以不用状压，容斥再加上前面的思维难度应该不止绿题吧