Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Infomation Lower Bound Search #218

Merged
merged 7 commits into from
Oct 12, 2023
Merged

Infomation Lower Bound Search #218

merged 7 commits into from
Oct 12, 2023

Conversation

ewfuentes
Copy link
Owner

No description provided.

@@ -0,0 +1,150 @@

#include "experimental/beacon_sim/information_lower_bound_search.hh"
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

need to get rid of debugging prints

env.road_map, env.start_idx, env.end_idx, START_INFO, GOAL_INFO_LOWER_BOUND, env.rev_prop);

// Verification
EXPECT_TRUE(false);
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Add real test criteria

env.road_map, env.start_idx, env.end_idx, START_INFO, GOAL_INFO_LOWER_BOUND, env.rev_prop);

// Verification
EXPECT_TRUE(false);
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Add real test criteria

const LowerBoundReversePropagator &propagator);

namespace detail {
struct InProgressPath {
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is there a case where InformationLowerBoundResult wouldn't exactly match InProgressPath?

Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

InProgressPath is meant to be an internal data structure that I'm only exposing for the sake of unit testing. I did want to separate the internal representation from the external API. I can easily imagine returning additional details about the search like the number of edges traversed, or the propagated bounds at each node as a part of the result.


struct MergeResult {
bool should_merge;
std::vector<int> to_boot;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What is to_boot? A short comment could help

Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Each node has a list of paths from that node to the goal node, along with the information lower bound required for that path and the cost of that path. Given a new path to a node, should_merge() returns:
a) If that new path should be added to the list of paths maintained by that node, and
b) If that new path should be added, which paths, if any, should be dropped from the list of paths maintained by the node. This is represented by the vector of indices that should be dropped or booted, hence to_boot.

I'll add some comments :).

continue;
}

// remove any paths that have been dominated
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does this remove the path from all nodes along that partial path? Some additional comments could help quick understanding of this complicated bit of code

Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Removal from previous nodes doesn't happen here. I'll add comments adding more details as I'm almost certainly going to revisit this piece of code.

@ewfuentes ewfuentes merged commit 2699d01 into main Oct 12, 2023
@ewfuentes ewfuentes deleted the info_lower_bound_search branch October 12, 2023 19:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants