custody 发表于 2025-3-30 10:10:16

http://reply.papertrans.cn/63/6262/626136/626136_51.png

下级 发表于 2025-3-30 15:08:33

http://reply.papertrans.cn/63/6262/626136/626136_52.png

加剧 发表于 2025-3-30 18:53:50

Accessibility in Automata on Scattered Linear Orderingsite words introduced by Büchi. In this paper, we show that if only words indexed by scattered linear orderings are considered, the accessibility and the emptiness in these automata can be checked in time .. where . and . are the number of states and the number of transitions. This solves the problem

abreast 发表于 2025-3-30 22:45:21

http://reply.papertrans.cn/63/6262/626136/626136_54.png

被告 发表于 2025-3-31 01:53:25

http://reply.papertrans.cn/63/6262/626136/626136_55.png

恶臭 发表于 2025-3-31 07:35:45

Coloring ,-Colorable Semirandom Graphs in Polynomial Expected Time via Semidefinite Programmingf this paper is to present an algorithm for finding a large independent set in a semirandom graph in polynomial expected time, thereby extending the work of Feige and Kilian [.]. In order to preprocess the input graph, the algorithm makes use of SDP-based techniques. The analysis of the algorithm sh

angina-pectoris 发表于 2025-3-31 12:51:21

On Word Equations in One Variablee. This is the best result known and for the equations that feature #. < ./log. it yields time complexity of .(.) which is optimal. Additionally, we prove that the set of solutions of one-variable word equations is either of the form . where . is a set of .(log.) words or of the form . ∪ (.).. where

组成 发表于 2025-3-31 14:20:16

http://reply.papertrans.cn/63/6262/626136/626136_58.png

带子 发表于 2025-3-31 18:29:02

Two-Way Finite State Transducers with Nested Pebblesnsductions computed by such pebble transducers are closed under composition, and they can be realized by the composition of one-pebble transducers. The ranges of the .-pebble transducers form a hierarchy with respect to ., their finiteness problem is decidable, and they can be generated by compositi

FECT 发表于 2025-3-31 23:04:08

http://reply.papertrans.cn/63/6262/626136/626136_60.png
页: 1 2 3 4 5 [6] 7
查看完整版本: Titlebook: Mathematical Foundations of Computer Science 2002; 27th International S Krzysztof Diks,Wojciech Rytter Conference proceedings 2002 Springer