Timeline for Join-like operation and Medvedev reducibility
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Aug 2, 2021 at 17:35 | vote | accept | Bjørn Kjos-Hanssen | ||
Aug 2, 2021 at 13:01 | answer | added | Arno | timeline score: 3 | |
Aug 2, 2021 at 1:59 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |
edited title
|
Aug 2, 2021 at 1:58 | comment | added | Bjørn Kjos-Hanssen | @NoahSchweber right. I've edited the title accordingly | |
Aug 2, 2021 at 1:53 | comment | added | Noah Schweber | Note that this isn't Medvedev-degree-invariant: if every element of $\mathcal{C}$ begins with $0$ and every element of $\mathcal{D}$ begins with $1$ then $\mathsf{Either}(\mathcal{C},\mathcal{D})$ is just their join, and every mass problem is Medvedev-equivalent to one with a "common first bit." | |
Aug 2, 2021 at 1:36 | history | asked | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |