probabilistically checkable proof

  • 正體: 可能核對證明[電子計算機]