#7662: Update is_chordal to return certificates
----------------------------+-----------------------------------------------
   Reporter:  ncohen        |       Owner:  rlm         
       Type:  enhancement   |      Status:  needs_review
   Priority:  major         |   Milestone:  sage-4.5.2  
  Component:  graph theory  |    Keywords:              
     Author:                |    Upstream:  N/A         
   Reviewer:                |      Merged:              
Work_issues:                |  
----------------------------+-----------------------------------------------
Changes (by ncohen):

  * status:  needs_work => needs_review


Old description:

> Create a module for chordal graphs :
>
>    * Perfect elimination order ( use #7541 )
>    * Move is-chordal in this module
>    * Polynomial-time algorithms for
>         * Vertex coloring
>         * Max clique/stable
>    * MaxBFS
>    * BFS*

New description:

 This patch lets is_chordal return a certificate when asked to do so. The
 former algorithm is kept, and several lines are added to collect the
 certificate on the way and return it.

 Nathann

--

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7662#comment:3>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to