Opened 6 years ago

#12613 new Bugs

Problem in vf2_subgraph_iso handling self-loops when using undirectedS

Reported by: Flavio De Lorenzi <fdlorenzi@…> Owned by: Jeremiah Willcock
Milestone: To Be Determined Component: graph
Version: Boost Development Trunk Severity: Problem
Keywords: Cc:

Description

The attached example (with 1 vertex and 1 self-loop) illustrates that vf2_subgraph_iso fails to detect the isomorphism when using underictedS and e.g. vecS as edge list. This is because adding a single self-loop to a vertex (when using vecS as edge list) results in 2 out-edges having the same edge descriptor. Is this intended? (In contrast, using setS as edge list to describe the same graph (1 vertex and 1 self-loop) results in only one out-edge. In this case vf2_subgraph_iso finds the isomorphism because each out-edge has a unique edge descriptor).

This affects also previous versions.

Best wishes, Flavio

Attachments (1)

test_simple.cpp (2.3 KB ) - added by Flavio De Lorenzi <fdlorenzi@…> 6 years ago.
example to illustrate the issue

Download all attachments as: .zip

Change History (1)

by Flavio De Lorenzi <fdlorenzi@…>, 6 years ago

Attachment: test_simple.cpp added

example to illustrate the issue

Note: See TracTickets for help on using tickets.