P-complete

Eden Growth (EG)

Category: Miscellaneous

Input

An undirected graph $G = (V, E)$ in which each vertex in $V$ has an $O(|V|)$ fixed length, label sequence of $m$ distinct numbers from $\{1, \ldots, m\}$, a designated source vertex $s$, and a designated vertex $t$.

Problem

Is vertex $t$ added to the Eden cluster formed on $G$?

Definitions

The initial cluster consists of vertex $s$. At each step $i$, $1 \leq i \leq m$, the vertex adjacent to the current cluster, whose $i^\text{th}$ label is smallest, is added to the cluster.

Status

$\P$-complete (Greenlaw, Hoover and Ruzzo [2]).

Remarks

The reduction to show hardness is from a topologically ordered variant of NORCVP.

Eden growth is a process that is used for studying tumor growth. See Machta and Greenlaw [1] for additional information about the parallel complexity of Eden growth and related growth models.

References

  1. J. Machta and R. Greenlaw (1994). The parallel complexity of growth models.
  2. Greenlaw, R., Hoover, H. J., and Ruzzo, W. L. (1995). Limits to Parallel Computation: P-Completeness Theory. Oxford University Press. Problem A.12.5.