COAX 发表于 2025-3-21 17:14:50

书目名称Mathematical Foundations of Computer Science 1995影响因子(影响力)<br>        http://figure.impactfactor.cn/if/?ISSN=BK0626129<br><br>        <br><br>书目名称Mathematical Foundations of Computer Science 1995影响因子(影响力)学科排名<br>        http://figure.impactfactor.cn/ifr/?ISSN=BK0626129<br><br>        <br><br>书目名称Mathematical Foundations of Computer Science 1995网络公开度<br>        http://figure.impactfactor.cn/at/?ISSN=BK0626129<br><br>        <br><br>书目名称Mathematical Foundations of Computer Science 1995网络公开度学科排名<br>        http://figure.impactfactor.cn/atr/?ISSN=BK0626129<br><br>        <br><br>书目名称Mathematical Foundations of Computer Science 1995被引频次<br>        http://figure.impactfactor.cn/tc/?ISSN=BK0626129<br><br>        <br><br>书目名称Mathematical Foundations of Computer Science 1995被引频次学科排名<br>        http://figure.impactfactor.cn/tcr/?ISSN=BK0626129<br><br>        <br><br>书目名称Mathematical Foundations of Computer Science 1995年度引用<br>        http://figure.impactfactor.cn/ii/?ISSN=BK0626129<br><br>        <br><br>书目名称Mathematical Foundations of Computer Science 1995年度引用学科排名<br>        http://figure.impactfactor.cn/iir/?ISSN=BK0626129<br><br>        <br><br>书目名称Mathematical Foundations of Computer Science 1995读者反馈<br>        http://figure.impactfactor.cn/5y/?ISSN=BK0626129<br><br>        <br><br>书目名称Mathematical Foundations of Computer Science 1995读者反馈学科排名<br>        http://figure.impactfactor.cn/5yr/?ISSN=BK0626129<br><br>        <br><br>

forebear 发表于 2025-3-21 23:07:32

The complexity of interval routing on random graphs,, nodes assign up to . intervals to each incident link. A message is routed over a link if its destination belongs to one of the intervals of the link. We give some results for the necessary value of . in order to achieve shortest path routing. Even though for very structured networks low values of

RAG 发表于 2025-3-22 04:28:49

Bridging across the log(n) space frontier,review the basic concepts of the space complexity theory and clarify the role of the space constructibility. Despite of the fact that the space below log . behaves radically different from the higher bounds, many important techniques do work on the both sides of this boundary. In addition, several i

Basilar-Artery 发表于 2025-3-22 08:11:41

Second order logic and the weak exponential hierarchies,e first order closure of second order .. — captures the class .. = ., a natural intermediate class of the polynomial hierarchy ..In this paper we show that with respect to expression complexity, second order logic characterizes the levels of the weak exponential hierarchy EH. Moreover, we extend

pacifist 发表于 2025-3-22 09:26:33

On the computing paradigm and computational complexity,the quantitative laws of computational complexity apply to all information processing from numerical computations and simulation to logical reasoning and formal theorem proving, as well as processes of rational reasoning..In this view, the search for what is and is not feasibly computable takes on a

匍匐前进 发表于 2025-3-22 15:57:03

http://reply.papertrans.cn/63/6262/626129/626129_6.png

创造性 发表于 2025-3-22 19:10:40

http://reply.papertrans.cn/63/6262/626129/626129_7.png

Lacerate 发表于 2025-3-22 21:23:29

http://reply.papertrans.cn/63/6262/626129/626129_8.png

WITH 发表于 2025-3-23 04:41:38

Automata that take advice,compare it to other nonuniform models studied in connection with formal languages in the literature. Based on this we obtain complete separations of the classes of the Chomsky hierarchy relative to advices.

浅滩 发表于 2025-3-23 08:16:19

Nonuniform lower bounds for exponential time classes,rov complexity, languages are constructed which witness that various exponential time classes are not included in (fixed) polynomial advice classes. We show as well that these languages are not included in small circuit families where the circuits are of a fixed, polynomial size. The results yield o
页: [1] 2 3 4 5 6 7
查看完整版本: Titlebook: Mathematical Foundations of Computer Science 1995; 20th International S Jiří Wiedermann,Petr Hájek Conference proceedings 1995 Springer-Ver