intersection classes with variable degree of discretization
This commit is contained in:
committed by
Patrick Niklaus
parent
0f3942558f
commit
4d9aa65e78
@@ -14,6 +14,7 @@
|
||||
#include "util/lua_util.hpp"
|
||||
#include "util/make_unique.hpp"
|
||||
#include "util/name_table.hpp"
|
||||
#include "util/range_table.hpp"
|
||||
#include "util/simple_logger.hpp"
|
||||
#include "util/timing_util.hpp"
|
||||
|
||||
@@ -624,10 +625,24 @@ void Extractor::WriteIntersectionClassificationData(
|
||||
util::writeFingerprint(file_out_stream);
|
||||
util::serializeVector(file_out_stream, node_based_intersection_classes);
|
||||
|
||||
static_assert(std::is_trivially_copyable<util::guidance::BearingClass>::value,
|
||||
"BearingClass Serialization requires trivial copyable bearing classes");
|
||||
// create range table for vectors:
|
||||
std::vector<unsigned> bearing_counts;
|
||||
bearing_counts.reserve(bearing_classes.size());
|
||||
std::uint64_t total_bearings = 0;
|
||||
for (const auto &bearing_class : bearing_classes){
|
||||
bearing_counts.push_back(static_cast<unsigned>(bearing_class.getAvailableBearings().size()));
|
||||
total_bearings += bearing_class.getAvailableBearings().size();
|
||||
}
|
||||
|
||||
util::serializeVector(file_out_stream, bearing_classes);
|
||||
util::RangeTable<> bearing_class_range_table(bearing_counts);
|
||||
file_out_stream << bearing_class_range_table;
|
||||
|
||||
file_out_stream << total_bearings;
|
||||
for( const auto &bearing_class : bearing_classes)
|
||||
{
|
||||
const auto &bearings = bearing_class.getAvailableBearings();
|
||||
file_out_stream.write( reinterpret_cast<const char*>(&bearings[0]), sizeof(bearings[0]) * bearings.size() );
|
||||
}
|
||||
|
||||
static_assert(std::is_trivially_copyable<util::guidance::EntryClass>::value,
|
||||
"EntryClass Serialization requires trivial copyable entry classes");
|
||||
|
||||
@@ -15,234 +15,17 @@ namespace guidance
|
||||
|
||||
struct TurnPossibility
|
||||
{
|
||||
TurnPossibility(bool entry_allowed, double bearing, std::uint8_t discrete_id)
|
||||
: entry_allowed(entry_allowed), bearing(std::move(bearing)),
|
||||
discrete_id(std::move(discrete_id))
|
||||
TurnPossibility(bool entry_allowed, double bearing)
|
||||
: entry_allowed(entry_allowed), bearing(std::move(bearing))
|
||||
{
|
||||
}
|
||||
|
||||
TurnPossibility() : entry_allowed(false), bearing(0), discrete_id(0) {}
|
||||
TurnPossibility() : entry_allowed(false), bearing(0) {}
|
||||
|
||||
bool entry_allowed;
|
||||
double bearing;
|
||||
std::uint8_t discrete_id;
|
||||
};
|
||||
|
||||
namespace
|
||||
{
|
||||
|
||||
bool hasConflicts(const std::vector<TurnPossibility> &turns)
|
||||
{
|
||||
if (turns.size() <= 1)
|
||||
return false;
|
||||
for (std::size_t pos = 0; pos < turns.size(); ++pos)
|
||||
{
|
||||
if (turns[pos].discrete_id == turns[(pos + 1) % turns.size()].discrete_id)
|
||||
return true;
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
// Fix cases with nearly identical turns. If the difference between turns is just to small to be
|
||||
// visible, we will not report the angle twice
|
||||
std::vector<TurnPossibility> fixIdenticalTurns(std::vector<TurnPossibility> intersection)
|
||||
{
|
||||
BOOST_ASSERT(intersection.size() > 1);
|
||||
for (auto itr = intersection.begin(); itr != intersection.end(); ++itr)
|
||||
{
|
||||
const auto next = [&]() {
|
||||
auto next_itr = std::next(itr);
|
||||
if (next_itr != intersection.end())
|
||||
return next_itr;
|
||||
return intersection.begin();
|
||||
}();
|
||||
|
||||
// conflict here?
|
||||
if (itr->discrete_id == next->discrete_id)
|
||||
{
|
||||
if (angularDeviation(itr->bearing, next->bearing) < 0.5) // very small angular difference
|
||||
{
|
||||
if (!itr->entry_allowed || next->entry_allowed)
|
||||
{
|
||||
itr = intersection.erase(itr);
|
||||
}
|
||||
else
|
||||
{
|
||||
intersection.erase(next);
|
||||
}
|
||||
if (itr == intersection.end())
|
||||
break;
|
||||
}
|
||||
}
|
||||
}
|
||||
return intersection;
|
||||
}
|
||||
|
||||
std::vector<TurnPossibility> fixAroundBorder(std::vector<TurnPossibility> intersection)
|
||||
{
|
||||
BOOST_ASSERT(intersection.size() > 1);
|
||||
// We can solve a conflict by reporting different bearing availabilities, as long as
|
||||
// both conflicting turns are on different sides of the bearing separator.
|
||||
//
|
||||
// Consider this example:
|
||||
// ID(0)
|
||||
// . b
|
||||
// a .... (ID 1)
|
||||
// . c
|
||||
// ID(2)
|
||||
//
|
||||
// Both b and c map to the ID 1. Due to the split, we can set ID 0 and 2. In
|
||||
// deducing the best available bearing for a turn, we can now find 0 to be closest
|
||||
// to b and 2 to be closest to c. This only works when there are no other bearings
|
||||
// close to the conflicting assignment, though.
|
||||
for (std::size_t current_index = 0; current_index < intersection.size(); ++current_index)
|
||||
{
|
||||
const auto next_index = (current_index + 1) % intersection.size();
|
||||
if (intersection[current_index].discrete_id == intersection[next_index].discrete_id)
|
||||
{
|
||||
const double border = util::guidance::BearingClass::discreteIDToAngle(
|
||||
util::guidance::BearingClass::angleToDiscreteID(
|
||||
intersection[current_index].bearing));
|
||||
|
||||
// if both are on different sides of the separation, we can check for possible
|
||||
// resolution
|
||||
if (intersection[current_index].bearing < border &&
|
||||
intersection[next_index].bearing > border)
|
||||
{
|
||||
const auto shift_angle = [](const double bearing, const double delta) {
|
||||
auto shifted_angle = bearing + delta;
|
||||
if (shifted_angle < 0)
|
||||
return shifted_angle + 360.;
|
||||
if (shifted_angle > 360)
|
||||
return shifted_angle - 360.;
|
||||
return shifted_angle;
|
||||
};
|
||||
|
||||
// conflict resolution is possible, if both bearings are available
|
||||
const auto left_id = util::guidance::BearingClass::angleToDiscreteID(
|
||||
shift_angle(intersection[current_index].bearing,
|
||||
-util::guidance::BearingClass::discrete_angle_step_size));
|
||||
const auto right_id = util::guidance::BearingClass::angleToDiscreteID(
|
||||
shift_angle(intersection[next_index].bearing,
|
||||
util::guidance::BearingClass::discrete_angle_step_size));
|
||||
|
||||
const bool resolvable = [&]() {
|
||||
if (intersection.size() == 2)
|
||||
return true;
|
||||
|
||||
// cannot shift to the left without generating another conflict
|
||||
if (intersection[current_index + intersection.size() - 1].discrete_id ==
|
||||
left_id)
|
||||
return false;
|
||||
|
||||
// cannot shift to the right without generating another conflict
|
||||
if (intersection[(next_index + 1) % intersection.size()].discrete_id ==
|
||||
right_id)
|
||||
return false;
|
||||
|
||||
return true;
|
||||
}();
|
||||
|
||||
if (resolvable)
|
||||
{
|
||||
intersection[current_index].discrete_id = left_id;
|
||||
intersection[next_index].discrete_id = right_id;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
return intersection;
|
||||
}
|
||||
|
||||
// return an empty set of turns, if the conflict is not possible to be handled
|
||||
std::vector<TurnPossibility> handleConflicts(std::vector<TurnPossibility> intersection)
|
||||
{
|
||||
intersection = fixIdenticalTurns(std::move(intersection));
|
||||
|
||||
if (!hasConflicts(intersection))
|
||||
return intersection;
|
||||
|
||||
intersection = fixAroundBorder(intersection);
|
||||
|
||||
// if the intersection still has conflicts, we cannot handle it correctly
|
||||
if (hasConflicts(intersection))
|
||||
intersection.clear();
|
||||
|
||||
return intersection;
|
||||
#if 0
|
||||
const auto border = util::guidance::BearingClass::discreteIDToAngle(
|
||||
util::guidance::BearingClass::angleToDiscreteID(intersection[0].bearing));
|
||||
|
||||
// at least two turns
|
||||
auto previous_id = util::guidance::BearingClass::angleToDiscreteID(turns.back().bearing);
|
||||
for (std::size_t i = 0; i < turns.size(); ++i)
|
||||
{
|
||||
if (turns[i].entry_allowed)
|
||||
entry_class.activate(turn_index);
|
||||
const auto discrete_id =
|
||||
util::guidance::BearingClass::angleToDiscreteID(turns[i].bearing);
|
||||
|
||||
const auto prev_index = (i + turns.size() - 1) % turns.size();
|
||||
if (discrete_id != previous_id)
|
||||
{
|
||||
// if we go back in IDs, conflict resolution has to deal with multiple conflicts
|
||||
if (previous_id > discrete_id &&
|
||||
previous_id != (util::guidance::BearingClass::angleToDiscreteID(
|
||||
turns[prev_index].bearing)))
|
||||
{
|
||||
std::cout << "Previous ID conflict " << (int)previous_id << " "
|
||||
<< (int)discrete_id << std::endl;
|
||||
break;
|
||||
}
|
||||
++turn_index;
|
||||
bearing_class.addDiscreteID(discrete_id);
|
||||
previous_id = discrete_id;
|
||||
}
|
||||
else
|
||||
{
|
||||
// the previous turn was handled into a conflict. Such a conflict cannot be
|
||||
// correctly expressed.
|
||||
// We have to report a unclassified setting.
|
||||
if (util::guidance::BearingClass::angleToDiscreteID(turns[prev_index].bearing) !=
|
||||
previous_id)
|
||||
break;
|
||||
|
||||
if (turns[i].bearing >= border && turns[prev_index].bearing < border)
|
||||
{
|
||||
const auto shift_angle = [](const double bearing, const double delta) {
|
||||
auto shifted_angle = bearing + delta;
|
||||
if (shifted_angle < 0)
|
||||
return shifted_angle + 360.;
|
||||
if (shifted_angle > 360)
|
||||
return shifted_angle - 360.;
|
||||
return shifted_angle;
|
||||
};
|
||||
|
||||
// conflict resolution is possible, if both bearings are available
|
||||
const auto left_id = util::guidance::BearingClass::angleToDiscreteID(
|
||||
shift_angle(turns[prev_index].bearing,
|
||||
-util::guidance::BearingClass::discrete_angle_step_size));
|
||||
const auto right_id = util::guidance::BearingClass::angleToDiscreteID(
|
||||
shift_angle(turns[i].bearing,
|
||||
util::guidance::BearingClass::discrete_angle_step_size));
|
||||
if (!bearing_class.hasDiscrete(left_id) && !bearing_class.hasDiscrete(right_id))
|
||||
{
|
||||
bearing_class.resetDiscreteID(discrete_id);
|
||||
bearing_class.addDiscreteID(left_id);
|
||||
bearing_class.addDiscreteID(right_id);
|
||||
++turn_index;
|
||||
previous_id = right_id;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
#endif
|
||||
|
||||
return intersection;
|
||||
};
|
||||
|
||||
} // namespace
|
||||
|
||||
std::pair<util::guidance::EntryClass, util::guidance::BearingClass>
|
||||
classifyIntersection(NodeID nid,
|
||||
const Intersection &intersection,
|
||||
@@ -266,63 +49,63 @@ classifyIntersection(NodeID nid,
|
||||
|
||||
const double bearing =
|
||||
util::coordinate_calculation::bearing(node_coordinate, edge_coordinate);
|
||||
turns.push_back({road.entry_allowed, bearing,
|
||||
util::guidance::BearingClass::angleToDiscreteID(bearing)});
|
||||
turns.push_back({road.entry_allowed, bearing});
|
||||
}
|
||||
|
||||
std::sort(turns.begin(), turns.end(),
|
||||
[](const TurnPossibility left, const TurnPossibility right) {
|
||||
return left.bearing < right.bearing;
|
||||
return util::guidance::BearingClass::getDiscreteBearing(left.bearing) <
|
||||
util::guidance::BearingClass::getDiscreteBearing(right.bearing) ||
|
||||
(util::guidance::BearingClass::getDiscreteBearing(left.bearing) ==
|
||||
util::guidance::BearingClass::getDiscreteBearing(right.bearing) &&
|
||||
left.bearing < right.bearing);
|
||||
});
|
||||
|
||||
// check for conflicts
|
||||
const bool has_conflicts = hasConflicts(turns);
|
||||
if (has_conflicts)
|
||||
{ // try to handle conflicts, if possible
|
||||
turns = handleConflicts(std::move(turns));
|
||||
}
|
||||
|
||||
util::guidance::EntryClass entry_class;
|
||||
util::guidance::BearingClass bearing_class;
|
||||
|
||||
const bool canBeDiscretized = [&]() {
|
||||
if (turns.size() <= 1)
|
||||
return true;
|
||||
|
||||
DiscreteBearing last_discrete_bearing =
|
||||
util::guidance::BearingClass::getDiscreteBearing(std::round(turns.back().bearing));
|
||||
for (const auto turn : turns)
|
||||
{
|
||||
const DiscreteBearing discrete_bearing =
|
||||
util::guidance::BearingClass::getDiscreteBearing(std::round(turn.bearing));
|
||||
if (discrete_bearing == last_discrete_bearing)
|
||||
return false;
|
||||
last_discrete_bearing = discrete_bearing;
|
||||
}
|
||||
return true;
|
||||
}();
|
||||
|
||||
// finally transfer data to the entry/bearing classes
|
||||
std::size_t number = 0;
|
||||
for (const auto turn : turns)
|
||||
if (canBeDiscretized)
|
||||
{
|
||||
if (turn.entry_allowed)
|
||||
entry_class.activate(number);
|
||||
bearing_class.addDiscreteID(turn.discrete_id);
|
||||
++number;
|
||||
}
|
||||
|
||||
static std::size_t mapping_failure_count = 0;
|
||||
if (turns.empty())
|
||||
{
|
||||
++mapping_failure_count;
|
||||
util::SimpleLogger().Write(logDEBUG)
|
||||
<< "Failed to provide full turn list for intersection ( " << mapping_failure_count
|
||||
<< " ) for " << intersection.size() << " roads";
|
||||
|
||||
std::cout << std::endl;
|
||||
for (const auto &road : intersection)
|
||||
for (const auto turn : turns)
|
||||
{
|
||||
const auto eid = road.turn.eid;
|
||||
const auto edge_coordinate =
|
||||
getRepresentativeCoordinate(nid, node_based_graph.GetTarget(eid), eid, false,
|
||||
compressed_geometries, query_nodes);
|
||||
|
||||
const double bearing =
|
||||
util::coordinate_calculation::bearing(node_coordinate, edge_coordinate);
|
||||
std::cout << " " << bearing << "("
|
||||
<< (int)util::guidance::BearingClass::angleToDiscreteID(bearing) << ")";
|
||||
if (turn.entry_allowed)
|
||||
entry_class.activate(number);
|
||||
auto discrete_bearing_class =
|
||||
util::guidance::BearingClass::getDiscreteBearing(std::round(turn.bearing));
|
||||
bearing_class.add(std::round(discrete_bearing_class *
|
||||
util::guidance::BearingClass::discrete_step_size));
|
||||
++number;
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
for (const auto turn : turns)
|
||||
{
|
||||
if (turn.entry_allowed)
|
||||
entry_class.activate(number);
|
||||
bearing_class.add(std::round(turn.bearing));
|
||||
++number;
|
||||
}
|
||||
std::cout << std::endl;
|
||||
std::cout << "Location of intersection: " << std::setprecision(12) << " "
|
||||
<< util::toFloating(query_nodes[nid].lat) << " "
|
||||
<< util::toFloating(query_nodes[nid].lon) << std::endl;
|
||||
return {};
|
||||
}
|
||||
|
||||
return std::make_pair(entry_class, bearing_class);
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user