{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:26:58Z","timestamp":1777645618167,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["FI"],"published-print":{"date-parts":[[2022,8,30]]},"abstract":"<jats:p>Let T(G; X, Y) be the Tutte polynomial for graphs. We study the sequence ta,b(n) = T(Kn; a, b) where a, b are integers, and show that for every \u03bc \u2208 \u2115 the sequence ta,b(n) is ultimately periodic modulo \u03bc provided a \u2260 1 mod \u03bc and b \u2260 1 mod \u03bc. This result is related to a conjecture by A. Mani and R. Stones from 2016. The theorem is a consequence of a more general theorem which holds for a wide class of graph polynomials definable in Monadic Second Order Logic. This gives also similar results for the various substitution instances of the bivariate matching polynomial and the trivariate edge elimination polynomial \u03be(G; X, Y, Z) introduced by I. Averbouch, B. Godlin and the second author in 2008. All our results depend on the Specker-Blatter Theorem from 1981, which studies modular recurrence relations of combinatorial sequences which count the number of labeled graphs.<\/jats:p>","DOI":"10.3233\/fi-222124","type":"journal-article","created":{"date-parts":[[2022,8,30]],"date-time":"2022-08-30T11:40:51Z","timestamp":1661859651000},"page":"155-173","source":"Crossref","is-referenced-by-count":0,"title":["On the Tutte and Matching Polynomials for Complete Graphs"],"prefix":"10.1177","volume":"186","author":[{"given":"Tomer","family":"Kotek","sequence":"first","affiliation":[{"name":"Berlin, Germany. tomer.kotek@gmail.com"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johann A.","family":"Makowsky","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Israel Institute of Technology, Haifa, Israel. janos@cs.technion.ac.il"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","container-title":["Fundamenta Informaticae"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/FI-222124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:32:45Z","timestamp":1777444365000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/FI-222124"}},"subtitle":[],"editor":[{"given":"Arnon","family":"Avron","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Nachum","family":"Dershowitz","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Alexander","family":"Rabinovich","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2022,8,30]]},"references-count":0,"journal-issue":{"issue":"1-4"},"URL":"https:\/\/doi.org\/10.3233\/fi-222124","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,8,30]]}}}