[makeBiconnectedPlanar/doc] Adding documentation for pgr_makeBiconnectedPlanar

Author: Mohit242-bit

doc/_static/page_history.js

@@ -16,6 +16,8 @@ var titles = [
 
 
 var newpages = [
+    {v: '4.1', pages: ['pgr_makeBiconnectedPlanar']},
+
     {v: '4.0', pages: ['pgr_bandwidth', 'pgr_kingOrdering', 'pgr_sloanOrdering']},
 
     {v: '3.8', pages: ['pgr_contractionDeadEnd', 'pgr_contractionLinear', 'pgr_separateCrossing',

doc/planar/CMakeLists.txt

@@ -3,7 +3,9 @@
 # License: GPL-2 See https://github.com/pgRouting/pgrouting/blob/main/LICENSE
 
 set(LOCAL_FILES
+    planar-family.rst
     pgr_isPlanar.rst
+    pgr_makeBiconnectedPlanar.rst
     )
 
 foreach (f ${LOCAL_FILES})

doc/planar/images/CMakeLists.txt

@@ -3,6 +3,9 @@
 # License: GPL-2 See https://github.com/pgRouting/pgrouting/blob/main/LICENSE
 set(LOCAL_FILES
     nonPlanar.png
+    biconnected_planar_sampledata.png
+    biconnected_line_before.png
+    biconnected_line_after.png
     )
 
 foreach (f ${LOCAL_FILES})

doc/planar/images/biconnected_line_after.png

@@ -0,0 +1,163 @@
+:file: This file is part of the pgRouting project.
+:copyright: Copyright (c) 2020-2026 pgRouting developers
+:license: Creative Commons Attribution-Share Alike 3.0 https://creativecommons.org/licenses/by-sa/3.0
+
+.. index::
+   single: Planar Family ; pgr_makeBiconnectedPlanar - Experimental
+   single: makeBiconnectedPlanar - Experimental on v4.1
+
+|
+
+``pgr_makeBiconnectedPlanar`` - Experimental
+===============================================================================
+
+``pgr_makeBiconnectedPlanar`` — Returns the set of edges needed to make a planar graph biconnected.
+
+.. include:: experimental.rst
+   :start-after: warning-begin
+   :end-before: end-warning
+
+.. rubric:: Availability
+
+.. rubric:: Version 4.1.0
+
+* New experimental function.
+
+
+Description
+-------------------------------------------------------------------------------
+
+``pgr_makeBiconnectedPlanar`` identifies the missing edges that need to be added to an
+existing planar graph to make it biconnected, while ensuring the graph remains planar.
+
+A graph is considered **biconnected** if it is connected and cannot be broken into
+disconnected pieces by deleting any single vertex (it has no articulation points).
+A planar graph is one that can be drawn in two-dimensional space with no two of
+its edges crossing.
+
+The main characteristics are:
+
+* Works for **undirected** graphs.
+* Works for **planar** graphs only.
+* If the input graph is not planar, it returns an **empty set**.
+* Returns a list of all new edges needed to make the graph biconnected.
+* The algorithm does not consider traversal costs in the calculations.
+* The algorithm does not consider geometric topology in the calculations.
+* Running time: :math:`O(|V_G| + |E_G|)` where :math:`G(V_G, E_G)` is the input graph.
+
+|Boost| Boost Graph Inside
+
+Signatures
+-------------------------------------------------------------------------------
+
+.. admonition:: \ \
+   :class: signatures
+
+   | pgr_makeBiconnectedPlanar(`Edges SQL`_)
+
+   | Returns set of |result-component-make|
+   | OR EMPTY SET
+
+:Example: List of edges that are needed to make the graph biconnected planar.
+
+**Sample graph before:**
+
+.. figure:: /images/Fig6-undirected.png
+   :scale: 50%
+
+   Sample graph before
+
+**Output:**
+
+.. literalinclude:: makeBiconnectedPlanar.queries
+   :start-after: -- q1
+   :end-before: -- q2
+
+**Sample graph after adding biconnecting edges:**
+
+.. figure:: images/biconnected_planar_sampledata.png
+   :scale: 75%
+
+   Sample graph after adding biconnecting edges (olive = original edges, red dashed = 4 new biconnecting edges).
+   Note: When a graph contains multiple disconnected components, each component is processed independently. Components (2,4) and (13,14) are already biconnected (0 articulation points) and require no new edges.
+
+Parameters
+-------------------------------------------------------------------------------
+
+.. include:: pgRouting-concepts.rst
+   :start-after: only_edge_param_start
+   :end-before: only_edge_param_end
+
+Inner Queries
+-------------------------------------------------------------------------------
+
+Edges SQL
+...............................................................................
+
+.. include:: pgRouting-concepts.rst
+    :start-after: basic_edges_sql_start
+    :end-before: basic_edges_sql_end
+
+Result columns
+-------------------------------------------------------------------------------
+
+Returns set of |result-component-make|
+
+.. list-table::
+   :width: 81
+   :widths: auto
+   :header-rows: 1
+
+   * - Column
+     - Type
+     - Description
+   * - ``seq``
+     - ``BIGINT``
+     - Sequential value starting from **1**.
+   * - ``start_vid``
+     - ``BIGINT``
+     - Identifier of the first end point vertex of the edge.
+   * - ``end_vid``
+     - ``BIGINT``
+     - Identifier of the second end point vertex of the edge.
+
+Additional Examples
+-------------------------------------------------------------------------------
+
+:Example: Biconnecting a simple 4-vertex line graph (path graph).
+
+.. literalinclude:: makeBiconnectedPlanar.queries
+   :start-after: -- q2
+   :end-before: -- q3
+
+**Sample graph before:**
+
+.. figure:: images/biconnected_line_before.png
+   :scale: 75%
+
+   Sample 4-vertex line graph before biconnecting (vertices 2 and 3 are articulation points).
+
+**Output:**
+
+.. literalinclude:: makeBiconnectedPlanar.queries
+   :start-after: -- q3
+   :end-before: -- q4
+
+**Sample graph after adding biconnecting edges:**
+
+.. figure:: images/biconnected_line_after.png
+   :scale: 75%
+
+   Biconnected planar graph after adding edges (1,3) and (2,4) to eliminate articulation points without crossing.
+
+See Also
+-------------------------------------------------------------------------------
+
+* `Boost: make_biconnected_planar
+  <https://www.boost.org/libs/graph/doc/make_biconnected_planar.html>`__
+* :doc:`sampledata`
+
+.. rubric:: Indices and tables
+
+* :ref:`genindex`
+* :ref:`search`

doc/planar/images/biconnected_line_before.png

@@ -0,0 +1,33 @@
+:file: This file is part of the pgRouting project.
+:copyright: Copyright (c) 2020-2026 pgRouting developers
+:license: Creative Commons Attribution-Share Alike 3.0 https://creativecommons.org/licenses/by-sa/3.0
+
+.. index:: Planar Family 
+
+|
+
+Planar - Family of functions
+===============================================================================
+
+.. include:: experimental.rst
+   :start-after: warning-begin
+   :end-before: end-warning
+
+.. experimental-start
+
+* :doc:`pgr_isPlanar` - Returns a boolean depending upon the planarity of the graph.
+* :doc:`pgr_makeBiconnectedPlanar` - Returns edges to add to a biconnected planar graph to make it maximal planar.
+
+.. experimental-end
+
+
+.. toctree::
+    :hidden:
+
+    pgr_isPlanar
+    pgr_makeBiconnectedPlanar
+
+.. rubric:: Indices and tables
+
+* :ref:`genindex`
+* :ref:`search`

doc/planar/images/biconnected_planar_sampledata.png

@@ -129,12 +129,12 @@ Experimental Functions
 
 .. rubric:: Planar Family
 
-- :doc:`pgr_isPlanar`
+- :doc:`planar-family`
 
 .. toctree::
   :hidden:
 
-  pgr_isPlanar
+  planar-family
 
 .. rubric:: Miscellaneous Algorithms