证明问题如何编码成为一组多项式

  • 2024-10-05