Problem Detail: WalkSAT and GSAT are well-known and simple local search algorithms for solving the Boolean satisfiability problem. The pseudocode for the GSAT algorithm is copied from the question Implementing the GSAT algorithm – How to select which literal to flip? Read More …
Category: Uncategorized
[Solved]: Formal construction of PDA intersecting a DFA
Problem Detail: Given the PDA $P = (Q_P,Sigma,Gamma_P,delta_P,F_P)$ and the DFA $D = (Q_D, Sigma, delta_D,q_D,F_D)$ What is the 6-tuple definition of the PDA such that: $L(P’) = L(P) cap L(D)$ I don’t understand what the intersection of these two FAs Read More …
[Solved]: How do i find bits in virtual and physical address?
Problem Detail: The question is: Consider a virtual address space of 256 pages with page size of 4KB, mapped onto a physical memory of 128 frames. How many total bits are required in the virtual address? How many total bits are Read More …
[Solved]: Extracting features for texture classification
Problem Detail: I m a beginner in the field of pattern recognition and computer vision. I m working on a project right now to classify t-shirt patterns into three categories i.e. solids, stripes and checks. I have close up training images Read More …
[Solved]: Why is the number of states for DFA is 3n + 1 for this language
Problem Detail: I’m taking online compilers course. It’s long ended, so it wouldn’t be cheating to ask a question on quiz here. Let $S_i$ be the string consisting of $i$ 0’s followed by $2i$ 1’s. Define the language $L_n = { Read More …
[Solved]: RAID: dedicated and distributed parity
Problem Detail: I understand what parity is (Sort of): A data recovery mechanism where missing data is calculated based on the data that exists. However i have encountered terminology which i can’t define or put into perspective of the RAID system. Read More …
[Solved]: Machine learning – importance of correlation vs. causation
Problem Detail: It is a well-known fact that “Correlation doesn’t equal causation”, but machine learning seems to be almost entirely based on correlation. I’m working on a system to estimate the performance of students on questions based on their past performances. Read More …
[Solved]: A concrete example about string w and string x used in the proof of Rice’s Theorem
Problem Detail: So, in lectures about Rice’s Theorem, reduction is usually used to proved the theorem. Reduction usually consists a construction of $M’$, using a TM $M$ which is in the form $langle M,w rangle$ to be simulated first, an input Read More …
[Solved]: What is the meaning of this pseudo-code function?
Problem Detail: While reading the paper Holistic twig joins: optimal XML pattern matching I came across the pseudo code for liststack algorithm. (available through google scholar) A function in the algorithm confused me, since I can understand what it is supposed Read More …
[Solved]: Can POSIX BRE express all regular languages?
Problem Detail: It appears that “Basic Regular Expressions” as defined by POSIX.1-2008 do not support alternation, a|b (although some grep implementations recognize the escaped version, |). Since the regular languages are closed under union by definition, does this mean that POSIX Read More …
