Author: ignougroup

Problem Detail: I’m wondering if there is a polynomial algorithm for “2-SAT with XOR-relations”. Both 2-SAT and XOR-SAT are in P, but is its combination? Example Input: 2-SAT part: (a or !b) and (b or c) and (b or d) XOR Read More …

Problem Detail: I know that a one-way function is informally a function that it’s easy to compute but hard to invert. If f(x) is a one way function the function $g(x) = xoplus f(x)$ is a one-way function? My intuition is Read More …

Problem Detail: Recently I got interested in a game called Toads and Frogs and I’m trying my best to come up with some software which would be able to beat an average (i.e. not knowing the strategy) human though I’m struggling Read More …

Problem Detail: I am having challenges (in two phases) with creating a CFG. Derive the CFG for the following language Show parse trees for the strings cacab and aacabbb obtained from the grammar designed above. I am getting a bit mixed Read More …

Problem Detail: I want to know if the following problem is decidable and how to find out. Every problem I see I can say “yes” or “no” to it, so are most problems and algorithms decidable except a few (which is Read More …

Problem Detail: So I’ve seen that most NP-Complete problems seem to take the form of decision problems – problems which require only a yes/no answer. However, how can this be reconciled with the requirement that the solution of an NP problem Read More …

Problem Detail: I need to implement LU-decomposition in Kaira. In Kaira the programmer writes the “parallel part” as the diagram similar to Petri Nets. So, could you, please, recommend me some parallel algorithms for LU-decomposition which are really easy to understand Read More …

Problem Detail: I’m trying to understand the relevance of the Lamport distributed mutual exclusion algorithm (or any of its variants), where a group of processes cooperate to gain exclusive access to a resource without relying on a centralized coordinator. How can Read More …

Problem Detail: I want to build a Automatic Speech Recognition (ASR) engine for myself, but I’ve no idea from where to start. I’ve read that most ASR’s are build upon Hidden Markov Models, but also I’ve read that HMM is limited Read More …

Problem Detail: Assuming I have shown part of the knowledge base in the clausal format: [1] p1(banana). [2] not p1(X) or p2(Y). [3] p1(X) or not p3(F). … and more rules. Most of the books, would do something like this: [1,2] Read More …