可验证预言机
带质量证书的优化 · 12 项测试 · 按调用付费
智能体卸载 NP 难子问题(路由、分配、调度),获得近似最优解,并附带其优劣程度的证明。
Nearest-neighbour + 2-opt TSP · admissible lower bound · optimality gap