Computer Science
jmad's user avatar
jmad's user avatar
jmad's user avatar
jmad
  • Member for 12 years, 1 month
  • Last seen more than a month ago
Profile Activity

81 Answers

Score Activity Newest
5 votes

Optimal myopic maze solver

18 votes
Accepted

How hard is counting the number of simple paths between two nodes in a directed graph?

74 votes
Accepted

Find median of unsorted array in $O(n)$ time

73 votes
Accepted

How to prove that a language is not context-free?

109 votes
Accepted

How to convert finite automata to regular expressions?

33 votes

How to convert finite automata to regular expressions?

0 votes
Accepted

Minimum number that cannot be formed by any subset of an array

8 votes
Accepted

The time complexity of finding the diameter of a graph

6 votes

If P = NP, why wouldn't $\emptyset$ and $\Sigma^*$ be NP-complete?

5 votes

Finding the greatest $k$ numbers with a certainty of $p$

1 vote
Accepted

Showing the function=? is impossible

4 votes
Accepted

Optimization-factoring $\le_p$ Decision-factoring

2 votes
Accepted

How to quickly find a few bisimulations on a given labelled digraph?

4 votes

Is $\{a^nb^m \mid n,m\ge 0, n\ne m\}$ regular or not?

17 votes
Accepted

Counting sort on non-integers - why not possible?

1 vote
Accepted

Memoized Palindrome Subsequence

15 votes
Accepted

what is semantics?

5 votes

An Alternative Hanoi Tower problem

7 votes
Accepted

Hardness and directions of reductions

3 votes

Help Finding Loop Invariant From For Loop

16 votes

What does "dummy argument" mean?

2 votes
Accepted

A regular expression for a given formal language

6 votes

What is the average search complexity of perfect hashing?

28 votes

How to convert finite automata to regular expressions?

2 votes
Accepted

Generating number of possibilites of popping two stacks to two other stacks

1 vote

How to implement deep copy?

7 votes

Can you specify a programming language without implementation?

6 votes

What's the difference between a bridge, a mediator and a wrapper?

7 votes
Accepted

Does there exist any work on creating a Real Number/Probability Theory Framework in COQ?

13 votes

Representing Negative and Complex Numbers Using Lambda Calculus

1
2 3