Pebble motion problems

Template:New unreviewed article The Pebble Motion Problems are a set of related problems in Algorithimic Graph Theory dealing with the movement of multiple objects ('pebbles') from vertex to vertex in a graph with a constraint on the number of pebbles that can occupy a vertex at any time. Pebble motion problems occur in domains such as multi-robot motion planning (in which the pebbles are robots) and network routing (in which the pebbles are packets of data). The best known example of a pebble motion problem is Sam Loyd's famous 15-puzzle.

Theoretical Formulation

The general form of the pebble motion problem is Pebble Motion on a Graph (PMG) formulated as follows:

Let $G=(V,E)$ be a graph with $n$ vertices. Let $P=\{1,\ldots ,k\}$ be a set of pebbles with $k<n$. An arrangement of pebbles is a mapping Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle S : P \arrow V} such that Failed to parse (unknown function "\math"): {\displaystyle S(i) \neq S(j) \mathrm{for} i \neq j<\math>. A move consists <math>m = (p, u, v)} of transferring pebble $p$ from vertex $u$ to adjacent unoccupied vertex $v$. The PMG problem is to decide, given two arrangements $S_{0}$ and $S_{+}$, whether there is a sequence of moves that transforms $S_{0}$ into $S_{+}$.

Variations

Common variations on the problem limit strucutre the graph $G$ to be a tree or a grid, or to be bi-connected.

Another set of variations consider the case in which some or all of the pebbles are unlabelled and interchangeable.

Other versions of the problem seek not only to prove reachability but to find a sequence of moves (potentially optimal) which performs the transformation.

External links

• example.com

[[Category:Graph Theory]