Problem Detail: Possible Duplicate: Pumping lemma for simple finite regular languages The pumping lemma says that for any regular language $L$, there exists a constant $p$ such that any word $w$ in $L$ with length at least $p$ can be Read More …
Category: Uncategorized
[Solved]: Equivalence of GFp and Gp in LTL
Problem Detail: In linear time logic, is $mathbf{GF}p$ equivalent to $ mathbf{G}p$ ? $mathbf{GF}p$ means that it is always the case that p is true eventually. Let $mathbf{G} p$ be defined as: $forall j ge0, p$ holds in the suffix $q_j, Read More …
[Solved]: Pumping Lemma for regular languages proof doubt – Sipser Book
Problem Detail: I was reading the proof of pumping lemma from Sipser’s book. I couldn’t understand certain things mentioned there. In the second paragraph he has written, “because $r_l$ occurs among first $p+1$ places, we have $l le p+1$”. Here, does Read More …
[Solved]: Lovasz theta of even cycle
Problem Detail: How does one show Lovasz theta of even $n$-cycle ($n$ is even) is of form $frac{n}{2}$? Why is the Lovasz theta of such cycles not of form $frac{n cos(frac{pi}{n})}{1+cos(frac{pi}{n})}$. Could someone provide a derivation for even cycle Lovasz theta Read More …
[Solved]: What is the difference between a module in a monolithic kernel and a server in a microkernel?
Problem Detail: I´m not exactly sure what kind of impact these two things have on kernel design. Are servers more flexible because of running in user space, for instance, and does adding a module require a new build of a kernel? Read More …
[Solved]: A Black Box Algorithm
Problem Detail: I’m taking an introductory quantum computations class and I am attempting to solve the following question(s), but we haven’t touched on black box algorithms like this in class, and I honestly don’t know how to solve the question at Read More …
[Solved]: Polynomially related lengths under two different encodings
Problem Detail: I’m reading through “Computers and Intractability: A guide to the Theory of NP-Completeness” by Michael R. Garey and David S. Johnson, p. 20 and I came across this concept of a function that is polynomially related to input lengths Read More …
[Solved]: What do I need to know about algorithms?
Problem Detail: Drawing from Are algorithms (and efficiency in general) getting less important?, I get that algorithms are more important than ever, but I need to know anything about them other than their complexities? I would expect to use algorithms out Read More …
[Solved]: How CPU know which process generated an interrupt?
Problem Detail: When a computer OS supports multi-program, it needs to have a scheduling algorithm to handle which process will be run by the cpu. If a process is in state ‘blocked’ waiting for IO, the scheduling causes another process to Read More …
[Solved]: Why is this language over {a,b,c} regular?
Problem Detail: The language of all words over the alphabet {a,b,c} such that the number of as in the word minus the number of cs in the word is divisible by three. How is this language regular? Lecturer notes says that Read More …
