Author: ignougroup

Problem Detail: Let’s say that lists are defined as List a = Nil | Cons a (List a) Then, in Haskell is List x the greatest or least fixpoint? I’m asking because the lfp should exclude infinite lists (but you can Read More …

Problem Detail: I am attempting to write a Finite State Transducer module in OCaml, because I think it’s a good exercise, which is because I have been teaching myself Natural Language Processing. You typically construct finite automata using regular expressions, for Read More …

Problem Detail: I want to prove that unique(reverse(L)) = reverse(unique(L)) where L is a List. List has the following constructors: [] : -> List [e] : Element -> List cons(e, L) : Element x List -> List I defined unique and Read More …

Problem Detail: I am working through Sipser, and I am trying to understand some of the algorithms described in Space Complexity, but I am having a hard time understanding the presentation of the material (especially Savitch’s theorem). I have a very Read More …

Problem Detail: I am little bit confused between the two answers below. What is the exact answer of this question? My query is, “Deleted data remains on a disk until…?” The data is overwritten; The recycle bin is emptied. I have Read More …

Problem Detail: Are there any graph implementation data structures beyond the standard adjacency list/matrix ones? If so, what are they? I welcome experimental ones as well as highly specialized ones. A little background: I’m developing an algorithm that relies heavily on Read More …

Problem Detail:  You are given a tree $T=(V,E)$ along with a designated root node $r in V$.The parent of any node $v ne r$, denoted $p(v)$, is defined to be the node adjacent to $v$ in the path from $r$ Read More …

Problem Detail: I’m currently taking a class in Automata Theory and it’s kicking my butt. I have an assignment that my teacher gave me that consists of three questions. I have no idea where to start. My teacher and I have Read More …

Problem Detail: In the book on complexity by Arora and Barak, there is an exercise to show $Space(n)neq NP$, the proof of which goes by showing that $NP$ is closed under Karp reductions, while $Space(n)$ isn’t. To show that $Space(n)$ isn’t Read More …

Problem Detail: I have been unable to find a graph depicting or text answering the following question: Is there a direct relationship between the complexity of an algorithm (such as best / worst case of quick sort), and class of automata Read More …