Mutter
发表于 2025-3-23 10:35:39
Verifying Proofs in Constant Depthanguages ranging from regular to .-complete. On the other hand, we show by combinatorial methods that even easy regular languages such as Exact-OR do not admit . proof systems. We also present a general construction of . proof systems for regular languages with strongly connected NFA’s.
Alienated
发表于 2025-3-23 16:44:24
The Complexity of the Cover Polynomials for Planar Graphs of Bounded Degrees for planar DAGs of bounded degree. For particular subclasses of planar graphs of bounded degree and for variants thereof, we also provide algorithms that allow for polynomial-time evaluation of the cover polynomials at certain new points by utilizing Valiant’s holographic framework.
矛盾心理
发表于 2025-3-23 21:47:43
http://reply.papertrans.cn/63/6262/626145/626145_13.png
收到
发表于 2025-3-24 01:05:40
http://reply.papertrans.cn/63/6262/626145/626145_14.png
吞噬
发表于 2025-3-24 04:37:58
http://reply.papertrans.cn/63/6262/626145/626145_15.png
清醒
发表于 2025-3-24 09:31:20
http://reply.papertrans.cn/63/6262/626145/626145_16.png
Trypsin
发表于 2025-3-24 13:25:13
http://reply.papertrans.cn/63/6262/626145/626145_17.png
军械库
发表于 2025-3-24 17:56:13
http://reply.papertrans.cn/63/6262/626145/626145_18.png
jocular
发表于 2025-3-24 21:40:59
Solving Analytic Differential Equations in Polynomial Time over Unbounded Domainsover . domains of ℝ. and ℂ., under the Computable Analysis setting. We show that the solution can be computed in polynomial time over its maximal interval of definition, provided it satisfies a very generous bound on its growth, and that the function admits an analytic extension to the complex plane.
Alveoli
发表于 2025-3-25 01:57:57
http://reply.papertrans.cn/63/6262/626145/626145_20.png