I have a starting and a target set which I would like to represent via ImplicitRegion
.
I can evolve each point p
of the starting set into an interval depending on p
, for instance [p-1, p+1]
.
Now I would like to find the subset of the starting set from which I can actually land anywhere on the target set. I tried to represent this as the ImplicitRegion
overlapping the target set.
My attempt does not give the expected answer :
start = ImplicitRegion[0 <= x <= 10, {x}];
minR[y_] = y - 1;
maxR[y_] = y + 1;
target = ImplicitRegion[2 <= x <= 4 || x == 7, {x}];
ImplicitRegion[
p \[Element] start &&
RegionMeasure[
RegionIntersection[ImplicitRegion[minR[p] <= yy <= maxR[p], yy],target]] > 0,
{p}]
The desired output would be ImplicitRegion[1 <= x <= 5 || x == 6 || x == 8, {x}]