Embeddability of graphs and Weihrauch degrees
We study the complexity of the following computational tasks concerning a fixed countable graph [Formula: see text]: 1. Does a countable graph [Formula: see text] provided as input have a(n induced) subgraph isomorphic to [Formula: see text]? 2. Given a countable graph [Formula: see text] that has a(n induced) subgraph isomorphic to [Formula: see text], find such a subgraph. The frameworks for our investigations are given by effective Wadge reducibility and by Weihrauch reducibility. Our work follows on “Reverse mathematics and Weihrauch analysis motivated by finite complexity theory” (Computability, 2021) by BeMent, Hirst and Wallace, and we answer several of their open questions.
Authors
- Vittorio Cipriani (ORCID: https://orcid.org/0000-0002-3847-2893)
- Arno Pauly (ORCID: https://orcid.org/0000-0002-0173-3295)
Institutions
- TU Wien (AT)
- Swansea University (GB)
Publication Details
- Journal
- Journal of Mathematical Logic
- Published
- 2025-04-16
- DOI
- https://doi.org/10.1142/s0219061325500114
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00