Does any linear encoding where all co-efficients are -1, 0, 1 exist?> > > > Thank you!There is a general method for modelling alternative constraint groups of the formeither {f1(x) <= 0 and f2(x) <= 0 and ... and fr(x) <=0} or{g1(x) <= 0 and g2(x) <= 0 and ... and gs(x) <=0}.Let F1,F2,...,Fr > 0 be known upper bounds on f1(x),..., fr(x) and let G1,...,Gs be defined