Theoretical Computer Science
jkff's user avatar
jkff's user avatar
jkff's user avatar
jkff
  • Member for 13 years, 3 months
  • Last seen more than 1 year ago
Profile Activity

17 Questions

Score Activity Newest Views
621 votes
6 answers
130k views

What's new in purely functional data structures since Okasaki?

51 votes
8 answers
5k views

Are there non-constructive algorithm existence proofs?

38 votes
8 answers
2k views

Higher-order algorithms

33 votes
5 answers
3k views

Complexity of applying a permutation in-place

30 votes
5 answers
4k views

Binary search generalizations for posets?

23 votes
4 answers
1k views

Can typed lambda calculi express *all* algorithms below a given complexity?

13 votes
2 answers
2k views

Fast sparse boolean matrix product with possible preprocessing

13 votes
1 answer
545 views

Fast sparse boolean matrix chain product

12 votes
6 answers
2k views

"Divide and conquer" data stream algorithms

9 votes
1 answer
244 views

Type systems preventing laziness-related memory leaks?

8 votes
2 answers
607 views

What's the simplest to implement of all decent LTL-to-Buchi translation or other LTL verification algorithms?

8 votes
1 answer
2k views

Fault-tolerant programming languages / paradigms?

7 votes
3 answers
635 views

Best sources on data stream algorithms

5 votes
0 answers
164 views

Indexing structure for all-pairs min-cuts in a huge DAG

4 votes
1 answer
612 views

Multiple-sources dominator trees: compact representation and fast algorithm?

4 votes
1 answer
220 views

Optimizing multiplication in a partly commutative semigroup

1 vote
0 answers
224 views

Distribution of number of unique items in a sample

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.