Boost C++ Libraries: Ticket #9246: VF2 (sub)graph isomorphism algorithms, return value and empty graphs https://svn.boost.org/trac10/ticket/9246 <p> The algorithms are supposed to return true if and only if the relevant morphism exist. However, for not trivial searches the return value is not correct. Related to this is the handling of empty graphs. When a morphism exist involving an empty graph it is not reported to the callback and thus the client must trust the return value. The attached patch contains: </p> <ul><li>A test to reveal the bugs. </li><li>Fixes to the algorithms such that the return value can be reliably used. </li><li>Documentation changes to explicitly explain the special cases with empty graphs. </li></ul> en-us Boost C++ Libraries /htdocs/site/boost.png https://svn.boost.org/trac10/ticket/9246 Trac 1.4.3 Jakob Lykke Andersen <jlandersen@…> Sun, 13 Oct 2013 12:22:52 GMT attachment set https://svn.boost.org/trac10/ticket/9246 https://svn.boost.org/trac10/ticket/9246 <ul> <li><strong>attachment</strong> → <span class="trac-field-new">vf2_fixes.diff</span> </li> </ul> Ticket Jeremiah Willcock Thu, 17 Oct 2013 02:51:17 GMT status changed; resolution set https://svn.boost.org/trac10/ticket/9246#comment:1 https://svn.boost.org/trac10/ticket/9246#comment:1 <ul> <li><strong>status</strong> <span class="trac-field-old">new</span> → <span class="trac-field-new">closed</span> </li> <li><strong>resolution</strong> → <span class="trac-field-new">fixed</span> </li> </ul> <p> (In <a class="changeset" href="https://svn.boost.org/trac10/changeset/86336" title="Made some of changes from #9246: added new test case (modifying tests ...">[86336]</a>) Made some of changes from <a class="closed ticket" href="https://svn.boost.org/trac10/ticket/9246" title="#9246: Patches: VF2 (sub)graph isomorphism algorithms, return value and empty graphs (closed: fixed)">#9246</a>: added new test case (modifying tests on callback usage to match current documentation); removed special-casing of empty graphs; added patch from <a class="closed ticket" href="https://svn.boost.org/trac10/ticket/9246" title="#9246: Patches: VF2 (sub)graph isomorphism algorithms, return value and empty graphs (closed: fixed)">#9246</a> for correct return values; did not make change to documentation suggested there since I chose to have the callback called even for empty graphs; fixes <a class="closed ticket" href="https://svn.boost.org/trac10/ticket/9246" title="#9246: Patches: VF2 (sub)graph isomorphism algorithms, return value and empty graphs (closed: fixed)">#9246</a> </p> Ticket