Showing 1–9 of 9 results for author: Krenn, D

Strongly k-recursive sequences

Authors: Daniel Krenn, Jeffrey Shallit

Abstract: Drawing inspiration from a recent paper of Heuberger, Krenn, and Lipnik, we define the class of strongly k-recursive sequences. We show that every k-automatic sequence is strongly $k$-recursive, therefore k-recursive, and discuss that the converse is not true. We also show that the class of strongly k-recursive sequences is a proper subclass of the class of k-regular sequences, and we present so… ▽ More Drawing inspiration from a recent paper of Heuberger, Krenn, and Lipnik, we define the class of strongly k-recursive sequences. We show that every k-automatic sequence is strongly $k$-recursive, therefore k-recursive, and discuss that the converse is not true. We also show that the class of strongly k-recursive sequences is a proper subclass of the class of k-regular sequences, and we present some explicit examples. We then extend the proof techniques to answer the same question for the class of k-recursive sequences. △ Less

Submitted 25 January, 2024; originally announced January 2024.

A Note on the Relation between Recognisable Series and Regular Sequences, and their Minimal Linear Representations

Authors: Clemens Heuberger, Daniel Krenn, Gabriel F. Lipnik

Abstract: In this note, we precisely elaborate the connection between recognisable series (in the sense of Berstel and Reutenauer) and $q$-regular sequences (in the sense of Allouche and Shallit) via their linear representations. In particular, we show that the minimisation algorithm for recognisable series can also be used to minimise linear representations of $q$-regular sequences. In this note, we precisely elaborate the connection between recognisable series (in the sense of Berstel and Reutenauer) and $q$-regular sequences (in the sense of Allouche and Shallit) via their linear representations. In particular, we show that the minimisation algorithm for recognisable series can also be used to minimise linear representations of $q$-regular sequences. △ Less

Submitted 3 January, 2024; v1 submitted 31 January, 2022; originally announced January 2022.

MSC Class: 11A63; 68Q45; 68R05; 68R15

Journal ref: J. Symbolic Comput. 123 (2024), Paper No. 102295, 9 pp

Decidability and k-Regular Sequences

Authors: Daniel Krenn, Jeffrey Shallit

Abstract: In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from - lower and upper bounds on growth rate; in particular boundedness, - images, - regularity (recognizability by a deterministic finite automaton) of preimages, and - factors, such as squares and palindromes of such sequences. We show that the decision problems are undecidable… ▽ More In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from - lower and upper bounds on growth rate; in particular boundedness, - images, - regularity (recognizability by a deterministic finite automaton) of preimages, and - factors, such as squares and palindromes of such sequences. We show that the decision problems are undecidable. △ Less

Submitted 1 February, 2022; v1 submitted 19 May, 2020; originally announced May 2020.

Algorithmic counting of nonequivalent compact Huffman codes

Authors: Christian Elsholtz, Clemens Heuberger, Daniel Krenn

Abstract: It is known that the following five counting problems lead to the same integer sequence~$f_t(n)$: the number of nonequivalent compact Huffman codes of length~$n$ over an alphabet of $t$ letters, the number of `nonequivalent' canonical rooted $t$-ary trees (level-greedy trees) with $n$~leaves, the number of `proper' words, the number of bounded degree sequences, and the number of ways of writing… ▽ More It is known that the following five counting problems lead to the same integer sequence~$f_t(n)$: the number of nonequivalent compact Huffman codes of length~$n$ over an alphabet of $t$ letters, the number of `nonequivalent' canonical rooted $t$-ary trees (level-greedy trees) with $n$~leaves, the number of `proper' words, the number of bounded degree sequences, and the number of ways of writing $1= \frac{1}{t^{x_1}}+ \dots + \frac{1}{t^{x_n}}$ with integers $0 \leq x_1 \leq x_2 \leq \dots \leq x_n$. In this work, we show that one can compute this sequence for \textbf{all} $n<N$ with essentially one power series division. In total we need at most $N^{1+\varepsilon}$ additions and multiplications of integers of $cN$ bits, $c<1$, or $N^{2+\varepsilon}$ bit operations, respectively. This improves an earlier bound by Even and Lempel who needed $O(N^3)$ operations in the integer ring or $O(N^4)$ bit operations, respectively. △ Less

Submitted 9 January, 2023; v1 submitted 31 January, 2019; originally announced January 2019.

MSC Class: 05A15; 05C05; 05C30; 11D68; 68P30

Journal ref: Appl. Algebra Engrg. Comm. Comput. (2024) 35:887--903

An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture

Authors: Elisabeth Gaar, Daniel Krenn, Susan Margulies, Angelika Wiegele

Abstract: Vizing's conjecture (open since 1968) relates the sizes of dominating sets in two graphs to the size of a dominating set in their Cartesian product graph. In this paper, we formulate Vizing's conjecture itself as a Positivstellensatz existence question. In particular, we encode the conjecture as an ideal/polynomial pair such that the polynomial is nonnegative if and only if the conjecture is true.… ▽ More Vizing's conjecture (open since 1968) relates the sizes of dominating sets in two graphs to the size of a dominating set in their Cartesian product graph. In this paper, we formulate Vizing's conjecture itself as a Positivstellensatz existence question. In particular, we encode the conjecture as an ideal/polynomial pair such that the polynomial is nonnegative if and only if the conjecture is true. We demonstrate how to use semidefinite optimization techniques to computationally obtain numeric sum-of-squares certificates, and then show how to transform these numeric certificates into symbolic certificates approving nonnegativity of our polynomial. After outlining the theoretical structure of this computer-based proof of Vizing's conjecture, we present computational and theoretical results. In particular, we present exact low-degree sparse sum-of-squares certificates for particular families of graphs. △ Less

Submitted 6 May, 2019; v1 submitted 29 January, 2019; originally announced January 2019.

MSC Class: 90C27; 05C99; 13P10; 68W30; 90C22

Journal ref: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC '19), July 15--18, 2019, Beijing, China

Dual-Pivot Quicksort: Optimality, Analysis and Zeros of Associated Lattice Paths

Authors: Martin Aumüller, Martin Dietzfelbinger, Clemens Heuberger, Daniel Krenn, Helmut Prodinger

Abstract: We present an average case analysis of a variant of dual-pivot quicksort. We show that the used algorithmic partitioning strategy is optimal, i.e., it minimizes the expected number of key comparisons. For the analysis, we calculate the expected number of comparisons exactly as well as asymptotically, in particular, we provide exact expressions for the linear, logarithmic, and constant terms. An… ▽ More We present an average case analysis of a variant of dual-pivot quicksort. We show that the used algorithmic partitioning strategy is optimal, i.e., it minimizes the expected number of key comparisons. For the analysis, we calculate the expected number of comparisons exactly as well as asymptotically, in particular, we provide exact expressions for the linear, logarithmic, and constant terms. An essential step is the analysis of zeros of lattice paths in a certain probability model. Along the way a combinatorial identity is proven. △ Less

Submitted 27 November, 2017; v1 submitted 1 November, 2016; originally announced November 2016.

Comments: This article supersedes arXiv:1602.04031

MSC Class: 05A16; 68R05; 68P10; 68Q25; 68W40

Journal ref: Combin. Probab. Comput. 28 (2019), no. 4, 485-518

An Extended Note on the Comparison-optimal Dual Pivot Quickselect

Authors: Daniel Krenn

Abstract: In this note the precise minimum number of key comparisons any dual-pivot quickselect algorithm (without sampling) needs on average is determined. The result is in the form of exact as well as asymptotic formulæ of this number of a comparison-optimal algorithm. It turns out that the main terms of these asymptotic expansions coincide with the main terms of the corresponding analysis of the classica… ▽ More In this note the precise minimum number of key comparisons any dual-pivot quickselect algorithm (without sampling) needs on average is determined. The result is in the form of exact as well as asymptotic formulæ of this number of a comparison-optimal algorithm. It turns out that the main terms of these asymptotic expansions coincide with the main terms of the corresponding analysis of the classical quickselect, but still---as this was shown for Yaroslavskiy quickselect---more comparisons are needed in the dual-pivot variant. The results are obtained by solving a second order differential equation for the generating function obtained from a recursive approach. △ Less

Submitted 16 October, 2016; v1 submitted 18 July, 2016; originally announced July 2016.

MSC Class: 05A16; 68R05; 68P10; 68Q25; 68W40

Counting Zeros in Random Walks on the Integers and Analysis of Optimal Dual-Pivot Quicksort

Authors: Martin Aumüller, Martin Dietzfelbinger, Clemens Heuberger, Daniel Krenn, Helmut Prodinger

Abstract: We present an average case analysis of two variants of dual-pivot quicksort, one with a non-algorithmic comparison-optimal partitioning strategy, the other with a closely related algorithmic strategy. For both we calculate the expected number of comparisons exactly as well as asymptotically, in particular, we provide exact expressions for the linear, logarithmic, and constant terms. An essential s… ▽ More We present an average case analysis of two variants of dual-pivot quicksort, one with a non-algorithmic comparison-optimal partitioning strategy, the other with a closely related algorithmic strategy. For both we calculate the expected number of comparisons exactly as well as asymptotically, in particular, we provide exact expressions for the linear, logarithmic, and constant terms. An essential step is the analysis of zeros of lattice paths in a certain probability model. Along the way a combinatorial identity is proven. △ Less

Submitted 11 May, 2016; v1 submitted 12 February, 2016; originally announced February 2016.

Comments: extended abstract

MSC Class: 05A16; 68R05; 68P10; 68Q25; 68W40

Automata in SageMath---Combinatorics meet Theoretical Computer Science

Authors: Clemens Heuberger, Daniel Krenn, Sara Kropf

Abstract: The new finite state machine package in the mathematics software system SageMath is presented and illustrated by many examples. Several combinatorial problems, in particular digit problems, are introduced, modeled by automata and transducers and solved using SageMath. In particular, we compute the asymptotic Hamming weight of a non-adjacent-form-like digit expansion, which was not known before. The new finite state machine package in the mathematics software system SageMath is presented and illustrated by many examples. Several combinatorial problems, in particular digit problems, are introduced, modeled by automata and transducers and solved using SageMath. In particular, we compute the asymptotic Hamming weight of a non-adjacent-form-like digit expansion, which was not known before. △ Less

Submitted 5 May, 2016; v1 submitted 29 April, 2014; originally announced April 2014.

MSC Class: 11A63; 05A16; 68R05

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Analysis of Algorithms (May 10, 2016) dmtcs:1352