Problem Detail: I have a friend working in wireless communications research. He told me that we can transmit more than one symbol in a given slot using one frequency (of course we can decode them at the receiver). The technique as Read More …
Category: Uncategorized
[Solved]: What is induction-induction?
Problem Detail: What is induction-induction? The resources I found are: the HoTT book, at the end of chapter 5.7. nLab’s article a paper called Inductive-inductive definitions this blog post also mentions inductive-inductive types The first two references are too brief for Read More …
[Solved]: Generating number of possibilites of popping two stacks to two other stacks
Problem Detail: Context: I’m working on this problem: There are two stacks here: A: 1,2,3,4 <- Stack Top B: 5,6,7,8 A and B will pop out to other two stacks: C and D. For example: pop(A),push(C),pop(B),push(D). If an item have been Read More …
[Solved]: Is the complexity class NP computably enumerable?
Problem Detail: The definition of the complexity class $mathsf{NP}$ seems to ensure (as good as possible) that it is computably enumerable. It looks as if the class could be enumerated by enumerating all Turing machines, and for each Turing machine report Read More …
[Solved]: Inferring refinement types
Problem Detail: At work I’ve been tasked with inferring some type information about a dynamic language. I rewrite sequences of statements into nested let expressions, like so: return x; Z => x var x; Z => let x = undefined in Read More …
[Solved]: Why is $BPP$ closed under complement?
Problem Detail: Why is $text{BPP}=text{co-BPP}$? I tried to find a proof online but couldn’t. Can anyone please provide a quick explanation (if it’s trivial and I just can’t see it) or a link to a proof? Asked By : so.very.tired Answered By Read More …
[Solved]: What factors must one consider choosing an NN structure?
Problem Detail: Suppose we have a classification problem and we wish to solve the problem by Neural Network. What factors must one consider choosing an NN structure? e.g Feed Forward, Recurrent and other available structures. Asked By : Gigili Answered By : AJed Read More …
[Solved]: Differences between basic, complex and terminological facts in a Knowledge Base using First-Order Logic
Problem Detail: I’ve been reading the excellent book Knowledge Representation and Reasoning by Ronald Brachman and Hector Levesque. In the beginning of Section 3.2 “Vocabulary” of Chapter 3 “Expressing Knowledge” they state: In creating a KB (Knowledge Base) it is a Read More …
[Solved]: 3-SAT problem with number of clauses equal to number of variables
Problem Detail: Consider the 3-SAT problem where the formula is in conjunctive normal form and we restrict the Boolean formulas such that the number of clauses in the formula is equal to the number of variables. Is this problem still NP-hard? Read More …
[Solved]: Difference between centralized computing and distributed computing using Client-Server
Problem Detail: I already understand that Distributed Computing is the breakup of having multiple clients rely on a single source, and having each client utilize other clients for information. But my confusion comes from a type of distributed computing, where one Read More …
