Morsel 发表于 2025-3-26 22:53:25

http://reply.papertrans.cn/47/4650/464907/464907_31.png

沟通 发表于 2025-3-27 01:26:14

http://reply.papertrans.cn/47/4650/464907/464907_32.png

凝结剂 发表于 2025-3-27 08:33:36

The Bisection Problem for Graphs of Degree 4 (Configuring Transputer Systems),the bisection width of . . is at least . . .. It this paper some upper bounds on the . .′s are found. Let . . . be the maximum of bisection widths of all .-degree graphs of . vertices. We prove that . for all even .. This result is improved for . = 4 by constructing two algorithms . and ., where for

牌带来 发表于 2025-3-27 10:49:54

Complexity of Closeness, Sparseness and Segment Equivalence for Context-Free and Regular Languages, be shown that the closeness problem for context-free grammars (CFGs) is undecidable while it is .-complete for nondeterministic finite automata (NFAs) and .-complete for deterministic finite automata (DFAs). The segment equivalence problems for CFGs and NFAs are co-.-complete. It is .-complete for

inferno 发表于 2025-3-27 15:55:22

Communication Complexity and Lower Bounds for Sequential Computation,ication concerns one-tape Turing machines with an additional oneway input tape. It is shown that lower bounds on the Communication Complexity of a given language immediately imply lower bounds on the running time for this Turing machine model. Consequently, lower bounds for the Turing machine comple

稀释前 发表于 2025-3-27 20:08:08

On the Stack Size of a Class of Backtrack Trees,uced by P.W.Purdom for the purpose of modelling backtrack trees. The considered trees have a height less than or equal to . and their shapes are controlled by an external parameter . ∈ ..We show that the average stack size of a tree appearing in ..(.) is bounded by a constant for 0 ≤ . < ½, and

TIA742 发表于 2025-3-28 01:56:20

http://reply.papertrans.cn/47/4650/464907/464907_37.png

宽容 发表于 2025-3-28 04:39:07

,Über die relativistische Struktur logischer Zeit in verteilten Systemen,, ist dadurch charakterisiert, daß a priori kein Prozeß eine konsistente Sicht des globalen Zustandes besitzt und eine gemeinsame Zeitbasis innerhalb des Systems nicht existiert. Interpretiert man nun den Zeitbegriff neu — als eine halbgeordnete Menge .dimensionaler Vektoren mit Verbandstruktur — so

Pulmonary-Veins 发表于 2025-3-28 07:31:33

A Hierarchy Preserving Hierarchical Bottom-Up 2-layer Wiring Algorithm with Respect to Via Minimizalayer wiring of . which needs a number of vias minimal with respect to the preservation of hierarchy, i.e., on condition that the description of the result is (nearly) as short as the description of . before the 2-layer wiring”. The problem arises in connection with hierarchical physical synthesis,

东西 发表于 2025-3-28 14:28:42

http://reply.papertrans.cn/47/4650/464907/464907_40.png
页: 1 2 3 [4] 5 6 7
查看完整版本: Titlebook: Informatik; Festschrift zum 60. Johannes Buchmann,Harald Ganzinger,Wolfgang J. Pau Textbook 1992 Springer Fachmedien Wiesbaden 1992 Algebr