1: \begin{abstract} Erling \F\ proved that the amenability or

2: nonamenability of a countable group $G$ depends on the complexity of

3: its finite subsets $S \subset G$. Complexity has three measures:

4: maximum \F\ ratio, optimal cooling function, and minimum cooling norm.

5: 

6: Our first aim is to show that, for a fixed finite subset $S\subset G$,

7: these three measures are tightly bound to one another. We then explore

8: their algorithmic calculation.

9: 

10: Our intent is to provide a theoretical background for algorithmically

11: exploring the amenability and nonamenability of discrete groups.

12: \end{abstract}

13: