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 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.
متن کامل1 KBO as a Satisfaction Problem ?
This note presents an approach to prove termination of term rewrite systems (TRSs) with the Knuth-Bendix order efficiently. The constraints for the weight function as well as for the precedence are encoded in propositional logic and the resulting formula is tested for satisfiability. Any satisfying assignment represents a weight function and a precedence such the induced Knuth-Bendix order orie...
متن کامل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 ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Combinatorics, Probability & Computing
دوره 23 شماره
صفحات -
تاریخ انتشار 2014