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 …
Blog
[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]: 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]: 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]: 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]: 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]: 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]: finger search on a red black tree
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 …
[Solved]: Which CNF boolean formulas blow up exponentially at conversion to DNF?
Problem Detail: If I’m correct, some boolean formulas in CNF require exponential size when being converted to an equivalent DNF version (and vice versa). But what is an example of such a formula (and is there a general way to capture Read More …
[Solved]: How a program is copied to RAM from harddisk
Problem Detail: I know that for executing a program, it should be copied to RAM. But the problem is whole of it may not be copied always. Since the size of the RAM is limited, there is mechanism called virtual memory. Read More …
