RsBundle  Diff

Differences From Artifact [f8fd08c306]:

  • File src/solver.rs — part of check-in [86f5e96862] at 2017-02-28 10:56:45 on branch trunk — solver: add `center` and `candidate` methods. (user: fifr size: 33227)

To Artifact [e18c9059e9]:

  • File src/solver.rs — part of check-in [5e794600f2] at 2017-03-03 15:41:16 on branch trunk — solver: set center value of newly separated variables correctly. The former implementation only worked with new variables being centered at 0. (user: fifr size: 33324)

603
604
605
606
607
608
609
610

611
612
613
614
615
616
617
618
619

620
621
622
623
624
625
626
627

628
629
630
631
632
633
634

635
636

637
638
639
640
641
642
643
603
604
605
606
607
608
609

610
611
612
613
614
615
616
617
618

619
620
621
622
623
624
625
626

627
628
629
630
631
632
633

634
635

636
637
638
639
640
641
642
643







-
+








-
+







-
+






-
+

-
+







                    let value = if lower > 0.0 {
                        lower
                    } else if upper < 0.0 {
                        upper
                    } else {
                        0.0
                    };
                    newvars.push((lower - value, upper - value));
                    newvars.push((lower - value, upper - value, value));
                }
                Update::AddVariableValue { lower, upper, value } => {
                    if lower > upper {
                        return Err(Error::InvalidBounds(lower, upper));
                    }
                    if value < lower || value > upper {
                        return Err(Error::ViolatedBounds(lower, upper, value));
                    }
                    newvars.push((lower - value, upper - value));
                    newvars.push((lower - value, upper - value, value));
                }
            }
        }

        if !newvars.is_empty() {
            let mut problem = &mut self.problem;
            let minorants = &self.minorants;
            self.master.add_vars(&newvars,
            self.master.add_vars(&newvars.iter().map(|v| (v.1, v.2)).collect::<Vec<_>>(),
                                 &mut move |fidx, minidx, vars| {
                                     problem.extend_subgradient(minorants[fidx][minidx].primal.as_ref().unwrap(), vars)
                                         .map(DVector)
                                         .unwrap()
                                 });
            let newn = self.cur_y.len() + newvars.len();
            self.cur_y.resize(newn, 0.0);
            self.cur_y.extend(newvars.iter().map(|v| v.2));
            self.nxt_d.resize(newn, 0.0);
            self.nxt_y.resize(newn, 0.0);
            self.nxt_y.extend(newvars.iter().map(|v| v.2));
            Ok(true)
        } else {
            Ok(false)
        }
    }

    /// Return the current aggregated primal information for a subproblem.