English
Related papers

Related papers: Constructing Skolem sequences via generating trees

200 papers

A variety of network modeling problems begin by generating a degree sequence drawn from a given probability distribution. If the randomly generated sequence is not graphic, we give a new approach for generating a graphic approximation of…

Discrete Mathematics · Computer Science 2017-12-19 Brian Cloteaux

The Tribonacci sequence $\mathbb{T}$ is the fixed point of the substitution $\sigma(a,b,c)=(ab,ac,a)$. In this note, we get the explicit expressions of all squares, and then establish the tree structure of the positions of repeated squares…

Dynamical Systems · Mathematics 2016-05-17 Yuke Huang , Zhiying Wen

We present a natural language generator based on the sequence-to-sequence approach that can be trained to produce natural language strings as well as deep syntax dependency trees from input dialogue acts, and we use it to directly compare…

Computation and Language · Computer Science 2017-09-18 Ondřej Dušek , Filip Jurčíček

We define some new sequences of recursively constructed random combinatorial trees, and show that, after properly rescaling graph distance and equipping the trees with the uniform measure on vertices, each sequence converges almost surely…

Probability · Mathematics 2016-11-07 Nathan Ross , Yuting Wen

A spanning tree of a graph $G$ is a connected acyclic spanning subgraph of $G$. We consider enumeration of spanning trees when $G$ is a $2$-tree, meaning that $G$ is obtained from one edge by iteratively adding a vertex whose neighborhood…

Discrete Mathematics · Computer Science 2016-07-21 P. Renjith , N. Sadagopan , Douglas B. West

We study the problem of learning a node-labeled tree given independent traces from an appropriately defined deletion channel. This problem, tree trace reconstruction, generalizes string trace reconstruction, which corresponds to the tree…

Computational Complexity · Computer Science 2020-09-22 Sami Davies , Miklos Z. Racz , Cyrus Rashtchian

A widely studied model for generating sequences is to ``evolve'' them on a tree according to a symmetric Markov process. We prove that model trees tend to be maximally ``far apart'' in terms of variational distance.

Probability · Mathematics 2016-08-16 M. A. Steel , L. A. Székely

A linear chord diagram of size $n$ is a partition of the set $\{1,2,\cdots,2n\}$ into sets of size two, called chords. From a table showing the number of linear chord diagrams of degree $n$ such that every chord has length at least $k$, we…

Combinatorics · Mathematics 2016-11-10 Everett Sullivan

Given an integer linear recurrence sequence $\langle X_n \rangle_n$, the Skolem Problem asks to determine whether there is a natural number $n$ such that $X_n = 0$. Recent work by Lipton, Luca, Nieuwveld, Ouaknine, Purser, and Worrell…

Number Theory · Mathematics 2022-07-12 George Kenison

In this paper, we develop a structure theory for generalized spectral sequences, which are derived from chain complexes that are filtered over arbitrary partially ordered sets. Also, a more general construction method reminiscent of exact…

Algebraic Topology · Mathematics 2022-03-21 Benjamin Matschke

The $n$th term of an automatic sequence is the output of a deterministic finite automaton fed with the representation of $n$ in a suitable numeration system. In this paper, instead of considering automatic sequences built on a numeration…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Michel Rigo , Manon Stipulanti

Tasks that model the relation between pairs of tokens in a string are a vital part of understanding natural language. Such tasks, in general, require exhaustive pair-wise comparisons of tokens, thus having a quadratic runtime complexity in…

Computation and Language · Computer Science 2023-12-13 Tianyu Liu , Afra Amini , Mrinmaya Sachan , Ryan Cotterell

We show that in a parametric family of linear recurrence sequences $a_1(\alpha) f_1(\alpha)^n + \ldots + a_k(\alpha) f_k(\alpha)^n$ with the coefficients $a_i$ and characteristic roots $f_i$, $i=1, \ldots,k$, given by rational functions…

Number Theory · Mathematics 2021-07-13 Alina Ostafe , Igor Shparlinski

Time series classification is a field which has drawn much attention over the past decade. A new approach for classification of time series uses classification trees based on shapelets. A shapelet is a subsequence extracted from one of the…

Machine Learning · Computer Science 2012-09-25 Daniel Gordon , Danny Hendler , Lior Rokach

Let $c_n$ denote the number of nodes at a distance $n$ from the root of a rooted tree. A criterion for proving the rationality and computing the rational generating function of the sequence $\{c_n\}$ is described. This criterion is applied…

Combinatorics · Mathematics 2014-07-22 Amritanshu Prasad

Net-trees are a general purpose data structure for metric data that have been used to solve a wide range of algorithmic problems. We give a simple randomized algorithm to construct net-trees on doubling metrics using $O(n\log n)$ time in…

Computational Geometry · Computer Science 2018-09-06 Mahmoodreza Jahanseir , Donald R. Sheehy

We define a growing model of random graphs. Given a sequence of nonnegative integers $\{d_n\}_{n=0}^\infty$ with the property that $d_i\leq i$, we construct a random graph on countably infinitely many vertices $v_0,v_1\ldots$ by the…

Combinatorics · Mathematics 2017-04-04 Csaba Biró , Udayan B. Darji

Skolem and Langford sequences and their many generalizations have applications in numerous areas. The $\otimes_h$-product is a generalization of the direct product of digraphs. In this paper we use the $\otimes_h$-product and super…

Combinatorics · Mathematics 2015-11-20 Susana-Clara López , Francesc-Antoni Muntaner-Batle

Pseudorandom number generators are required to generate pseudorandom numbers which have good statistical properties as well as unpredictability in cryptography. An m-sequence is a linear feedback shift register sequence with maximal period…

Information Theory · Computer Science 2018-12-26 Kazuyoshi Tsuchiya , Chiaki Ogawa , Yasuyuki Nogami , Satoshi Uehara

We present a novel approach to the automatic synthesis of recursive programs from mixed-quantifier first-order logic properties. Our approach uses Skolemization to reduce the mixed-quantifier synthesis problem to a $\forall^*$-synthesis…

Logic in Computer Science · Computer Science 2026-01-08 Derek Egolf , Stavros Tripakis