Showing 1–7 of 7 results for author: Heuberger, C

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

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

Opening the black box of energy modelling: Strategies and lessons learned

Authors: Stefan Pfenninger, Lion Hirth, Ingmar Schlecht, Eva Schmid, Frauke Wiese, Tom Brown, Chris Davis, Birgit Fais, Matthew Gidden, Heidi Heinrichs, Clara Heuberger, Simon Hilpert, Uwe Krien, Carsten Matke, Arjuna Nebel, Robbie Morrison, Berit Müller, Guido Pleßmann, Matthias Reeg, Jörn C. Richstein, Abhishek Shivakumar, Iain Staffell, Tim Tröndle, Clemens Wingenbach

Abstract: The global energy system is undergoing a major transition, and in energy planning and decision-making across governments, industry and academia, models play a crucial role. Because of their policy relevance and contested nature, the transparency and open availability of energy models and data are of particular importance. Here we provide a practical how-to guide based on the collective experience… ▽ More The global energy system is undergoing a major transition, and in energy planning and decision-making across governments, industry and academia, models play a crucial role. Because of their policy relevance and contested nature, the transparency and open availability of energy models and data are of particular importance. Here we provide a practical how-to guide based on the collective experience of members of the Open Energy Modelling Initiative (Openmod). We discuss key steps to consider when opening code and data, including determining intellectual property ownership, choosing a licence and appropriate modelling languages, distributing code and data, and providing support and building communities. After illustrating these decisions with examples and lessons learned from the community, we conclude that even though individual researchers' choices are important, institutional changes are still also necessary for more openness and transparency in energy research. △ Less

Submitted 16 January, 2018; v1 submitted 20 July, 2017; originally announced July 2017.

Comments: 9 pages, 1 figure

Journal ref: Energy Strategy Reviews, Volume 19, January 2018, Pages 63-71

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

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

The number of Huffman codes, compact trees, and sums of unit fractions

Authors: Christian Elsholtz, Clemens Heuberger, Helmut Prodinger

Abstract: The number of "nonequivalent" Huffman codes of length r over an alphabet of size t has been studied frequently. Equivalently, the number of "nonequivalent" complete t-ary trees has been examined. We first survey the literature, unifying several independent approaches to the problem. Then, improving on earlier work we prove a very precise asymptotic result on the counting function, consisting of tw… ▽ More The number of "nonequivalent" Huffman codes of length r over an alphabet of size t has been studied frequently. Equivalently, the number of "nonequivalent" complete t-ary trees has been examined. We first survey the literature, unifying several independent approaches to the problem. Then, improving on earlier work we prove a very precise asymptotic result on the counting function, consisting of two main terms and an error term. △ Less

Submitted 30 August, 2011; originally announced August 2011.

MSC Class: 05A16; 05A15; 05C05; 05C30; 11D68; 68P30; 68R10; 94A10

Journal ref: IEEE Trans. Inf. Theory 59 (2013), 1065-1075