## Stream: Coq users

### Topic: Pixel and its relationship

#### pianke (Apr 24 2022 at 04:00):

I have three pixels x y z.Pixel x and y are neighbourhood and pixel y and z are also neighbourhood. On what basis/hypothesis I can say pixel x and z are neighbourhood. Please someone help me in clearification of this point.

#### Michael Soegtrop (Apr 24 2022 at 07:20):

This depends on what you mean by neighborhood. Something based on distance? Something based on connectedness via other pixels in a set of pixels? Something based on general topological concepts?

#### pianke (Apr 24 2022 at 11:43):

based on unit distance. I am confuse about the distance between two points .x , y and y ,z are possible . But how x and z is possible?

#### Michael Soegtrop (Apr 25 2022 at 07:50):

If you define neighborhood based on a fixed maximum distance, it will obviously not be transitive. Say if pixels x and y and y and z both have a distance of 1, the distance between x and z could be 2. All you can do is that you say x and z are neighbors based on a more relaxed distance relation. Something like:

``````Neighbor d1 x y -> Neighbor d2 y z -> Neighbor (d1+d2) x z
``````

#### pianke (Apr 26 2022 at 12:39):

Thank you .

Last updated: Jun 25 2024 at 17:02 UTC