Skip to content

Commit

Permalink
Merge pull request #1325 from ZenithalHourlyRate:doc-relin-ilp-fix
Browse files Browse the repository at this point in the history
PiperOrigin-RevId: 720542772
  • Loading branch information
copybara-github committed Jan 28, 2025
2 parents 323f2f5 + ce758eb commit 6933be8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/content/en/docs/Design/relinearization_ilp.md
Original file line number Diff line number Diff line change
Expand Up @@ -184,7 +184,7 @@ They can be thought of as implementing this (non-linear) constraint for each
operation $o$:

\\\[ \\textup{KB}\_{\\textup{result}(o)} = \\begin{cases}
\\textup{KB}^{br}\_{\\textup{result(o)}} & \\text{ if } R_o = 0 \\ 1 & \\text{
\\textup{KB}^{br}\_{\\textup{result(o)}} & \\text{ if } R_o = 0 \\\\ 1 & \\text{
if } R_o = 1 \\end{cases} \\\]

Note that $\\textup{KB}^{br}\_{\\textup{result}(o)}$ is constrained by one of
Expand All @@ -202,7 +202,7 @@ The four constraints are:

\\\[ \\begin{aligned} \\textup{KB}\_\\textup{result}(o) &\\geq \\textup{ R}\_o
\\\
\\textup{KB}\\\_\\textup{result}(o) &\\leq 1 + C(1 – \\textup{R}\_o)
\\textup{KB}\_\\textup{result}(o) &\\leq 1 + C(1 – \\textup{R}\_o)
\\\
\\textup{KB}\_\\textup{result}(o) &\\geq
\\textup{KB}^{br}\_{\\textup{result}(o)} – C \\textup{ R}\_o
Expand Down

0 comments on commit 6933be8

Please sign in to comment.