Implement IsOrderIdeal

doc/oper.xml

@@ -1369,7 +1369,7 @@ false
 gap> D := CompleteDigraph(5);
 <immutable complete digraph with 5 vertices>
 gap> VerticesReachableFrom(D, 1);
-[ 2, 1, 3, 4, 5 ]
+[ 1, 2, 3, 4, 5 ]
 gap> VerticesReachableFrom(D, 3);
 [ 1, 2, 3, 4, 5 ]
 gap> D := EmptyDigraph(5);
@@ -1381,9 +1381,9 @@ gap> VerticesReachableFrom(D, 3);
 gap> D := CycleDigraph(4);
 <immutable cycle digraph with 4 vertices>
 gap> VerticesReachableFrom(D, 1);
-[ 2, 3, 4, 1 ]
+[ 1, 2, 3, 4 ]
 gap> VerticesReachableFrom(D, 3);
-[ 4, 1, 2, 3 ]
+[ 1, 2, 3, 4 ]
 gap> D := ChainDigraph(5);
 <immutable chain digraph with 5 vertices>
 gap> VerticesReachableFrom(D, 1);
@@ -1395,6 +1395,38 @@ gap> VerticesReachableFrom(D, 5);
 ]]></Example>
   </Description>
 </ManSection>
+
+<ManSection>
+  <Oper Name="VerticesReachableFrom" Arg="D, list"/>
+  <Returns>A list.</Returns>
+  <Description>
+    This operation returns a list of the vertices  <A>v</A>, for which there exists
+    a non-trivial directed walk from any of the elements of the provided list to vertex <A>v</A> in the digraph
+    <A>digraph</A>. See Section <Ref Subsect="Definitions" Style="Number" />
+    for the definition of a non-trivial directed walk. The function will throw an error if the list provided contains entries that are not vertices of the digraph.
+    <P/>
+
+<Example><![CDATA[
+gap> D := CompleteDigraph(5);
+<immutable complete digraph with 5 vertices>
+gap> VerticesReachableFrom(D, [1]);
+[ 1, 2, 3, 4, 5 ]
+gap> VerticesReachableFrom(D, [3]);
+[ 1, 2, 3, 4, 5 ]
+gap> D := EmptyDigraph(5);
+<immutable empty digraph with 5 vertices>
+gap> VerticesReachableFrom(D, [1, 2, 3, 4]);
+[  ]
+gap> VerticesReachableFrom(D, [3, 4, 5]);
+[  ]
+gap> D := ChainDigraph(5);
+<immutable chain digraph with 5 vertices>
+gap> VerticesReachableFrom(D, [3, 4]);
+[ 4, 5 ]
+]]></Example>
+  </Description>
+</ManSection>
+
 <#/GAPDoc>
 
 
@@ -2257,3 +2289,30 @@ true
   </Description>
 </ManSection>
 <#/GAPDoc>
+
+<#GAPDoc Label="IsOrderIdeal">
+<ManSection>
+  <Oper Name="IsOrderIdeal" Arg="D, subset" Label="for a digraph and list"/>
+  <Returns><K>true</K> or <K>false</K>.</Returns>
+  <Description>
+    This function returns <K>true</K> if the specified subset is "downwards" closed, i.e. contains every node less than the given nodes. 
+    The function can only be used on digraphs satisfying <K>IsPartialOrderDigraph</K> and will throw an error if passed a digraph that is not a partial order digraph.
+
+    <Example><![CDATA[
+gap> D1 := Digraph([[1, 3], [2, 3], [3]]);
+<immutable digraph with 3 vertices, 5 edges>
+<immutable digraph with 3 vertices, 5 edges>
+gap> IsOrderIdeal(D, [1, 2, 3]);
+true
+gap> D2 := DigraphDisjointUnion(D, D);
+<immutable digraph with 6 vertices, 10 edges>
+gap> IsOrderIdeal(D2, [1, 2, 3]);
+true
+gap> IsOrderIdeal(D2, [4, 5, 6]);
+true
+gap> IsOrderIdeal(D2, [1, 5, 6]);
+false
+]]></Example>
+  </Description>
+</ManSection>
+<#/GAPDoc>

gap/oper.gd

@@ -137,6 +137,8 @@ DeclareOperation("DigraphShortestDistance", [IsDigraph, IsList]);
 DeclareOperation("DigraphShortestPath", [IsDigraph, IsPosInt, IsPosInt]);
 DeclareOperation("DigraphShortestPathSpanningTree", [IsDigraph, IsPosInt]);
 DeclareOperation("VerticesReachableFrom", [IsDigraph, IsPosInt]);
+DeclareOperation("VerticesReachableFrom", [IsDigraph, IsList]);
+DeclareOperation("IsOrderIdeal", [IsDigraph, IsList]);
 DeclareOperation("Dominators", [IsDigraph, IsPosInt]);
 DeclareOperation("DominatorTree", [IsDigraph, IsPosInt]);
 

gap/oper.gi

@@ -2005,42 +2005,82 @@ end);
 InstallMethod(VerticesReachableFrom, "for a digraph and a vertex",
 [IsDigraph, IsPosInt],
 function(D, root)
-  local N, index, current, succ, visited, prev, n, i, parent,
-  have_visited_root;
+  local N;
   N := DigraphNrVertices(D);
+
   if 0 = root or root > N then
     ErrorNoReturn("the 2nd argument (root) is not a vertex of the 1st ",
                   "argument (a digraph)");
   fi;
-  index := ListWithIdenticalEntries(N, 0);
-  have_visited_root := false;
-  index[root] := 1;
-  current := root;
-  succ := OutNeighbours(D);
-  visited := [];
-  parent := [];
-  parent[root] := fail;
-  repeat
-    prev := current;
-    for i in [index[current] .. Length(succ[current])] do
-      n := succ[current][i];
-      if n = root and not have_visited_root then
-         Add(visited, root);
-         have_visited_root := true;
-      elif index[n] = 0 then
-        Add(visited, n);
-          parent[n] := current;
-          index[current] := i + 1;
-          current := n;
-          index[current] := 1;
-          break;
+
+  return VerticesReachableFrom(D, [root]);
+end);
+
+InstallMethod(VerticesReachableFrom, "for a digraph and a list of vertices",
+[IsDigraph, IsList],
+function(D, roots)
+  local N, index, visited, queue_tail, queue,
+  root, element, neighbour, graph_out_neighbors, node_neighbours;
+
+  N := DigraphNrVertices(D);
+  visited := BlistList([1 .. N], []);
+
+  for root in roots do
+    if 0 = root or root > N then
+      ErrorNoReturn("an element of the 2nd argument ",
+                    "(roots) is not a vertex of the 1st ",
+                    "argument (a digraph)");
+    fi;
+  od;
+
+  graph_out_neighbors := OutNeighbors(D);
+  queue := EmptyPlist(N);
+  queue_tail := 0;
+  for root in roots do
+    queue_tail := queue_tail + 1;
+    queue[queue_tail] := root;
+  od;
+
+  index := 1;
+  while IsBound(queue[index]) do
+    element := queue[index];
+    node_neighbours := graph_out_neighbors[element];
+    for neighbour in node_neighbours do
+      if not visited[neighbour] then;
+        visited[neighbour] := true;
+        queue_tail := queue_tail + 1;
+        queue[queue_tail] := neighbour;
       fi;
     od;
-    if prev = current then
-      current := parent[current];
+    index := index + 1;
+  od;
+
+  return ListBlist([1 .. N], visited);
+end);
+
+InstallMethod(IsOrderIdeal, "for a digraph and a list of vertices",
+[IsDigraph, IsList],
+# Check if digraph represents a partial order
+function(D, roots)
+  local reachable_vertices, vertex_in_subset, i, N;
+  if not IsPartialOrderDigraph(D) then
+    ErrorNoReturn("the 1st element (a digraph) must be a partial order digraph");
+  fi;
+
+  N := Length(roots);
+  vertex_in_subset := BlistList([1 .. N], []);
+  reachable_vertices := VerticesReachableFrom(D, roots);
+  for i in roots do
+    vertex_in_subset[i] := true;
+  od;
+
+  for i in reachable_vertices do
+    if not vertex_in_subset[i] then
+      return false;
     fi;
-  until current = fail;
-  return visited;
+  od;
+
+  return Length(reachable_vertices) = Length(roots);
 end);
 
 InstallMethod(DominatorTree, "for a digraph and a vertex",

tst/standard/oper.tst

@@ -1942,7 +1942,7 @@ gap> DigraphShortestPath(gr, 12, 5014);
 gap> D := CompleteDigraph(5);
 <immutable complete digraph with 5 vertices>
 gap> VerticesReachableFrom(D, 1);
-[ 2, 1, 3, 4, 5 ]
+[ 1, 2, 3, 4, 5 ]
 gap> VerticesReachableFrom(D, 3);
 [ 1, 2, 3, 4, 5 ]
 gap> D := EmptyDigraph(5);
@@ -1951,12 +1951,14 @@ gap> VerticesReachableFrom(D, 1);
 [  ]
 gap> VerticesReachableFrom(D, 3);
 [  ]
+gap> VerticesReachableFrom(D, 6);
+Error, the 2nd argument (root) is not a vertex of the 1st argument (a digraph)
 gap> D := CycleDigraph(4);
 <immutable cycle digraph with 4 vertices>
 gap> VerticesReachableFrom(D, 1);
-[ 2, 3, 4, 1 ]
+[ 1, 2, 3, 4 ]
 gap> VerticesReachableFrom(D, 3);
-[ 4, 1, 2, 3 ]
+[ 1, 2, 3, 4 ]
 gap> D := ChainDigraph(5);
 <immutable chain digraph with 5 vertices>
 gap> VerticesReachableFrom(D, 1);
@@ -1968,41 +1970,41 @@ gap> VerticesReachableFrom(D, 5);
 gap> D := Digraph([[2, 3, 5], [1, 6], [4, 6, 7], [7, 8], [4], [], [8, 6], []]);
 <immutable digraph with 8 vertices, 13 edges>
 gap> VerticesReachableFrom(D, 1);
-[ 2, 1, 6, 3, 4, 7, 8, 5 ]
+[ 1, 2, 3, 4, 5, 6, 7, 8 ]
 gap> VerticesReachableFrom(D, 2);
-[ 1, 2, 3, 4, 7, 8, 6, 5 ]
+[ 1, 2, 3, 4, 5, 6, 7, 8 ]
 gap> VerticesReachableFrom(D, 3);
-[ 4, 7, 8, 6 ]
+[ 4, 6, 7, 8 ]
 gap> VerticesReachableFrom(D, 4);
-[ 7, 8, 6 ]
+[ 6, 7, 8 ]
 gap> VerticesReachableFrom(D, 5);
-[ 4, 7, 8, 6 ]
+[ 4, 6, 7, 8 ]
 gap> VerticesReachableFrom(D, 6);
 [  ]
 gap> VerticesReachableFrom(D, 7);
-[ 8, 6 ]
+[ 6, 8 ]
 gap> VerticesReachableFrom(D, 8);
 [  ]
 gap> D := Digraph([[1, 2, 3], [4], [1, 5], [], [2]]);
 <immutable digraph with 5 vertices, 7 edges>
 gap> VerticesReachableFrom(D, 1);
-[ 1, 2, 4, 3, 5 ]
+[ 1, 2, 3, 4, 5 ]
 gap> VerticesReachableFrom(D, 2);
 [ 4 ]
 gap> VerticesReachableFrom(D, 3);
-[ 1, 2, 4, 3, 5 ]
+[ 1, 2, 3, 4, 5 ]
 gap> VerticesReachableFrom(D, 4);
 [  ]
 gap> VerticesReachableFrom(D, 5);
 [ 2, 4 ]
 gap> D := Digraph(IsMutableDigraph, [[1, 2, 3], [4], [1, 5], [], [2]]);
 <mutable digraph with 5 vertices, 7 edges>
 gap> VerticesReachableFrom(D, 1);
-[ 1, 2, 4, 3, 5 ]
+[ 1, 2, 3, 4, 5 ]
 gap> VerticesReachableFrom(D, 2);
 [ 4 ]
 gap> VerticesReachableFrom(D, 3);
-[ 1, 2, 4, 3, 5 ]
+[ 1, 2, 3, 4, 5 ]
 gap> VerticesReachableFrom(D, 4);
 [  ]
 gap> VerticesReachableFrom(D, 5);
@@ -2796,12 +2798,54 @@ gap> D := Digraph([
 gap> path := DigraphPath(D, 5, 5);;
 gap> IsDigraphPath(D, path);
 true
+gap> D1 := CompleteDigraph(5);
+<immutable complete digraph with 5 vertices>
+gap> D2 := CompleteDigraph(10);
+<immutable complete digraph with 10 vertices>
+gap> VerticesReachableFrom(D1, [1]);
+[ 1, 2, 3, 4, 5 ]
+gap> VerticesReachableFrom(D1, [1, 2]);
+[ 1, 2, 3, 4, 5 ]
+gap> VerticesReachableFrom(D2, [1]);
+[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ]
+gap> VerticesReachableFrom(D2, [1, 11]);
+Error, an element of the 2nd argument (roots) is not a vertex of the 1st argum\
+ent (a digraph)
+gap> D3 := CompleteDigraph(7);
+<immutable complete digraph with 7 vertices>
+gap> D3_edges := [1 .. 7];
+[ 1 .. 7 ]
+gap> for i in D3_edges do
+>      D3 := DigraphRemoveEdge(D3, [1, i]);
+>      D3 := DigraphRemoveEdge(D3, [i, 1]);
+>    od;
+gap> VerticesReachableFrom(D3, [1]);
+[  ]
+gap> TestPartialOrderDigraph := Digraph([[1, 3], [2, 3], [3]]);
+<immutable digraph with 3 vertices, 5 edges>
+gap> IsOrderIdeal(TestPartialOrderDigraph, [1, 2, 3]);
+true
+gap> TestPartialOrderDigraph2 := Digraph([[1, 3], [2, 3], [3]]);
+<immutable digraph with 3 vertices, 5 edges>
+gap> TestUnion := DigraphDisjointUnion(TestPartialOrderDigraph, TestPartialOrderDigraph2);
+<immutable digraph with 6 vertices, 10 edges>
+gap> IsOrderIdeal(TestUnion, [1, 2, 3]);
+true
+gap> IsOrderIdeal(TestUnion, [4, 5, 6]);
+true
+gap> IsOrderIdeal(TestUnion, [1, 5, 6]);
+false
+gap> D := CycleDigraph(5);;
+gap> IsOrderIdeal(D, [1]);
+Error, the 1st element (a digraph) must be a partial order digraph
 
 #  DIGRAPHS_UnbindVariables
 gap> Unbind(C);
 gap> Unbind(D);
 gap> Unbind(D1);
 gap> Unbind(D2);
+gap> Unbind(D3);
+gap> Unbind(D3_edges);
 gap> Unbind(DD);
 gap> Unbind(G);
 gap> Unbind(G1);
@@ -2854,6 +2898,7 @@ gap> Unbind(tclosure);
 gap> Unbind(u1);
 gap> Unbind(u2);
 gap> Unbind(x);
+gap> Unbind(TestPartialOrderDigraph);
 
 #
 gap> DIGRAPHS_StopTest();