03802nam 22006615 450 991104769150332120251019130415.0981-9536-43-X10.1007/978-981-95-3643-6(MiAaPQ)EBC32364410(Au-PeEL)EBL32364410(CKB)41667478300041(DE-He213)978-981-95-3643-6(EXLCZ)994166747830004120251019d2026 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierTheoretical Computer Science 43rd National Conference of Theoretical Computer Science, NCTCS 2025, Kunming, China, August 3–5, 2025, Revised Selected Papers /edited by Minming Li, Jialin Zhang, Zhiping Cai1st ed. 2026.Singapore :Springer Nature Singapore :Imprint: Springer,2026.1 online resource (323 pages)Communications in Computer and Information Science,1865-0937 ;2710981-9536-42-1 -- Algorithm Design. -- Improved Approximation Algorithms for the Multiple Two-stage Knapsack problem. -- Semi-online scheduling problem of two identical machines with delayed discount. -- Logic. -- Sequential Equivalence Checking for specialized IR via Instrumentation-Based Symbolic Execution. -- Self-Learning Modeling of Generalized Possibilistic Decision Processes. -- Artificial Intelligence Theory and Algorithm. -- DPhuman: Generalizable Neural Human Rendering via Point Registration-Based Human Deformation. -- PSVM-MR: A Parallel Support Vector Machine Algorithm Based on MapReduce. -- Algorithm Application. -- A novel homogenization-based method for population initialization of improved chaotic artificial bee colonies and convergence analysis. -- A truthful resource allocation and task offloading mechanism of Internet of Vehicles edge computing based on joint optimization. -- The State Transition Self-Learning Framework Based on Generalized Intuitionistic Fuzzy Kripke Structure. -- Spiking Neural Network Based on Bidirectional Variational Anomaly Detection for Knowledge Tracing.This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3–5, 2025. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 83 submissions. They were organized in topical sections as follows: Algorithm Design; Logic; Artificial Intelligence Theory and Algorithm; and Algorithm Application.Communications in Computer and Information Science,1865-0937 ;2710Computer scienceDatabase managementComputer systemsComputer networksTheory of ComputationDatabase ManagementComputer System ImplementationComputer Communication NetworksTheory and Algorithms for Application DomainsComputer science.Database management.Computer systems.Computer networks.Theory of Computation.Database Management.Computer System Implementation.Computer Communication Networks.Theory and Algorithms for Application Domains.004.0151Li Minming1423621Zhang Jialin1784320Cai Zhiping1784321MiAaPQMiAaPQMiAaPQBOOK9911047691503321Theoretical Computer Science4472435UNINA