Problem Detail: Will choosing the child of a node randomly in the alpha beta algorithm have a better chance to get a cut off than choosing them in order? Here’s the pseudocode with my addition marked with ***. function alphabeta(node, depth, Read More …
Category: Uncategorized
[Solved]: Hadamard gate on entangled qubit
Problem Detail: TL;DR: If you have two entangled qubits in the state $|00rangle + |11rangle$, what is the result of applying the Hadamard gate on the second qubit, and why? I am trying to understand $text{PSPACE} subseteq text{QIP}(3)$ (Watrous, 2003), and Read More …
[Solved]: Convolutional Neural Network Feature Engineering?
Problem Detail: I’m working through the tensorflow tutorial, and I see how you go from 28 x 28 to zero-padding and applying a 5x5x32 convolution to get 28x28x32 and max-pooling etc. What I’m confused about is the 32 outputs seem to Read More …
[Solved]: Computer vision: object detection with labels that are single coordinates
Problem Detail: Are there papers in the literature that address the following object detection task ? The task can be described as follows: Given a set of images, the labels are just coordinates (x,y) that represent the object locations that we Read More …
[Solved]: Examples of specialized instructions of assembly language not available in compilers?
Problem Detail: In my CS computer organization textbook, there’s this blurb on the advantage of assembly over a high-level language. Another major advantage of assembly language is the ability to exploit specialized instructions – for example, string copy or pattern-matching instructions. Read More …
[Solved]: Proof of APSPACE = EXP
Problem Detail: I have been reading Computational Complexity A Modern Approach book and this proof wasn’t given in the book. Please give a semi-detailed proof of this. I have found a paper which has this proof(by Chandra, Kozen et al.) but Read More …
[Solved]: Emulations of atomic registers and read-modify-write (RMW) primitives in message-passing systems
Problem Detail: The ABD algorithm in paper: Sharing Memory Robustly in Message-Passing Systems can emulate single-writer multi-reader atomic registers in message-passing systems, in the presence of processor or link failures. Looking into the details of this algorithm (in Figure 2, page Read More …
[Solved]: Time complexity version of the Church-Turing Thesis
Problem Detail: There’s a lot of debate about what exactly the Church-Turing thesis is, but roughly it’s the argument that “undecidable” should be considered equivalent to “undecidable by a universal turing machine.” I’m wondering if there’s an analogous statement for time Read More …
[Solved]: How to find recurrences where Master formula cannot be applied
Problem Detail: Given: $T(n) = T(sqrt{n}) + 1$ (base case $T(x) = 1$ for $x<=2$) How do you solve such a recurrence? Asked By : ajmartin Answered By : ajmartin For the recurrence, $$ T(n) = T(sqrt{n}) + 1 $$ Let $n = Read More …
[Solved]: Computation tree logic and Kripke structures
Problem Detail: Specifications in Kripke structures are verified by Computation tree logic (CTL). However, refering to this Wikipedia article the CTL-operators are relative to a current state. So, when we want to verify if EF q is satisfied in a Kripke Read More …