bzoj1063

仔细观察可以发现，这个规划路径很像树链剖分

树链剖分的经典定理：任意一个点到根的所经过轻边不超过logn

而这个规划路径所走公路相当于轻边，也就是说，不便利度不会很大

那么直接dp即可，设f[x,i,k]表示以x为根的子树，不便利度不超过i，且x向下连了k[0,2]条边的方案数

根据增量法的思想，不难从孩子转移到父亲

注意这里取模等于0和没有方案的区别要注意一下

 type node=record
        po,next:longint;
      end;

 var e:array[..] of node;
     f:array[..,-..,..] of int64;
     p:array[..] of longint;
     v:array[..] of boolean;
     mo,n,m,i,x,y,len:longint;

 procedure add(x,y:longint);
   begin
     inc(len);
     e[len].po:=y;
     e[len].next:=p[x];
     p[x]:=len;
   end;

 function get(x:int64):int64;
   begin
     if (x>) and (x mod mo=) then exit(mo)
     else exit(x mod mo);
   end;

 procedure dfs(x:longint);
   var i,y,j:longint;
       s1,s0:int64;
   begin
     for i:= to  do
       f[x,i,]:=;
     i:=p[x];
     v[x]:=true;
     while i<> do
     begin
       y:=e[i].po;
       if not v[y] then
       begin
         dfs(y);
         for j:= to  do
         begin
           s1:=f[y,j,]+f[y,j,];
           s0:=f[y,j-,]+f[y,j-,]+f[y,j-,];
           f[x,j,]:=get(f[x,j,]*s0+f[x,j,]*s1);
           f[x,j,]:=get(f[x,j,]*s0+f[x,j,]*s1);
           f[x,j,]:=get(f[x,j,]*s0);
         end;
       end;
       i:=e[i].next;
     end;
   end;

 begin
   readln(n,m,mo);
   for i:= to m do
   begin
     readln(x,y);
     add(x,y);
     add(y,x);
   end;
   if m<n- then
   begin
     writeln(-);
     writeln(-);
     halt;
   end;
   dfs();
   for i:= to  do
     if f[,i,]+f[,i,]+f[,i,]> then
     begin
       writeln(i);
       writeln((f[,i,]+f[,i,]+f[,i,]) mod mo);
       halt;
     end;
   writeln(-);
   writeln(-);
 end.