We study the complexity of the computational task ``Given a colouring $c : \mathbb{Q} \to \mathbf{k}$, find a monochromatic $S \subseteq \mathbb{Q}$ such that $(S,<) \cong (\mathbb{Q},<)$''. The framework is Weihrauch reducibility. Our results answer some open questions recently raised by Gill, and by Dzhafarov, Solomon and Valenti.
翻译:我们研究计算任务“给定着色 $c : \mathbb{Q} \to \mathbf{k}$,寻找一个单色子集 $S \subseteq \mathbb{Q}$ 使得 $(S,<) \cong (\mathbb{Q},<)$”的复杂度。研究框架采用 Weihrauch 可归约性。我们的结果回答了 Gill 以及 Dzhafarov、Solomon 和 Valenti 最近提出的一些开放性问题。