chiark / gitweb /
Demonstrate bug in Graph::Undirected
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Thu, 20 Aug 2009 19:08:20 +0000 (20:08 +0100)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Thu, 20 Aug 2009 19:08:20 +0000 (20:08 +0100)
yarrg/graph-pm-bug-demo.pl [new file with mode: 0755]
yarrg/yppedia-chart-parser

diff --git a/yarrg/graph-pm-bug-demo.pl b/yarrg/graph-pm-bug-demo.pl
new file mode 100755 (executable)
index 0000000..7a10def
--- /dev/null
@@ -0,0 +1,277 @@
+#!/usr/bin/perl
+use strict (qw(vars));
+use warnings;
+use Graph::Undirected;
+
+sub test_with ($) {
+    my ($g) = @_;
+    $g->add_vertex('18_1');
+    $g->add_vertex('25_4');
+    $g->add_vertex('23_2');
+    $g->add_vertex('25_4');
+    $g->add_vertex('22_7');
+    $g->add_vertex('17_6');
+    $g->add_vertex('18_11');
+    $g->add_vertex('27_12');
+    $g->add_edge('24_3','25_4');
+    $g->add_edge('23_2','24_3');
+    $g->add_edge('25_4','24_5');
+    $g->add_edge('24_5','23_6');
+    $g->add_edge('23_6','22_7');
+    $g->add_edge('17_6','19_6');
+    $g->add_edge('19_6','20_7');
+    $g->add_edge('20_7','22_7');
+    $g->add_edge('19_10','18_11');
+    $g->add_edge('20_9','19_10');
+    $g->add_edge('21_8','20_9');
+    $g->add_edge('22_7','21_8');
+    $g->add_edge('18_11','20_11');
+    $g->add_edge('20_11','22_11');
+    $g->add_edge('22_11','24_11');
+    $g->add_edge('24_11','25_12');
+    $g->add_edge('25_12','27_12');
+    $g->add_edge('22_7','23_8');
+    $g->add_edge('23_8','24_9');
+    $g->add_edge('24_9','25_10');
+    $g->add_edge('25_10','26_11');
+    $g->add_edge('26_11','27_12');
+    $g->add_edge('27_12','28_13');
+    $g->add_edge('28_13','29_14');
+    $g->add_edge('29_14','30_15');
+    $g->add_edge('30_15','31_16');
+    $g->add_edge('31_16','32_17');
+    $g->add_edge('32_17','33_18');
+    $g->add_vertex('6_23');
+    $g->add_vertex('1_26');
+    $g->add_vertex('2_19');
+    $g->add_vertex('10_25');
+    $g->add_vertex('7_18');
+    $g->add_vertex('6_29');
+    $g->add_vertex('12_21');
+    $g->add_edge('12_21','11_22');
+    $g->add_edge('9_22','11_22');
+    $g->add_edge('9_22','8_23');
+    $g->add_edge('6_23','8_23');
+    $g->add_edge('2_25','1_26');
+    $g->add_edge('3_24','2_25');
+    $g->add_edge('3_24','5_24');
+    $g->add_edge('6_23','5_24');
+    $g->add_edge('5_22','6_23');
+    $g->add_edge('4_21','5_22');
+    $g->add_edge('3_20','4_21');
+    $g->add_edge('2_19','3_20');
+    $g->add_edge('6_23','7_24');
+    $g->add_edge('7_24','8_25');
+    $g->add_edge('8_25','10_25');
+    $g->add_edge('7_28','6_29');
+    $g->add_edge('8_27','7_28');
+    $g->add_edge('9_26','8_27');
+    $g->add_edge('10_25','9_26');
+    $g->add_vertex('17_30');
+    $g->add_vertex('18_35');
+    $g->add_vertex('23_38');
+    $g->add_vertex('18_43');
+    $g->add_vertex('25_44');
+    $g->add_vertex('27_40');
+    $g->add_vertex('26_31');
+    $g->add_edge('17_30','16_31');
+    $g->add_edge('16_31','17_32');
+    $g->add_edge('17_32','16_33');
+    $g->add_edge('16_33','17_34');
+    $g->add_edge('17_34','18_35');
+    $g->add_edge('17_30','19_30');
+    $g->add_edge('19_30','21_30');
+    $g->add_edge('21_30','23_30');
+    $g->add_edge('23_30','24_31');
+    $g->add_edge('24_31','26_31');
+    $g->add_edge('18_35','19_36');
+    $g->add_edge('19_36','20_37');
+    $g->add_edge('20_37','21_38');
+    $g->add_edge('21_38','23_38');
+    $g->add_edge('23_38','22_39');
+    $g->add_edge('22_39','21_40');
+    $g->add_edge('21_40','20_41');
+    $g->add_edge('20_41','19_42');
+    $g->add_edge('19_42','18_43');
+    $g->add_edge('18_43','20_43');
+    $g->add_edge('20_43','22_43');
+    $g->add_edge('22_43','23_44');
+    $g->add_edge('23_44','25_44');
+    $g->add_edge('26_43','25_44');
+    $g->add_edge('27_42','26_43');
+    $g->add_edge('26_41','27_42');
+    $g->add_edge('27_40','26_41');
+    $g->add_edge('23_38','24_39');
+    $g->add_edge('24_39','25_40');
+    $g->add_edge('25_40','27_40');
+    $g->add_edge('24_37','23_38');
+    $g->add_edge('25_36','24_37');
+    $g->add_edge('26_35','25_36');
+    $g->add_edge('25_34','26_35');
+    $g->add_edge('26_33','25_34');
+    $g->add_edge('25_32','26_33');
+    $g->add_edge('26_31','25_32');
+    $g->add_vertex('33_18');
+    $g->add_vertex('38_19');
+    $g->add_vertex('42_21');
+    $g->add_vertex('38_25');
+    $g->add_vertex('43_26');
+    $g->add_vertex('33_26');
+    $g->add_vertex('37_30');
+    $g->add_edge('33_26','34_27');
+    $g->add_edge('34_27','35_28');
+    $g->add_edge('35_28','36_29');
+    $g->add_edge('36_29','37_30');
+    $g->add_edge('33_26','35_26');
+    $g->add_edge('35_26','37_26');
+    $g->add_edge('38_25','37_26');
+    $g->add_edge('32_25','33_26');
+    $g->add_edge('33_24','32_25');
+    $g->add_edge('32_23','33_24');
+    $g->add_edge('33_22','32_23');
+    $g->add_edge('32_21','33_22');
+    $g->add_edge('33_20','32_21');
+    $g->add_edge('32_19','33_20');
+    $g->add_edge('33_18','32_19');
+    $g->add_edge('33_18','35_18');
+    $g->add_edge('35_18','36_19');
+    $g->add_edge('36_19','38_19');
+    $g->add_edge('38_19','39_20');
+    $g->add_edge('39_20','40_21');
+    $g->add_edge('40_21','42_21');
+    $g->add_edge('37_24','38_25');
+    $g->add_edge('36_23','37_24');
+    $g->add_edge('35_22','36_23');
+    $g->add_edge('34_21','35_22');
+    $g->add_edge('33_20','34_21');
+    $g->add_edge('39_24','38_25');
+    $g->add_edge('40_23','39_24');
+    $g->add_edge('41_22','40_23');
+    $g->add_edge('42_21','41_22');
+    $g->add_edge('38_29','37_30');
+    $g->add_edge('39_28','38_29');
+    $g->add_edge('40_27','39_28');
+    $g->add_edge('40_27','42_27');
+    $g->add_edge('43_26','42_27');
+    $g->add_edge('38_25','40_25');
+    $g->add_edge('40_25','41_26');
+    $g->add_edge('41_26','43_26');
+    $g->add_vertex('49_12');
+    $g->add_vertex('47_8');
+    $g->add_vertex('55_14');
+    $g->add_vertex('44_11');
+    $g->add_vertex('57_10');
+    $g->add_vertex('52_9');
+    $g->add_vertex('59_16');
+    $g->add_edge('44_11','46_11');
+    $g->add_edge('46_11','47_12');
+    $g->add_edge('47_12','49_12');
+    $g->add_edge('50_11','49_12');
+    $g->add_edge('51_10','50_11');
+    $g->add_edge('52_9','51_10');
+    $g->add_edge('49_12','50_13');
+    $g->add_edge('50_13','52_13');
+    $g->add_edge('52_13','53_14');
+    $g->add_edge('53_14','55_14');
+    $g->add_vertex('31_52');
+    $g->add_vertex('31_58');
+    $g->add_vertex('35_60');
+    $g->add_vertex('37_58');
+    $g->add_vertex('38_53');
+    $g->add_vertex('44_51');
+    $g->add_vertex('42_55');
+    $g->add_vertex('43_58');
+    $g->add_edge('31_52','30_53');
+    $g->add_edge('30_53','31_54');
+    $g->add_edge('31_54','30_55');
+    $g->add_edge('30_55','31_56');
+    $g->add_edge('31_56','30_57');
+    $g->add_edge('30_57','31_58');
+    $g->add_edge('31_58','32_59');
+    $g->add_edge('32_59','33_60');
+    $g->add_edge('33_60','35_60');
+    $g->add_edge('36_59','35_60');
+    $g->add_edge('37_58','36_59');
+    $g->add_edge('31_52','33_52');
+    $g->add_edge('33_52','35_52');
+    $g->add_edge('35_52','36_53');
+    $g->add_edge('36_53','38_53');
+    $g->add_edge('38_57','37_58');
+    $g->add_edge('37_56','38_57');
+    $g->add_edge('38_55','37_56');
+    $g->add_edge('37_54','38_55');
+    $g->add_edge('38_53','37_54');
+    $g->add_edge('37_58','39_58');
+    $g->add_edge('39_58','41_58');
+    $g->add_edge('41_58','43_58');
+    $g->add_edge('38_53','40_53');
+    $g->add_edge('41_52','40_53');
+    $g->add_edge('41_52','43_52');
+    $g->add_edge('44_51','43_52');
+    $g->add_vertex('51_32');
+    $g->add_vertex('62_33');
+    $g->add_vertex('57_36');
+    $g->add_vertex('53_38');
+    $g->add_vertex('47_42');
+    $g->add_vertex('48_45');
+    $g->add_vertex('54_43');
+    $g->add_vertex('58_45');
+    $g->add_edge('48_41','47_42');
+    $g->add_edge('49_40','48_41');
+    $g->add_edge('50_39','49_40');
+    $g->add_edge('50_39','52_39');
+    $g->add_edge('53_38','52_39');
+    $g->add_edge('54_37','53_38');
+    $g->add_edge('54_37','56_37');
+    $g->add_edge('57_36','56_37');
+    $g->add_edge('52_37','53_38');
+    $g->add_edge('51_36','52_37');
+    $g->add_edge('50_35','51_36');
+    $g->add_edge('51_34','50_35');
+    $g->add_edge('50_33','51_34');
+    $g->add_edge('51_32','50_33');
+    $g->add_edge('51_32','52_33');
+    $g->add_edge('52_33','53_34');
+    $g->add_edge('53_34','54_35');
+    $g->add_edge('54_35','55_36');
+    $g->add_edge('55_36','57_36');
+    $g->add_vertex('2_53');
+    $g->add_vertex('2_57');
+    $g->add_vertex('3_60');
+    $g->add_vertex('8_61');
+    $g->add_vertex('9_58');
+    $g->add_vertex('7_54');
+    $g->add_vertex('9_50');
+    $g->add_vertex('12_53');
+    $g->add_edge('9_50','10_51');
+    $g->add_edge('10_51','11_52');
+    $g->add_edge('11_52','12_53');
+    $g->add_edge('9_50','8_51');
+    $g->add_edge('8_51','9_52');
+    $g->add_edge('9_52','8_53');
+    $g->add_edge('8_53','7_54');
+    $g->add_edge('2_53','4_53');
+    $g->add_edge('4_53','5_54');
+    $g->add_edge('5_54','7_54');
+    $g->add_edge('7_54','9_54');
+    $g->add_edge('9_54','11_54');
+    $g->add_edge('12_53','11_54');
+    $g->add_edge('7_54','6_55');
+    $g->add_edge('6_55','7_56');
+    $g->add_edge('7_56','8_57');
+    $g->add_edge('8_57','9_58');
+
+    my $v1= '32_17';
+    my $v2= '33_18';
+    printf "has_edge=%d ccbv1=%d ccbv2=%d same_conn_comp=%d\n",
+       $g->has_edge($v1,$v2),
+       $g->connected_component_by_vertex($v1),
+       $g->connected_component_by_vertex($v2),
+       $g->same_connected_components($v1,$v2);
+};
+
+foreach my $uf (qw(0 1)) {
+    print "unionfind $uf ";
+    my $thisg= Graph::Undirected->new(unionfind => $uf);
+    test_with($thisg);
+}
index 068cd1c20e30694e3c56397cb1cbd976e274df82..8bcf3c9cb980b238f1255190cb41501f3e3b3896 100755 (executable)
@@ -32,8 +32,8 @@ sub error ($) {
     $errors++;
 }
 
     $errors++;
 }
 
-#open PO, ">/dev/null" or die $!;
-open PO, ">&STDOUT" or die $!;
+open PO, ">/dev/null" or die $!;
+#open PO, ">&STDOUT" or die $!;
 select(PO); $|=1;
 select(STDOUT); $|=1;
 
 select(PO); $|=1;
 select(STDOUT); $|=1;
 
@@ -74,6 +74,7 @@ sub parse_yppedia_map () {
            $winode2island{$n}= $island;
            $widists->add_vertex($n);
            $wiarchs->add_vertex($n);
            $winode2island{$n}= $island;
            $widists->add_vertex($n);
            $wiarchs->add_vertex($n);
+print "\$g->add_vertex('$n');\n";
            printf PO "%d,%d island %s\n", $x,$y,$island;
        } elsif (($solid,$x,$y,$dirn) =
            m/^\{\{ chart\ league((?:\ solid)?) \|(\d+)\|(\d+)\|
            printf PO "%d,%d island %s\n", $x,$y,$island;
        } elsif (($solid,$x,$y,$dirn) =
            m/^\{\{ chart\ league((?:\ solid)?) \|(\d+)\|(\d+)\|
@@ -88,6 +89,8 @@ sub parse_yppedia_map () {
 
            $widists->add_weighted_edge($nn->(), nn_xy($bx,$by), 1);
            $wiarchs->add_edge($nn->(), nn_xy($bx,$by)) if $solid;
 
            $widists->add_weighted_edge($nn->(), nn_xy($bx,$by), 1);
            $wiarchs->add_edge($nn->(), nn_xy($bx,$by)) if $solid;
+           $wiarchs->add_edge($nn->(), nn_xy($bx,$by)) if $solid;
+print "\$g->add_edge('".$nn->()."','".nn_xy($bx,$by)."');\n" if $solid;
 
            printf PO "%d,%d league %s %s \n", $x,$y,
                $solid?'solid':'dotted', $dirn;
 
            printf PO "%d,%d league %s %s \n", $x,$y,
                $solid?'solid':'dotted', $dirn;
@@ -179,7 +182,7 @@ sub process_yppedia_graphs () {
            next;
        }
        $wiccix2arch{$ccix}= $arch;
            next;
        }
        $wiccix2arch{$ccix}= $arch;
-       print "$ccix $arch ::\n$desc\n";
+#      print "$ccix $arch ::\n$desc\n";
     }
 }
 
     }
 }