5
$\begingroup$

Can we perform integer division with a polynomial size arithmetic circuit over $\mathbb{Q}$ that takes as input the numerator and denominator?

$\endgroup$
1
  • 1
    $\begingroup$ By arithmetic circuit do you mean a circuit composed of addition and multiplication gates? $\endgroup$
    – Kaveh
    Apr 11, 2014 at 7:32

1 Answer 1

4
$\begingroup$

See Eric Allender's survey of "recent" breakthroughs (circa more than a decade ago) in the complexity of division. The bottom line is that

Division is complete for DLOGTIME-uniform $\mathsf{TC}^0$

so in particular there is a poly-sized circuit (of constant depth) that takes $x$ and $y$ as input and produces $x/y$. Notice that this circuit doesn't even need to be arithmetic (it only needs MAJORITY gates in addition to boolean gates)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.