# All Questions

10,408 questions
Filter by
Sorted by
Tagged with
25 views

### What is the complexity of checking equivalence of two boolean formulae without NOT symbol?

Suppose I have two boolean formulae (propositions) $P_1$, and $P_2$ (can be assumed to be in CNF) over the same variables and such that there are no "NOT" symbols used. I.e. only conjunction and ...
41 views

25 views

### Design a NFA and DFA which accepts: (1+01)*(0+00)(1+10)* [closed]

This is the DFA I came up with, but it does not match the answer. I can't find the mistake. Any help will be appreciated
36 views

49 views

### Differences in the type signatures using dependent types

What is the difference between the following types for the $head$ function on a vector of integers. ($head$ takes a natural number $n$ and a vector $v$ of length $n$ or $(n+1)$ (depending on the ...
25 views

### Linear programming TSP variant constraint formulation [closed]

For a variant of the TSP problem such that not all vertices have to be visited, is there a way to add a constraint such that the linear program will start at a certain vertex?
59 views