Computer Science

Help Center > Badges > Excavator

 Excavator
Edit first post that was inactive for 6 months.
Awarded 376 times.
Is extensionality for coinductive datatypes consistent with Coq's logic?
Awarded 2 days ago
Why is abstraction in lambda calculus called abstraction?
Awarded Nov 19 at 4:05
how can i find the Maximum Degree of Concurrency?
Awarded Nov 19 at 4:05
Why not to take the unary representation of numbers in numeric algorithms?
Awarded Nov 18 at 4:55
How to sort $N$ fractions from finite set [closed]
Awarded Nov 16 at 4:05
Show that P is closed against the Kleene star
Awarded Nov 16 at 4:05
“NP-complete” optimization problems
Awarded Nov 12 at 4:45
Sorting functions by asymptotic growth
Awarded Nov 12 at 4:45
What is happening during “table walk”?
Awarded Nov 10 at 4:25
Is Python a context-free language?
Awarded Nov 3 at 7:30
Prove np-hardness of dividing items from the lists
Awarded Oct 27 at 17:35
Master Theorem and rounding up to the nearest integer
Awarded Oct 22 at 4:25
Does the BIOS run on the CPU?
Awarded Oct 8 at 5:25
Star operation in CS theory
Awarded Oct 4 at 5:00
2 approximation algorithm for the single machine scheduling problem
Awarded Sep 30 at 5:05
How to find the optimum solution of Weighted set cover in O(2^n)
Awarded Sep 29 at 4:35
Prove that every two longest paths have at least one vertex in common
Awarded Sep 18 at 4:05
Data Science vs Operations Research
Awarded Sep 17 at 4:25
Scheduling algorithms and quantum time
Awarded Sep 16 at 7:40
How to show that a “reversed” regular language is regular
Awarded Sep 11 at 5:50
Writing pseudocode to be language independent
Awarded Sep 11 at 5:50
Why is the clique problem NP-complete?
Awarded Sep 10 at 4:30
Minimum feedback vertex set [closed]
Awarded Aug 21 at 4:50
Difference between substitution, morphism, and homomorphism
Awarded Aug 18 at 4:15
What is rightmost sentential forms?
Awarded Aug 10 at 4:15
Reconstruct directed graph from list of ancestors for each node
Awarded Aug 7 at 4:30
Existence of bipartite perfect matching
Awarded Aug 3 at 5:55
Difference between normal-order and applicative-order evaluation
Awarded Aug 2 at 4:40
Don't understand one step for AVL tree height log n proof
Awarded Jul 30 at 4:45
Length of distinguishing string for a DFA
Awarded Jul 25 at 4:40
Confusion related to a divide and conquer problem
Awarded Jul 23 at 4:55
Properties of Reverse Polish Notation expressions that are algebraically invariant
Awarded Jul 13 at 4:45
STCON is NL complete - but why is the reduction in L?
Awarded Jul 3 at 4:10
Why is deep learning hyped despite bad VC dimension?
Awarded Jun 28 at 4:05
Finding minimum spanning tree with O(|V|)
Awarded Jun 27 at 4:05
How did the Logic Theorist prove the Pons Asinorum?
Awarded Jun 26 at 5:00
What is meant by superlinear speedup? Is it possible to have superlinear speedup in practice?
Awarded Jun 26 at 5:00
Does there exist a finite automaton for the given language?
Awarded Jun 24 at 4:25
Can regular languages be Turing complete?
Awarded Jun 14 at 4:10
How to prove that a language is not recursively enumerable
Awarded Jun 7 at 5:10
Divide N sticks among M boys as evenly as possible
Awarded Jun 2 at 4:05
What is oblivious RAM and how does it work?
Awarded May 25 at 4:20
Trying to show if two languages are recognizable or not
Awarded May 23 at 4:06
Does precedence matter in constructing parse trees of arithmetic expressions for postfix notation?
Awarded May 22 at 4:20
Polygon casting - Removing from mold by rotation
Awarded May 2 at 4:25
Clustered Regions by Each Neuron in Self Organizing Map (SOM)
Awarded May 2 at 4:25
Is automatic multicore support at the hardware or compiler level possible?
Awarded Apr 30 at 5:05
Prove that a language is not regular with process of elimination [duplicate]
Awarded Apr 28 at 4:25
KMP - longest palindromic prefix
Awarded Apr 27 at 4:25
How can it be decidable whether $\pi$ has some sequence of digits?
Awarded Apr 24 at 5:35
Teaching Recursion
Awarded Apr 23 at 6:05
Description of shape in a vector form
Awarded Apr 22 at 6:10
Order of a leaf node in B+ Tree
Awarded Apr 17 at 4:15
Definition of an immune set
Awarded Apr 5 at 4:55
Amdahl's law or gustafson's law
Awarded Apr 5 at 4:55
FM-index - print all patterns
Awarded Mar 26 at 5:25
Turing Machine remembering copied symbols
Awarded Mar 22 at 4:05
Problem with definition of bisimilarity
Awarded Mar 20 at 5:45
How many different max-heaps exist for a list of n integers?
Awarded Mar 15 at 4:15
What is the time complexity of calling successor $n$ times during tree traversal?
Awarded Mar 14 at 4:10
1 2 3 4 5 … 7