图中计数路径的复杂性

给定一个有n个节点的有向图，使得每个顶点恰好具有两个输出边缘，以及以二进制编码的自然数N，两个顶点s和t，

我想计算N步内从s到t的路径（不一定简单）的数量。

这是#P难题吗？或一般来说，这个问题的复杂性是什么？

$\Omega(2^N/n)$$s$$t$$2^N$$s$$\Omega(N)$显式写下的位；这是输入大小的指数。另一方面，矩阵供电方法在输入和输出大小的总和中具有复杂度多项式。因此，这似乎正好属于具有指数大小的输出的计数问题类别，并且可以按时间多项式确定其输出大小，无论该类别的表示法是什么（这是EXP的某种计数模拟，并且绝对不是#EXP，它更类似于NEXP。

$A^N[s,t]$$A$$\mathsf{BitSLP}$$\#\mathsf{P}$$\mathsf{BitSLP}$

$\mathsf{BitSLP}$$\mathsf{CH} \subseteq \mathsf{PSPACE}$$\mathsf{PH}^{\mathsf{PP}^{\mathsf{PP}^{\mathsf{PP}}}}$

$\leq N$$=N$$\leq N$$\leq N-1$

$\leq 2$