DeepAI AI Chat
Log In Sign Up

Identities and periodic oscillations of divide-and-conquer recurrences splitting at half

10/20/2022
by   Hsien-Kuei Hwang, et al.
0

We study divide-and-conquer recurrences of the form f(n) = α f(⌊ n2⌋) + β f(⌈ n2⌉) + g(n) (n≥2), with g(n) and f(1) given, where α,β≥0 with α+β>0; such recurrences appear often in analysis of computer algorithms, numeration systems, combinatorial sequences, and related areas. We show that the solution satisfies always the simple identity f(n) = n^log_2(α+β) P(log_2n) - Q(n) under an optimum (iff) condition on g(n). This form is not only an identity but also an asymptotic expansion because Q(n) is of a smaller order. Explicit forms for the continuity of the periodic function P are provided, together with a few other smoothness properties. We show how our results can be easily applied to many dozens of concrete examples collected from the literature, and how they can be extended in various directions. Our method of proof is surprisingly simple and elementary, but leads to the strongest types of results for all examples to which our theory applies.

READ FULL TEXT

page 1

page 2

page 3

page 4

11/24/2021

Explicit solution of divide-and-conquer dividing by a half recurrences with polynomial independent term

Divide-and-conquer dividing by a half recurrences, of the form x_n =a· x...
06/02/2022

A Multiset Version of Even-Odd Permutations Identity

In this paper, we give a new bijective proof of a multiset analogue of e...
11/11/2021

A Few Identities of the Takagi Function on Dyadic Rationals

The number of unbalanced interior nodes of divide-and-conquer trees on n...
09/12/2018

A Simple Elementary Proof of P=NP based on the Relational Model of E. F. Codd

The P versus NP problem is studied under the relational model of E. F. C...
01/18/2022

Identification for Accountability vs Privacy

This document considers the counteracting requirements of privacy and ac...
12/12/2022

Optimal periodic L_2-discrepancy and diaphony bounds for higher order digital sequences

We present an explicit construction of infinite sequences of points (x_0...
01/15/2001

Multiple-Size Divide-and-Conquer Recurrences

This short note reports a master theorem on tight asymptotic solutions t...