Reputation
Badges
0 0 0
Impact
0 people reached

42m
reviewed Approve How to show ExactOneSAT is NP-Complete?
11h
wiki created busy-beaver description
11h
wiki created busy-beaver excerpt
15h
reviewed Approve Single-source shortest paths as a linear program
15h
reviewed Approve What is the Big Theta of $(\log n)^2-9\log n+7$?
21h
revised Turing machine problem with function. Modification of a function
The formula given was unclear
2d
reviewed Approve Finding examples of languages that are “anti-palindromic”
Feb
10
revised Why does garbage collection extend only to memory and not other resource types?
Minor tweaks to formatting and grammar.
Feb
9
reviewed Approve Greibach Normal Form problem
Feb
8
revised Generating uniformly distributed random numbers using a coin
Edited to remove improper array representation
Feb
7
reviewed Approve Why is the dynamic programming algorithm of the knapsack problem not polynomial?
Feb
6
reviewed Approve Grammar ambiguous or not?
Feb
4
reviewed Reject Proof of Program Correctness - Loop Invariants
Feb
2
reviewed Approve Is the following language decidable, enumerable or non-enumerable?
Feb
1
reviewed Approve Limit of the sequence defined by a recurrence
Feb
1
reviewed Approve Which process comes first?
Jan
28
reviewed Approve From Guido's essays, how does this function avoid quadratic behavior in a string concatenation algorithm?
Jan
28
reviewed Approve Maximal number of rotations after deleting a node in an AVL tree
Jan
25
revised Maximum Independent Subset of 2D Grid Subgraph
Link broken, so removed the reference
Jan
23
reviewed Approve DPDA for $L_1 = \{0^i1^j2^k3^m | i,j,k\ge 0,m = i+j+k\}$ according to empty stack criterion