诗集 发表于 2025-3-28 18:24:42

http://reply.papertrans.cn/17/1663/166230/166230_41.png

padding 发表于 2025-3-28 20:47:35

http://reply.papertrans.cn/17/1663/166230/166230_42.png

箴言 发表于 2025-3-29 00:28:42

Dynamic programming on graphs with bounded treewidth,partial .-trees), for fixed .. We introduce two classes of graph decision problems, LCC and ECC, and subclasses .-LCC, and .-ECC. We show that each problem in LCC (or .-LCC) is solvable in polynomial (.(..)) time, when restricted to graphs with fixed upper bounds on the treewidth and degree; and tha

愤愤不平 发表于 2025-3-29 05:04:02

http://reply.papertrans.cn/17/1663/166230/166230_44.png

Neonatal 发表于 2025-3-29 08:48:48

http://reply.papertrans.cn/17/1663/166230/166230_45.png

Venules 发表于 2025-3-29 12:30:30

http://reply.papertrans.cn/17/1663/166230/166230_46.png

Ointment 发表于 2025-3-29 16:31:05

http://reply.papertrans.cn/17/1663/166230/166230_47.png

胰岛素 发表于 2025-3-29 20:45:57

,Transitive orientations, möbius functions, and complete semi-thue systems for free partially commut of . is a polynomial in the ring of formal power series . 《.》. Taking representatives we may view it as a polynomial in .《.*》. We call it unambiguous if its formal inverse in .《.*》 is the characteristic series over a set of representatives of .. The main result states that there is an unambiguous M

Commemorate 发表于 2025-3-30 03:19:19

The complexity of matrix transposition on one-tape off-line turing machines with output tape, one-tape off-line TM‘s with a write-only output tape. (“Off-line” means: having a two-way input tape.) The following optimal lower bound is shown: Computing the transpose of Boolean ℓ×ℓ-matrices takes Ω(ℓ.)=Ω(n.) steps on such TM‘s. (n=ℓ. is the length of the input.)

旧石器 发表于 2025-3-30 06:01:16

,Arrangements of curves in the plane — topology, combinatorics, and algorithms,, algebraic cell decomposition, etc.). In this paper we study various topological and combinatorial properties of such arrangements under some mild assumptions on the shape of the curves, and develop basic tools for the construction, manipulation, and analysis of these arrangements. Our main results
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Automata, Languages and Programming; 15th International C Timo Lepistö,Arto Salomaa Conference proceedings 1988 Springer-Verlag Berlin Heid