line |
stmt |
bran |
cond |
sub |
pod |
time |
code |
1
|
|
|
|
|
|
|
package Data::Graph::Util; |
2
|
|
|
|
|
|
|
|
3
|
|
|
|
|
|
|
our $DATE = '2019-02-15'; # DATE |
4
|
|
|
|
|
|
|
our $VERSION = '0.006'; # VERSION |
5
|
|
|
|
|
|
|
|
6
|
1
|
|
|
1
|
|
597
|
use 5.010001; |
|
1
|
|
|
|
|
9
|
|
7
|
1
|
|
|
1
|
|
5
|
use strict; |
|
1
|
|
|
|
|
2
|
|
|
1
|
|
|
|
|
19
|
|
8
|
1
|
|
|
1
|
|
4
|
use warnings; |
|
1
|
|
|
|
|
2
|
|
|
1
|
|
|
|
|
26
|
|
9
|
|
|
|
|
|
|
|
10
|
1
|
|
|
1
|
|
14
|
use Exporter qw(import); |
|
1
|
|
|
|
|
3
|
|
|
1
|
|
|
|
|
253
|
|
11
|
|
|
|
|
|
|
our @EXPORT_OK = qw(toposort is_cyclic is_acyclic); |
12
|
|
|
|
|
|
|
|
13
|
|
|
|
|
|
|
sub _toposort { |
14
|
24
|
|
|
24
|
|
44
|
my $graph = shift; |
15
|
|
|
|
|
|
|
|
16
|
|
|
|
|
|
|
# this is the Kahn algorithm, ref: |
17
|
|
|
|
|
|
|
# https://en.wikipedia.org/wiki/Topological_sorting#Kahn.27s_algorithm |
18
|
|
|
|
|
|
|
|
19
|
24
|
|
|
|
|
33
|
my %in_degree; |
20
|
24
|
|
|
|
|
78
|
for my $k (keys %$graph) { |
21
|
47
|
|
100
|
|
|
171
|
$in_degree{$k} //= 0; |
22
|
47
|
|
|
|
|
61
|
for (@{ $graph->{$k} }) { $in_degree{$_}++ } |
|
47
|
|
|
|
|
84
|
|
|
46
|
|
|
|
|
88
|
|
23
|
|
|
|
|
|
|
} |
24
|
|
|
|
|
|
|
|
25
|
|
|
|
|
|
|
# collect nodes with no incoming edges (in_degree = 0) |
26
|
24
|
|
|
|
|
37
|
my @S; |
27
|
24
|
100
|
|
|
|
83
|
for (sort keys %in_degree) { unshift @S, $_ if $in_degree{$_} == 0 } |
|
57
|
|
|
|
|
141
|
|
28
|
|
|
|
|
|
|
|
29
|
24
|
|
|
|
|
38
|
my @L; |
30
|
24
|
|
|
|
|
53
|
while (@S) { |
31
|
46
|
|
|
|
|
77
|
my $n = pop @S; |
32
|
46
|
|
|
|
|
84
|
push @L, $n; |
33
|
46
|
|
|
|
|
59
|
for my $m (@{ $graph->{$n} }) { |
|
46
|
|
|
|
|
95
|
|
34
|
35
|
100
|
|
|
|
70
|
if (--$in_degree{$m} == 0) { |
35
|
27
|
|
|
|
|
66
|
unshift @S, $m; |
36
|
|
|
|
|
|
|
} |
37
|
|
|
|
|
|
|
} |
38
|
|
|
|
|
|
|
} |
39
|
|
|
|
|
|
|
|
40
|
24
|
100
|
|
|
|
66
|
if (@L == keys(%$graph)) { |
41
|
19
|
100
|
|
|
|
35
|
if (@_) { |
42
|
1
|
|
|
1
|
|
7
|
no warnings 'uninitialized'; |
|
1
|
|
|
|
|
2
|
|
|
1
|
|
|
|
|
313
|
|
43
|
|
|
|
|
|
|
# user specifies a list to be sorted according to @L. this is like |
44
|
|
|
|
|
|
|
# Sort::ByExample but we implement it ourselves to avoid dependency. |
45
|
4
|
|
|
|
|
5
|
my %pos; |
46
|
4
|
|
|
|
|
10
|
for (0..$#L) { $pos{$L[$_]} = $_+1 } |
|
15
|
|
|
|
|
26
|
|
47
|
|
|
|
|
|
|
return (0, [ |
48
|
4
|
|
66
|
|
|
9
|
sort { ($pos{$a} || @L+1) <=> ($pos{$b} || @L+1) } @{$_[0]} |
|
21
|
|
66
|
|
|
82
|
|
|
4
|
|
|
|
|
13
|
|
49
|
|
|
|
|
|
|
]); |
50
|
|
|
|
|
|
|
} else { |
51
|
15
|
|
|
|
|
53
|
return (0, \@L); |
52
|
|
|
|
|
|
|
} |
53
|
|
|
|
|
|
|
} else { |
54
|
|
|
|
|
|
|
# there is a cycle |
55
|
5
|
|
|
|
|
19
|
return (1, \@L); |
56
|
|
|
|
|
|
|
} |
57
|
|
|
|
|
|
|
} |
58
|
|
|
|
|
|
|
|
59
|
|
|
|
|
|
|
sub toposort { |
60
|
10
|
|
|
10
|
1
|
1466
|
my ($err, $res) = _toposort(@_); |
61
|
10
|
100
|
|
|
|
32
|
die "Can't toposort(), graph is cyclic" if $err; |
62
|
9
|
|
|
|
|
63
|
@$res; |
63
|
|
|
|
|
|
|
} |
64
|
|
|
|
|
|
|
|
65
|
|
|
|
|
|
|
sub is_cyclic { |
66
|
7
|
|
|
7
|
1
|
3965
|
my ($err, $res) = _toposort(@_); |
67
|
7
|
|
|
|
|
30
|
$err; |
68
|
|
|
|
|
|
|
} |
69
|
|
|
|
|
|
|
|
70
|
|
|
|
|
|
|
sub is_acyclic { |
71
|
7
|
|
|
7
|
1
|
3187
|
my ($err, $res) = _toposort(@_); |
72
|
7
|
|
|
|
|
32
|
!$err; |
73
|
|
|
|
|
|
|
} |
74
|
|
|
|
|
|
|
|
75
|
|
|
|
|
|
|
1; |
76
|
|
|
|
|
|
|
# ABSTRACT: Utilities related to graph data structure |
77
|
|
|
|
|
|
|
|
78
|
|
|
|
|
|
|
__END__ |
79
|
|
|
|
|
|
|
|
80
|
|
|
|
|
|
|
=pod |
81
|
|
|
|
|
|
|
|
82
|
|
|
|
|
|
|
=encoding UTF-8 |
83
|
|
|
|
|
|
|
|
84
|
|
|
|
|
|
|
=head1 NAME |
85
|
|
|
|
|
|
|
|
86
|
|
|
|
|
|
|
Data::Graph::Util - Utilities related to graph data structure |
87
|
|
|
|
|
|
|
|
88
|
|
|
|
|
|
|
=head1 VERSION |
89
|
|
|
|
|
|
|
|
90
|
|
|
|
|
|
|
This document describes version 0.006 of Data::Graph::Util (from Perl distribution Data-Graph-Util), released on 2019-02-15. |
91
|
|
|
|
|
|
|
|
92
|
|
|
|
|
|
|
=head1 SYNOPSIS |
93
|
|
|
|
|
|
|
|
94
|
|
|
|
|
|
|
use Data::Graph::Util qw(toposort is_cyclic is_acyclic); |
95
|
|
|
|
|
|
|
|
96
|
|
|
|
|
|
|
# return nodes that satisfy the following graph: a must come before b, b must |
97
|
|
|
|
|
|
|
# come before c & d, and d must come before c. |
98
|
|
|
|
|
|
|
|
99
|
|
|
|
|
|
|
my @sorted = toposort( |
100
|
|
|
|
|
|
|
{ a=>["b"], b=>["c", "d"], d=>["c"] }, |
101
|
|
|
|
|
|
|
); # => ("a", "b", "d", "c") |
102
|
|
|
|
|
|
|
|
103
|
|
|
|
|
|
|
# sort specified nodes (2nd argument) using the graph. nodes not mentioned in |
104
|
|
|
|
|
|
|
# the graph will be put at the end. duplicates are not removed. |
105
|
|
|
|
|
|
|
|
106
|
|
|
|
|
|
|
my @sorted = toposort( |
107
|
|
|
|
|
|
|
{ a=>["b"], b=>["c", "d"], d=>["c"] }, |
108
|
|
|
|
|
|
|
["e", "a", "b", "a"] |
109
|
|
|
|
|
|
|
); # => ("a", "a", "b", "e") |
110
|
|
|
|
|
|
|
|
111
|
|
|
|
|
|
|
# check if a graph is cyclic |
112
|
|
|
|
|
|
|
|
113
|
|
|
|
|
|
|
say is_cyclic ({a=>["b"]}); # => 0 |
114
|
|
|
|
|
|
|
say is_acyclic({a=>["b"]}); # => 1 |
115
|
|
|
|
|
|
|
|
116
|
|
|
|
|
|
|
# check if a graph is acyclic (not cyclic) |
117
|
|
|
|
|
|
|
|
118
|
|
|
|
|
|
|
say is_cyclic ({a=>["b"], b=>["c"], c=>["a"]}); # => 1 |
119
|
|
|
|
|
|
|
say is_acyclic({a=>["b"], b=>["c"], c=>["a"]}); # => 0 |
120
|
|
|
|
|
|
|
|
121
|
|
|
|
|
|
|
=head1 DESCRIPTION |
122
|
|
|
|
|
|
|
|
123
|
|
|
|
|
|
|
Early release. More functions will be added later. |
124
|
|
|
|
|
|
|
|
125
|
|
|
|
|
|
|
Keywords: topological ordering, dependency sorting, dependency ordering. |
126
|
|
|
|
|
|
|
|
127
|
|
|
|
|
|
|
=head1 FUNCTIONS |
128
|
|
|
|
|
|
|
|
129
|
|
|
|
|
|
|
None are exported by default, but they are exportable. |
130
|
|
|
|
|
|
|
|
131
|
|
|
|
|
|
|
=head2 toposort |
132
|
|
|
|
|
|
|
|
133
|
|
|
|
|
|
|
Usage: |
134
|
|
|
|
|
|
|
|
135
|
|
|
|
|
|
|
toposort(\%graph[ , \@nodes ]) => sorted list |
136
|
|
|
|
|
|
|
|
137
|
|
|
|
|
|
|
Perform a topological sort on graph (currently using the Kahn algorithm). Will |
138
|
|
|
|
|
|
|
return the nodes of the graph sorted topologically. Will die if graph cannot be |
139
|
|
|
|
|
|
|
sorted, e.g. when graph is cyclic. |
140
|
|
|
|
|
|
|
|
141
|
|
|
|
|
|
|
If C<\@nodes> is specified, will instead return C<@nodes> sorted according to |
142
|
|
|
|
|
|
|
the topological order. Duplicates are allowed and not removed. Nodes not |
143
|
|
|
|
|
|
|
mentioned in graph are also allowed and will be put at the end. |
144
|
|
|
|
|
|
|
|
145
|
|
|
|
|
|
|
=head2 is_cyclic |
146
|
|
|
|
|
|
|
|
147
|
|
|
|
|
|
|
Usage: |
148
|
|
|
|
|
|
|
|
149
|
|
|
|
|
|
|
is_cyclic(\%graph) => bool |
150
|
|
|
|
|
|
|
|
151
|
|
|
|
|
|
|
Return true if graph contains at least one cycle. Currently implemented by |
152
|
|
|
|
|
|
|
attempting a topological sort on the graph. If it can't be performed, this means |
153
|
|
|
|
|
|
|
the graph contains cycle(s). |
154
|
|
|
|
|
|
|
|
155
|
|
|
|
|
|
|
=head2 is_acyclic |
156
|
|
|
|
|
|
|
|
157
|
|
|
|
|
|
|
Usage: |
158
|
|
|
|
|
|
|
|
159
|
|
|
|
|
|
|
is_acyclic(\%graph) => bool |
160
|
|
|
|
|
|
|
|
161
|
|
|
|
|
|
|
Return true if graph is acyclic, i.e. contains no cycles. The opposite of |
162
|
|
|
|
|
|
|
L</is_cyclic>. |
163
|
|
|
|
|
|
|
|
164
|
|
|
|
|
|
|
=head1 HOMEPAGE |
165
|
|
|
|
|
|
|
|
166
|
|
|
|
|
|
|
Please visit the project's homepage at L<https://metacpan.org/release/Data-Graph-Util>. |
167
|
|
|
|
|
|
|
|
168
|
|
|
|
|
|
|
=head1 SOURCE |
169
|
|
|
|
|
|
|
|
170
|
|
|
|
|
|
|
Source repository is at L<https://github.com/perlancar/perl-Data-Graph-Util>. |
171
|
|
|
|
|
|
|
|
172
|
|
|
|
|
|
|
=head1 BUGS |
173
|
|
|
|
|
|
|
|
174
|
|
|
|
|
|
|
Please report any bugs or feature requests on the bugtracker website L<https://rt.cpan.org/Public/Dist/Display.html?Name=Data-Graph-Util> |
175
|
|
|
|
|
|
|
|
176
|
|
|
|
|
|
|
When submitting a bug or request, please include a test-file or a |
177
|
|
|
|
|
|
|
patch to an existing test-file that illustrates the bug or desired |
178
|
|
|
|
|
|
|
feature. |
179
|
|
|
|
|
|
|
|
180
|
|
|
|
|
|
|
=head1 SEE ALSO |
181
|
|
|
|
|
|
|
|
182
|
|
|
|
|
|
|
L<https://en.wikipedia.org/wiki/Graph_(abstract_data_type)> |
183
|
|
|
|
|
|
|
|
184
|
|
|
|
|
|
|
L<https://en.wikipedia.org/wiki/Topological_sorting#Kahn.27s_algorithm> |
185
|
|
|
|
|
|
|
|
186
|
|
|
|
|
|
|
L<Algorithm::Dependency> can also do topological sorting, but it is more finicky |
187
|
|
|
|
|
|
|
with input: graph cannot be epmty and all nodes need to be specified. |
188
|
|
|
|
|
|
|
|
189
|
|
|
|
|
|
|
L<Sort::Topological> can also sort a DAG, but cannot handle cyclical graph. It |
190
|
|
|
|
|
|
|
also performs poorly and eats too much RAM on larger graphs. |
191
|
|
|
|
|
|
|
|
192
|
|
|
|
|
|
|
See L<Bencher::Scenario::GraphTopologicalSortModules> for benchmarks. |
193
|
|
|
|
|
|
|
|
194
|
|
|
|
|
|
|
=head1 AUTHOR |
195
|
|
|
|
|
|
|
|
196
|
|
|
|
|
|
|
perlancar <perlancar@cpan.org> |
197
|
|
|
|
|
|
|
|
198
|
|
|
|
|
|
|
=head1 COPYRIGHT AND LICENSE |
199
|
|
|
|
|
|
|
|
200
|
|
|
|
|
|
|
This software is copyright (c) 2019, 2017, 2016 by perlancar@cpan.org. |
201
|
|
|
|
|
|
|
|
202
|
|
|
|
|
|
|
This is free software; you can redistribute it and/or modify it under |
203
|
|
|
|
|
|
|
the same terms as the Perl 5 programming language system itself. |
204
|
|
|
|
|
|
|
|
205
|
|
|
|
|
|
|
=cut |