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 problemabreast 发表于 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 shangina-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 compositiFECT 发表于 2025-3-31 23:04:08
http://reply.papertrans.cn/63/6262/626136/626136_60.png