A. Pasotti

activity

20242026

collaborators

4 papers

math.CO2026

A conjecture on the Crazy Knight's Tour Problem

Lorenzo Mella, Anita Pasotti

Let $A$ be an $m \times n$ toroidal array containing filled and empty cells. Fix an orientation $R = (r_{1}, \dots, r_{m})$ of each row and an orientation $C = (c_{1}, \dots, c_{n})$ of each column…

math.LO2025

Definability of some $k$ -ary Relations Over Second Order kinds of Logics

Simone Costa, Marco Dalai, Stefano Della Fiore +1

We consider the exprissibility in monadic second order logic of certain relations of importance in computer science. For integers $n \geq 1$ and $k \leq b$ , a $k$ -tuple of sequences…

math.CO2025

On relative simple Heffter spaces

Laura Johnson, Lorenzo Mella, Anita Pasotti

In this paper, we introduce the concept of a relative Heffter space which simultaneously generalizes those of relative Heffter arrays and Heffter spaces. Given a subgroup $J$ of an…

math.CO2024

Shiftable Heffter spaces

Marco Buratti, Anita Pasotti

The shiftable Heffter arrays are naturally generalized to the shiftable Heffter spaces. We present a recursive construction which starting from a single shiftable Heffter space lea…

A conjecture on the Crazy Knight's Tour Problem

Definability of some k-ary Relations Over Second Order kinds of Logics

On relative simple Heffter spaces

Shiftable Heffter spaces

Definability of some $k$ -ary Relations Over Second Order kinds of Logics