Showing 1–4 of 4 results for author: Franklín, A F

Pattern Avoiding Permutations Enumerated by Inversions

Authors: Atli Fannar Franklín

Abstract: Permutations are usually enumerated by size, but new results can be found by enumerating them by inversions instead, in which case one must restrict one's attention to indecomposable permutations. In the style of the seminal paper by Simion and Schmidt, we investigate all combinations of permutation patterns of length at most 3. Permutations are usually enumerated by size, but new results can be found by enumerating them by inversions instead, in which case one must restrict one's attention to indecomposable permutations. In the style of the seminal paper by Simion and Schmidt, we investigate all combinations of permutation patterns of length at most 3. △ Less

Submitted 23 May, 2025; v1 submitted 9 October, 2024; originally announced October 2024.

Comments: Update: Address review comments after submission to DMTCS Update: Copy version for DMTCS

MSC Class: 05A05

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (May 26, 2025) dmtcs:14437

Permutations with few inversions

Authors: Anders Claesson, Atli Fannar Franklín, Einar Steingrímsson

Abstract: A curious generating function $S_0(x)$ for permutations of $[n]$ with exactly $n$ inversions is presented. Moreover, $(xC(x))^iS_0(x)$ is shown to be the generating function for permutations of $[n]$ with exactly $n-i$ inversions, where $C(x)$ is the generating function for the Catalan numbers. A curious generating function $S_0(x)$ for permutations of $[n]$ with exactly $n$ inversions is presented. Moreover, $(xC(x))^iS_0(x)$ is shown to be the generating function for permutations of $[n]$ with exactly $n-i$ inversions, where $C(x)$ is the generating function for the Catalan numbers. △ Less

Submitted 16 May, 2023; originally announced May 2023.

The difficulty of beating the Taxman

Authors: Atli Fannar Franklín, Robert K. Moniot

Abstract: The Taxman game has proven to be hard to solve optimally, so efforts have been made to find heuristic strategies that do well in practice. We present results on the NP-hardness of a variant of the game via an equivalence to a particular kind of graph matching problem. Furthermore this equivalence is used to derive a winning strategy for all $n$ along with efficiently computable lower and upper bou… ▽ More The Taxman game has proven to be hard to solve optimally, so efforts have been made to find heuristic strategies that do well in practice. We present results on the NP-hardness of a variant of the game via an equivalence to a particular kind of graph matching problem. Furthermore this equivalence is used to derive a winning strategy for all $n$ along with efficiently computable lower and upper bounds on the optimal achievable score. △ Less

Submitted 1 November, 2022; originally announced November 2022.

MSC Class: 91A46 ACM Class: F.2.2; G.2.1; G.2.2

Counting tournament score sequences

Authors: Anders Claesson, Mark Dukes, Atli Fannar Franklín, Sigurður Örn Stefánsson

Abstract: The score sequence of a tournament is the sequence of the out-degrees of its vertices arranged in nondecreasing order. The problem of counting score sequences of a tournament with $n$ vertices is more than 100 years old (MacMahon 1920). In 2013 Hanna conjectured a surprising and elegant recursion for these numbers. We settle this conjecture in the affirmative by showing that it is a corollary to o… ▽ More The score sequence of a tournament is the sequence of the out-degrees of its vertices arranged in nondecreasing order. The problem of counting score sequences of a tournament with $n$ vertices is more than 100 years old (MacMahon 1920). In 2013 Hanna conjectured a surprising and elegant recursion for these numbers. We settle this conjecture in the affirmative by showing that it is a corollary to our main theorem, which is a factorization of the generating function for score sequences with a distinguished index. We also derive a closed formula and a quadratic time algorithm for counting score sequences. △ Less

Submitted 14 January, 2023; v1 submitted 8 September, 2022; originally announced September 2022.