Enumeration of cryptarithms using deterministic finite automata

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A cryptarithm is a mathematical puzzle where given an arithmetic equation written with letters rather than numerals, a player must discover an assignment of numerals on letters that makes the equation hold true. In this paper, we propose a method to construct a DFA that accepts cryptarithms that admit (unique) solutions for each base. We implemented the method and constructed a DFA for bases k≤ 7. Those DFAs can be used as complete catalogues of cryptarithms, whose applications include enumeration of and counting the exact numbers Gk(n) of cryptarithm instances with n digits that admit base-k solutions. Moreover, explicit formulas for G2(n) and G3(n) are given.

Original languageEnglish
Title of host publicationImplementation and Application of Automata - 23rd International Conference, CIAA 2018, Proceedings
EditorsCezar Campeanu
PublisherSpringer Verlag
Pages286-298
Number of pages13
ISBN (Print)9783319948119
DOIs
Publication statusPublished - 2018 Jan 1
Event23rd International Conference on Implementation and Application of Automata, CIAA 2018 - Charlottetown, Canada
Duration: 2018 Jul 302018 Aug 2

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10977 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other23rd International Conference on Implementation and Application of Automata, CIAA 2018
CountryCanada
CityCharlottetown
Period18/7/3018/8/2

Keywords

  • Alphametics
  • Automaton
  • Cryptartihms
  • DFA
  • Enumeration

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Enumeration of cryptarithms using deterministic finite automata'. Together they form a unique fingerprint.

  • Cite this

    Nozaki, Y., Hendrian, D., Yoshinaka, R., & Shinohara, A. (2018). Enumeration of cryptarithms using deterministic finite automata. In C. Campeanu (Ed.), Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Proceedings (pp. 286-298). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10977 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-94812-6_24