Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It only takes a minute to sign up.

Sign up to join this community

Anybody can ask a question

Anybody can answer

The best answers are voted up and rise to the top

Explore our Questions

Ask Question

more tags

Active Hot Week Month

0

votes

1

answer

10

views

substitution method on T(n) = T(floor(n/2)) + n recurrence

algorithm-analysis runtime-analysis recurrence-relation

answered 11 mins ago Inuyasha Yagami 875

0

votes

1

answer

45

views

Help with Linear recurrence relation with balanced partition

algorithms complexity-theory

modified 15 mins ago Community♦ 1

0

votes

0

answers

5

views

Finding time complexity of a depth first traversal algorithm with a depth limit to get all node traversals starting from the root node

algorithms time-complexity graph-traversal depth-first-search

asked 24 mins ago Ashera 13

0

votes

1

answer

20

views

Question concerning subset sum problem: split into 3 equal subsets

dynamic-programming

answered 1 hour ago Simon 208

3

votes

3

answers

5k

views

Using Myhill-Nerode to prove a language is non-regular

formal-languages regular-languages

modified 2 hours ago Shreesh 4,607

-2

votes

0

answers

15

views

My computer is freaking me out with a robotic voice

python

asked 2 hours ago Stick Slicer 1

11

votes

7

answers

5k

views

How can a computer deal with real numbers

real-numbers computer-algebra

modified 3 hours ago Andrey Tyukin 196

0

votes

0

answers

14

views

Recurrence relations and the Master Theorem

recurrence-relation master-theorem

asked 3 hours ago kasra 53

1

vote

1

answer

14

views

$Sat(EG^2\alpha)$ as a fixpoint of an operator

model-checking computation-tree-logic

answered 4 hours ago Xugui Manuel 21

0

votes

0

answers

15

views

Different ways to avoid deadlocks

operating-systems deadlocks

modified 5 hours ago Yuval Filmus 242k

1

vote

1

answer

12

views

Notations for dealing with generators in algorithms

algorithms notation python pseudocode

answered 5 hours ago Yuval Filmus 242k

3

votes

1

answer

278

views

Haskell type classes as ontological categories

knowledge-representation haskell

modified 7 hours ago Patrick Browne 319

0

votes

1

answer

24

views

EQ_{TM} is not Turing recognizable, but we can reduce A_{TM} to it?

turing-machines computation-models turing-completeness

modified 7 hours ago Community♦ 1

2

votes

0

answers

12

views

Further papers or code on SMA*+?

graphs search-algorithms shortest-path

asked 7 hours ago James Youngman 121

Browse more Questions

Computer Science Stack Exchange works best with JavaScript enabled