English
Related papers

Related papers: Some combinatorial sequences associated with conte…

200 papers

In this article we associate a combinatorial differential graded algebra to a cubic planar graph G. This algebra is defined combinatorially by counting binary sequences, which we introduce, and several explicit computations are provided. In…

Combinatorics · Mathematics 2017-05-05 Roger Casals , Emmy Murphy

We provide an algorithm for deciding simple grammar bisimilarity whose complexity is polynomial in the valuation of the grammar (maximum seminorm among production rules). Since the valuation is at most exponential in the size of the…

Formal Languages and Automata Theory · Computer Science 2026-05-11 Diogo Poças , Gil Silva , Vasco T. Vasconcelos

We give combinatorial proofs of some enumeration formulas involving labelled threshold, quasi-threshold, loop-threshold and quasi-loop-threshold graphs. In each case we count by number of vertices and number of components. For threshold…

Combinatorics · Mathematics 2022-03-03 David Galvin , Greyson Wesley , Bailee Zacovic

Boolean grammars generalize context-free rewriting by extending the possibilities when dealing with different rules for the same nonterminal symbol. By allowing not only disjunction (as in the case of usual context-free grammars), but also…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Patrik Adrián , György Vaszil

The main goal of this work is to establish a bijection between Dyck words and a family of Eulerian digraphs. We do so by providing two algorithms implementing such bijection in both directions. The connection between Dyck words and Eulerian…

Discrete Mathematics · Computer Science 2014-07-10 Pietro Codara , Ottavio M. D'Antona , Marco Genuzio

We present a general algorithm for generating arbitrary standard complementary pairs of sequences (including binary, polyphase, M-PSK and QAM) of length 2^N using Boolean functions. The algorithm follows our earlier paraunitary algorithm,…

Information Theory · Computer Science 2013-11-20 Srdjan Budišin , Predrag Spasojević

Context-dependent fusion grammars were recently introduced as devices for the generation of hypergraph languages. In this paper, we show that this new type of hypergraph grammars, where the application of fusion rules is restricted by…

Formal Languages and Automata Theory · Computer Science 2019-12-23 Aaron Lye

Two finite words $u$ and $v$ are $k$-binomially equivalent if, for each word $x$ of length at most $k$, $x$ appears the same number of times as a subsequence (i.e., as a scattered subword) of both $u$ and $v$. This notion generalizes…

Formal Languages and Automata Theory · Computer Science 2020-02-03 Marie Lejeune , Michel Rigo , Matthieu Rosenfeld

In this paper, we mainly show that Euler sums of generalized hyperharmonic numbers can be expressed in terms of linear combinations of the classical Euler sums.

Number Theory · Mathematics 2021-03-22 Rusen Li

In this paper some combinatorial and homological tools are used to describe and give an explicit formula for the number of exceptional pairs (exceptional sequences of length two) for some classes of Nakayama Algebras and for the Auslander…

Combinatorics · Mathematics 2025-10-27 Pedro Fernando Fernández Espinosa , David Reynoso-Mercado

In this paper we consider mixed volumes of combinations of hypersimplices. These numbers, called "mixed Eulerian numbers", were first considered by A. Postnikov and were shown to satisfy many properties related to Eulerian numbers, Catalan…

Combinatorics · Mathematics 2015-10-20 Gaku Liu

To illustrate that the notion of convergence of submodular function sequences fits reasonably into the limit theory of graphs, we describe several classes of matroids and other submodular setfunctions for which convergence of appropriate…

Combinatorics · Mathematics 2025-07-22 Kristóf Bérczi , Márton Borbényi , László Lovász , László Márton Tóth

In this paper, we first present combinatorial proofs of a kind of expansions of the Eulerian polynomials of types A and B, and then we introduce Stirling permutations of the second kind. In particular, we count Stirling permutations of the…

Combinatorics · Mathematics 2016-07-07 Shi-Mei Ma , Yeong-Nan Yeh

The study of minimal complements in a group or a semigroup was initiated by Nathanson. The notion of minimal complements and being a minimal complement leads to the notion of co-minimal pairs which was considered in a prior work of the…

Number Theory · Mathematics 2021-08-10 Arindam Biswas , Jyoti Prakash Saha

Synchronous Context-Free Grammars (SCFGs), also known as syntax-directed translation schemata, are unlike context-free grammars in that they do not have a binary normal form. In general, parsing with SCFGs takes space and time polynomial in…

Formal Languages and Automata Theory · Computer Science 2013-11-27 Pierluigi Crescenzi , Daniel Gildea , Andrea Marino , Gianluca Rossi , Giorgio Satta

We introduce and investigate generalizations of interval and proper interval graphs to simplicial complexes, including strong interval, unit interval, and under closed variants. Through equivalent combinatorial and algebraic…

Combinatorics · Mathematics 2025-10-21 Fahimeh Khosh-Ahang Ghasr

Context-free language theory is a well-established area of mathematics, relevant to computer science foundations and technology. This paper presents the preliminary results of an ongoing formalization project using context-free grammars and…

Formal Languages and Automata Theory · Computer Science 2015-06-11 Marcus V. M. Ramos , Ruy J. G. B. de Queiroz

In this paper we present many congruences for several Ap\'ery-like sequences.

Number Theory · Mathematics 2020-06-09 Zhi-Hong Sun

It is proved that the numerical semigroups associated to the combinatorial configurations satisfy a family of non-linear symmetric patterns. Also, these numerical semigroups are studied for two particular classes of combinatorial…

Group Theory · Mathematics 2012-12-18 Klara Stokes , Maria Bras-Amorós

We present several sequences of Euler sums involving odd harmonic numbers. The calculational technique is based on proper two-valued integer functions, which allow to compute these sequences explicitly in terms of zeta values only.

Number Theory · Mathematics 2021-03-11 J. Braun , D. Romberger , H. J. Bentz