Theoretical Computer Science

1. Front Matter

   Pages i-xxii

   PDF

2. Algorithms and Complexity

   1. Front Matter

      Pages 1-1

      PDF

   2. Cooperation on the Monte Carlo Rule: Prisoner’s Dilemma Game on the Grid

      • Jiadong Wu, Chengye Zhao

      Pages 3-15

   3. Special Frequency Quadrilaterals and an Application

      • Yong Wang

      Pages 16-26

3. Data Science and Machine Learning Theory

   1. Front Matter

      Pages 27-27

      PDF

   2. Sampling to Maintain Approximate Probability Distribution Under Chi-Square Test

      • Jiaoyun Yang, Junda Wang, Wenjuan Cheng, Lian Li

      Pages 29-45

   3. Adjusting the Inheritance of Topic for Dynamic Document Clustering

      • Ruizhang Huang, Yingxue Zhu, Yanping Chen, Yue Yang, Weijia Xu, Jian Yang et al.

      Pages 46-63

   4. An Improved Proof of the Closure Under Homomorphic Inverse of FCFL Valued in Lattice-Ordered Monoids

      • Haihui Wang, Luyao Zhao, Ping Li

      Pages 64-75

   5. Socially-Attentive Representation Learning for Cold-Start Fraud Review Detection

      • Qiaobo Da, Jieren Cheng, Qian Li, Wentao Zhao

      Pages 76-91

4. Computational Model

   1. Front Matter

      Pages 93-93

      PDF

   2. Semi-online Machine Covering on Two Hierarchical Machines with Known Total Size of Low-Hierarchy Jobs

      • Man Xiao, Gangxiong Wu, Weidong Li

      Pages 95-108

   3. A Combined Weighted Concept Lattice for Multi-source Semantic Interoperability of ECG-Ontologies Based on Inclusion Degree and Information Entropy

      • Kai Wang

      Pages 109-130

   4. Minimizing the Spread of Rumor Within Budget Constraint in Online Network

      • Songsong Mo, Shan Tian, Liwei Wang, Zhiyong Peng

      Pages 131-149

   5. Quantum Reversible Fuzzy Grammars

      • Jianhua Jin, Chunquan Li

      Pages 150-167

   6. A Signcryption Scheme Based Learning with Errors over Rings Without Trapdoor

      • Zhen Liu, Yi-Liang Han, Xiao-Yuan Yang

      Pages 168-180

5. Back Matter

   Pages 181-181

   PDF

This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2019, held in Lanzhou, China, in August 2019. 

The 11 full papers presented were carefully reviewed and selected from 28 submissions. They present relevant trends of current research in the area of algorithms and complexity, data science and machine learning theory, and computational model.

• artificial intelligence
• authentication
• Automata
• bilinear pairing
• ciphertexts
• computational linguistics
• concept lattices
• data mining
• data security
• databases
• document clustering
• electronic document identification systems
• formal logic
• probability distribution
• public key cryptography
• Semi-online
• set theory
• signcryption
• social networks
• algorithm analysis and problem complexity

• Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China

  Xiaoming Sun

• Huazhong University of Science and Technology, Wuhan, China

  Kun He

• Lanzhou University, Lanzhou, China

  Xiaoyun Chen

Policies and ethics