Begin forwarded message:

From: Bledar Aga <bledar.aga@students.unibe.ch>

Subject: MalCyclesCoverage

Date: November 27, 2014 at 1:09:45 PM GMT-4

To: abergel@dcc.uchile.cl, alexandre.bergel@me.com

Dear Prof. Bergel,

I’m a master student at Bern University and I am working for my master thesis about dependency cycles.

I am using your implementation of Tarjan algorithm MalCyclesCoverage (Moose) for detecting the cycles. I tried to understand your implementation but it is a bit hard to follow the execution and I can’t find the documentation. 

I want kindly to ask: Is there any reason that given a certain input it does not provide all the circuits of a strongly connected components? 

Removing the dependencies (edges) from a cyclic graph at the end I obtain the acyclic graph and this is what I want, but I need to understand how the single circuits are obtained.

  

Example: 

 

Considering the following input:

|tarjan|

tarjan := MalCyclesCoverage new.

tarjan nodes: #(1 2 3 4 5).

tarjan edges: #((1 3) (3 1) (1 5) (5 1) (4 1) (2 1) (2 5) (5 2) (2 3) (3 2) (3 4) (5 4)) from:#first to:#second.

tarjan run.

self halt.

 It returns the following output: ((1 3 4)(1 5) (1 5)(2 3) (1 3) (1 5 4) (2 5)). In practice there are more circuits, example (1 3 2) (1 5 2 3)...?

To have a clear idea of the input I attached the graph. 

Thank you very much in advance for your time.

Best regards,

Bledar Aga.