Now I'm wondering if the sufficient&necessary constraint for min(a1,b1)=1 is that, the number of (1,1) pairs is greater than the number of (0,0) pairs. It seems to be right...? Still, any counterexamples? QwQ Thanks.
UPDATED:Wondering another conclusion to CF2229D
Now I'm wondering if the sufficient&necessary constraint for min(a1,b1)=1 is that, the number of (1,1) pairs is greater than the number of (0,0) pairs. It seems to be right...? Still, any counterexamples? QwQ Thanks.