Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
0 answers
23 views

Graph classes which have small edge k-cuts

I am interested in graph classes that have the following property: There exists a function $f(k)$ such that for every graph $G$ in the class, for every choice of $k$ vertices $v_1, \ldots, v_k$ in the ...
Vilhelm Agdur's user avatar
1 vote
0 answers
57 views

Step back step forward algorithm for A108442

Let $a(n)$ be A108442. Here generating function is $\frac{1}{1-zA(z)}$ where $$ A(z) = 1 + z(A(z))^2 + z(A(z))^3. $$ Also $$ a(n) = \sum\limits_{k=1}^{n}\frac{k}{2n-k}\sum\limits_{i=0}^{n-k} \binom{2n-...
Notamathematician's user avatar
2 votes
0 answers
182 views

Algorithm for $\frac{1}{1-x} = \sum\limits_{n=0}^{\infty}a(n)x^n\prod\limits_{k=1}^{n}\frac{1-kx}{1+kx}$

Let $a(n)$ be A208832. Here $$ \frac{1}{1-x} = \sum\limits_{n=0}^{\infty}a(n)x^n\prod\limits_{k=1}^{n}\frac{1-kx}{1+kx}. $$ Start with vector $\nu$ of fixed length $m$ with elements $\nu_i = 1$ (that ...
Notamathematician's user avatar
1 vote
0 answers
161 views

Efficient algorithm for A217061

Let $a(n)$ be A217061. Here $$ a(n) = \sum\limits_{m=1}^{n}\frac{1}{(m-1)!}\sum\limits_{k=0}^{n-m}(n+k-1)!\sum\limits_{j=0}^{k}\frac{1}{(k-j)!}\sum\limits_{\ell=0}^{j}\frac{2^{\ell-j}(-1)^{\ell+j}s(n-...
Notamathematician's user avatar
0 votes
0 answers
64 views

Algorithm and equivalent recursion for A258173 (related to Dyck paths)

Let $a(n)$ be A258173 i.e. sum over all Dyck paths of semilength $n$ of products over all peaks $p$ of $y_p$, where $y_p$ is the $y$-coordinate of peak $p$. A Dyck path of semilength $n$ is a $(x,y)$-...
Notamathematician's user avatar
0 votes
0 answers
60 views

Algorithm for $q$-Bell numbers

Let $T(n,k)$ be A126347 (i.e., triangle, read by rows, with row polynomials $B(n, q)$). Here $$ B(n, q) = \sum\limits_{k=0}^{n-1}\binom{n-1}{k}B(k, q)q^k, \\ B(0, q) = 1. $$ Start with vector $\nu$ of ...
Notamathematician's user avatar
1 vote
1 answer
177 views

Algorithm for A127782

Let $a(n)$ be A127782 (i.e., an integer sequence with generating function $A(x)$ such that $A(x)=1+xA(x+x^2)$). Here $$ a(n) = \sum\limits_{k=0}^{\left\lfloor\frac{n-1}{2}\right\rfloor} \binom{n-k-1}{...
Notamathematician's user avatar
12 votes
0 answers
530 views

Finding the diameter of an unknown tree: Is BFS optimal?

I'm interested on the following nice problem that is somewhat standard in CS, but I was surprised on the lack of references on the optimal algorithm to this problem. Ana and Banana plays the ...
Curious's user avatar
  • 63
2 votes
0 answers
61 views

Algorithm for main diagonal of integer coefficients associated with Schroeder numbers

Let $T_q(n, k)$ be an integer table such that $$T_q(n, k) = \begin{cases} 1 & \textrm{if } n = 0 \vee k = 0 \\ qT_q(n-1, n-1) + T_q(n, n-1) & \textrm{if } n = k > 0 \\ T_q(n, k-1) + T_q(n-1,...
Notamathematician's user avatar
3 votes
1 answer
178 views

Algorithm for the sum with binomial coefficients and Bell numbers

Let $a(n)$ be A000110 (i.e., Bell or exponential numbers: number of ways to partition a set of $n$ labeled elements). Let $b(n)$ be A355247 (i.e., expansion of exponential generating function $\exp(2(\...
Notamathematician's user avatar
4 votes
1 answer
112 views

On a number of compositions of $n$ into positive triangular numbers

Let $a(n)$ be A023361 (i.e., number of compositions of $n$ into positive triangular numbers). Here $$ a(n) = \sum\limits_{i \geqslant 1, \frac{i(i+1)}{2}\leqslant n} a(n-\frac{i(i+1)}{2}), \\ a(0) = 1....
Notamathematician's user avatar
1 vote
0 answers
121 views

Simple algorithm for A107670

Let $T(n, k)$ be A107670 (i.e., matrix square of triangle A107667). Here we define the triangular matrix $P$ by $P(n, k) = \frac{(n+1)^{2(n-k)}}{(n-k)!}$ for $0 \leqslant k \leqslant n$ and the ...
Notamathematician's user avatar
8 votes
0 answers
260 views

Efficient listing of ASMs

Famously, the alternating sign matrix theorem gives a product formula for the number $a(n)$ of ASMs of size $n$. There are multiple proofs of this formula, all somewhat involved. My question is ...
Igor Pak's user avatar
  • 17k
4 votes
1 answer
130 views

Intersecting algorithm for A065601

Let $a(n)$ be A065601 (i.e., number of Dyck paths of length $2n$ with exactly $1$ hill). Here $$ a(n) = \frac{1}{2(n+1)}((3n-2)a(n-1) + 2(9n-19)a(n-2) + 4(2n-3)a(n-3)), \\ a(0) = a(2) = 0, a(1) = 1. $$...
Notamathematician's user avatar
3 votes
0 answers
165 views

Elegant algorithm for A140717

Let $T(n, k)$ be A140717 (i.e., triangle read by rows: $T(n,k)$ is the number of Dyck paths $d$ of semilength $n$ such that sum of peakheights of $d$ - number of peaks of $d$ equals $k$ ($n \geqslant ...
Notamathematician's user avatar
2 votes
0 answers
64 views

On a $\sum\limits_{n=0}^{\infty}c_n x^n=\sum\limits_{n=0}^{\infty}a(n)x^n\prod\limits_{k=1}^{n+1}(1-f(k)x^k)$ (slightly different question)

Please note that this question differs from one of the previous questions of mine. Let $f(n)$ be an arbitrary function with integer values. Let $c_n$ be an arbitrary integer sequence. Let $a(n)$ be ...
Notamathematician's user avatar
9 votes
0 answers
258 views

On a continued fraction and vector $\nu$ of length $n$

Please note that this question has been completely reworked in order not to overload it with unnecessary and useless information. Let $f(n)$ be an arbitrary function with integer values. Let $a(n)$ ...
Notamathematician's user avatar
1 vote
0 answers
41 views

Unexpected non-uniformity of results from some implementations of Jacobson-Matthews seem to show a strange sensitivity to isotopy class

Questions Why do some Jacobson-Matthews (J-M) implementations for generating random latin squares exhibit frequencies inconsistent with an underlying uniform distribution? Further investigation ...
John Palmer's user avatar
5 votes
2 answers
189 views

Bisymmetric Hadamard matrices

Definitions: An $n\times n$ Hadamard matrix is a matrix whose entries are either $1$ or $−1$ and whose rows are mutually orthogonal. A symmetric matrix is a square matrix that is equal to its own ...
user369335's user avatar
2 votes
0 answers
100 views

Another (unique) algorithm for the A329369

Let $a(n)$ be A329369 (i.e, number of permutations of ${1,2,...,m}$ with excedance set constructed by taking $m-i$ ($0 < i < m$) if $b(i-1) = 1$ where $b(k)b(k-1)\cdots b(1)b(0)$ ($0 \leqslant k ...
Notamathematician's user avatar
1 vote
0 answers
83 views

Non-vanishing of product of zero divisors in quotients modulo $n$

This might be of practical importance and even partial answer will help. Let $n$ be odd squarefree integer with known factorization $n=\prod p_i$ with $N$ prime factors. Later we are not asking about ...
joro's user avatar
  • 25.4k
3 votes
0 answers
128 views

Fast and simple algorithm for the A329369

Let $a(n)$ be A329369 (i.e., number of permutations of $\{1,2,\cdots,m\}$ with excedance set constructed by taking $m-i$ ($0 < i < m$) if $b(i-1) = 1$ where $b(k)b(k-1)\cdots b(1)b(0)$ ($0 \...
Notamathematician's user avatar
1 vote
1 answer
217 views

Correctness of the algorithm for the A329369, A347205 and related sequences

Let $a(n)$ be A347205. It is enough for us to know that $$ a(2^m(2k+1)) = \sum\limits_{j=0}^{m}a(2^jk), \\ a(0) = 1 $$ Let $b(n)$ be A329369. It is enough for us to know that $$ b(2^m(2k+1)) = \sum\...
Notamathematician's user avatar
4 votes
0 answers
46 views

Implementation of Friedman's algorithm of reconstructing simple polytopes

In Finding a Simple Polytope from Its Graph in Polynomial Time, Friedman gave a polynomial time algorithm on reconstructing a simple polytope from its graph. Has this algorithm been actually ...
mashedcarrots's user avatar
3 votes
1 answer
380 views

Generating all possible subsets in order of sum

Given a set of positive integers, I am looking for method to algorithmically generate all possible subsets in order of their sum. Because the the count of possible subsets is exponential ($2^n$), it ...
Ood's user avatar
  • 81
0 votes
0 answers
69 views

What is the complexity of computing isomorphism of two non-regular graphs?

Regular graphs are the graphs in which the degree of each vertex is the same. Much research has gone into investigating isomorphism of regular graphs, and we know that computing isomorphism for ...
Eauriel's user avatar
  • 101
5 votes
0 answers
121 views

Recovering a binary function on a lattice by studying its sum along closed walks

I recently posted this question on MSE. While it attracted interest, no answers were submitted, so I thought to try and post it here. I have a binary function $f:\mathbb N^2\rightarrow\{0,1\}$. While ...
GSofer's user avatar
  • 251
1 vote
1 answer
207 views

Calculating the value of periodic continued fractions with $a_i\in\lbrace 0,1\rbrace$

Question: How can the value of continued fractions of the form $$y:=a_0+\cfrac{1}{a_1+\cfrac{1}{a_2+\cfrac{1}{a_3+\cfrac{1}{\begin{align}\ddots& \\ &a_{n-1}+\cfrac{1}{a_n+y}\end{align}}}}}$$ $$...
Manfred Weis's user avatar
  • 13.2k
2 votes
0 answers
81 views

Degeneracy and the "Linear Degeneracy Testing" problem

The Affine Degeneracy problem is about deciding whether $n$ given points in $\mathbb{R}^d$ (or $\mathbb{Q}^d$) are "in general position". i.e. there is no $d+1$ tuple of points which lies in ...
Tippisum's user avatar
  • 153
5 votes
0 answers
155 views

A non-trivial (not a concatenation of de Bruijn sequences) infinite binary sequence whose initial $2^{n+1}$ bits contain all $n$-bit words for any $n$

Does there exist an infinite binary sequence $B$ that satisfies all of the following three properties? It is possible to prove that for any integer $n$ the initial $2^{n+1}$ bits of $B$ contain all $...
lyrically wicked's user avatar
10 votes
1 answer
466 views

Elegant proof for $xy < yx \Leftrightarrow x^\mathbb{N} < y^\mathbb{N}$

Let $x, y$ be finite words over totally ordered alphabet and $<$ denote the lexicographical order, i.e for two not necessarily finite words we say $x < y$ iff one of the following holds There ...
thematdev's user avatar
  • 163
1 vote
0 answers
169 views

A function $g : \{0,1\}^m \to \{0,1\}^{4m}$ such that the “circular discrepancy” between $g(x_1)$ and $g(x_2)$ is $\geq m$ for any $x_1 \neq x_2$

In this question, the term “word” implies a binary word, i.e. a sequence of bits. Let $W(x)$ denote the number of non-zero bits in a word $x$. Assuming that $x$ is an $s$-bit word and $0 \le k < s$,...
lyrically wicked's user avatar
10 votes
4 answers
662 views

Deciding homomorphic images of De Bruijn graphs

The De Bruijn graph $B_n$ of dimension $n$ (on the two-letter alphabet) is defined as the directed graph on $2^n$ vertices and $2^{n+1}$ edges, where for every $w = w_0 \dots w_n \in 2^{n+1}$ we put ...
Sam van G's user avatar
  • 105
3 votes
2 answers
149 views

Finding an inclusion-based path through 2-part set partitions

Given $S = \{1, 2, \ldots, n\}$, consider partitions of $S$ of the form $(R, R')$ where $R \subset S$ and $R'$ is $S \setminus R$, the complement of $R$ in $S$. The goal is to list 2-part partitions ...
Brian Hopkins's user avatar
1 vote
0 answers
76 views

Constructing orientations that increase (directed) distances between vertices in a maximum independent set

An orientation of a simple undirected graph $G=(V,E)$ is a directed graph $G' = (V,E')$ that is constructed by including either $(u,v) \in E'$ or $(v,u) \in E'$, but not both, for all $(u,v) \in E$. ...
fawadria's user avatar
2 votes
1 answer
482 views

Counting $n$-edge directed graphs

I would like to count the $n$-edge directed graphs. The graphs might contain self-loops (edges connecting a vertex to itself) and multiple edges (multiple edges connecting the same pair of vertices). ...
tim guo's user avatar
  • 21
2 votes
1 answer
170 views

Is there an algorithm to generate non-isomorphic Halin graphs?

A Halin graph is a graph constructed by embedding a tree with no vertex of degree two in the plane and then adding a cycle to join the tree’s leaves. We found a list of the number of Halin graphs ...
Licheng Zhang's user avatar
1 vote
0 answers
105 views

Some question on Lovett-Meka Discrepancy Minimisation Algorithm

I am reading the paper Constructive Discrepancy Minimization by Walking on The Edges which finds the discrepancy of a set system matching Spencer's bound, in randomised polynomial time. In short, ...
Sudipta Roy's user avatar
0 votes
1 answer
182 views

A variation of Set Cover

Suppose we have $n$ sets $\{S_i\}_{i=1}^n$, each containing exactly $k$ of the numbers from $1,...,n$. The union of all these sets will cover $1,...,n$. We know $i \in S_i$ for all $i$. We need to ...
Jackson's user avatar
2 votes
1 answer
168 views

Is there an efficient algorithm that allows to construct a binary word with particular properties related to its horizontal and vertical “subwords”?

Let $w$ denote an $mn$-bit word (i.e. a binary word of length $mn$). Assuming that $b_{i,j}$ denote individual bits, we can represent $w$ in the “rectangular” form as follows: $$\begin{array}{l} b_{1....
lyrically wicked's user avatar
5 votes
1 answer
255 views

Counting points above lines

Consider a set $P$ of $N$ points in the unit square and a set $L$ of $N$ non-vertical lines. Can we count the number of pairs $$\{(p,\ell)\in P\times L: p\; \text{lies above}\; \ell\}$$ in time $\...
H A Helfgott's user avatar
  • 20.2k
0 votes
2 answers
251 views

Compute the average path weights of paths with the same path length in a directed acyclic graph (DAG)

Given a weighted directed acyclic graph (DAG) $G=(V,E)$ with each edge $e\in E$ has a non-negative weight $w(e)$. For a path $p=(e_1,e_2,\dotsc,e_n)$ in $G$, define the path weight as : $w(p)=\sum_{i=...
cbyh's user avatar
  • 143
1 vote
2 answers
223 views

Do all graphs with $n$ vertices and $m$ edges have a special property?

Given the positive integers $n$ and $m$, consider the set of graphs $\mathcal{G} = \{G=(V,E): |V|=n \land |E|=m\}$. For which values of $n$ and $m$ does the following requirement hold: $\forall G \in \...
Fabius Wiesner's user avatar
3 votes
1 answer
240 views

Algorithm for finding a minimum weight circuit in a weighted binary matroid

For a given weighted graph $G = (V, E)$, there is a simple algorithm for finding the minimum weight circuit by running Dijkstra's algorithm $|E|$ times. Also for a matroid $M = (E, I)$ one can use the ...
Patrik Pavic's user avatar
3 votes
0 answers
369 views

Perfect matching decomposition algorithm for bipartite regular graphs

It is a well-known result that a bipartite graph can be decomposed into edge-disjoint perfect matchings if and only if it is regular. Now here comes the question. Given a bipartite regular graph, is ...
CCC's user avatar
  • 51
1 vote
0 answers
52 views

How can we hang the weighted trees so that vertices nearer to root (based on distances, not hop count) lie in upper levels?

I have a set of edge weighted trees, each tree rooted at some vertex. Consider these trees are hung from the roots and vertices are arranged in some levels. I wish to design an algorithm (...
Hemraj Raikwar's user avatar
1 vote
1 answer
136 views

3-partition of a special set

$S_5$ is a set consisting of the following 5-length sequences $s$: (1) each digit of $s$ is $a$, $b$, or $c$; (2) $s$ has and only has one digit that is $c$. $T_5$ is a set consisting of the following ...
4869's user avatar
  • 47
2 votes
1 answer
80 views

Are there any studies about general lexicographical orderings of Latin Squares and random walks on the space of all such orderings of a given order?

Are there any previous studies about the general lexicographical orderings of Latin squares including random walks the space of all such orderings for a given order of Latin squares? Are there any ...
John Palmer's user avatar
1 vote
0 answers
91 views

Generate the nth permutation [closed]

I'm just trying to write a little algorithm. I've got nine objects, so there's 9! permutations. My question is, is there a way of turning a number from 1 to 9! into a permutation? for example, f(1)=[1,...
Elliott's user avatar
  • 111
3 votes
1 answer
194 views

Checking presence of a specific term in product polynomial

I have a multivariate polynomial $P$ which is a product of $M$ low degree polynomials $p_i$ $$P(x_1, x_2, \dotsc, x_n) = \prod_{i=1}^M p_i(x_1, x_2, \dotsc, x_n)$$ where the maximum degree of each $...
Math-fort's user avatar
  • 103

1
2 3 4 5
7