0
6
0
39
17
22
22
24
17
36
11
36
11
| ... | ... |
@@ -598,44 +598,44 @@ |
| 598 | 598 |
/// } |
| 599 | 599 |
///\endcode |
| 600 | 600 |
void start() |
| 601 | 601 |
{
|
| 602 | 602 |
while ( !emptyQueue() ) processNextNode(); |
| 603 | 603 |
} |
| 604 | 604 |
|
| 605 | 605 |
///Executes the algorithm until the given target node is reached. |
| 606 | 606 |
|
| 607 | 607 |
///Executes the algorithm until the given target node is reached. |
| 608 | 608 |
/// |
| 609 | 609 |
///This method runs the %BFS algorithm from the root node(s) |
| 610 |
///in order to compute the shortest path to \c |
|
| 610 |
///in order to compute the shortest path to \c t. |
|
| 611 | 611 |
/// |
| 612 | 612 |
///The algorithm computes |
| 613 |
///- the shortest path to \c dest, |
|
| 614 |
///- the distance of \c dest from the root(s). |
|
| 613 |
///- the shortest path to \c t, |
|
| 614 |
///- the distance of \c t from the root(s). |
|
| 615 | 615 |
/// |
| 616 | 616 |
///\pre init() must be called and at least one root node should be |
| 617 | 617 |
///added with addSource() before using this function. |
| 618 | 618 |
/// |
| 619 | 619 |
///\note <tt>b.start(t)</tt> is just a shortcut of the following code. |
| 620 | 620 |
///\code |
| 621 | 621 |
/// bool reach = false; |
| 622 | 622 |
/// while ( !b.emptyQueue() && !reach ) {
|
| 623 | 623 |
/// b.processNextNode(t, reach); |
| 624 | 624 |
/// } |
| 625 | 625 |
///\endcode |
| 626 |
void start(Node |
|
| 626 |
void start(Node t) |
|
| 627 | 627 |
{
|
| 628 | 628 |
bool reach = false; |
| 629 |
while ( !emptyQueue() && !reach ) processNextNode( |
|
| 629 |
while ( !emptyQueue() && !reach ) processNextNode(t, reach); |
|
| 630 | 630 |
} |
| 631 | 631 |
|
| 632 | 632 |
///Executes the algorithm until a condition is met. |
| 633 | 633 |
|
| 634 | 634 |
///Executes the algorithm until a condition is met. |
| 635 | 635 |
/// |
| 636 | 636 |
///This method runs the %BFS algorithm from the root node(s) in |
| 637 | 637 |
///order to compute the shortest path to a node \c v with |
| 638 | 638 |
/// <tt>nm[v]</tt> true, if such a node can be found. |
| 639 | 639 |
/// |
| 640 | 640 |
///\param nm A \c bool (or convertible) node map. The algorithm |
| 641 | 641 |
///will stop when it reaches a node \c v with <tt>nm[v]</tt> true. |
| ... | ... |
@@ -655,65 +655,65 @@ |
| 655 | 655 |
/// return rnode; |
| 656 | 656 |
///\endcode |
| 657 | 657 |
template<class NodeBoolMap> |
| 658 | 658 |
Node start(const NodeBoolMap &nm) |
| 659 | 659 |
{
|
| 660 | 660 |
Node rnode = INVALID; |
| 661 | 661 |
while ( !emptyQueue() && rnode == INVALID ) {
|
| 662 | 662 |
processNextNode(nm, rnode); |
| 663 | 663 |
} |
| 664 | 664 |
return rnode; |
| 665 | 665 |
} |
| 666 | 666 |
|
| 667 |
///Runs the algorithm from the given node. |
|
| 667 |
///Runs the algorithm from the given source node. |
|
| 668 | 668 |
|
| 669 | 669 |
///This method runs the %BFS algorithm from node \c s |
| 670 | 670 |
///in order to compute the shortest path to each node. |
| 671 | 671 |
/// |
| 672 | 672 |
///The algorithm computes |
| 673 | 673 |
///- the shortest path tree, |
| 674 | 674 |
///- the distance of each node from the root. |
| 675 | 675 |
/// |
| 676 | 676 |
///\note <tt>b.run(s)</tt> is just a shortcut of the following code. |
| 677 | 677 |
///\code |
| 678 | 678 |
/// b.init(); |
| 679 | 679 |
/// b.addSource(s); |
| 680 | 680 |
/// b.start(); |
| 681 | 681 |
///\endcode |
| 682 | 682 |
void run(Node s) {
|
| 683 | 683 |
init(); |
| 684 | 684 |
addSource(s); |
| 685 | 685 |
start(); |
| 686 | 686 |
} |
| 687 | 687 |
|
| 688 | 688 |
///Finds the shortest path between \c s and \c t. |
| 689 | 689 |
|
| 690 | 690 |
///This method runs the %BFS algorithm from node \c s |
| 691 |
///in order to compute the shortest path to \c t |
|
| 691 |
///in order to compute the shortest path to node \c t |
|
| 692 |
///(it stops searching when \c t is processed). |
|
| 692 | 693 |
/// |
| 693 |
///\return The length of the shortest <tt>s</tt>--<tt>t</tt> path, |
|
| 694 |
///if \c t is reachable form \c s, \c 0 otherwise. |
|
| 694 |
///\return \c true if \c t is reachable form \c s. |
|
| 695 | 695 |
/// |
| 696 | 696 |
///\note Apart from the return value, <tt>b.run(s,t)</tt> is just a |
| 697 | 697 |
///shortcut of the following code. |
| 698 | 698 |
///\code |
| 699 | 699 |
/// b.init(); |
| 700 | 700 |
/// b.addSource(s); |
| 701 | 701 |
/// b.start(t); |
| 702 | 702 |
///\endcode |
| 703 |
|
|
| 703 |
bool run(Node s,Node t) {
|
|
| 704 | 704 |
init(); |
| 705 | 705 |
addSource(s); |
| 706 | 706 |
start(t); |
| 707 |
return reached(t) |
|
| 707 |
return reached(t); |
|
| 708 | 708 |
} |
| 709 | 709 |
|
| 710 | 710 |
///Runs the algorithm to visit all nodes in the digraph. |
| 711 | 711 |
|
| 712 | 712 |
///This method runs the %BFS algorithm in order to |
| 713 | 713 |
///compute the shortest path to each node. |
| 714 | 714 |
/// |
| 715 | 715 |
///The algorithm computes |
| 716 | 716 |
///- the shortest path tree (forest), |
| 717 | 717 |
///- the distance of each node from the root(s). |
| 718 | 718 |
/// |
| 719 | 719 |
///\note <tt>b.run(s)</tt> is just a shortcut of the following code. |
| ... | ... |
@@ -1612,43 +1612,43 @@ |
| 1612 | 1612 |
/// b.processNextNode(); |
| 1613 | 1613 |
/// } |
| 1614 | 1614 |
/// \endcode |
| 1615 | 1615 |
void start() {
|
| 1616 | 1616 |
while ( !emptyQueue() ) processNextNode(); |
| 1617 | 1617 |
} |
| 1618 | 1618 |
|
| 1619 | 1619 |
/// \brief Executes the algorithm until the given target node is reached. |
| 1620 | 1620 |
/// |
| 1621 | 1621 |
/// Executes the algorithm until the given target node is reached. |
| 1622 | 1622 |
/// |
| 1623 | 1623 |
/// This method runs the %BFS algorithm from the root node(s) |
| 1624 |
/// in order to compute the shortest path to \c |
|
| 1624 |
/// in order to compute the shortest path to \c t. |
|
| 1625 | 1625 |
/// |
| 1626 | 1626 |
/// The algorithm computes |
| 1627 |
/// - the shortest path to \c dest, |
|
| 1628 |
/// - the distance of \c dest from the root(s). |
|
| 1627 |
/// - the shortest path to \c t, |
|
| 1628 |
/// - the distance of \c t from the root(s). |
|
| 1629 | 1629 |
/// |
| 1630 | 1630 |
/// \pre init() must be called and at least one root node should be |
| 1631 | 1631 |
/// added with addSource() before using this function. |
| 1632 | 1632 |
/// |
| 1633 | 1633 |
/// \note <tt>b.start(t)</tt> is just a shortcut of the following code. |
| 1634 | 1634 |
/// \code |
| 1635 | 1635 |
/// bool reach = false; |
| 1636 | 1636 |
/// while ( !b.emptyQueue() && !reach ) {
|
| 1637 | 1637 |
/// b.processNextNode(t, reach); |
| 1638 | 1638 |
/// } |
| 1639 | 1639 |
/// \endcode |
| 1640 |
void start(Node |
|
| 1640 |
void start(Node t) {
|
|
| 1641 | 1641 |
bool reach = false; |
| 1642 |
while ( !emptyQueue() && !reach ) processNextNode( |
|
| 1642 |
while ( !emptyQueue() && !reach ) processNextNode(t, reach); |
|
| 1643 | 1643 |
} |
| 1644 | 1644 |
|
| 1645 | 1645 |
/// \brief Executes the algorithm until a condition is met. |
| 1646 | 1646 |
/// |
| 1647 | 1647 |
/// Executes the algorithm until a condition is met. |
| 1648 | 1648 |
/// |
| 1649 | 1649 |
/// This method runs the %BFS algorithm from the root node(s) in |
| 1650 | 1650 |
/// order to compute the shortest path to a node \c v with |
| 1651 | 1651 |
/// <tt>nm[v]</tt> true, if such a node can be found. |
| 1652 | 1652 |
/// |
| 1653 | 1653 |
/// \param nm must be a bool (or convertible) node map. The |
| 1654 | 1654 |
/// algorithm will stop when it reaches a node \c v with |
| ... | ... |
@@ -1668,45 +1668,67 @@ |
| 1668 | 1668 |
/// } |
| 1669 | 1669 |
/// return rnode; |
| 1670 | 1670 |
/// \endcode |
| 1671 | 1671 |
template <typename NM> |
| 1672 | 1672 |
Node start(const NM &nm) {
|
| 1673 | 1673 |
Node rnode = INVALID; |
| 1674 | 1674 |
while ( !emptyQueue() && rnode == INVALID ) {
|
| 1675 | 1675 |
processNextNode(nm, rnode); |
| 1676 | 1676 |
} |
| 1677 | 1677 |
return rnode; |
| 1678 | 1678 |
} |
| 1679 | 1679 |
|
| 1680 |
/// \brief Runs the algorithm from the given node. |
|
| 1680 |
/// \brief Runs the algorithm from the given source node. |
|
| 1681 | 1681 |
/// |
| 1682 | 1682 |
/// This method runs the %BFS algorithm from node \c s |
| 1683 | 1683 |
/// in order to compute the shortest path to each node. |
| 1684 | 1684 |
/// |
| 1685 | 1685 |
/// The algorithm computes |
| 1686 | 1686 |
/// - the shortest path tree, |
| 1687 | 1687 |
/// - the distance of each node from the root. |
| 1688 | 1688 |
/// |
| 1689 | 1689 |
/// \note <tt>b.run(s)</tt> is just a shortcut of the following code. |
| 1690 | 1690 |
///\code |
| 1691 | 1691 |
/// b.init(); |
| 1692 | 1692 |
/// b.addSource(s); |
| 1693 | 1693 |
/// b.start(); |
| 1694 | 1694 |
///\endcode |
| 1695 | 1695 |
void run(Node s) {
|
| 1696 | 1696 |
init(); |
| 1697 | 1697 |
addSource(s); |
| 1698 | 1698 |
start(); |
| 1699 | 1699 |
} |
| 1700 | 1700 |
|
| 1701 |
/// \brief Finds the shortest path between \c s and \c t. |
|
| 1702 |
/// |
|
| 1703 |
/// This method runs the %BFS algorithm from node \c s |
|
| 1704 |
/// in order to compute the shortest path to node \c t |
|
| 1705 |
/// (it stops searching when \c t is processed). |
|
| 1706 |
/// |
|
| 1707 |
/// \return \c true if \c t is reachable form \c s. |
|
| 1708 |
/// |
|
| 1709 |
/// \note Apart from the return value, <tt>b.run(s,t)</tt> is just a |
|
| 1710 |
/// shortcut of the following code. |
|
| 1711 |
///\code |
|
| 1712 |
/// b.init(); |
|
| 1713 |
/// b.addSource(s); |
|
| 1714 |
/// b.start(t); |
|
| 1715 |
///\endcode |
|
| 1716 |
bool run(Node s,Node t) {
|
|
| 1717 |
init(); |
|
| 1718 |
addSource(s); |
|
| 1719 |
start(t); |
|
| 1720 |
return reached(t); |
|
| 1721 |
} |
|
| 1722 |
|
|
| 1701 | 1723 |
/// \brief Runs the algorithm to visit all nodes in the digraph. |
| 1702 | 1724 |
/// |
| 1703 | 1725 |
/// This method runs the %BFS algorithm in order to |
| 1704 | 1726 |
/// compute the shortest path to each node. |
| 1705 | 1727 |
/// |
| 1706 | 1728 |
/// The algorithm computes |
| 1707 | 1729 |
/// - the shortest path tree (forest), |
| 1708 | 1730 |
/// - the distance of each node from the root(s). |
| 1709 | 1731 |
/// |
| 1710 | 1732 |
/// \note <tt>b.run(s)</tt> is just a shortcut of the following code. |
| 1711 | 1733 |
///\code |
| 1712 | 1734 |
/// b.init(); |
| ... | ... |
@@ -549,35 +549,35 @@ |
| 549 | 549 |
/// } |
| 550 | 550 |
///\endcode |
| 551 | 551 |
void start() |
| 552 | 552 |
{
|
| 553 | 553 |
while ( !emptyQueue() ) processNextArc(); |
| 554 | 554 |
} |
| 555 | 555 |
|
| 556 | 556 |
///Executes the algorithm until the given target node is reached. |
| 557 | 557 |
|
| 558 | 558 |
///Executes the algorithm until the given target node is reached. |
| 559 | 559 |
/// |
| 560 | 560 |
///This method runs the %DFS algorithm from the root node |
| 561 |
///in order to compute the DFS path to \c |
|
| 561 |
///in order to compute the DFS path to \c t. |
|
| 562 | 562 |
/// |
| 563 | 563 |
///The algorithm computes |
| 564 |
///- the %DFS path to \c dest, |
|
| 565 |
///- the distance of \c dest from the root in the %DFS tree. |
|
| 564 |
///- the %DFS path to \c t, |
|
| 565 |
///- the distance of \c t from the root in the %DFS tree. |
|
| 566 | 566 |
/// |
| 567 | 567 |
///\pre init() must be called and a root node should be |
| 568 | 568 |
///added with addSource() before using this function. |
| 569 |
void start(Node |
|
| 569 |
void start(Node t) |
|
| 570 | 570 |
{
|
| 571 |
while ( !emptyQueue() && G->target(_stack[_stack_head])!= |
|
| 571 |
while ( !emptyQueue() && G->target(_stack[_stack_head])!=t ) |
|
| 572 | 572 |
processNextArc(); |
| 573 | 573 |
} |
| 574 | 574 |
|
| 575 | 575 |
///Executes the algorithm until a condition is met. |
| 576 | 576 |
|
| 577 | 577 |
///Executes the algorithm until a condition is met. |
| 578 | 578 |
/// |
| 579 | 579 |
///This method runs the %DFS algorithm from the root node |
| 580 | 580 |
///until an arc \c a with <tt>am[a]</tt> true is found. |
| 581 | 581 |
/// |
| 582 | 582 |
///\param am A \c bool (or convertible) arc map. The algorithm |
| 583 | 583 |
///will stop when it reaches an arc \c a with <tt>am[a]</tt> true. |
| ... | ... |
@@ -589,65 +589,65 @@ |
| 589 | 589 |
///added with addSource() before using this function. |
| 590 | 590 |
/// |
| 591 | 591 |
///\warning Contrary to \ref Bfs and \ref Dijkstra, \c am is an arc map, |
| 592 | 592 |
///not a node map. |
| 593 | 593 |
template<class ArcBoolMap> |
| 594 | 594 |
Arc start(const ArcBoolMap &am) |
| 595 | 595 |
{
|
| 596 | 596 |
while ( !emptyQueue() && !am[_stack[_stack_head]] ) |
| 597 | 597 |
processNextArc(); |
| 598 | 598 |
return emptyQueue() ? INVALID : _stack[_stack_head]; |
| 599 | 599 |
} |
| 600 | 600 |
|
| 601 |
///Runs the algorithm from the given node. |
|
| 601 |
///Runs the algorithm from the given source node. |
|
| 602 | 602 |
|
| 603 | 603 |
///This method runs the %DFS algorithm from node \c s |
| 604 | 604 |
///in order to compute the DFS path to each node. |
| 605 | 605 |
/// |
| 606 | 606 |
///The algorithm computes |
| 607 | 607 |
///- the %DFS tree, |
| 608 | 608 |
///- the distance of each node from the root in the %DFS tree. |
| 609 | 609 |
/// |
| 610 | 610 |
///\note <tt>d.run(s)</tt> is just a shortcut of the following code. |
| 611 | 611 |
///\code |
| 612 | 612 |
/// d.init(); |
| 613 | 613 |
/// d.addSource(s); |
| 614 | 614 |
/// d.start(); |
| 615 | 615 |
///\endcode |
| 616 | 616 |
void run(Node s) {
|
| 617 | 617 |
init(); |
| 618 | 618 |
addSource(s); |
| 619 | 619 |
start(); |
| 620 | 620 |
} |
| 621 | 621 |
|
| 622 | 622 |
///Finds the %DFS path between \c s and \c t. |
| 623 | 623 |
|
| 624 | 624 |
///This method runs the %DFS algorithm from node \c s |
| 625 |
///in order to compute the DFS path to \c t |
|
| 625 |
///in order to compute the DFS path to node \c t |
|
| 626 |
///(it stops searching when \c t is processed) |
|
| 626 | 627 |
/// |
| 627 |
///\return The length of the <tt>s</tt>--<tt>t</tt> DFS path, |
|
| 628 |
///if \c t is reachable form \c s, \c 0 otherwise. |
|
| 628 |
///\return \c true if \c t is reachable form \c s. |
|
| 629 | 629 |
/// |
| 630 | 630 |
///\note Apart from the return value, <tt>d.run(s,t)</tt> is |
| 631 | 631 |
///just a shortcut of the following code. |
| 632 | 632 |
///\code |
| 633 | 633 |
/// d.init(); |
| 634 | 634 |
/// d.addSource(s); |
| 635 | 635 |
/// d.start(t); |
| 636 | 636 |
///\endcode |
| 637 |
|
|
| 637 |
bool run(Node s,Node t) {
|
|
| 638 | 638 |
init(); |
| 639 | 639 |
addSource(s); |
| 640 | 640 |
start(t); |
| 641 |
return reached(t) |
|
| 641 |
return reached(t); |
|
| 642 | 642 |
} |
| 643 | 643 |
|
| 644 | 644 |
///Runs the algorithm to visit all nodes in the digraph. |
| 645 | 645 |
|
| 646 | 646 |
///This method runs the %DFS algorithm in order to compute the |
| 647 | 647 |
///%DFS path to each node. |
| 648 | 648 |
/// |
| 649 | 649 |
///The algorithm computes |
| 650 | 650 |
///- the %DFS tree, |
| 651 | 651 |
///- the distance of each node from the root in the %DFS tree. |
| 652 | 652 |
/// |
| 653 | 653 |
///\note <tt>d.run()</tt> is just a shortcut of the following code. |
| ... | ... |
@@ -1517,34 +1517,34 @@ |
| 1517 | 1517 |
/// d.processNextArc(); |
| 1518 | 1518 |
/// } |
| 1519 | 1519 |
/// \endcode |
| 1520 | 1520 |
void start() {
|
| 1521 | 1521 |
while ( !emptyQueue() ) processNextArc(); |
| 1522 | 1522 |
} |
| 1523 | 1523 |
|
| 1524 | 1524 |
/// \brief Executes the algorithm until the given target node is reached. |
| 1525 | 1525 |
/// |
| 1526 | 1526 |
/// Executes the algorithm until the given target node is reached. |
| 1527 | 1527 |
/// |
| 1528 | 1528 |
/// This method runs the %DFS algorithm from the root node |
| 1529 |
/// in order to compute the DFS path to \c |
|
| 1529 |
/// in order to compute the DFS path to \c t. |
|
| 1530 | 1530 |
/// |
| 1531 | 1531 |
/// The algorithm computes |
| 1532 |
/// - the %DFS path to \c dest, |
|
| 1533 |
/// - the distance of \c dest from the root in the %DFS tree. |
|
| 1532 |
/// - the %DFS path to \c t, |
|
| 1533 |
/// - the distance of \c t from the root in the %DFS tree. |
|
| 1534 | 1534 |
/// |
| 1535 | 1535 |
/// \pre init() must be called and a root node should be added |
| 1536 | 1536 |
/// with addSource() before using this function. |
| 1537 |
void start(Node dest) {
|
|
| 1538 |
while ( !emptyQueue() && _digraph->target(_stack[_stack_head]) != dest ) |
|
| 1537 |
void start(Node t) {
|
|
| 1538 |
while ( !emptyQueue() && _digraph->target(_stack[_stack_head]) != t ) |
|
| 1539 | 1539 |
processNextArc(); |
| 1540 | 1540 |
} |
| 1541 | 1541 |
|
| 1542 | 1542 |
/// \brief Executes the algorithm until a condition is met. |
| 1543 | 1543 |
/// |
| 1544 | 1544 |
/// Executes the algorithm until a condition is met. |
| 1545 | 1545 |
/// |
| 1546 | 1546 |
/// This method runs the %DFS algorithm from the root node |
| 1547 | 1547 |
/// until an arc \c a with <tt>am[a]</tt> true is found. |
| 1548 | 1548 |
/// |
| 1549 | 1549 |
/// \param am A \c bool (or convertible) arc map. The algorithm |
| 1550 | 1550 |
/// will stop when it reaches an arc \c a with <tt>am[a]</tt> true. |
| ... | ... |
@@ -1555,65 +1555,65 @@ |
| 1555 | 1555 |
/// \pre init() must be called and a root node should be added |
| 1556 | 1556 |
/// with addSource() before using this function. |
| 1557 | 1557 |
/// |
| 1558 | 1558 |
/// \warning Contrary to \ref Bfs and \ref Dijkstra, \c am is an arc map, |
| 1559 | 1559 |
/// not a node map. |
| 1560 | 1560 |
template <typename AM> |
| 1561 | 1561 |
Arc start(const AM &am) {
|
| 1562 | 1562 |
while ( !emptyQueue() && !am[_stack[_stack_head]] ) |
| 1563 | 1563 |
processNextArc(); |
| 1564 | 1564 |
return emptyQueue() ? INVALID : _stack[_stack_head]; |
| 1565 | 1565 |
} |
| 1566 | 1566 |
|
| 1567 |
/// \brief Runs the algorithm from the given node. |
|
| 1567 |
/// \brief Runs the algorithm from the given source node. |
|
| 1568 | 1568 |
/// |
| 1569 | 1569 |
/// This method runs the %DFS algorithm from node \c s. |
| 1570 | 1570 |
/// in order to compute the DFS path to each node. |
| 1571 | 1571 |
/// |
| 1572 | 1572 |
/// The algorithm computes |
| 1573 | 1573 |
/// - the %DFS tree, |
| 1574 | 1574 |
/// - the distance of each node from the root in the %DFS tree. |
| 1575 | 1575 |
/// |
| 1576 | 1576 |
/// \note <tt>d.run(s)</tt> is just a shortcut of the following code. |
| 1577 | 1577 |
///\code |
| 1578 | 1578 |
/// d.init(); |
| 1579 | 1579 |
/// d.addSource(s); |
| 1580 | 1580 |
/// d.start(); |
| 1581 | 1581 |
///\endcode |
| 1582 | 1582 |
void run(Node s) {
|
| 1583 | 1583 |
init(); |
| 1584 | 1584 |
addSource(s); |
| 1585 | 1585 |
start(); |
| 1586 | 1586 |
} |
| 1587 | 1587 |
|
| 1588 | 1588 |
/// \brief Finds the %DFS path between \c s and \c t. |
| 1589 | 1589 |
|
| 1590 | 1590 |
/// This method runs the %DFS algorithm from node \c s |
| 1591 |
/// in order to compute the DFS path to \c t |
|
| 1591 |
/// in order to compute the DFS path to node \c t |
|
| 1592 |
/// (it stops searching when \c t is processed). |
|
| 1592 | 1593 |
/// |
| 1593 |
/// \return The length of the <tt>s</tt>--<tt>t</tt> DFS path, |
|
| 1594 |
/// if \c t is reachable form \c s, \c 0 otherwise. |
|
| 1594 |
/// \return \c true if \c t is reachable form \c s. |
|
| 1595 | 1595 |
/// |
| 1596 | 1596 |
/// \note Apart from the return value, <tt>d.run(s,t)</tt> is |
| 1597 | 1597 |
/// just a shortcut of the following code. |
| 1598 | 1598 |
///\code |
| 1599 | 1599 |
/// d.init(); |
| 1600 | 1600 |
/// d.addSource(s); |
| 1601 | 1601 |
/// d.start(t); |
| 1602 | 1602 |
///\endcode |
| 1603 |
|
|
| 1603 |
bool run(Node s,Node t) {
|
|
| 1604 | 1604 |
init(); |
| 1605 | 1605 |
addSource(s); |
| 1606 | 1606 |
start(t); |
| 1607 |
return reached(t) |
|
| 1607 |
return reached(t); |
|
| 1608 | 1608 |
} |
| 1609 | 1609 |
|
| 1610 | 1610 |
/// \brief Runs the algorithm to visit all nodes in the digraph. |
| 1611 | 1611 |
|
| 1612 | 1612 |
/// This method runs the %DFS algorithm in order to |
| 1613 | 1613 |
/// compute the %DFS path to each node. |
| 1614 | 1614 |
/// |
| 1615 | 1615 |
/// The algorithm computes |
| 1616 | 1616 |
/// - the %DFS tree, |
| 1617 | 1617 |
/// - the distance of each node from the root in the %DFS tree. |
| 1618 | 1618 |
/// |
| 1619 | 1619 |
/// \note <tt>d.run()</tt> is just a shortcut of the following code. |
| ... | ... |
@@ -719,41 +719,44 @@ |
| 719 | 719 |
/// |
| 720 | 720 |
///\note <tt>d.start()</tt> is just a shortcut of the following code. |
| 721 | 721 |
///\code |
| 722 | 722 |
/// while ( !d.emptyQueue() ) {
|
| 723 | 723 |
/// d.processNextNode(); |
| 724 | 724 |
/// } |
| 725 | 725 |
///\endcode |
| 726 | 726 |
void start() |
| 727 | 727 |
{
|
| 728 | 728 |
while ( !emptyQueue() ) processNextNode(); |
| 729 | 729 |
} |
| 730 | 730 |
|
| 731 |
///Executes the algorithm until the given target node is |
|
| 731 |
///Executes the algorithm until the given target node is processed. |
|
| 732 | 732 |
|
| 733 |
///Executes the algorithm until the given target node is |
|
| 733 |
///Executes the algorithm until the given target node is processed. |
|
| 734 | 734 |
/// |
| 735 | 735 |
///This method runs the %Dijkstra algorithm from the root node(s) |
| 736 |
///in order to compute the shortest path to \c |
|
| 736 |
///in order to compute the shortest path to \c t. |
|
| 737 | 737 |
/// |
| 738 | 738 |
///The algorithm computes |
| 739 |
///- the shortest path to \c dest, |
|
| 740 |
///- the distance of \c dest from the root(s). |
|
| 739 |
///- the shortest path to \c t, |
|
| 740 |
///- the distance of \c t from the root(s). |
|
| 741 | 741 |
/// |
| 742 | 742 |
///\pre init() must be called and at least one root node should be |
| 743 | 743 |
///added with addSource() before using this function. |
| 744 |
void start(Node |
|
| 744 |
void start(Node t) |
|
| 745 | 745 |
{
|
| 746 |
while ( !_heap->empty() && _heap->top()!=dest ) processNextNode(); |
|
| 747 |
if ( !_heap->empty() ) finalizeNodeData(_heap->top(),_heap->prio()); |
|
| 746 |
while ( !_heap->empty() && _heap->top()!=t ) processNextNode(); |
|
| 747 |
if ( !_heap->empty() ) {
|
|
| 748 |
finalizeNodeData(_heap->top(),_heap->prio()); |
|
| 749 |
_heap->pop(); |
|
| 750 |
} |
|
| 748 | 751 |
} |
| 749 | 752 |
|
| 750 | 753 |
///Executes the algorithm until a condition is met. |
| 751 | 754 |
|
| 752 | 755 |
///Executes the algorithm until a condition is met. |
| 753 | 756 |
/// |
| 754 | 757 |
///This method runs the %Dijkstra algorithm from the root node(s) in |
| 755 | 758 |
///order to compute the shortest path to a node \c v with |
| 756 | 759 |
/// <tt>nm[v]</tt> true, if such a node can be found. |
| 757 | 760 |
/// |
| 758 | 761 |
///\param nm A \c bool (or convertible) node map. The algorithm |
| 759 | 762 |
///will stop when it reaches a node \c v with <tt>nm[v]</tt> true. |
| ... | ... |
@@ -763,65 +766,65 @@ |
| 763 | 766 |
/// |
| 764 | 767 |
///\pre init() must be called and at least one root node should be |
| 765 | 768 |
///added with addSource() before using this function. |
| 766 | 769 |
template<class NodeBoolMap> |
| 767 | 770 |
Node start(const NodeBoolMap &nm) |
| 768 | 771 |
{
|
| 769 | 772 |
while ( !_heap->empty() && !nm[_heap->top()] ) processNextNode(); |
| 770 | 773 |
if ( _heap->empty() ) return INVALID; |
| 771 | 774 |
finalizeNodeData(_heap->top(),_heap->prio()); |
| 772 | 775 |
return _heap->top(); |
| 773 | 776 |
} |
| 774 | 777 |
|
| 775 |
///Runs the algorithm from the given node. |
|
| 778 |
///Runs the algorithm from the given source node. |
|
| 776 | 779 |
|
| 777 | 780 |
///This method runs the %Dijkstra algorithm from node \c s |
| 778 | 781 |
///in order to compute the shortest path to each node. |
| 779 | 782 |
/// |
| 780 | 783 |
///The algorithm computes |
| 781 | 784 |
///- the shortest path tree, |
| 782 | 785 |
///- the distance of each node from the root. |
| 783 | 786 |
/// |
| 784 | 787 |
///\note <tt>d.run(s)</tt> is just a shortcut of the following code. |
| 785 | 788 |
///\code |
| 786 | 789 |
/// d.init(); |
| 787 | 790 |
/// d.addSource(s); |
| 788 | 791 |
/// d.start(); |
| 789 | 792 |
///\endcode |
| 790 | 793 |
void run(Node s) {
|
| 791 | 794 |
init(); |
| 792 | 795 |
addSource(s); |
| 793 | 796 |
start(); |
| 794 | 797 |
} |
| 795 | 798 |
|
| 796 | 799 |
///Finds the shortest path between \c s and \c t. |
| 797 | 800 |
|
| 798 | 801 |
///This method runs the %Dijkstra algorithm from node \c s |
| 799 |
///in order to compute the shortest path to \c t |
|
| 802 |
///in order to compute the shortest path to node \c t |
|
| 803 |
///(it stops searching when \c t is processed). |
|
| 800 | 804 |
/// |
| 801 |
///\return The length of the shortest <tt>s</tt>--<tt>t</tt> path, |
|
| 802 |
///if \c t is reachable form \c s, \c 0 otherwise. |
|
| 805 |
///\return \c true if \c t is reachable form \c s. |
|
| 803 | 806 |
/// |
| 804 | 807 |
///\note Apart from the return value, <tt>d.run(s,t)</tt> is just a |
| 805 | 808 |
///shortcut of the following code. |
| 806 | 809 |
///\code |
| 807 | 810 |
/// d.init(); |
| 808 | 811 |
/// d.addSource(s); |
| 809 | 812 |
/// d.start(t); |
| 810 | 813 |
///\endcode |
| 811 |
|
|
| 814 |
bool run(Node s,Node t) {
|
|
| 812 | 815 |
init(); |
| 813 | 816 |
addSource(s); |
| 814 | 817 |
start(t); |
| 815 |
return (* |
|
| 818 |
return (*_heap_cross_ref)[t] == Heap::POST_HEAP; |
|
| 816 | 819 |
} |
| 817 | 820 |
|
| 818 | 821 |
///@} |
| 819 | 822 |
|
| 820 | 823 |
///\name Query Functions |
| 821 | 824 |
///The result of the %Dijkstra algorithm can be obtained using these |
| 822 | 825 |
///functions.\n |
| 823 | 826 |
///Either \ref lemon::Dijkstra::run() "run()" or |
| 824 | 827 |
///\ref lemon::Dijkstra::start() "start()" must be called before |
| 825 | 828 |
///using them. |
| 826 | 829 |
|
| 827 | 830 |
///@{
|
| ... | ... |
@@ -899,35 +902,39 @@ |
| 899 | 902 |
///Checks if a node is reachable from the root(s). |
| 900 | 903 |
|
| 901 | 904 |
///Returns \c true if \c v is reachable from the root(s). |
| 902 | 905 |
///\pre Either \ref run() or \ref start() |
| 903 | 906 |
///must be called before using this function. |
| 904 | 907 |
bool reached(Node v) const { return (*_heap_cross_ref)[v] !=
|
| 905 | 908 |
Heap::PRE_HEAP; } |
| 906 | 909 |
|
| 907 | 910 |
///Checks if a node is processed. |
| 908 | 911 |
|
| 909 | 912 |
///Returns \c true if \c v is processed, i.e. the shortest |
| 910 | 913 |
///path to \c v has already found. |
| 911 |
///\pre Either \ref run() or \ref |
|
| 914 |
///\pre Either \ref run() or \ref init() |
|
| 912 | 915 |
///must be called before using this function. |
| 913 | 916 |
bool processed(Node v) const { return (*_heap_cross_ref)[v] ==
|
| 914 | 917 |
Heap::POST_HEAP; } |
| 915 | 918 |
|
| 916 | 919 |
///The current distance of a node from the root(s). |
| 917 | 920 |
|
| 918 | 921 |
///Returns the current distance of a node from the root(s). |
| 919 | 922 |
///It may be decreased in the following processes. |
| 920 |
///\pre \c v should be reached but not processed. |
|
| 921 |
Value currentDist(Node v) const { return (*_heap)[v]; }
|
|
| 923 |
///\pre Either \ref run() or \ref init() |
|
| 924 |
///must be called before using this function and |
|
| 925 |
///node \c v must be reached but not necessarily processed. |
|
| 926 |
Value currentDist(Node v) const {
|
|
| 927 |
return processed(v) ? (*_dist)[v] : (*_heap)[v]; |
|
| 928 |
} |
|
| 922 | 929 |
|
| 923 | 930 |
///@} |
| 924 | 931 |
}; |
| 925 | 932 |
|
| 926 | 933 |
|
| 927 | 934 |
///Default traits class of dijkstra() function. |
| 928 | 935 |
|
| 929 | 936 |
///Default traits class of dijkstra() function. |
| 930 | 937 |
///\tparam GR The type of the digraph. |
| 931 | 938 |
///\tparam LM The type of the length map. |
| 932 | 939 |
template<class GR, class LM> |
| 933 | 940 |
struct DijkstraWizardDefaultTraits |
| ... | ... |
@@ -45,45 +45,70 @@ |
| 45 | 45 |
"3 4 3\n" |
| 46 | 46 |
"0 3 4\n" |
| 47 | 47 |
"0 3 5\n" |
| 48 | 48 |
"5 2 6\n" |
| 49 | 49 |
"@attributes\n" |
| 50 | 50 |
"source 0\n" |
| 51 | 51 |
"target 4\n"; |
| 52 | 52 |
|
| 53 | 53 |
void checkBfsCompile() |
| 54 | 54 |
{
|
| 55 | 55 |
typedef concepts::Digraph Digraph; |
| 56 | 56 |
typedef Bfs<Digraph> BType; |
| 57 |
typedef Digraph::Node Node; |
|
| 58 |
typedef Digraph::Arc Arc; |
|
| 57 | 59 |
|
| 58 | 60 |
Digraph G; |
| 59 |
Digraph::Node n; |
|
| 60 |
Digraph::Arc e; |
|
| 61 |
Node s, t; |
|
| 62 |
Arc e; |
|
| 61 | 63 |
int l; |
| 62 | 64 |
bool b; |
| 63 | 65 |
BType::DistMap d(G); |
| 64 | 66 |
BType::PredMap p(G); |
| 67 |
Path<Digraph> pp; |
|
| 65 | 68 |
|
| 66 |
|
|
| 69 |
{
|
|
| 70 |
BType bfs_test(G); |
|
| 67 | 71 |
|
| 68 |
bfs_test.run( |
|
| 72 |
bfs_test.run(s); |
|
| 73 |
bfs_test.run(s,t); |
|
| 74 |
bfs_test.run(); |
|
| 69 | 75 |
|
| 70 |
l = bfs_test.dist(n); |
|
| 71 |
e = bfs_test.predArc(n); |
|
| 72 |
n = bfs_test.predNode(n); |
|
| 73 |
d = bfs_test.distMap(); |
|
| 74 |
p = bfs_test.predMap(); |
|
| 75 |
b = bfs_test.reached(n); |
|
| 76 |
l = bfs_test.dist(t); |
|
| 77 |
e = bfs_test.predArc(t); |
|
| 78 |
s = bfs_test.predNode(t); |
|
| 79 |
b = bfs_test.reached(t); |
|
| 80 |
d = bfs_test.distMap(); |
|
| 81 |
p = bfs_test.predMap(); |
|
| 82 |
pp = bfs_test.path(t); |
|
| 83 |
} |
|
| 84 |
{
|
|
| 85 |
BType |
|
| 86 |
::SetPredMap<concepts::ReadWriteMap<Node,Arc> > |
|
| 87 |
::SetDistMap<concepts::ReadWriteMap<Node,int> > |
|
| 88 |
::SetReachedMap<concepts::ReadWriteMap<Node,bool> > |
|
| 89 |
::SetProcessedMap<concepts::WriteMap<Node,bool> > |
|
| 90 |
::SetStandardProcessedMap |
|
| 91 |
::Create bfs_test(G); |
|
| 76 | 92 |
|
| 77 |
|
|
| 93 |
bfs_test.run(s); |
|
| 94 |
bfs_test.run(s,t); |
|
| 95 |
bfs_test.run(); |
|
| 96 |
|
|
| 97 |
l = bfs_test.dist(t); |
|
| 98 |
e = bfs_test.predArc(t); |
|
| 99 |
s = bfs_test.predNode(t); |
|
| 100 |
b = bfs_test.reached(t); |
|
| 101 |
pp = bfs_test.path(t); |
|
| 102 |
} |
|
| 78 | 103 |
} |
| 79 | 104 |
|
| 80 | 105 |
void checkBfsFunctionCompile() |
| 81 | 106 |
{
|
| 82 | 107 |
typedef int VType; |
| 83 | 108 |
typedef concepts::Digraph Digraph; |
| 84 | 109 |
typedef Digraph::Arc Arc; |
| 85 | 110 |
typedef Digraph::Node Node; |
| 86 | 111 |
|
| 87 | 112 |
Digraph g; |
| 88 | 113 |
bool b; |
| 89 | 114 |
bfs(g).run(Node()); |
| ... | ... |
@@ -47,45 +47,70 @@ |
| 47 | 47 |
"4 2 4\n" |
| 48 | 48 |
"4 5 5\n" |
| 49 | 49 |
"5 0 6\n" |
| 50 | 50 |
"6 3 7\n" |
| 51 | 51 |
"@attributes\n" |
| 52 | 52 |
"source 0\n" |
| 53 | 53 |
"target 5\n"; |
| 54 | 54 |
|
| 55 | 55 |
void checkDfsCompile() |
| 56 | 56 |
{
|
| 57 | 57 |
typedef concepts::Digraph Digraph; |
| 58 | 58 |
typedef Dfs<Digraph> DType; |
| 59 |
typedef Digraph::Node Node; |
|
| 60 |
typedef Digraph::Arc Arc; |
|
| 59 | 61 |
|
| 60 | 62 |
Digraph G; |
| 61 |
Digraph::Node n; |
|
| 62 |
Digraph::Arc e; |
|
| 63 |
Node s, t; |
|
| 64 |
Arc e; |
|
| 63 | 65 |
int l; |
| 64 | 66 |
bool b; |
| 65 | 67 |
DType::DistMap d(G); |
| 66 | 68 |
DType::PredMap p(G); |
| 69 |
Path<Digraph> pp; |
|
| 67 | 70 |
|
| 68 |
|
|
| 71 |
{
|
|
| 72 |
DType dfs_test(G); |
|
| 69 | 73 |
|
| 70 |
dfs_test.run( |
|
| 74 |
dfs_test.run(s); |
|
| 75 |
dfs_test.run(s,t); |
|
| 76 |
dfs_test.run(); |
|
| 71 | 77 |
|
| 72 |
l = dfs_test.dist(n); |
|
| 73 |
e = dfs_test.predArc(n); |
|
| 74 |
n = dfs_test.predNode(n); |
|
| 75 |
d = dfs_test.distMap(); |
|
| 76 |
p = dfs_test.predMap(); |
|
| 77 |
b = dfs_test.reached(n); |
|
| 78 |
l = dfs_test.dist(t); |
|
| 79 |
e = dfs_test.predArc(t); |
|
| 80 |
s = dfs_test.predNode(t); |
|
| 81 |
b = dfs_test.reached(t); |
|
| 82 |
d = dfs_test.distMap(); |
|
| 83 |
p = dfs_test.predMap(); |
|
| 84 |
pp = dfs_test.path(t); |
|
| 85 |
} |
|
| 86 |
{
|
|
| 87 |
DType |
|
| 88 |
::SetPredMap<concepts::ReadWriteMap<Node,Arc> > |
|
| 89 |
::SetDistMap<concepts::ReadWriteMap<Node,int> > |
|
| 90 |
::SetReachedMap<concepts::ReadWriteMap<Node,bool> > |
|
| 91 |
::SetProcessedMap<concepts::WriteMap<Node,bool> > |
|
| 92 |
::SetStandardProcessedMap |
|
| 93 |
::Create dfs_test(G); |
|
| 78 | 94 |
|
| 79 |
|
|
| 95 |
dfs_test.run(s); |
|
| 96 |
dfs_test.run(s,t); |
|
| 97 |
dfs_test.run(); |
|
| 98 |
|
|
| 99 |
l = dfs_test.dist(t); |
|
| 100 |
e = dfs_test.predArc(t); |
|
| 101 |
s = dfs_test.predNode(t); |
|
| 102 |
b = dfs_test.reached(t); |
|
| 103 |
pp = dfs_test.path(t); |
|
| 104 |
} |
|
| 80 | 105 |
} |
| 81 | 106 |
|
| 82 | 107 |
void checkDfsFunctionCompile() |
| 83 | 108 |
{
|
| 84 | 109 |
typedef int VType; |
| 85 | 110 |
typedef concepts::Digraph Digraph; |
| 86 | 111 |
typedef Digraph::Arc Arc; |
| 87 | 112 |
typedef Digraph::Node Node; |
| 88 | 113 |
|
| 89 | 114 |
Digraph g; |
| 90 | 115 |
bool b; |
| 91 | 116 |
dfs(g).run(Node()); |
| ... | ... |
@@ -13,24 +13,25 @@ |
| 13 | 13 |
* This software is provided "AS IS" with no warranty of any kind, |
| 14 | 14 |
* express or implied, and with no claim as to its suitability for any |
| 15 | 15 |
* purpose. |
| 16 | 16 |
* |
| 17 | 17 |
*/ |
| 18 | 18 |
|
| 19 | 19 |
#include <lemon/concepts/digraph.h> |
| 20 | 20 |
#include <lemon/smart_graph.h> |
| 21 | 21 |
#include <lemon/list_graph.h> |
| 22 | 22 |
#include <lemon/lgf_reader.h> |
| 23 | 23 |
#include <lemon/dijkstra.h> |
| 24 | 24 |
#include <lemon/path.h> |
| 25 |
#include <lemon/bin_heap.h> |
|
| 25 | 26 |
|
| 26 | 27 |
#include "graph_test.h" |
| 27 | 28 |
#include "test_tools.h" |
| 28 | 29 |
|
| 29 | 30 |
using namespace lemon; |
| 30 | 31 |
|
| 31 | 32 |
char test_lgf[] = |
| 32 | 33 |
"@nodes\n" |
| 33 | 34 |
"label\n" |
| 34 | 35 |
"0\n" |
| 35 | 36 |
"1\n" |
| 36 | 37 |
"2\n" |
| ... | ... |
@@ -46,46 +47,72 @@ |
| 46 | 47 |
"0 3 6 7\n" |
| 47 | 48 |
"4 2 7 1\n" |
| 48 | 49 |
"@attributes\n" |
| 49 | 50 |
"source 0\n" |
| 50 | 51 |
"target 3\n"; |
| 51 | 52 |
|
| 52 | 53 |
void checkDijkstraCompile() |
| 53 | 54 |
{
|
| 54 | 55 |
typedef int VType; |
| 55 | 56 |
typedef concepts::Digraph Digraph; |
| 56 | 57 |
typedef concepts::ReadMap<Digraph::Arc,VType> LengthMap; |
| 57 | 58 |
typedef Dijkstra<Digraph, LengthMap> DType; |
| 59 |
typedef Digraph::Node Node; |
|
| 60 |
typedef Digraph::Arc Arc; |
|
| 58 | 61 |
|
| 59 | 62 |
Digraph G; |
| 60 |
Digraph::Node n; |
|
| 61 |
Digraph::Arc e; |
|
| 63 |
Node s, t; |
|
| 64 |
Arc e; |
|
| 62 | 65 |
VType l; |
| 63 | 66 |
bool b; |
| 64 | 67 |
DType::DistMap d(G); |
| 65 | 68 |
DType::PredMap p(G); |
| 66 | 69 |
LengthMap length; |
| 70 |
Path<Digraph> pp; |
|
| 67 | 71 |
|
| 68 |
|
|
| 72 |
{
|
|
| 73 |
DType dijkstra_test(G,length); |
|
| 69 | 74 |
|
| 70 |
dijkstra_test.run( |
|
| 75 |
dijkstra_test.run(s); |
|
| 76 |
dijkstra_test.run(s,t); |
|
| 71 | 77 |
|
| 72 |
l = dijkstra_test.dist(n); |
|
| 73 |
e = dijkstra_test.predArc(n); |
|
| 74 |
n = dijkstra_test.predNode(n); |
|
| 75 |
d = dijkstra_test.distMap(); |
|
| 76 |
p = dijkstra_test.predMap(); |
|
| 77 |
b = dijkstra_test.reached(n); |
|
| 78 |
l = dijkstra_test.dist(t); |
|
| 79 |
e = dijkstra_test.predArc(t); |
|
| 80 |
s = dijkstra_test.predNode(t); |
|
| 81 |
b = dijkstra_test.reached(t); |
|
| 82 |
d = dijkstra_test.distMap(); |
|
| 83 |
p = dijkstra_test.predMap(); |
|
| 84 |
pp = dijkstra_test.path(t); |
|
| 85 |
} |
|
| 86 |
{
|
|
| 87 |
DType |
|
| 88 |
::SetPredMap<concepts::ReadWriteMap<Node,Arc> > |
|
| 89 |
::SetDistMap<concepts::ReadWriteMap<Node,VType> > |
|
| 90 |
::SetProcessedMap<concepts::WriteMap<Node,bool> > |
|
| 91 |
::SetStandardProcessedMap |
|
| 92 |
::SetOperationTraits<DijkstraWidestPathOperationTraits<VType> > |
|
| 93 |
::SetHeap<BinHeap<VType, concepts::ReadWriteMap<Node,int> > > |
|
| 94 |
::SetStandardHeap<BinHeap<VType, concepts::ReadWriteMap<Node,int> > > |
|
| 95 |
::Create dijkstra_test(G,length); |
|
| 78 | 96 |
|
| 79 |
|
|
| 97 |
dijkstra_test.run(s); |
|
| 98 |
dijkstra_test.run(s,t); |
|
| 99 |
|
|
| 100 |
l = dijkstra_test.dist(t); |
|
| 101 |
e = dijkstra_test.predArc(t); |
|
| 102 |
s = dijkstra_test.predNode(t); |
|
| 103 |
b = dijkstra_test.reached(t); |
|
| 104 |
pp = dijkstra_test.path(t); |
|
| 105 |
} |
|
| 106 |
|
|
| 80 | 107 |
} |
| 81 | 108 |
|
| 82 | 109 |
void checkDijkstraFunctionCompile() |
| 83 | 110 |
{
|
| 84 | 111 |
typedef int VType; |
| 85 | 112 |
typedef concepts::Digraph Digraph; |
| 86 | 113 |
typedef Digraph::Arc Arc; |
| 87 | 114 |
typedef Digraph::Node Node; |
| 88 | 115 |
typedef concepts::ReadMap<Digraph::Arc,VType> LengthMap; |
| 89 | 116 |
|
| 90 | 117 |
Digraph g; |
| 91 | 118 |
bool b; |
0 comments (0 inline)