Skip to main content
Log in

Infinite games on finite graphs using grossone

Soft Computing Aims and scope Submit manuscript

Cite this article


In his seminal work, Robert McNaughton [see McNaughton (Ann Pure Appl Log 65:149–184, 1993) and Khoussainov and Nerode (Automata theory and its applications. Birkhauser, Basel, 2001)] developed a model of infinite games played on finite graphs. This paper presents a new model of infinite games played on finite graphs using the grossone paradigm. The new grossone paradigm provides certain advantages such as allowing for draws, which are common in board games, and a more accurate and decisive method for determining the winner.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4


  1. In Sergeyev (2003), Sergeyev formally presents the divisibility axiom as saying for any finite natural number n sets \({\mathbb {N}}_{k,n}, \; 1\le k\le n\), being the nth parts of the set \({\mathbb {N}}\), have the same number of elements indicated by the numeral \(\frac{{\displaystyle {{\textcircled {1}}}}}{n}\) where

    $$\begin{aligned} {\mathbb {N}}_{k,n}=\{k,k+n,k+2n,k+3n,\ldots \}, \; 1\le k \le n,\; \bigcup ^n_{k=1}{\mathbb {N}}_{k,n}={\mathbb {N}} \end{aligned}$$

    and illustrates this with examples of the odd and even natural numbers.

  2. Here it is also important to note that the grossone methodology is not related to nonstandard analysis [see Sergeyev (2019)].

  3. Here we use the notion of complete taken from Sergeyev (2003), that is the sequence contains \({\displaystyle {{\textcircled {1}}}}\) elements.

  4. Here we take the convention, as found in Halmos (1974), that the \(\subset \) symbol is reflexive.


  • Caldarola F (2018) The exact measures of the Sierpiński d-dimensional tetrahedron in connection with a Diophantine nonlinear system. Commun Nonlinear Sci Numer Simul 63:228–238

    Article  MathSciNet  Google Scholar 

  • D’Alotto L (2015) A classification of one-dimensional cellular automata using infinite computations. Appl Math Comput 255:15–24

    MathSciNet  MATH  Google Scholar 

  • De Leone R (2018) Nonlinear programming and grossone: quadratic programming and the role of constraint qualifications. Appl Math Comput 318:290–297

    MATH  Google Scholar 

  • De Leone R, Fasano G, Sergeyev YD (2018) Planar methods and grossone for the conjugate gradient breakdown in nonlinear programming. Comput Optim Appl 71(1):73–93

    Article  MathSciNet  Google Scholar 

  • Falcone A, Garro A, Mukhametzhanov, Sergeyev YD (2019) Representation of grossone-based arithmetic in simulink for scientific computing (submitted)

  • Fiaschi L, Cococcioni M (2018) Numerical asymptotic results in game theory using sergeyev’s infinity computing. Int J Unconvent Comput 14(1):1–25

    Google Scholar 

  • Halmos PR (1974) Naive set theory. Springer, Berlin

    Book  Google Scholar 

  • Iavernaro F, Mazzia F, Mukhametzhanov MS, Sergeyev YD (2020) Conjugate-symplecticity properties of Euler–Maclaurin methods and their implementation on the infinity Computer. Appl Numer Math 155:58–72

    Article  MathSciNet  Google Scholar 

  • Iudin DI, Sergeyev YD, Hayakawa M (2015) Infinity computations in cellular automaton forest-fire model. Commun Nonlinear Sci Numer Simul 20(3):861–870

    Article  Google Scholar 

  • Khoussainov B, Nerode A (2001) Automata theory and its applications. Birkhauser, Basel

    Book  Google Scholar 

  • Lolli G (2015) Metamathematical investigations on the theory of Grossone. Appl Math Comput 255:3–14

    MathSciNet  MATH  Google Scholar 

  • Margenstern M (2011) Using Grossone to count the number of elements of infinite sets and the connection with bijections, p-Adic Numbers. Ultrametr Anal Appl 3(3):196–204

    Article  Google Scholar 

  • McNaughton R (1993) Infinite games played on finite graphs. Ann Pure Appl Log 65:149–184

    Article  MathSciNet  Google Scholar 

  • Montagna F, Simi G, Sorbi A (2015) Taking the Pirahã seriously. Commun Nonlinear Sci Numer Simul 21(1–3):52–69

    Article  MathSciNet  Google Scholar 

  • Perrin D (1985) An introduction to finite automata on infinite words. In: Goos G, Hartmanis J (eds) Automata on infinite words, Lecture notes in computer science no. 192, Springer, Berlin, pp 2–17

  • Rizza D (2018) How to make an infinite decision. Bull Symbol Log 24(2):227

    MathSciNet  Google Scholar 

  • Rizza D (2019) Numerical methods for infinite decision-making processes. Int J Unconvent Comput 14(2):139–158

    Google Scholar 

  • Sergeyev YD (2003) Arithmetic of infinity. Edizioni Orizzonti Meridionali, Rome

    MATH  Google Scholar 

  • Sergeyev YD (2008) A new applied approach for executing computations with infinite and infinitesimal quantities. Informatica 19(4):567–596

    Article  MathSciNet  Google Scholar 

  • Sergeyev YD (2015a) The Olympic medals ranks, lexicographic ordering and numerical infinities. Math Intell 37(2):4–8

    Article  MathSciNet  Google Scholar 

  • Sergeyev YD (2015b) Computations with grossone-based infinities. In: Calude CS, Dinneen MJ (eds) Proceedings of the 14th international conference “unconventional computation and natural computation”. Lecture notes in computer science, vol 9252, Springer, Berlin, pp 89–106

  • Sergeyev YD (2017) Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems. EMS Surv Math Sci 4(2):219–320

    Article  MathSciNet  Google Scholar 

  • Sergeyev YD (2019) Independence of the grossone-based infinity methodology from non-standard analysis and comments upon logical fallacies in some texts asserting the opposite. Found Sci 24(1):153–170

    Article  Google Scholar 

  • Sergeyev YD, Garro A (2010) Observability of turing machines: a refinement of the theory of computation. Informatica 21(3):425–454

    Article  MathSciNet  Google Scholar 

  • Zhigljavsky A (2012) Computing sums of conditionally convergent and divergent series using the concept of grossone. Appl Math Comput 218:8064–8076

    MathSciNet  MATH  Google Scholar 

Download references


This research was supported by the following Grant: PSC-CUNY Research Award: TRADA-47-445

Author information

Authors and Affiliations


Corresponding author

Correspondence to Louis D’Alotto.

Ethics declarations

Conflict of interest

The author declares that he has no conflict of interest.

Human and animal rights

This article does not contain any studies with human participants nor animals performed by the author.

Additional information

Communicated by Yaroslav D. Sergeyev.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and Permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

D’Alotto, L. Infinite games on finite graphs using grossone. Soft Comput 24, 17509–17515 (2020).

Download citation

  • Published:

  • Issue Date:

  • DOI: