Skip to main content

Explore our questions

0 votes
0 answers
23 views

On the definition of free occurances of variable in a lambda term

-1 votes
0 answers
61 views

Use Ehrenfeucht–Fraïssé games to prove that PARITY is not expressible in $\text{FO}(+, \times) .$

-3 votes
0 answers
30 views

How to link computers and tablets online

5 votes
1 answer
91 views

Is finding the min literal DNF from a truth table NP-Complete?

3 votes
1 answer
251 views

Lower bound on the Among Us game

7 votes
3 answers
410 views

Investigation of Symbol Minimal Context-Free Grammars for the Language $a^n$

15 votes
5 answers
871 views

Obscure characterizations of the regular languages

5 votes
1 answer
176 views

Complexity of the intersection nonemptiness problem for regular expressions with squaring

2 votes
1 answer
207 views

For which strongly connected digraphs can we reverse all edges one by one while maintaining strong connectivity?

1 vote
1 answer
152 views

Solving halting problem on LBAs faster than brute force

2 votes
0 answers
89 views

Is there a genuinely universal “$3$-valued NAND” gate over $\{- , 0 , +\}$?

10 votes
3 answers
4k views

Attempted proofs of P vs NP

1 vote
1 answer
151 views

Problem on a Directed Graph subcase of load time scheduling

3 votes
1 answer
304 views

Integer multiplication with limited space

Browse more Questions