vzn's user avatar
vzn's user avatar
vzn's user avatar
vzn
  • Member for 11 years, 2 months
  • Last seen more than 2 years ago
18 votes
4 answers
1k views

Is there a TM that halts on all inputs but that property is not provable?

16 votes
4 answers
1k views

Bridge theorems for group theory and formal languages

12 votes
4 answers
5k views

Looking for a dictionary of math/CS notation

5 votes
2 answers
493 views

What are some applications of binary finite fields in CS?

5 votes
1 answer
428 views

computer science in the movies as an educational angle

5 votes
0 answers
129 views

research on OR and AND compression in SAT formulas [closed]

5 votes
2 answers
2k views

does every CFL have an ambiguous CFG?

5 votes
1 answer
663 views

space complexity of DFA intersection problem

3 votes
1 answer
216 views

Determining if (infinite) binary language DFAs contain at least 1 prime?

3 votes
1 answer
830 views

Description of resolution algorithm as it applies to SAT

3 votes
1 answer
160 views

"Unusual" coupling between a decision problem and a corresponding optimization problem

3 votes
2 answers
802 views

Enumerating weighted permutations in sorted order problem

2 votes
1 answer
330 views

Building functionally complete boolean circuits out of trinary logic

2 votes
1 answer
2k views

Calculating Binet's formula for Fibonacci numbers with arbitrary precision

2 votes
1 answer
218 views

A detail on variant of Mahaney's theorem about reductions of sparse languages vs P/NP

1 vote
0 answers
101 views

Applications of algorithms to stock trading analysis

1 vote
1 answer
735 views

Blum's speedup theorem in big-O format?

1 vote
1 answer
581 views

context sensitive language finite or infinite

1 vote
0 answers
76 views

Notable decidable operations on context-sensitive languages [closed]

1 vote
0 answers
28 views

pragmatic way to compute/ search/ match MSBs operation

1 vote
4 answers
536 views

Are there pseudorandom number generators (PRNG) with no finite period?

0 votes
1 answer
121 views

proof of convergence in arbitrary precision PRNGs

0 votes
1 answer
77 views

graph isomorphism completeness of class X and not-X

0 votes
1 answer
148 views

Decidability of fullness of intersection of a CSL with a regular language

0 votes
1 answer
278 views

Blum's speedup theorem showing unclassifiable complexity languages?

0 votes
0 answers
110 views

2-depth arithmetic circuits and VP vs VNP

-1 votes
1 answer
288 views

what are the basic/typical/common mistakes in P=NP claims? [duplicate]

-1 votes
2 answers
2k views

complexity of decision problems vs computing functions [closed]

-1 votes
1 answer
193 views

References on collective intelligence with respect to CS applications

-1 votes
1 answer
3k views

What is an example for which the purely functional programming approach gives better results than imperative style?