2-sat——暴力染色输出方案hdu1814