多状态解析函数的验证、枚举和生成

IF 2.9 3区数学 Q1 MATHEMATICS, APPLIED

Physica D: Nonlinear Phenomena Pub Date : 2025-08-14 DOI:10.1016/j.physd.2025.134879

Xue Jia, Haitao Li

{"title":"多状态解析函数的验证、枚举和生成","authors":"Xue Jia, Haitao Li","doi":"10.1016/j.physd.2025.134879","DOIUrl":null,"url":null,"abstract":"<div><div>This paper explores the characteristics of canalizing functions with multiple states by using the semi-tensor product of matrices. A criterion is derived from the matrix expression to verify whether a logical function is canalizing. Then, a method is presented to calculate the number of multistate canalizing functions (MSCFs). Finally, two algorithms are provided for generating MSCFs and semi-nested MSCFs.</div></div>","PeriodicalId":20050,"journal":{"name":"Physica D: Nonlinear Phenomena","volume":"482 ","pages":"Article 134879"},"PeriodicalIF":2.9000,"publicationDate":"2025-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Verification, enumeration and generation of multistate canalizing functions\",\"authors\":\"Xue Jia, Haitao Li\",\"doi\":\"10.1016/j.physd.2025.134879\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>This paper explores the characteristics of canalizing functions with multiple states by using the semi-tensor product of matrices. A criterion is derived from the matrix expression to verify whether a logical function is canalizing. Then, a method is presented to calculate the number of multistate canalizing functions (MSCFs). Finally, two algorithms are provided for generating MSCFs and semi-nested MSCFs.</div></div>\",\"PeriodicalId\":20050,\"journal\":{\"name\":\"Physica D: Nonlinear Phenomena\",\"volume\":\"482 \",\"pages\":\"Article 134879\"},\"PeriodicalIF\":2.9000,\"publicationDate\":\"2025-08-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Physica D: Nonlinear Phenomena\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0167278925003562\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Physica D: Nonlinear Phenomena","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0167278925003562","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}

引用次数: 0

摘要

本文探讨了利用矩阵的半张量积分析多态函数的特点。从矩阵表达式中导出一个标准来验证逻辑函数是否在解析。然后，提出了一种计算多状态渠化函数个数的方法。最后，给出了生成mscf和半嵌套mscf的两种算法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Verification, enumeration and generation of multistate canalizing functions

This paper explores the characteristics of canalizing functions with multiple states by using the semi-tensor product of matrices. A criterion is derived from the matrix expression to verify whether a logical function is canalizing. Then, a method is presented to calculate the number of multistate canalizing functions (MSCFs). Finally, two algorithms are provided for generating MSCFs and semi-nested MSCFs.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Physica D: Nonlinear Phenomena 物理-物理：数学物理

CiteScore

7.30

自引率

7.50%

发文量

213

审稿时长

65 days

期刊介绍： Physica D (Nonlinear Phenomena) publishes research and review articles reporting on experimental and theoretical works, techniques and ideas that advance the understanding of nonlinear phenomena. Topics encompass wave motion in physical, chemical and biological systems; physical or biological phenomena governed by nonlinear field equations, including hydrodynamics and turbulence; pattern formation and cooperative phenomena; instability, bifurcations, chaos, and space-time disorder; integrable/Hamiltonian systems; asymptotic analysis and, more generally, mathematical methods for nonlinear systems.