This book constitutes the refereed proceedings of the 42nd National Conference on Theoretical Computer Science, NCTCS 2024, held in Qingdao, China, during July 1921, 2024.

The 13 full papers included in this book were carefully reviewed and selected from 75 submissions. They were organized in topical sections as follows: Algorithm Design, Approximation Algorithms, Logics, and Artificial Intelligence Theory and Algorithm, Algorithm Application.

Inhalt

.- Algorithm Design.

.- EFX Graph Division with (Weakly) Lexicographic Preferences.

.- Online bottleneck matching on a ring.

.- learn to design greedy algorithm for NP-complete problems using neural networks.

.- Approximation Algorithm.

.- Approximation Algorithms on Linear Equalities and Inequalities mod.

.- Online clustering on the line with -th power cost variable sized clustering.

.- 1-line minimum -Steiner tree problem.

.- Logic.

.- Generalized Possibilistic CTL* Model Check with Fuzzy Temporal Logic Operators.

.- Medical procedures based on bayesian network and possibilistic model checking.

.- Artificial Intelligence Theory and Algorithm.

.- A Triple-Branch Frequency-Aware Network for Image Manipulation Detection.

.- Advances in Neural Radiance Fields for Large-Scale 3D Scene Reconstruction: A Comprehensive Review.

.- Chinese Medical Spoken Language Understanding Based on Prototypical Modification Network and Contrastive Learning.

.- Algorithm Application.

.- Hierarchical Feature Selection Method based on Sequential Backward Selection Algorithm for Fasting Blood Glucose Prediction.

.- Personalized Recommendation Algorithm Based on Knowledge Graphs with High-order Information.