A Note on a Problem Posed by D . E . Knuth
نویسندگان
چکیده
We resolve a conjecture proposed by D.E. Knuth concerning a recurrence arising in the satisfiability problem. Knuth’s recurrence resembles recurrences arising in the analysis of tries, in particular PATRICIA tries, and asymmetric leader election. We solve Knuth’s recurrence exactly and asymptotically, using analytic techniques such as the Mellin transform and analytic depoissonization.
منابع مشابه
A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence
We resolve a conjecture proposed by D.E. Knuth concerning a recurrence arising in the satisfiability problem. Knuth’s recurrence resembles recurrences arising in the analysis of tries, in particular PATRICIA tries, and asymmetric leader election. We solve Knuth’s recurrence exactly and asymptotically, using analytic techniques such as the Mellin transform and analytic depoissonization.
متن کاملA Note on Tensor Product of Graphs
Let $G$ and $H$ be graphs. The tensor product $Gotimes H$ of $G$ and $H$ has vertex set $V(Gotimes H)=V(G)times V(H)$ and edge set $E(Gotimes H)={(a,b)(c,d)| acin E(G):: and:: bdin E(H)}$. In this paper, some results on this product are obtained by which it is possible to compute the Wiener and Hyper Wiener indices of $K_n otimes G$.
متن کاملA Note on Atom Bond Connectivity Index
The atom bond connectivity index of a graph is a new topological index was defined by E. Estrada as ABC(G) uvE (dG(u) dG(v) 2) / dG(u)dG(v) , where G d ( u ) denotes degree of vertex u. In this paper we present some bounds of this new topological index.
متن کاملApplication of Boundary Element Method to 3 D Submerged Structures With Open Ends (RESEARCH NOTE)
This paper presents a three dimensional application of direct Boundary-Element Method (BEM) for computing interaction of sinusoidal waves with a large submerged open bottom structure near the floor with finite depth. The wave diffraction problem is formulated within the framework of linearized potential theory and solved numerically with direct BEM. A computer program based on BEM is developed ...
متن کاملRecording Completion for Finding and Certifying Proofs in Equational Logic
Solving the word problem requires to decide whether an equation s ≈ t follows from an equational system (ES) E . By Birkhoff’s theorem this is equivalent to the existence of a conversion s ↔∗E t. Knuth-Bendix completion [5] (if successful) gives a decision procedure: If an ES E is transformed into an equivalent convergent term rewrite system (TRS) R, then s ↔∗E t iff the R-normal forms of s and...
متن کامل