适宜 发表于 2025-3-23 11:20:35

http://reply.papertrans.cn/83/8212/821126/821126_11.png

Frenetic 发表于 2025-3-23 15:28:09

http://reply.papertrans.cn/83/8212/821126/821126_12.png

竞选运动 发表于 2025-3-23 19:29:18

http://reply.papertrans.cn/83/8212/821126/821126_13.png

多余 发表于 2025-3-23 23:19:02

http://reply.papertrans.cn/83/8212/821126/821126_14.png

Peak-Bone-Mass 发表于 2025-3-24 03:37:24

http://reply.papertrans.cn/83/8212/821126/821126_15.png

高深莫测 发表于 2025-3-24 07:46:50

2. Preliminaries,Computational complexity delineates which problems computers can realistically solve. After describing the notion of a computational problem and giving some important examples, we will formalize the various computer models we will consider. We will introduce relevant resources for each of them and d

thyroid-hormone 发表于 2025-3-24 14:35:38

3. Derandomizing Arthur-Merlin Games,ool is relativization: We will show that known hardness versus randomness trade-offs relativize. As a corollary, we obtain that graph nonisomorphism has subexponential size proofs unless the polynomial-time hierarchy collapses. Applications of the same technique to various randomized processes other

Visual-Acuity 发表于 2025-3-24 16:40:47

4. Sparseness of Complete Languages,with low density. Our main result establishes the logical completeness of this approach for separating polynomial time from logarithmic space using reductions with a bounded number of queries. Similar techniques apply to various other complexity classes, in the deterministic as well as in the random

grandiose 发表于 2025-3-24 20:47:51

http://reply.papertrans.cn/83/8212/821126/821126_19.png

生命 发表于 2025-3-25 03:00:02

8. The Frequency of Autoreducible Languages,nded measure, as well as within the context of betting games, a notion which we will develop here and which provides an alternate to resourcebounded measure. Several approaches for separating BPP from EXP will come up. problem
页: 1 [2] 3 4 5
查看完整版本: Titlebook: Randomness and Completeness in Computational Complexity; Dieter Melkebeek Book 2000 Springer-Verlag Berlin Heidelberg 2000 Algorithms.Comp