{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T04:08:34Z","timestamp":1773115714272,"version":"3.50.1"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T00:00:00Z","timestamp":1771459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T00:00:00Z","timestamp":1771459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-24-CE48-7504 \u201cALARICE\u201d"],"award-info":[{"award-number":["ANR-24-CE48-7504 \u201cALARICE\u201d"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["HORIZON-MSCA-2022-SE-01 project 101131549 \u201dACANCOS\u201d"],"award-info":[{"award-number":["HORIZON-MSCA-2022-SE-01 project 101131549 \u201dACANCOS\u201d"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1007\/s11047-026-10065-w","type":"journal-article","created":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T11:03:00Z","timestamp":1771498980000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Dividing sum of cycles in the semiring of functional digraphs"],"prefix":"10.1007","volume":"25","author":[{"given":"Florian","family":"Bridoux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Crespelle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thi Ha Duong","family":"Phan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrien","family":"Richard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,2,19]]},"reference":[{"issue":"3","key":"10065_CR1","doi-asserted-by":"publisher","first-page":"276","DOI":"10.2307\/2325075","volume":"99","author":"D Bowman","year":"1992","unstructured":"Bowman D, Erdos P, Odlyzko AM (1992) 6640. Am Math Mon 99(3):276\u2013277","journal-title":"Am Math Mon"},{"key":"10065_CR2","doi-asserted-by":"crossref","unstructured":"Bridoux F, Crespelle C, Phan THD, Richard A (2024) Dividing permutations in the semiring of functional digraphs. In: international workshop on cellular automata and discrete complex systems, pp 95\u2013107. Springer","DOI":"10.1007\/978-3-031-65887-7_6"},{"key":"10065_CR3","volume-title":"Dragoslav S Mitrinovic, and J\u00f3zsef S\u00e1ndor","author":"B Crstici","year":"2006","unstructured":"Crstici B (2006) Dragoslav S Mitrinovic, and J\u00f3zsef S\u00e1ndor. Springer, Handbook of Number Theory I"},{"key":"10065_CR4","doi-asserted-by":"crossref","unstructured":"Culloch WSM, Pitts WS (1943) A logical calculus of the ideas immanent in nervous activity. Bull Math Bio Phys 5:113\u2013115","DOI":"10.1007\/BF02478259"},{"key":"10065_CR5","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.dam.2024.05.030","volume":"357","author":"O Defrain","year":"2024","unstructured":"Defrain O, Porreca AE (2024) Timofeeva e polynomial-delay generation of functional digraphs up to isomorphism. Discrete Appl Math 357:24\u201333","journal-title":"Discrete Appl Math"},{"key":"10065_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H De Jong","year":"2002","unstructured":"De Jong H (2002) Modeling and simulation of genetic regulatory systems: a literature review. J Comput Biol 9:67\u2013103","journal-title":"J Comput Biol"},{"key":"10065_CR7","unstructured":"Dennunzio A, Dorigatti V, Formenti E, Manzoni L, Porreca AE (2018) Polynomial equations over finite, discrete-time dynamical systems. In: Cellular automata: 13th international conference on cellular automata for research and industry, ACRI 2018, Como, Italy, September 17\u201321, 2018, Proceedings 13, pp 298\u2013306. Springer,"},{"key":"10065_CR8","unstructured":"Dennunzio A, Dorigatti V, Formenti E, Manzoni L, Porreca AE (2018) Polynomial equations over finite, discrete-time dynamical systems. In: Cellular automata: 13th international conference on cellular automata for research and industry, ACRI 2018, Como, Italy, September 17\u201321, 2018, Proceedings 13, pp 298\u2013306. Springer,"},{"key":"10065_CR9","doi-asserted-by":"crossref","unstructured":"Dennunzio A, Formenti E, Margara L, Montmirail V, Riva S (2019) Solving equations on discrete dynamical systems. In International meeting on computational intelligence methods for bioinformatics and biostatistics, pp 119\u2013132. Springer,","DOI":"10.1007\/978-3-030-63061-4_12"},{"key":"10065_CR10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocs.2022.101932","volume":"66","author":"A Dennunzio","year":"2023","unstructured":"Dennunzio A, Formenti E, Margara L, Riva S (2023) An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena. J Comput Sci 66:101932","journal-title":"J Comput Sci"},{"key":"10065_CR11","doi-asserted-by":"crossref","unstructured":"Dennunzio A, Formenti E, Margara L, Riva S (2024) A note on solving basic equations over the semiring of functional digraphs. arXiv preprint arXiv:2402.16923,","DOI":"10.46298\/dmtcs.14590"},{"issue":"4","key":"10065_CR12","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1216\/RMJ-1987-17-4-797","volume":"17","author":"FW Dodd","year":"1987","unstructured":"Dodd FW, Mattics LE (1987) Estimating the number of multiplicative partitions. Rocky Mt J Math 17(4):797\u2013813","journal-title":"Rocky Mt J Math"},{"key":"10065_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2024.114514","volume":"999","author":"F Dor\u00e9","year":"2024","unstructured":"Dor\u00e9 F, Formenti E, Porreca AE, Riva S (2024) Decomposition and factorisation of transients in functional graphs. Theor Comput Sci 999:114514","journal-title":"Theor Comput Sci"},{"key":"10065_CR14","doi-asserted-by":"crossref","unstructured":"Dor\u00e9 F, Perrot K, Porreca AE, Riva A, Rolland M (2024) Roots in the semiring of finite deterministic dynamical systems. In international workshop on cellular automata and discrete complex systems, pp 120\u2013132. Springer,","DOI":"10.1007\/978-3-031-65887-7_8"},{"key":"10065_CR15","unstructured":"Dorigatti V (2017) Algorithms and complexity of the algebraic analysis of finite discrete dynamical systems. Master\u2019s thesis, Universit\u00e1 degli Studi di Milano Bicocca"},{"issue":"1\u20134","key":"10065_CR16","first-page":"263","volume":"75","author":"A Ehrenfeucht","year":"2007","unstructured":"Ehrenfeucht A, Rozenberg G (2007) Reaction systems. Fundam Inf 75(1\u20134):263\u2013280","journal-title":"Fundam Inf"},{"issue":"3","key":"10065_CR17","doi-asserted-by":"publisher","first-page":"437","DOI":"10.2307\/1968802","volume":"43","author":"P Erd\u00f6s","year":"1942","unstructured":"Erd\u00f6s P (1942) On an elementary proof of some asymptotic formulas in the theory of partitions. Ann Math 43(3):437\u2013450","journal-title":"Ann Math"},{"key":"10065_CR18","doi-asserted-by":"crossref","unstructured":"Flajolet P, Odlyzko AM (1989) Random mapping statistics. In Workshop on the Theory and Application of of Cryptographic Techniques, pages 329\u2013354. Springer,","DOI":"10.1007\/3-540-46885-4_34"},{"issue":"1","key":"10065_CR19","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s11047-019-09732-y","volume":"19","author":"M Gadouleau","year":"2020","unstructured":"Gadouleau M (2020) On the influence of the interaction graph on a finite dynamical system. Nat Comput 19(1):15\u201328","journal-title":"Nat Comput"},{"key":"10065_CR20","unstructured":"Gaze-Maillot C, Porreca AE (2020) Profiles of dynamical systems and their algebra. arXiv preprint arXiv:2008.00843,"},{"key":"10065_CR21","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0304-3975(85)90057-X","volume":"41","author":"E Goles","year":"1985","unstructured":"Goles E (1985) Dynamics of positive automata networks. Theoret Comput Sci 41:19\u201332","journal-title":"Theoret Comput Sci"},{"key":"10065_CR22","doi-asserted-by":"crossref","unstructured":"Goles E, Mart\u00ednez S (1990) Neural and automata networks: dynamical behavior and applications. Kluwer Academic Publishers","DOI":"10.1007\/978-94-009-0529-0"},{"key":"10065_CR23","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0165-4896(83)90023-9","volume":"4","author":"E Goles","year":"1982","unstructured":"Goles E, Tchuente M (1982) Iterative behaviour of generalized majority functions. Math Soc Sci 4:197\u2013204","journal-title":"Math Soc Sci"},{"issue":"1","key":"10065_CR24","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1112\/plms\/s2-17.1.75","volume":"2","author":"GH Hardy","year":"1918","unstructured":"Hardy GH, Ramanujan S (1918) Asymptotic formula\u00e6 in combinatory analysis. Proc Lond Math Soc 2(1):75\u2013115","journal-title":"Proc Lond Math Soc"},{"key":"10065_CR25","doi-asserted-by":"crossref","unstructured":"Hopcroft JE, Wong J (1974) Linear time algorithm for isomorphism of planar graphs (preliminary report). In: Proceedings of the sixth annual ACM symposium on Theory of computing, pp 172\u2013184,","DOI":"10.1145\/800119.803896"},{"key":"10065_CR26","doi-asserted-by":"publisher","first-page":"2554","DOI":"10.1073\/pnas.79.8.2554","volume":"79","author":"J Hopfield","year":"1982","unstructured":"Hopfield J (1982) Neural networks and physical systems with emergent collective computational abilities. Proc Natl Acad Sci U S A 79:2554\u20132558","journal-title":"Proc Natl Acad Sci U S A"},{"key":"10065_CR27","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"SA Kauffman","year":"1969","unstructured":"Kauffman SA (1969) Metabolic stability and epigenesis in randomly connected nets. J Theor Biol 22:437\u2013467","journal-title":"J Theor Biol"},{"key":"10065_CR28","volume-title":"The Art of Computer Programming, Volume 4, Fascicle 3: Generating All Combinations and Partitions","author":"DE Knuth","year":"2005","unstructured":"Knuth DE (2005) The Art of Computer Programming, Volume 4, Fascicle 3: Generating All Combinations and Partitions. Addison-Wesley Professional"},{"key":"10065_CR29","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2024.114509","volume":"998","author":"\u00c9 Naquin","year":"2024","unstructured":"Naquin \u00c9, Gadouleau M (2024) Factorisation in the semiring of finite dynamical systems. Theor Comput Sci 998:114509","journal-title":"Theor Comput Sci"},{"key":"10065_CR30","volume-title":"Elementary methods in number theory, volume 195","author":"MB Nathanson","year":"2000","unstructured":"Nathanson MB (2000) Elementary methods in number theory, volume 195. Springer Science & Business Media"},{"key":"10065_CR31","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF02579347","volume":"3","author":"S Poljak","year":"1982","unstructured":"Poljak S, Sura M (1982) On periodical behaviour in societies with symmetric influences. Combinatorica 3:119\u2013121","journal-title":"Combinatorica"},{"key":"10065_CR32","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.jtbi.2018.11.028","volume":"463","author":"A Richard","year":"2019","unstructured":"Richard A (2019) Positive and negative cycles in boolean networks. J Theor Biol 463:67\u201376","journal-title":"J Theor Biol"},{"key":"10065_CR33","unstructured":"Riva S (2022) Factorisation of discrete dynamical systems. PhD thesis, Universit\u00e9 C\u00f4te d\u2019Azur; Universit\u00e0 degli studi di Milano-Bicocca,"},{"issue":"1","key":"10065_CR34","first-page":"64","volume":"6","author":"JB Rosser","year":"1962","unstructured":"Rosser JB, Schoenfeld L (1962) Approximate formulas for some functions of prime numbers. Ill J Math 6(1):64\u201394","journal-title":"Ill J Math"},{"issue":"2","key":"10065_CR35","doi-asserted-by":"publisher","first-page":"187","DOI":"10.4064\/fm-70-2-187-203","volume":"70","author":"R Seifert","year":"1971","unstructured":"Seifert R (1971) On prime binary relational structures. Fundam Math 70(2):187\u2013203","journal-title":"Fundam Math"},{"issue":"3","key":"10065_CR36","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas R (1973) Boolean formalization of genetic control circuits. J Theor Biol 42(3):563\u2013585","journal-title":"J Theor Biol"},{"key":"10065_CR37","volume-title":"Biological Feedback","author":"R Thomas","year":"1990","unstructured":"Thomas R, d\u2019Ari R (1990) Biological Feedback. CRC Press"},{"issue":"1","key":"10065_CR38","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1063\/1.1349893","volume":"11","author":"R Thomas","year":"2001","unstructured":"Thomas R, Kaufman M (2001) Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos 11(1):180\u2013195","journal-title":"Chaos"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-026-10065-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11047-026-10065-w","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-026-10065-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T11:03:12Z","timestamp":1771498992000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11047-026-10065-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,19]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["10065"],"URL":"https:\/\/doi.org\/10.1007\/s11047-026-10065-w","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2,19]]},"assertion":[{"value":"9 April 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 January 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"11"}}