Computer Science

Help Center > Badges > Editor

 Editor
First edit.
Awarded 11184 times.
Is it decidable whether a given Turing machine moves its head more than 481 cells away from the left-end marker, on input?
Awarded 1 hour ago
A data structure for efficiently finding nodes relative to other (ex: if a node is earlier in a list than another node)
Awarded 2 hours ago
Complexity of scalar operations for integers
Awarded 5 hours ago
Why are all these full-fledged workstations running massive OSes with massive software required all over the world?
Awarded 9 hours ago
Why are all these full-fledged workstations running massive OSes with massive software required all over the world?
Awarded 10 hours ago
Normalization in IBM hexadecimal floating point
Awarded 12 hours ago
Path with least max-weight, in an undirected connected graph
Awarded 18 hours ago
How could 'Complete and Easy Bidirectional Type Checking' handle invariant parameters on type constructors
Awarded yesterday
How to write grammar production rules to describe recursive structures?
Awarded yesterday
If a problem is in P solved via dynamic programming, is it also in NP?
Awarded yesterday
Algorithms for procedural generated mazes
Awarded yesterday
Proof of the limit-colimit coincidince
Awarded yesterday
Uniqueness of solution in Arden's theorem
Awarded 2 days ago
Probability of detecting errors in codewords
Awarded 2 days ago
Proof of Fundamental Lower Bound on Regret
Awarded 2 days ago
A question about Pipeline Cycle
Awarded 2 days ago
Is extensionality for coinductive datatypes consistent with Coq's logic?
Awarded 2 days ago
(post deleted or otherwise unavailable)
Awarded Dec 12 at 1:10
Rackoff's coverability bounds in case the addition vectors of VAS and the target vector are from {-1, 0, +1}?
Awarded Dec 10 at 21:20
Placing a tripod in a plane such that it partition a given set of points (with pic)
Awarded Dec 10 at 19:30
(post deleted or otherwise unavailable)
Awarded Dec 10 at 19:00
Does any algorithm loops at some point?
Awarded Dec 10 at 16:40
Design an algorithms to find the index of the first occurrence of an element greater than that key
Awarded Dec 10 at 12:55
Why in the code i ≃ n?
Awarded Dec 10 at 11:40
Reading in string and printing in reverse order MIPS architecture [closed]
Awarded Dec 10 at 6:20
Placing a tripod in a plane such that it partition a given set of points (with pic)
Awarded Dec 9 at 21:15
PSPACE-hardness of the unbounded puzzle
Awarded Dec 9 at 19:50
Stop and Wait protocol in a half duplex scheme
Awarded Dec 9 at 13:35
Can a Non-Deterministic Pushdown Automaton recognize $ \# a^nb^{2^n} \# $ which a TM can?
Awarded Dec 9 at 5:10
(post deleted or otherwise unavailable)
Awarded Dec 9 at 2:00
Proof that $(L_{all})^C$ is not recursively enumerable
Awarded Dec 8 at 22:15
Given a set of sets, what is the largest common intersection between them?
Awarded Dec 8 at 19:55
Convert ambiguous grammar to unambiguous and SLR(1)
Awarded Dec 8 at 12:45
(post deleted or otherwise unavailable)
Awarded Dec 7 at 23:10
Dynamic length of union of segments (1d Klee's measure problem)
Awarded Dec 7 at 22:20
How do I use message passing to find the maximum of all values in a grid?
Awarded Dec 7 at 2:10
Is Category Theory useful for learning functional programming?
Awarded Dec 7 at 0:50
Rectangle Packing with Constraints
Awarded Dec 7 at 0:50
Minimum edge weight k-exact cover with triangle inequality
Awarded Dec 6 at 21:40
(post deleted or otherwise unavailable)
Awarded Dec 6 at 16:35
Is dynamic programming restricted to optimization problems?
Awarded Dec 6 at 16:05
Which sort algorithm to choose given two specific arrays?
Awarded Dec 6 at 11:50
What does normalizing with hidden bit really mean?
Awarded Dec 6 at 4:35
Grammar is LL(1) or not?
Awarded Dec 6 at 0:15
what happens to max flow if we decrease the capacity of every edge by some constant?
Awarded Dec 6 at 0:10
Hanoi towers recursive expression for EVERY algorithm
Awarded Dec 5 at 16:10
Removing vertices from a labelled graph
Awarded Dec 5 at 12:35
Some questions about the Computability of Turing Machines
Awarded Dec 5 at 1:45
Why do we need to take the derivative of the activation function in backwards propagation?
Awarded Dec 4 at 22:40
Is there any other computation theory besides the one in automata theory?
Awarded Dec 4 at 19:35
Largest number of unique values in sets
Awarded Dec 4 at 18:45
Can every regular expression be written as sum of products?
Awarded Dec 4 at 14:40
Minimum XOR for queries
Awarded Dec 4 at 11:50
Prove the equivalence of regular expressions
Awarded Dec 4 at 1:45
Is there any base representation that produces a non-regular language for set S?
Awarded Dec 3 at 23:55
Leader election in synchronous ring with unreliable communication channels
Awarded Dec 3 at 23:50
Cache Direct Map (Index, tag, hit/miss)
Awarded Dec 3 at 21:50
how did they get this answer for the words that don't have bba and abb?
Awarded Dec 3 at 18:15
Given undirected and connected graph G=(V,E). Prove for any DFS run: for any u,v∈V if u.d>v.d then u.d−v.d≥δ(u,v)
Awarded Dec 3 at 17:10
Traversing the edges of a labeled 2-regular graph based on a binary string
Awarded Dec 3 at 10:05
1 2 3 4 5 … 187