Skip to main content
2 of 2
Added that this is not a complete answer.
Peter Heinig
  • 6.1k
  • 1
  • 27
  • 47

Not an answer but an observation: for any fixed order $r$ of the complete minor, your question can be answered by a finite search over the set of all graphs of order at most $c_{\mathrm{Kostochka}}\sqrt{\log r}$: let any $n\in\mathbb{N}$ be given. Let any graph $G=(V,E)$ be given. Let $\delta:=\delta(G)$. Let $c=c_{\mathrm{Kostochka}}>0$ denote the absolute constant in Theorem 7.2.3 of Diestel, Graph Theory, fourth ed. Since $\mathbb{R}_{>1}\to\mathbb{R}$, $r\mapsto cr(\log r)^{1/2}$ is strictly monotone increasing, there exists a unique solution $r=r(\delta)$ to the equation $\delta=cr(\log r)^{1/2}$. Theorem 7.2.3 says that $K^{r(\delta)}\preceq G$. So we may assume that

$r(\delta)\leq \delta/n$

equivalently

$n\leq c(\log r)^{1/2}$.

Peter Heinig
  • 6.1k
  • 1
  • 27
  • 47