วันเสาร์ที่ 30 เมษายน พ.ศ. 2559

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:01:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

[computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [computer] [sage-devel] Bug in BipartiteGraph.vertex_cover()

The vertex_cover method fails to work correctly in the following example.  Note that the two graphs in question are isomorphic.  I have obtained this behavior in Sage 6.0 running under OSX10.11, as well as on aleph.sagemath.org and cloud.sagemath.org.

================================================================================
================================================================================

sage: G = BipartiteGraph([[0,1],[1,2],[2,3],[3,4],[5,6]])
sage: G.vertex_cover()
[1, 3, 6]
sage: G = BipartiteGraph([[0,1],[0,3],[2,4],[2,3],[5,6]])
sage: G.vertex_cover()
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-4-7f169d4aafdc> in <module>()
----> 1 G.vertex_cover()

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/graph.pyc in vertex_cover(self, algorithm, value_only, reduction_rules, solver, verbosity)
   5414                         g.delete_vertex(w)
   5415                         for z in neigh:
-> 5416                             g.add_edge(u,z)
   5417
   5418                         folded_vertices += [(u,v,w)]

/Applications/Sage-6.0.app/Contents/Resources/sage/local/lib/python2.7/site-packages/sage/graphs/bipartite_graph.pyc in add_edge(self, u, v, label)
    782         if self.left.issuperset((u, v)) or self.right.issuperset((u, v)):
    783             raise RuntimeError(
--> 784                 "Edge vertices must lie in different partitions.")
    785
    786         # automatically decide partitions for the newly created vertices

RuntimeError: Edge vertices must lie in different partitions.

================================================================================
================================================================================

There are simpler methods for finding maximum-cardinality or maximum-weighted matchings in bipartite graphs - the augmenting-path and Hungarian algorithms respectively.  Should these be implemented for the BipartiteGraph class?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง

--
เขียนโดย computer ถึง computer เวลา 4/30/2559 09:00:00 ก่อนเที่ยง