Re: help me understand this theorem




susan@xxxxxxxxxxxxxx wrote:
> So all they are saying is that the relation of nodes being connected
is
> reflexive, associtive and transitive?

Yes, though I don't normally think of a node as being
connected to itself.

The utility of equivalence relations is that that they
partition a set into equivalence "classes", subsets of
elements which all share the relationship with each
other, but not with any other element.

In the case of a graph, this author is saying that
the connected components of a graph can be thought of
as equivalence classes.

> So if there is a t-m path there must be a m-t path... if there is a
m-y
> path there must be a y-t path in any connected graph?

Yes.

> Is "R" just a random letter in this theorem... or is it going to be
> used over and over to talk about these kinds of relations?

That's up to the author. Any symbol can be used so long as
it is defined.

- Randy

.



Relevant Pages

  • Re: Need Graph Isomorphism Algorithm De-bunked
    ... each component of the graph should be considered as a second ... equivalence class over the vertices and be intersected with the first. ... vector of size N containing equivalence classes for the corresponding ...
    (sci.crypt)
  • Re: Need Graph Isomorphism Algorithm De-bunked
    ... Let N be the number of equivalence classes over ... the vertices in the graph. ... As far as I can tell, the vertices that generate the same final hash ...
    (sci.crypt)
  • Re: inverse function
    ... think of the equivalence as saying that two "equations" (that is, ... so we now inquire about the graph ... interchange the roles of x and y). ...
    (sci.math)
  • Re: Can this be done in SQL? Find the transitive relation
    ... I am strugling get the following done in SQL. ... http://www.bookpool.com/sm/0977671542, section on transitive closure ... There are several key graph concepts that would guide your intuition ... Figure 6.5: Reachability as an equivalence relation: graph from fig. ...
    (comp.databases.oracle.server)
  • Re: For the Massechisettianiters
    ... >>> What I'm saying is that the graph above implies that there isn't ...
    (misc.fitness.weights)