Solution

Optimality

A solution is optimal, if there is no other solution with a better rating.

\[ \begin{aligned} &optimal(X) = \begin{cases} \;\;wahr, & \text{if} X = (x_{11},...,x_{DS})\\ &best \ rating(X)\\ \;\;false, & \text{otherwise}. \end{cases} \end{aligned} \]

wide screen
  1. solution
    1. Solution.html
  1. solution
    1. Solution.html
    2. optimization
      1. OptimizationEventTest
        1. riscv.csv
        2. riscv.csv.html
        3. splitcells-XPS-15-9570.csv
        4. splitcells-XPS-15-9570.csv.html
        5. test_equals_ofEqualPair__
          1. riscv.csv
          2. riscv.csv.html
          3. splitcells-XPS-15-9570.csv
          4. splitcells-XPS-15-9570.csv.html
        6. test_equals_ofPairWithDifferentSupplies__
          1. riscv.csv
          2. riscv.csv.html
          3. splitcells-XPS-15-9570.csv
          4. splitcells-XPS-15-9570.csv.html
      2. meta
        1. BacktrackingTest
          1. riscv.csv
          2. riscv.csv.html
          3. splitcells-XPS-15-9570.csv
          4. splitcells-XPS-15-9570.csv.html
          5. testBranching__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html
          6. testSimplestCase__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html
      3. primitive
        1. ConstraintGroupBasedOfflineRepairTest
          1. riscv.csv
          2. riscv.csv.html
          3. splitcells-XPS-15-9570.csv
          4. splitcells-XPS-15-9570.csv.html
          5. test_demandGrouping__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html
          6. test_removal_of_defying_group__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html
          7. test_repair_of_defying_group__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html
        2. ConstraintGroupBasedRepairTest
          1. riscv.csv
          2. riscv.csv.html
          3. splitcells-XPS-15-9570.csv
          4. splitcells-XPS-15-9570.csv.html
          5. test_demandGrouping__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html
          6. test_removal_of_defying_group__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html
          7. test_repair_of_defying_group__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html
        3. ConstraintGroupbasedrepairTest
          1. splitcells-XPS-15-9570.csv
          2. splitcells-XPS-15-9570.csv.html
          3. test_demandGrouping__
            1. splitcells-XPS-15-9570.csv
            2. splitcells-XPS-15-9570.csv.html
          4. test_removal_of_defying_group__
            1. splitcells-XPS-15-9570.csv
            2. splitcells-XPS-15-9570.csv.html
          5. test_repair_of_defying_group__
            1. splitcells-XPS-15-9570.csv
            2. splitcells-XPS-15-9570.csv.html
        4. TemplateInitializerTest
          1. riscv.csv
          2. riscv.csv.html
          3. splitcells-XPS-15-9570.csv
          4. splitcells-XPS-15-9570.csv.html
          5. testTemplate__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html
      4. space
        1. EnumerableOptimizationSpaceTest
          1. riscv.csv
          2. riscv.csv.html
          3. splitcells-XPS-15-9570.csv
          4. splitcells-XPS-15-9570.csv.html
          5. testDiscoveryPath__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html
          6. testSimpleHistory__
            1. riscv.csv
            2. riscv.csv.html
            3. splitcells-XPS-15-9570.csv
            4. splitcells-XPS-15-9570.csv.html