Calculate more numerically accurate lower bound.

In roof duality, we convert a bqm to a posiform , convert its coefficients to integer coefficients, then convert it to an implication graph and find the max flow. We use the max flow to compute the lower bound of the bqm, but we may be able to take the original posiform use the fixed variables and find the lower bound. This will bypass the float-to-integer and integer-to-float conversions and provide a more accurate lower bound. We need to find out a way how to use the original posiform since roof duality will not fix all the variables in the posiform.

Beginne damit, den Ablauf der roof duality vom BQM über die posiform, fixed variables, den implication graph und max flow nachzuverfolgen. Ermittle, wie die ursprüngliche posiform die lower bound ohne float-to-integer- und integer-to-float-Konvertierungen erzeugen könnte, einschließlich der Variablen, die roof duality nicht festlegt; abgeschlossen ist die Aufgabe, wenn eine numerisch genauere lower bound erreicht wird.

Vom Indexierungsmodell aus dem Issue-Text verfasst.