User vzn

18 votes

4 answers

1k views

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

asked Nov 27, 2013 at 21:44

16 votes

4 answers

1k views

Bridge theorems for group theory and formal languages

asked Sep 18, 2013 at 3:16

12 votes

4 answers

5k views

Looking for a dictionary of math/CS notation

asked Dec 13, 2012 at 4:19

5 votes

2 answers

493 views

What are some applications of binary finite fields in CS?

asked Oct 27, 2012 at 2:40

5 votes

1 answer

428 views

computer science in the movies as an educational angle

asked Nov 9, 2013 at 17:02

5 votes

0 answers

129 views

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

asked May 20, 2014 at 17:47

5 votes

2 answers

2k views

does every CFL have an ambiguous CFG?

asked Jun 5, 2014 at 2:53

5 votes

1 answer

663 views

space complexity of DFA intersection problem

asked Nov 8, 2015 at 17:18

3 votes

1 answer

216 views

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

asked Oct 10, 2015 at 16:14

3 votes

1 answer

830 views

Description of resolution algorithm as it applies to SAT

asked Jan 28, 2013 at 1:57

3 votes

1 answer

160 views

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

asked Dec 3, 2013 at 17:10

3 votes

2 answers

802 views

Enumerating weighted permutations in sorted order problem

asked Nov 5, 2013 at 17:32

2 votes

1 answer

330 views

Building functionally complete boolean circuits out of trinary logic

asked Jan 27, 2013 at 18:15

2 votes

1 answer

2k views

Calculating Binet's formula for Fibonacci numbers with arbitrary precision

asked Dec 4, 2012 at 3:33

2 votes

1 answer

218 views

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

asked Jul 11, 2014 at 1:28

1 vote

0 answers

101 views

Applications of algorithms to stock trading analysis

asked Jan 31, 2014 at 22:55

1 vote

1 answer

735 views

Blum's speedup theorem in big-O format?

asked Feb 6, 2014 at 1:45

1 vote

1 answer

581 views

context sensitive language finite or infinite

asked Apr 5, 2016 at 15:44

1 vote

0 answers

76 views

Notable decidable operations on context-sensitive languages [closed]

asked May 13, 2014 at 15:31

1 vote

0 answers

28 views

pragmatic way to compute/ search/ match MSBs operation

asked Jun 10, 2015 at 17:22

1 vote

4 answers

536 views

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

asked Nov 22, 2013 at 3:12

0 votes

1 answer

121 views

proof of convergence in arbitrary precision PRNGs

asked Nov 18, 2013 at 21:52

0 votes

1 answer

77 views

graph isomorphism completeness of class X and not-X

asked Dec 20, 2013 at 16:26

0 votes

1 answer

148 views

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

asked Jan 18, 2014 at 17:05

0 votes

1 answer

278 views

Blum's speedup theorem showing unclassifiable complexity languages?

asked Feb 6, 2014 at 2:00

0 votes

0 answers

110 views

2-depth arithmetic circuits and VP vs VNP

asked Apr 24, 2015 at 21:07

-1 votes

1 answer

288 views

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

asked Mar 19, 2014 at 3:57

-1 votes

2 answers

2k views

complexity of decision problems vs computing functions [closed]

asked Sep 22, 2012 at 16:57

-1 votes

1 answer

193 views

References on collective intelligence with respect to CS applications

asked Sep 27, 2012 at 18:26

-1 votes

1 answer

3k views

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

asked Oct 3, 2012 at 15:58

Stack Exchange Network

31 Questions

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

Bridge theorems for group theory and formal languages

Looking for a dictionary of math/CS notation

What are some applications of binary finite fields in CS?

computer science in the movies as an educational angle

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

does every CFL have an ambiguous CFG?

space complexity of DFA intersection problem

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

Description of resolution algorithm as it applies to SAT

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

Enumerating weighted permutations in sorted order problem

Building functionally complete boolean circuits out of trinary logic

Calculating Binet's formula for Fibonacci numbers with arbitrary precision

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

Applications of algorithms to stock trading analysis

Blum's speedup theorem in big-O format?

context sensitive language finite or infinite

Notable decidable operations on context-sensitive languages [closed]

pragmatic way to compute/ search/ match MSBs operation

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

proof of convergence in arbitrary precision PRNGs

graph isomorphism completeness of class X and not-X

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

Blum's speedup theorem showing unclassifiable complexity languages?

2-depth arithmetic circuits and VP vs VNP

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

complexity of decision problems vs computing functions [closed]

References on collective intelligence with respect to CS applications

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