|
|
|
|
|
|
by nyrikki
507 days ago
|
|
|
IMHO, that is expected, at least for the general case. That is one of the implications of transformers being DLOGTIME-uniform TC0, they don't have access to counter analogs. You would need to move to log depth circuits, add mod-p_n gates etc... unless someone finds some new mathematics. Proposition 6.14 in Immerman is where this is lost if you want a cite. It will be counterintuitive that division is in TC0, but (general) counting is not. |
|
|