Problem Detail: I’m having trouble finding materials on what ‘finger search’ is, in the context of a red black tree. Even Wikipedia has a very short page about that, could you refer me or explain what kind of search is that. Read More …
Author: ignougroup
[Solved]: Removing common background in image processing phase for classification
Problem Detail: I’m trying to build a machine learning classifier that can detect which object is in an image. I have a labled training set of images and am currently in the image processing phase. Each of these images has one Read More …
[Solved]: construct a TM from a PDA
Problem Detail: Given a PDA $P=(Q,sum,delta,q_0,F)$ construct formally a TM that accepts $L(P)$. My idea is to construct a Turing machine with 2 tapes, one for the input and the other for the stack. Also to add $q_a$ for accept and Read More …
[Solved]: Expressing that a function converges to 1 with linear rate using Landau notation
Problem Detail: I am working on an algorithm which approximates a certain optimal quantity. The approximation becomes better when the size of the problem ($n$) becomes larger: the difference from the optimum is approximately $1/n$. Initially, I wrote that the algorithm Read More …
[Solved]: Why do some inference engines need human assistance while others don’t?
Problem Detail: I am learning Automated Theorem Proving / SMT solvers / Proof Assistants by myself and post a series of questions about the process, starting here. Why is it that automated theorem provers, i.e. ACL2, and SMT solvers do not Read More …
[Solved]: Computing with the Monster
Problem Detail: The Monster M is the largest of the finite sporadic groups that arises in the classification of finite, simple groups in mathematics. M can be realized as a (very large!) set of 196882 X 196882 matrices with nothing more Read More …
[Solved]: What is the minimum square partition of an almost-square rectangle?
Problem Detail: This question is motivated by an older question about tiling an orthogonal polygon with squares. It is a generalisation of my former question about how to prove that the minimum square partition of a 3X2 rectangle has 3 squares). Read More …
[Solved]: How to measure the complexity of the discrete logarithm problem?
Problem Detail: The answers to this question on Crypto Stack Exchange basically says that, to measure the complexity of the logarithm problem, we have to take the length of the number representing the size of the group into account. It seems Read More …
[Solved]: How do I choose an optimal cell size when searching for close pairs of points, and using cells to implement this?
Problem Detail: Suppose that I have a set of $N$ points in $k$-dimensional space ($k>1$), such as in this question, and that I need to find all pairs with a distance¹ smaller than a certain threshold $t$. The brute-force method would Read More …
[Solved]: Decision problem which belongs to P reduced to a decision problem which belongs to NP?
Problem Detail: Is it possible to have a decision problem $A$ which belongs to P and reduce it to a decision problem $B$ which belongs to NP, i.e. $A leq_{mathrm{p}} B$, where $A$ belongs to P, $B$ belongs to NP? Asked Read More …
