Problem Detail: So, could a computer count to infinity assuming it was a super computer and had near unlimited amounts of ram and hard drive/solid state drive storage? I am being serious when I ask this. [This is what I am Read More …
Author: ignougroup
[Solved]: How does the Sutherland-Hodgman Algorithm work?
Problem Detail: The following are the Pages-96 and Page-97 of the book Schaum’s outline series of Computer Graphics. The algorithm considers several things: (1) Whether the polygon is Convex or Concave. (2) Whether the polygon is positively or negatively oriented. (3) Read More …
[Solved]: Parikh’s Theorem: CFL’s “contain” regular languages?
Problem Detail: The first sentence of the Wikipedia article for Parikh’s Theorem states: “Parikh’s theorem in theoretical computer science says that if one looks only at the relative number of occurrences of terminal symbols in a context-free language, without regard to Read More …
[Solved]: Minimal basis for set of binary vectors using XOR
Problem Detail: I would be surprised if this isn’t a well-studied problem, but I’m not sure what else to search for at this point: you’re given a set of binary $n$-vectors $S subset {0,1}^n$. The problem is to find another set Read More …
[Solved]: Shortest path that visits maximum number of strongly connected components
Problem Detail: Consider a directed graph. I need to find a path that visits maximum number of strongly connected components in that graph. If there are several such paths the desired path is the path that visits minimum number of nodes Read More …
[Solved]: Is it decidable whether a given context free grammar generates an infinite number of strings?
Problem Detail: Is the decision problem “Does a given context free grammar generate an infinite number of strings” decidable? In order to test whether a context free grammar generates an infinite number of strings or not, we can write a program Read More …
[Solved]: Shortest walk that covers $k$ nodes
Problem Detail: I have the following problem, I would like to know an efficient algorithm to solve it. Suppose I have a weighted graph $G$ and a set of vertices $K$, I want to find a walk which starts at a Read More …
[Solved]: How can I check that the language of one context-free grammar is a subset of a second context-free grammar?
Problem Detail: Could you explain me, how can I check, that the language of first context-free grammar (G1) is a subset of the language of second context-free grammar (G2). G1 and G2 are two LL(1) grammars with identical alphabets: {a, b, Read More …
[Solved]: Can we break the Shannon capacity?
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 …
[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 …
