encomiast
发表于 2025-3-30 11:54:25
Optimal In-place Algorithms for Basic Graph Problemsin the input representation for any graph without loss of generality. This observation alone is powerful enough to design some basic linear time in-place algorithms, but more non-trivial graph problems require extra techniques which, we believe, may find other applications while designing in-place algorithms for different graph problems in future.
Neutral-Spine
发表于 2025-3-30 13:14:09
http://reply.papertrans.cn/23/2299/229884/229884_52.png
赏钱
发表于 2025-3-30 18:03:59
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten that, when taken together, imply that such ovals do not exist. Our search program uses the cube-and-conquer paradigm from the field of satisfiability (SAT) checking, coupled with a programmatic SAT solver and the nauty symbolic computation library for removing symmetries from the search.
dainty
发表于 2025-3-31 00:47:17
http://reply.papertrans.cn/23/2299/229884/229884_54.png
PLIC
发表于 2025-3-31 02:44:05
Two Robots Patrolling on a Line: Integer Version and Approximability a .-approximation algorithm. Here we provide a PTAS, accomplished by rounding and (perhaps more surprisingly) by using the well-quasi ordering of vectors of positive integers. The result is not very practical in the present form, but further investigation of the integer version may make it more usable.
掺假
发表于 2025-3-31 05:30:49
http://reply.papertrans.cn/23/2299/229884/229884_56.png
Epidural-Space
发表于 2025-3-31 13:04:39
http://reply.papertrans.cn/23/2299/229884/229884_57.png
得罪
发表于 2025-3-31 16:36:30
http://reply.papertrans.cn/23/2299/229884/229884_58.png
干涉
发表于 2025-3-31 20:19:23
http://reply.papertrans.cn/23/2299/229884/229884_59.png
明智的人
发表于 2025-4-1 00:25:00
http://reply.papertrans.cn/23/2299/229884/229884_60.png