| ... | ... |
@@ -604,98 +604,113 @@ |
| 604 | 604 |
search_end: |
| 605 | 605 |
|
| 606 | 606 |
// Make heap of the candidate list (approximating a partial sort) |
| 607 | 607 |
make_heap( _candidates.begin(), _candidates.begin() + _curr_length, |
| 608 | 608 |
_sort_func ); |
| 609 | 609 |
|
| 610 | 610 |
// Pop the first element of the heap |
| 611 | 611 |
_in_arc = _candidates[0]; |
| 612 | 612 |
_next_arc = e; |
| 613 | 613 |
pop_heap( _candidates.begin(), _candidates.begin() + _curr_length, |
| 614 | 614 |
_sort_func ); |
| 615 | 615 |
_curr_length = std::min(_head_length, _curr_length - 1); |
| 616 | 616 |
return true; |
| 617 | 617 |
} |
| 618 | 618 |
|
| 619 | 619 |
}; //class AlteringListPivotRule |
| 620 | 620 |
|
| 621 | 621 |
public: |
| 622 | 622 |
|
| 623 | 623 |
/// \brief Constructor. |
| 624 | 624 |
/// |
| 625 | 625 |
/// The constructor of the class. |
| 626 | 626 |
/// |
| 627 | 627 |
/// \param graph The digraph the algorithm runs on. |
| 628 |
|
|
| 628 |
/// \param arc_mixing Indicate if the arcs have to be stored in a |
|
| 629 |
/// mixed order in the internal data structure. |
|
| 630 |
/// In special cases, it could lead to better overall performance, |
|
| 631 |
/// but it is usually slower. Therefore it is disabled by default. |
|
| 632 |
NetworkSimplex(const GR& graph, bool arc_mixing = false) : |
|
| 629 | 633 |
_graph(graph), _node_id(graph), _arc_id(graph), |
| 630 | 634 |
INF(std::numeric_limits<Value>::has_infinity ? |
| 631 | 635 |
std::numeric_limits<Value>::infinity() : |
| 632 | 636 |
std::numeric_limits<Value>::max()) |
| 633 | 637 |
{
|
| 634 | 638 |
// Check the value types |
| 635 | 639 |
LEMON_ASSERT(std::numeric_limits<Value>::is_signed, |
| 636 | 640 |
"The flow type of NetworkSimplex must be signed"); |
| 637 | 641 |
LEMON_ASSERT(std::numeric_limits<Cost>::is_signed, |
| 638 | 642 |
"The cost type of NetworkSimplex must be signed"); |
| 639 | 643 |
|
| 640 | 644 |
// Resize vectors |
| 641 | 645 |
_node_num = countNodes(_graph); |
| 642 | 646 |
_arc_num = countArcs(_graph); |
| 643 | 647 |
int all_node_num = _node_num + 1; |
| 644 | 648 |
int max_arc_num = _arc_num + 2 * _node_num; |
| 645 | 649 |
|
| 646 | 650 |
_source.resize(max_arc_num); |
| 647 | 651 |
_target.resize(max_arc_num); |
| 648 | 652 |
|
| 649 | 653 |
_lower.resize(_arc_num); |
| 650 | 654 |
_upper.resize(_arc_num); |
| 651 | 655 |
_cap.resize(max_arc_num); |
| 652 | 656 |
_cost.resize(max_arc_num); |
| 653 | 657 |
_supply.resize(all_node_num); |
| 654 | 658 |
_flow.resize(max_arc_num); |
| 655 | 659 |
_pi.resize(all_node_num); |
| 656 | 660 |
|
| 657 | 661 |
_parent.resize(all_node_num); |
| 658 | 662 |
_pred.resize(all_node_num); |
| 659 | 663 |
_forward.resize(all_node_num); |
| 660 | 664 |
_thread.resize(all_node_num); |
| 661 | 665 |
_rev_thread.resize(all_node_num); |
| 662 | 666 |
_succ_num.resize(all_node_num); |
| 663 | 667 |
_last_succ.resize(all_node_num); |
| 664 | 668 |
_state.resize(max_arc_num); |
| 665 | 669 |
|
| 666 |
// Copy the graph |
|
| 670 |
// Copy the graph |
|
| 667 | 671 |
int i = 0; |
| 668 | 672 |
for (NodeIt n(_graph); n != INVALID; ++n, ++i) {
|
| 669 | 673 |
_node_id[n] = i; |
| 670 | 674 |
} |
| 675 |
if (arc_mixing) {
|
|
| 676 |
// Store the arcs in a mixed order |
|
| 671 | 677 |
int k = std::max(int(std::sqrt(double(_arc_num))), 10); |
| 672 |
i = 0; |
|
| 678 |
int i = 0, j = 0; |
|
| 673 | 679 |
for (ArcIt a(_graph); a != INVALID; ++a) {
|
| 674 | 680 |
_arc_id[a] = i; |
| 675 | 681 |
_source[i] = _node_id[_graph.source(a)]; |
| 676 | 682 |
_target[i] = _node_id[_graph.target(a)]; |
| 677 |
if ((i += k) >= _arc_num) i = |
|
| 683 |
if ((i += k) >= _arc_num) i = ++j; |
|
| 684 |
} |
|
| 685 |
} else {
|
|
| 686 |
// Store the arcs in the original order |
|
| 687 |
int i = 0; |
|
| 688 |
for (ArcIt a(_graph); a != INVALID; ++a, ++i) {
|
|
| 689 |
_arc_id[a] = i; |
|
| 690 |
_source[i] = _node_id[_graph.source(a)]; |
|
| 691 |
_target[i] = _node_id[_graph.target(a)]; |
|
| 692 |
} |
|
| 678 | 693 |
} |
| 679 | 694 |
|
| 680 | 695 |
// Initialize maps |
| 681 | 696 |
for (int i = 0; i != _node_num; ++i) {
|
| 682 | 697 |
_supply[i] = 0; |
| 683 | 698 |
} |
| 684 | 699 |
for (int i = 0; i != _arc_num; ++i) {
|
| 685 | 700 |
_lower[i] = 0; |
| 686 | 701 |
_upper[i] = INF; |
| 687 | 702 |
_cost[i] = 1; |
| 688 | 703 |
} |
| 689 | 704 |
_have_lower = false; |
| 690 | 705 |
_stype = GEQ; |
| 691 | 706 |
} |
| 692 | 707 |
|
| 693 | 708 |
/// \name Parameters |
| 694 | 709 |
/// The parameters of the algorithm can be specified using these |
| 695 | 710 |
/// functions. |
| 696 | 711 |
|
| 697 | 712 |
/// @{
|
| 698 | 713 |
|
| 699 | 714 |
/// \brief Set the lower bounds on the arcs. |
| 700 | 715 |
/// |
| 701 | 716 |
/// This function sets the lower bounds on the arcs. |
0 comments (0 inline)