wrapperize the HTML templates
[scpubgit/stemmatology.git] / lib / Text / Tradition / Analysis.pm
index 3b8888b..49cbe95 100644 (file)
@@ -9,7 +9,10 @@ sub new {
        my( $class, $args ) = @_;
        my $self = {};
        bless( $self, $class ); 
-       $self->run_analysis( $args->{'file'}, $args->{'stemmadot'} );
+       $self->{'data'} = [];
+       foreach my $t ( @{$args->{'traditions'}} ) {
+           $self->run_analysis( $t->{'file'}, $t->{'stemmadot'} );
+       }
        return $self;
 }
 
@@ -18,6 +21,7 @@ sub run_analysis {
        # What we will return
        my $svg;
        my $variants = [];
+       my $data = {};
        
        # Read in the file and stemma   
        my $tradition = Text::Tradition->new( 
@@ -25,22 +29,21 @@ sub run_analysis {
                'file'   => $file,
                'linear' => 1,
                );
-       $self->{'title'} = $tradition->name;
+       $data->{'title'} = $tradition->name;
        
        my $stemma = Text::Tradition::Stemma->new(
                'collation' => $tradition->collation,
                'dot' => $stemmadot,
                );
        # We will return the stemma picture
-       $svg = $stemma->as_svg;
-       ### DIRTY HACK
-       $svg =~ s/transform=\"scale\(1 1\)/transform=\"scale\(0.7 0.7\)/;
-       $self->{'svg'} = $svg;
+       $svg = $stemma->as_svg( { size => "8,7.5" } );;
+       $data->{'svg'} = $svg;
        
        # We have the collation, so get the alignment table with witnesses in rows.
        # Also return the reading objects in the table, rather than just the words.
-       
-       my $all_wits_table = $tradition->collation->make_alignment_table( 'refs' );
+       my $wits = {};
+       map { $wits->{$_} = 1 } $stemma->witnesses;
+       my $all_wits_table = $tradition->collation->make_alignment_table( 'refs', $wits );
        
        # For each column in the alignment table, we want to see if the existing
        # groupings of witnesses match our stemma hypothesis. We also want, at the
@@ -50,6 +53,11 @@ sub run_analysis {
        
        # Strip the list of sigla and save it for correlation to the readings.
        my $col_wits = shift @$all_wits_table;
+       # Any witness in the stemma that has no row should be noted.
+    foreach ( @$col_wits ) {
+        $wits->{$_}++;
+    }
+    my @not_collated = grep { $wits->{$_} == 1 } keys %$wits;  
        
        # We will return a data structure, an array for each row that looks like:
        # { id = X, genealogical = Y, readings = [ text = X, group = Y], empty = N }
@@ -58,7 +66,7 @@ sub run_analysis {
                my $rdg_wits = {};
                my $col_rdgs = shift @$all_wits_table;
                my $rank;
-               my $lacunose = [];
+               my $lacunose = [ @not_collated ];
                foreach my $j ( 0 .. $#{$col_rdgs} ) {
                        my $rdg = $col_rdgs->[$j];
                        my $rdg_text = '(omitted)';  # Initialize in case of empty reading
@@ -99,9 +107,9 @@ sub run_analysis {
                
                # For all the groups with more than one member, collect the list of all
                # contiguous vertices needed to connect them.
-               # TODO: deal with a.c. reading logic
+               $DB::single = 1;
                my $variant_row = analyze_variant_location( $group_readings, $groups, 
-                   $stemma->apsp, $lacunose );
+                   $stemma->graph, $lacunose );
                $variant_row->{'id'} = $rank;
                $genealogical++ if $variant_row->{'genealogical'};
                $conflicts += grep { $_->{'conflict'} } @{$variant_row->{'readings'}};
@@ -110,8 +118,7 @@ sub run_analysis {
 #              my @trees = @{$stemma->distance_trees};
 #              if( @trees ) {
 #             foreach my $tree ( 0 .. $#trees ) {
-#                 my $dc = analyze_variant_location( $group_readings, $groups,    
-#                                                    $stemma->distance_apsps->[$tree] );
+#                 my $dc = analyze_variant_location( $group_readings, $groups, $tree, $lacunose, 'undirected' );
 #                 foreach my $rdg ( keys %$dc ) {
 #                     my $var = $dc->{$rdg};
 #                     # TODO Do something with this
@@ -131,54 +138,214 @@ sub run_analysis {
        }
        
        # Populate self with our analysis data.
-       $self->{'variants'} = $variants;
-       $self->{'variant_count'} = $total;
-       $self->{'conflict_count'} = $conflicts;
-       $self->{'genealogical_count'} = $genealogical;
+       $data->{'variants'} = $variants;
+       $data->{'variant_count'} = $total;
+       $data->{'conflict_count'} = $conflicts;
+       $data->{'genealogical_count'} = $genealogical;
+       push( @{$self->{'data'}}, $data );
 }
 
 # variant_row -> genealogical
 #             -> readings [ { text, group, conflict, missing } ]
 
 sub analyze_variant_location {
-    my( $group_readings, $groups, $apsp, $lacunose ) = @_;
-    my %contig;
+    my( $group_readings, $groups, $graph, $lacunose, $undirected ) = @_;
+    my $contig = {};
+    my $subgraph = {};
+    my $is_conflicted;
     my $conflict = {};
-    my %missing;
-    map { $missing{$_} = 1 } @$lacunose;
+    my $missing = {};
+    map { $missing->{$_} = 1 } @$lacunose;
     my $variant_row = { 'readings' => [] };
+    # Mark each ms as in its own group, first.
+    foreach my $g ( @$groups ) {
+        my $gst = wit_stringify( $g );
+        map { $contig->{$_} = $gst } @$g;
+    }
+    # Now for each unmarked node in the graph, initialize an array
+    # for possible group memberships.  We will use this later to
+    # resolve potential conflicts.
+    map { $contig->{$_} = [] unless $contig->{$_} } $graph->vertices;
     foreach my $g ( sort { scalar @$b <=> scalar @$a } @$groups ) {
-        my @members = @$g;
-        my $gst = wit_stringify( $g ); # $gst is now the name of this group.
-        map { $contig{$_} = $gst } @members; # All members are in this group.
-        while( @members ) {
-            # Gather the list of vertices that are needed to join all members.
-            my $curr = pop @members;
-            foreach my $m ( @members ) {
-                foreach my $v ( $apsp->path_vertices( $curr, $m ) ) {
-                    $contig{$v} = $gst unless exists $contig{$v};
-                    next if $contig{$v} eq $gst;
-                    # Record what is conflicting. TODO do we use this?
-                    $conflict->{$group_readings->{$gst}} = $group_readings->{$contig{$v}};
+        my $gst = wit_stringify( $g );  # This is the group name
+        my $reachable = { $g->[0] => 1 };
+        # Copy the graph, and delete all non-members from the new graph.
+        my $part = $graph->copy;
+        my $group_root;
+        $part->delete_vertices( 
+            grep { !ref( $contig->{$_} ) && $contig->{$_} ne $gst } $graph->vertices );
+                
+        # Now look to see if our group is connected.
+        if( $undirected ) { # For use with distance trees etc.
+            # Find all vertices reachable from the first (arbitrary) group
+            # member.  If we are genealogical this should include them all. 
+            map { $reachable->{$_} = 1 } $part->all_reachable( $g->[0] );
+            # TODO This is a terrible way to do distance trees, since all
+            # non-leaf nodes are included in every graph part now. We may
+            # have to go back to SPDP.
+        } else {
+            if( @$g > 1 ) {
+                # Dispense with the trivial case of one reading.
+                # We have to take directionality into account.
+                # How many root nodes do we have?
+                my @roots = grep { ref( $contig->{$_} ) || $contig->{$_} eq $gst } 
+                    $part->source_vertices;
+                # Assuming that @$g > 1, find the first root node that has at
+                # least one successor belonging to our group. If this reading
+                # is genealogical, there should be only one, but we will check
+                # that implicitly later.
+                my $nodes_in_subtree = 0;
+                foreach my $root ( @roots ) {
+                    # Prune the tree to get rid of extraneous hypotheticals.
+                    $root = prune_subtree( $part, $root, $contig );
+                    # Get all the successor nodes of our root.
+                    my $tmp_reach = { $root => 1 };
+                    map { $tmp_reach->{$_} = 1 } $part->all_successors( $root );
+                    # Skip this root if none of our successors are in our group
+                    # (e.g. isolated 'hypothetical' witnesses with no group)
+                    next unless grep { $contig->{$_} } keys %$tmp_reach;
+                    if( keys %$tmp_reach > $nodes_in_subtree ) {
+                        $nodes_in_subtree = keys %$tmp_reach;
+                        $reachable = $tmp_reach;
+                        $group_root = $root;
+                    }
                 }
+            } # else it is a single-node group, nothing to calculate.
+        }
+        
+        # None of the 'reachable' nodes should be marked as being in another 
+        # group.  Paint the 'hypotheticals' with our group while we are at it,
+        # unless there is a conflict present.
+        foreach ( keys %$reachable ) {
+            if( ref $contig->{$_} ) {
+                push( @{$contig->{$_}}, $gst );
+            } elsif( $contig->{$_} ne $gst ) {
+                $conflict->{$group_readings->{$gst}} = $group_readings->{$contig->{$_}};
+            } # else it is an 'extant' node marked with our group already.
+        }
+        # None of the unreachable nodes should be in our group either.
+        foreach ( $part->vertices ) {
+            next if $reachable->{$_};
+            if( $contig->{$_} eq $gst ) {
+                $conflict->{$group_readings->{$gst}} = $group_readings->{$gst};
+                last;
             }
         }
+        
+        # Now, if we have a conflict, we can write the reading in full.  If not, 
+        # we have to save the subgraph so that we can resolve possible conflicts 
+        # on hypothetical nodes.
+        $is_conflicted = 1 if exists $conflict->{$group_readings->{$gst}};
+        
         # Write the reading.
         my $reading = { 'text' => $group_readings->{$gst},
                         'missing' => wit_stringify( $lacunose ),
-                        'conflict' => exists( $conflict->{$group_readings->{$gst}} ) };
-        if( $reading->{'conflict'} ) {
-            $reading->{'group'} = $gst;
+                        'group' => $gst };  # This will change if we find no conflict
+        if( $is_conflicted ) {
+            $reading->{'conflict'} = $conflict->{$group_readings->{$gst}}
         } else {
-            my @all_vertices = grep { $contig{$_} eq $gst && !$missing{$_} } keys %contig;
-            $reading->{'group'} = wit_stringify( \@all_vertices );
+            # Save the relevant subgraph.
+            $subgraph->{$gst} = { 'graph' => $part,
+                                'root' => $group_root,
+                                'reachable' => $reachable };
         }
         push( @{$variant_row->{'readings'}}, $reading );
     }
-    $variant_row->{'genealogical'} = keys %$conflict ? undef : 1;
+    
+    # Now that we have gone through all the rows, check the hypothetical
+    # readings for conflict if we haven't found one yet.
+    if( keys %$subgraph && !keys %$conflict ) {
+        my @resolve;
+        foreach ( keys %$contig ) {
+            next unless ref $contig->{$_};
+            if( scalar @{$contig->{$_}} > 1 ) {
+                push( @resolve, $_ );
+            } else {
+                $contig->{$_} = scalar @{$contig->{$_}} ? $contig->{$_}->[0] : '';
+            }
+        }
+        # Do we still have a possible conflict?
+        my $still_contig = {};
+        foreach my $h ( @resolve ) {
+            # For each of the hypothetical readings with more than one possibility,
+            # try deleting it from each of its member subgraphs in turn, and see
+            # if that breaks the contiguous grouping.
+            # TODO This can still break in a corner case where group A can use 
+            # either vertex 1 or 2, and group B can use either vertex 2 or 1.
+            # Revisit this if necessary; it could get brute-force nasty.
+            foreach my $gst ( @{$contig->{$h}} ) {
+                my $gpart = $subgraph->{$gst}->{'graph'}->copy;
+                my $reachable = $subgraph->{$gst}->{'reachable'};
+                $gpart->delete_vertex( $h );
+                # Is everything else still reachable from the root?
+                # TODO If $h was the root, see if we still have a single root.
+                my %still_reachable = ( $subgraph->{$gst}->{'root'} => 1 );
+                map { $still_reachable{$_} = 1 }
+                    $gpart->all_successors( $subgraph->{$gst}->{'root'} );
+                foreach my $v ( keys %$reachable ) {
+                    next if $v eq $h;
+                    if( !$still_reachable{$v}
+                        && ( $contig->{$v} eq $gst 
+                             || ( exists $still_contig->{$v} 
+                                  && $still_contig->{$v} eq $gst ) ) ) {
+                        # We need $h.
+                        if( exists $still_contig->{$h} ) {
+                            # Conflict!
+                            $conflict->{$group_readings->{$gst}} = 
+                                $group_readings->{$still_contig->{$h}};
+                        } else {
+                            $still_contig->{$h} = $gst;
+                        }
+                        last;
+                    } # else we don't need $h in this group.
+                }
+            }
+        }
+        
+        # Now, assuming no conflict, we have some hypothetical vertices in
+        # $still_contig that are the "real" group memberships.  Replace these
+        # in $contig.
+        unless ( keys %$conflict ) {
+            foreach my $v ( keys %$contig ) {
+                next unless ref $contig->{$v};
+                $contig->{$v} = $still_contig->{$v};
+            }
+        }
+    }
+            
+    # Now write the group and conflict information into the respective rows.
+    foreach my $rdg ( @{$variant_row->{'readings'}} ) {
+        $rdg->{'conflict'} = $conflict->{$rdg->{'text'}};
+        next if $rdg->{'conflict'};
+        my @members = grep { $contig->{$_} eq $rdg->{'group'} && !$missing->{$_} } 
+            keys %$contig;
+        $rdg->{'group'} = wit_stringify( \@members );
+    }
+    
+    $variant_row->{'genealogical'} = !( keys %$conflict );
     return $variant_row;
 }
 
+sub prune_subtree {
+    my( $tree, $root, $contighash ) = @_;
+    # First, delete hypothetical leaves / orphans until there are none left.
+    my @orphan_hypotheticals = grep { ref( $contighash->{$_} ) } 
+        $tree->successorless_vertices;
+    while( @orphan_hypotheticals ) {
+        $tree->delete_vertices( @orphan_hypotheticals );
+        @orphan_hypotheticals = grep { ref( $contighash->{$_} ) } 
+            $tree->successorless_vertices;
+    }
+    # Then delete a hypothetical root with only one successor, moving the
+    # root to the child.
+    while( $tree->successors( $root ) == 1 && ref $contighash->{$root} ) {
+        my @nextroot = $tree->successors( $root );
+        $tree->delete_vertex( $root );
+        $root = $nextroot[0];
+    }
+    # The tree has been modified in place, but we need to know the new root.
+    return $root;
+}
 # Add the variant, subject to a.c. representation logic.
 # This assumes that we will see the 'main' version before the a.c. version.
 sub add_variant_wit {