Friendly paths for finite subsets of plane integer lattice. I

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Alkauskas, Giedrius
Format: Preprint
Published: 2023
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866929233246289920
author Alkauskas, Giedrius
author_facet Alkauskas, Giedrius
contents For a given finite subset P of points of the lattice Z^2, a friendly path is a monotone (uphill or downhill) lattice path which splits points in half; points lying on the path itself are discarded. The purpose of this paper (and its sequel) is to fully describe all configurations of n points in Z^2 which do not admit a friendly path. We say that such an n-set is inseparable. There are, up to the lattice symmetry, exactly c(n) such sets. If only lattice shifts are counted, there are ĉ(n) of them. Both sequences are new entries into OEIS (A369382 and, respectively, A367783). In particular, n=27 is the first odd numbers with c(n)=1. No example was known so far. This solves problem 11484(b)* posed in American Mathematical Monthly (February 2010). In this paper we also show that inseparable n-set exist for all even numbers n>=12 and almost all odd numbers.
format Preprint
id arxiv_https___arxiv_org_abs_2302_01137
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Friendly paths for finite subsets of plane integer lattice. I
Alkauskas, Giedrius
Combinatorics
05B30, 05A15, 51E30
For a given finite subset P of points of the lattice Z^2, a friendly path is a monotone (uphill or downhill) lattice path which splits points in half; points lying on the path itself are discarded. The purpose of this paper (and its sequel) is to fully describe all configurations of n points in Z^2 which do not admit a friendly path. We say that such an n-set is inseparable. There are, up to the lattice symmetry, exactly c(n) such sets. If only lattice shifts are counted, there are ĉ(n) of them. Both sequences are new entries into OEIS (A369382 and, respectively, A367783). In particular, n=27 is the first odd numbers with c(n)=1. No example was known so far. This solves problem 11484(b)* posed in American Mathematical Monthly (February 2010). In this paper we also show that inseparable n-set exist for all even numbers n>=12 and almost all odd numbers.
title Friendly paths for finite subsets of plane integer lattice. I
topic Combinatorics
05B30, 05A15, 51E30
url https://arxiv.org/abs/2302.01137