HCH could implement the decomposition oracle by searching over the space of all possible decompositions (it would just be quite expensive).
I agree for literal HCH. However, I think that falls under brute force, which is the one thing that HCH isn’t ‘allowed’ to do because it can’t be emulated. I think I say this somewhere in a footnote.
HCH could implement the decomposition oracle by searching over the space of all possible decompositions (it would just be quite expensive).
I agree for literal HCH. However, I think that falls under brute force, which is the one thing that HCH isn’t ‘allowed’ to do because it can’t be emulated. I think I say this somewhere in a footnote.