This file is indexed.

/usr/share/doc/postgresql-9.5-pgrouting-doc/html/en/_sources/doc/src/recipes/parallel_handling.txt is in postgresql-9.5-pgrouting-doc 2.1.0-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
.. 
   ****************************************************************************
    pgRouting Manual
    Copyright(c) pgRouting Contributors

    This documentation is licensed under a Creative Commons Attribution-Share  
    Alike 3.0 License: http://creativecommons.org/licenses/by-sa/3.0/
   ****************************************************************************

.. _parallel_handling:

Handling parallels after getting a path (pgr_ksp focus)
-------------------------------------------------------

:Author: pgRouting team.
:Licence: Open Source


.. rubric:: The graph


.. image:: ./images/parallelImage.png


.. rubric:: Data

.. code-block:: sql

  drop table if exists parallel;
  CREATE TABLE parallel (
    id serial,
    source integer,
    target integer,
    cost double precision,
    reverse_cost double precision,
    x1 double precision,
    y1 double precision,
    x2 double precision,
    y2 double precision,
    the_geom geometry
  );
 
  INSERT INTO parallel (x1,y1,x2,y2) 
    VALUES (1,0,1,1),(1,1,1,3),(1,1,1,3),(1,1,1,3),(1,3,1,4),(1,1,-1,1),(-1,1,-1,3),(-1,3,1,3);
  UPDATE parallel SET the_geom = ST_makeline(ST_point(x1,y1),ST_point(x2,y2));
  UPDATE parallel SET the_geom = ST_makeline(ARRAY[ST_point(1,1),ST_point(0,2),ST_point(1,3)]) WHERE id = 3;
  UPDATE parallel SET the_geom = ST_makeline(ARRAY[ST_point(1,1),ST_point(2,1),ST_point(2,3),ST_point(1,3)])
                                WHERE id = 4;
  UPDATE parallel SET cost = ST_length(the_geom), reverse_cost = ST_length(the_geom);
  SELECT pgr_createTopology('parallel',0.001);

.. rubric:: pgr_ksp results

We ignore the costs because we want all the parallels

.. code-block:: sql

  SELECT seq, path_id AS route, node, edge INTO routes
    from pgr_ksp('select id, source, target, cost, reverse_cost from parallel',
    1, 4, 3);

  select route, node, edge from routes;
    route | node | edge 
   -------+------+------
        1 |    1 |    1
        1 |    2 |    2
        1 |    3 |    5
        1 |    4 |   -1
        2 |    1 |    1
        2 |    2 |    6
        2 |    5 |    7
        2 |    6 |    8
        2 |    3 |    5
        2 |    4 |   -1
   (10 rows)


.. rubric:: We need an aggregate function:

.. code-block:: sql

  CREATE AGGREGATE array_accum (anyelement)
  (
    sfunc = array_append,
    stype = anyarray,
    initcond = '{}'
  );


.. rubric:: Now lets generate a table with the parallel edges.

.. code-block:: sql

  select distinct seq,route,source,target, array_accum(id) as edges into paths
    from (select seq, route, source, target 
          from parallel, routes where id = edge) as r
       join parallel using (source, target)
    group by seq,route,source,target order by seq;

   select route, source, targets, edges from paths;
     route | source | target |  edges  
    -------+--------+--------+---------
         1 |      1 |      2 | {1}
         2 |      1 |      2 | {1}
         2 |      2 |      5 | {6}
         1 |      2 |      3 | {2,3,4}
         2 |      5 |      6 | {7}
         1 |      3 |      4 | {5}
         2 |      6 |      3 | {8}
         2 |      3 |      4 | {5}
    (8 rows)


.. rubric:: Some more aggregate functions

To generate a table with all the combinations for parallel routes, we need some more aggregates

.. code-block:: sql

  create or replace function multiply( integer, integer )
  returns integer as
  $$
    select $1 * $2;
  $$
  language sql stable;

  create aggregate prod(integer)
  (
    sfunc = multiply,
    stype = integer,
    initcond = 1
  );

.. rubric:: And a function that "Expands" the table



.. code-block:: sql

  CREATE OR REPLACE function   expand_parallel_edge_paths(tab text)
    returns TABLE (
                  seq    INTEGER,
                  route  INTEGER,
                  source INTEGER, target INTEGER, -- this ones are not really needed
                  edge   INTEGER ) AS
   $body$
   DECLARE
   nroutes   INTEGER;
   newroutes INTEGER;
   rec   record;
   seq2 INTEGER := 1;
   rnum INTEGER := 0;

   BEGIN     -- get the number of distinct routes
     execute 'select count(DISTINCT route) from ' || tab INTO nroutes;
     FOR i IN 0..nroutes-1
     LOOP
         -- compute the number of new routes this route will expand into
         -- this is the product of the lengths of the edges array for each route
         execute 'select prod(array_length(edges, 1))-1 from '
         ||       quote_ident(tab) || ' where route='    || i INTO newroutes; 
         -- now we generate the number of new routes for this route
         -- by repeatedly listing the route and swapping out the parallel edges
         FOR j IN 0..newroutes
         LOOP
             -- query the specific route
             FOR rec IN execute 'select * from ' || quote_ident(tab) ||' where route=' || i
                         || ' order by seq'
             LOOP
                 seq := seq2;              
                 route := rnum;
                 source := rec.source;
                 target := rec.target;
                 -- using module arithmetic iterate through the various edge choices
                 edge := rec.edges[(j % (array_length(rec.edges, 1)))+1];
                 -- return a new record
                 RETURN next;
                 seq2 := seq2 + 1;    -- increment the record count
              END LOOP;
              seq := seq2;
              route := rnum;
              source := rec.target;
              target := -1;
              edge := -1;
              RETURN next;  -- Insert the ending record of the route
              seq2 := seq2 + 1;
              
              rnum := rnum + 1;  -- increment the route count
          END LOOP;
       END LOOP;
   END;
   $body$
   language plpgsql volatile strict   cost 100 rows 100;

.. rubric:: Test it

.. code-block:: sql

  select * from expand_parallel_edge_paths( 'paths' );
   seq | route | source | target | edge 
  -----+-------+--------+--------+------
     1 |     0 |      1 |      2 |    1
     2 |     0 |      2 |      3 |    2
     3 |     0 |      3 |      4 |    5
     4 |     0 |      4 |     -1 |   -1
     5 |     1 |      1 |      2 |    1
     6 |     1 |      2 |      3 |    3
     7 |     1 |      3 |      4 |    5
     8 |     1 |      4 |     -1 |   -1
     9 |     2 |      1 |      2 |    1
    10 |     2 |      2 |      3 |    4
    11 |     2 |      3 |      4 |    5
    12 |     2 |      4 |     -1 |   -1
    13 |     3 |      1 |      2 |    1
    14 |     3 |      2 |      5 |    6
    15 |     3 |      5 |      6 |    7
    16 |     3 |      6 |      3 |    8
    17 |     3 |      3 |      4 |    5
    18 |     3 |      4 |     -1 |   -1
  (18 rows)