Problem Detail: I am new to CFG’s, Can someone give me tips in creating CFG that generates some language For example $L ={ w v w^R mid v,win {a,b}^*wedge|v| text{ is even } }$, where $w^R$ is the reverse of string Read More …
Blog
[Solved]: How to scale down parallel complexity results to constantly many cores?
Problem Detail: I have had problems accepting the complexity theoretic view of “efficiently solved by parallel algorithm” which is given by the class NC: NC is the class of problems that can be solved by a parallel algorithm in time $O(log^cn)$ Read More …
[Solved]: Minimizing the full adder – where did this XOR come from?
Problem Detail: When minimizing the full adder, I don’t understand why $A(bar{B}bar{C} + BC)$ reduces to $Aoverline{(Boplus{C})}.$ $(bar{B}bar{C} + BC)to (Boplus{C})$ is partially decipherable, but why is $(Boplus{C})$ inverted to $overline{(Boplus{C})}?$ Full adder simplification: $ bar{A}bar{B}C + bar{A}Bbar{C} + Abar{B}bar{C} + Read More …
[Solved]: Reductions among Undecidable Problems
Problem Detail: Im sorry if this question has some trivial answer which I am missing. Whenever I study some problem which has been proven undecidable, I observe that the proof relies on a reduction to another problem which has been proven Read More …
[Solved]: Are there any open source SAT solvers with UNSAT core extraction algorithm built in?
Problem Detail: Just like the title says. I need to use a SAT solver on a series of CNF formulas but not only do I need an answer of the type satisfiable/unsatisfiable but also some subset of clauses whose conjunction is Read More …
[Solved]: Hardware interrupts from keystrokes
Problem Detail: If there is an interrupt from every keypress (or one for keydown, one for keyup, one for keypress?) how does the OS handle so many interrupts at the same time. A person typing at 120WPM would be sending more Read More …
[Solved]: What is the exact meaning of a Predicate, decidability and computability?
Problem Detail: In the Computability, Complexity and Languages book written by Davis in page 5 he defines a predicate as: By a predicate or a Boolean-valued function on a set $S$ we mean a total function $P$ on $S$ such that Read More …
[Solved]: Complexity of keeping track of $K$ smallest integers in a stream
Problem Detail: I need to analyze the time complexity of an online algorithm to keep track of minimum $K$ numbers from a stream of $R$ numbers. The algorithm is Suppose the $i$th number in the stream is $S_i$. Keep a max Read More …
[Solved]: What is postorder traversal on this simple tree?
Problem Detail: Given the following tree: Which traversal method would give as result the following output: CDBEA? The answer in my study guide is Postorder, but I think postorder would output: DEBCA. Am I wrong? Asked By : Jorge Zapata Answered By Read More …
[Solved]: Performance impact due to time required for shuffling in Quicksort
Problem Detail: As a programmer with non CS background, I am learning algorithms. When explaining the performance of quicksort in an Algorithm book and also elsewhere on the web, I do not see any reference to the time/space needed for shuffling. Read More …
