1: \begin{definition}

2: Let $P$ and $Q$ be two d.p.-equivalent graph polynomials.

3: We say that $P$  is

4: {\em polynomially d.p.-reducible (P.d.p-reducible)}

5: to $Q$ if $F$ from Theorem \ref{prop:equiv} is computable in polynomial time.

6: $P$ and $Q$  P.d.p.-equivalent if they are P.d.p.-reducible to each other.

7: \end{definition}

8: