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