The Transformation of China's Soes

Abstract

AI in Math deals with mathematics in a constructive manner so that reasoning becomes automated, less laborious, and less error-prone. For algorithms, the question becomes how to automate analyses for specific problems. For the first time, this work provides an automatic method for approximation analysis on a well-studied problem in theoretical computer science: computing approximate Nash equilibria in two-player games. We observe that such algorithms can be reformulated into a search-and-mix paradigm, which involves a search phase followed by a mixing phase. By doing so, we are able to fully automate the procedure of designing and analyzing the mixing phase. For example, we illustrate how to perform our method with a program to analyze the approximation bounds of all the algorithms in the literature. Same approximation bounds are computed without any hand-written proof. Our automatic method heavily relies on the LP-relaxation structure in approximate Nash equilibria. Since many approximation algorithms and online algorithms adopt the LP relaxation, our approach may be extended to automate the analysis of other algorithms.

Legal Regulation of the Collection of Personal Health Information Under Public Health Emergencies

“…First of all, in a public health emergency, the collection of personal health information should have the basic premise of purpose justification: For the public authority, the source of its power is the legal right to dispose of it according to the provisions of Article 13 and Article 35 of the Personal Information Protection Law [9], so it only needs to conduct a formal examination, that is, to find out the true purpose and ensure that the behavior is done by the law; For private subjects, it is necessary to conduct a substantive examination to carefully screen the real purpose and ensure that their actions are based on the needs of the public interest.…”

Analysis on the Feasibility of Integrated Education for Autistic Children in China

“…The content of the curriculum should be consistent with that of the general class and then adjusted to the individual needs of autistic children. In terms of the content of the curriculum, the basic knowledge should be taken as compulsory, and the content of the enhancement part of the curriculum can be taken as elective according to the situation [7]. In the elective stage, autistic children can adopt the form of taking classes to learn the courses they are interested in.…”

A Theoretical Analysis of Carbon Emission Trading System in China and the Perfection of its Rules and Regulations

“…Other scholars interpret it as a kind of quasi-property. For example, Deng Haifeng [5] writes in his book, "Emission Rights-An Interpretation in the Context of Private Law," that emission rights is a kind of quasi-property right.…”