Zhiping Cai Yijia Chen Jialin Zhang (Eds.) Communications in Computer and Information Science 1693 Theoretical Computer Science 40th National Conference, NCTCS 2022 Changchun, China, July 29–31, 2022 Revised Selected Papers Communications in Computer and Information Science 1693 EditorialBoardMembers JoaquimFilipe PolytechnicInstituteofSetúbal,Setúbal,Portugal AshishGhosh IndianStatisticalInstitute,Kolkata,India RaquelOliveiraPrates FederalUniversityofMinasGerais(UFMG),BeloHorizonte,Brazil LizhuZhou TsinghuaUniversity,Beijing,China Moreinformationaboutthisseriesathttps://link.springer.com/bookseries/7899 · · Zhiping Cai Yijia Chen Jialin Zhang (Eds.) Theoretical Computer Science 40th National Conference, NCTCS 2022 Changchun, China, July 29–31, 2022 Revised Selected Papers Editors ZhipingCai YijiaChen NationalUniversityofDefenseTechnology ShanghaiJiaoTongUniversity Changsha,China Shanghai,China JialinZhang ChineseAcademyofSciences Beijing,China ISSN 1865-0929 ISSN 1865-0937 (electronic) CommunicationsinComputerandInformationScience ISBN 978-981-19-8151-7 ISBN 978-981-19-8152-4 (eBook) https://doi.org/10.1007/978-981-19-8152-4 ©TheEditor(s)(ifapplicable)andTheAuthor(s),underexclusivelicense toSpringerNatureSingaporePteLtd.2022 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthors,andtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSingaporePteLtd. Theregisteredcompanyaddressis:152BeachRoad,#21-01/04GatewayEast,Singapore189721,Singapore Preface TheNationalConferenceofTheoreticalComputerScience(NCTCS)hasbecomeone ofthemostimportantacademicplatformsfortheoreticalcomputerscienceinChina.So far,NCTCShasbeensuccessfullyheldinmorethan20regionsofChina,providinga placeforexchangeandcooperationforresearchersintheoreticalcomputerscienceand relatedfields. NCTCS2022washostedbytheChinaComputerFederation(CCF)andorganized bytheTheoreticalComputerScienceCommitteeoftheChinaComputerSocietyalong withtheSchoolofInformationScienceandTechnologyofNortheastNormalUniversity. ItwasheldfromJuly29toJuly31,2022inChangchun,Jilin.Thisconferenceinvited famousscholarsinthefieldoftheoreticalcomputersciencetogivepresentations,and carriedoutawiderangeofacademicactivitiesandshowedthelatestresearchresults. Intotal,221peopleregisteredforNCTCS2022,and353authorssubmitted108papers betweenthem(43paperswerefinallyaccepted).Weinvited97reviewersfromcolleges and universities for peer review (single blind), where the average number of papers assignedtoeachreviewerwasthreeandaveragenumberofreviewsperpaperwasalso three.AllpapersweremanagedthroughtheOnlineSubmissionSystem(CCFConsys), andmoredetailscanbefoundonthewebsite:https://conf.ccf.org.cn/TCS2022. Thisvolumecontains19oftheacceptedpapersforNCTCS2022,includedunderfour topicalheadings:ComputationalTheoryandModel(fourpapers),ApproximationAlgo- rithms(threepapers),ArtificialIntelligence(sevenpapers),andSystemandResource Scheduling (five papers). These papers cover the spectrum of theoretical computer scienceandwereselectedforthequalityofpresentationandtechnicalcontent. TheproceedingseditorswishtothankthededicatedProgramCommitteemembers andexternal reviewers fortheirhard workinreviewing andselecting papers.Wealso thankSpringerfortheirtrustandforpublishingtheproceedingsofNCTCS2022. September2022 Zhiping Cai YijiaChen Jialin Zhang Organization GeneralChairs XiaomingSun ChineseAcademyofSciences,China HaiyangXu NortheastNormalUniversity,China ProgramCommitteeChairs ZhipingCai NationalUniversityofDefenseTechnology, China YijiaChen ShanghaiJiaoTongUniversity,China JialinZhang ChineseAcademyofSciences,China SteeringCommittee XiaomingSun ChineseAcademyofSciences,China JianpingYin DongguanUniversityofTechnology,China LianLi HefeiUniversityofTechnology,China EnZhu NationalUniversityofDefenseTechnology, China KunHe HuazhongUniversityofScienceandTechnology, China AreaChairs KerongBen NavalUniversityofEngineering,China KunHe HuazhongUniversityofScienceandTechnology, China EnZhu NationalUniversityofDefenseTechnology, China YitongYin NanjingUniversity,China MingyuXiao UniversityofElectronicScienceandTechnology, China LvzhouLi SunYat-senUniversity,China viii Organization ProgramCommittee JigangWu GuangdongUniversityofTechnology,China LeiLuo NationalUniversityofDefenseTechnology, China ZhaomingHuang GuangxiMedicalUniversity,China ZhiyiHuang UniversityofHongKong,China XinHan DalianUniversityofTechnology,China ZhigangChen CentralSouthUniversity,China JuanChen NationalUniversityofDefenseTechnology, China JunLong JideTechnologyCompany,China ChengZhong GuangxiUniversity,China ZhanyouMa NorthMinzuUniversity,China HuanlaiXing SouthwestJiaotongUniversity,China KerongBen NavalUniversityofEngineering,China YichengXu ShenzhenInstituteofAdvancedTechnology, CAS,China MengtingYuan WuhanUniversity,China JinyunXue JiangxiNormalUniversity,China ZhipingCai NationalUniversityofDefenseTechnology, China NaijieGu UniversityofScienceandTechnologyofChina, China MeihuaXiao EastChinaJiaotongUniversity,China BiaoshuaiTao ShanghaiJiaoTongUniversity,China JiaohuaQin CentralSouthUniversityofForestryand Technology,China EnZhu NationalUniversityofDefenseTechnology, China FengShi CentralSouthUniversity,China GuojingTian InstituteofComputingTechnology,CAS,China ChangjingWang JiangxiNormalUniversity,China GangWang NankaiUniversity,China HaiyuPan GuilinUniversityofElectronicTechnology,China HongZheng EastChinaUniversityofScienceandTechnology, China DantongOuyang JilinUniversity,China ShenggenZheng PengchengLaboratory,China YuYang PingdingshanUniversity,China MingZhao CentralSouthUniversity,China YanYang SouthwestJiaotongUniversity,China YunchengJiang SouthChinaNormalUniversity,China Organization ix QianLi ShenzhenInstituteofComputingSciences,China DongjingMiao HarbinInstituteofTechnology,China YongzhiCao PekingUniversity,China ZhengweiQi ShanghaiJiaoTongUniversity,China QiFuHunan UniversityofScienceandTechnology,China PengZhang ShandongUniversity,China ChihaoZhang ShanghaiJiaoTongUniversity,China YongZhang ShenzhenInstituteofAdvancedTechnology, CAS,China YongGan ZhengzhouUniversityofLightIndustry,China ZhaoZhang ZhejiangNormalUniversity,China JialinZhang InstituteofComputingTechnology,CAS,China HaoLiao ShenzhenUniversity,China ZhengkangZuo JiangxiNormalUniversity,China YitongYin NanjingUniversity,China PenghuiYao NanjingUniversity,China FengQin JiangxiNormalUniversity,China ZhihaoTang ShanghaiUniversityofFinanceandEconomics, China MengjiXia InstituteofSoftware,ChineseAcademyof Sciences,China ChangTang ChinaUniversityofGeosciences,China NanWu NanjingUniversity,China ShuaiLu JilinUniversity,China LiweiWang WuhanUniversity,China WenjunLi ChangshaUniversityofScienceandTechnology, China ZhanshanLi JilinUniversity,China ZhendongLiu ShandongJianzhuUniversity,China JinWang ChangshaUniversityofScienceandTechnology, China XiaofengWang NorthMinzuUniversity,China QiangLiu NationalUniversityofDefenseTechnology, China ZhenYou JiangxiNormalUniversity,China AiguoWang FoshanUniversity,China JiaoyunYang HefeiUniversityofTechnology,China QilongFeng CentralSouthUniversity,China KunHe HuazhongUniversityofScienceandTechnology, China KunHe InstituteofComputingTechnology,CAS,China HengfuYang HunanFirstNormalUniversity,China Min-mingLi CityUniversityofHongKong,China x Organization YongmingLi ShaanxiNormalUniversity,China TongyangLi PekingUniversity,China JianLi TsinghuaUniversity,China KuanLi DongguanUniversityofTechnology,China BoLi TheHongKongPolytechnicUniversity,China DamingZhu ShandongUniversity,China LimingZhang JilinUniversity,China YuhaoZhang ShanghaiJiaoTongUniversity,China LeiZhuang ZhengzhouUniversity,China ZhengjunXi ShaanxiNormalUniversity,China ShaofengJiang PekingUniversity,China XiaoyanKui CentralSouthUniversity,China XiaoyongTang ChangshaUniversityofScienceandTechnology, China QingyangZhou NationalUniversityofDefenseTechnology, China YiZhou UniversityofElectronicScienceandTechnology ofChina,China RiguiZhou ShanghaiMaritimeUniversity,China JinzhaoWu GuangxiMinzuUniversity,China YuxinYe JilinUniversity,China PanyuLiu NationalUniversityofDefenseTechnology, China YulingLiu HunanUniversity,China XinwangLiu NationalUniversityofDefenseTechnology, China PeiqiangLiu ShandongTechnologyandBusinessUniversity, China ShengxinLiu HarbinInstituteofTechnology,Shenzhen,China HuawenLiu ZhejiangNormalUniversity,China ZhenyanJi BeijingJiaotongUniversity,China CaiDai ShaanxiNormalUniversity,China HaiWan SunYat-senUniversity,China ChauVincent SoutheastUniversity,China