# All Questions

29,196 questions
94 views

### Decidability of equivalence to existential formulas

I'm looking for an algorithm to decide if a given first order formula over a fixed vocabulary admits a logically equivalent existential one (i.e. a formula in prenex form where all quantifiers are ...
28 views

### Minimal, “natural” set of operations to manipulate a binary tree

Consider binary trees with some abstract values at the leaves. A tree t2 is said to be "derivable" from a tree t1 iff the set of values in the leaves of t2 is included in the set of values in the ...
27 views

### Truth table and logic circuit problem

Does anyone know how to make this into a truth table and a logic circuit? (x•y)+x If so please send me the answer.
13 views

### Are there any Linear genetic programming tools available? [closed]

I have been learning the concepts of linear genetic programming(lgp) lately but I am not able to find any tool which implements the concepts of lgp. Can someone suggest tools/software which ...
49 views

### Does there exist a context-free language $L$ such that $L\cap L^2$ is not context-free?

I can see that $L$ has to be context-free but not regular here as regular languages are closed under concatenation and intersection. But $L\cap L^2$ looks too weird. I couldn't think of any $L$ that ...
31 views

### What's a general rule for this little lambda calculus identity?

I've been fiddling around with a project that does some normalization of lambda calculus(-like) expressions and I stumbled upon that (λ λ ... λ n (n-1) ... 2 1) (...
30 views

### Which BackJumping Algorithm is being used here?

This is the illustration of the Backjumping algorithm for four queens exhaustive study of essential constraint satisfaction problem techniques based on N-Queens problem .I am confused whether this is ...
13 views

### visual basic displaying in different forms by module [closed]

How can I display MICROSOFT ACCESS data ( supplier) from datagridview1 of different form by calling it from the module? is it possible? i have tried to display it using private sub but i want my ...
31 views

### Can maximum matching algorithms be used for maximum weight matching?

There are two fast algorithms for maximum matching on general graphs: Micali and Vazirani in $O(E\sqrt{V})$. Mucha and Sankowski in $O(V^{2.376})$. Can these be also used for maximum weighted ...
38 views

### Prove or Disprove: If A is regular and A ∪ B is not regular, then B is not regular

I'm doing a problem where I need to prove the following statement: If A is regular and A ∪ B is not regular, then B is not regular. In another similar problem that I did, I know that if A is regular ...