Computer Science

Teacher

 Teacher
Answer a question with score of 1 or more.
Awarded 5113 times.
Does there exist standardized language-agnostic data structure notation?
Awarded 4 hours ago
Inductive proof for the Bubblesort algorithm
Awarded yesterday
Memory Invalidation and Misses
Awarded 2 days ago
Right most set bit O(log N)
Awarded Nov 22 at 18:12
Difference between present - absent bit and valid - invalid bit in a page table?
Awarded Nov 21 at 18:34
proving that a problem is in P
Awarded Nov 20 at 23:18
Steiner tree four points example
Awarded Nov 20 at 3:20
How a swapper manipulates entire processes in the operating system?
Awarded Nov 19 at 20:11
Can I assume every clause of 3SAT has one positive literal?
Awarded Nov 19 at 10:47
How do computers really communicate with hard-drives on x86_64?
Awarded Nov 18 at 17:12
Is there an algorithm to find all connected sub-graphs of size K?
Awarded Nov 16 at 22:17
Clustered index is dense or sparse?
Awarded Nov 12 at 4:51
What does it mean for a grammar to be LR(0)?
Awarded Nov 9 at 18:26
Is this language based on the number of $a$'s of a word over alphabet ${a, b}$ context-free?
Awarded Nov 8 at 18:12
3-SAT with 3 variable occurences
Awarded Nov 7 at 22:55
Are all NP-complete languages downward self-reducible?
Awarded Nov 6 at 0:01
Relationship between Kleene Star of a subset of regular language and the regular language
Awarded Nov 5 at 23:41
Is there code below microcode?
Awarded Nov 5 at 13:42
Recursive descent parser with backtracking for the grammar $S \rightarrow aSa\ |\ aa$
Awarded Nov 4 at 15:41
Complexity of simulating idle games (pt1)
Awarded Nov 3 at 21:47
What does starvation freedom exactly mean?
Awarded Nov 2 at 6:46
Alternatives to multiplication/division/modulo for encoding choices?
Awarded Oct 31 at 22:57
Is “backward substitution” and “backtracking” the same thing?
Awarded Oct 29 at 12:07
Do you have to do reduction both ways to prove a problem is NPC?
Awarded Oct 27 at 14:57
Language of all even-length words with no 1's in left half
Awarded Oct 26 at 20:56
What do you call a data structure containing multiple lists?
Awarded Oct 25 at 23:11
Is there a polynomial sized arithmetic formula for iterated matrix multiplication?
Awarded Oct 23 at 21:48
Time complexity of insertion in linked list
Awarded Oct 21 at 19:41
What is a list of “reasonable but undecidable” theorems?
Awarded Oct 21 at 10:26
Set relationship between Big-Oh and Theta notations
Awarded Oct 21 at 9:05
Set relationship between Big-Oh and Theta notations
Awarded Oct 21 at 9:05
EQtm is not mapping reducible to its complement
Awarded Oct 21 at 3:21
Do we need to check for mantissa overflow in floating point multiplication?
Awarded Oct 20 at 11:11
What algorithm to use, least waste when sawing wood planks
Awarded Oct 19 at 18:18
(post deleted or otherwise unavailable)
Awarded Oct 17 at 23:20
Assuming P = NP, how would one solve the graph coloring problem in polynomial time?
Awarded Oct 13 at 2:57
Number of maximal cliques in a ($2C_4$, $C_5$, $P_5$)-free graph
Awarded Oct 12 at 23:12
Finding a maximum element in min heap
Awarded Oct 12 at 0:41
ML Algorithm for getting top pick in each sample
Awarded Oct 11 at 20:28
Is there difference between a function in mathematics to a function in computer science?
Awarded Oct 11 at 20:18
On the proof techniques of Udi Manber
Awarded Oct 10 at 20:33
Efficient way to calculate the maximum curvature of a cubic spline
Awarded Oct 10 at 20:16
Is it possible to make data structure that will find MEX and support modification queries
Awarded Oct 10 at 16:20
Why does the BFR (Bradley, Fayyad and Reina) algorithm assume clusters to be normally distributed around its centroid?
Awarded Oct 9 at 22:41
Does weak consistency allow reordering of events?
Awarded Oct 9 at 21:26
How to use DFA/NFA to prove the language {$0^n 𝑥1^𝑛$ | x ∈ Σ*, n ≥ 1} is regular?
Awarded Oct 9 at 20:36
Better word to describe JavaScript “algorithm”?
Awarded Oct 9 at 19:06
Is there a tactic to help resolving existential quantifiers in Coq?
Awarded Oct 8 at 8:07
How does the Program Counter work?
Awarded Oct 8 at 0:18
Upper bound on size of minimal binary coverage code
Awarded Oct 7 at 21:40
What does this language notation specify?
Awarded Oct 7 at 19:18
Algorithm for animating/morphing convex polygon diagrams
Awarded Oct 6 at 11:01
How do Context Sensitive Grammar systems work?
Awarded Oct 5 at 19:57
Big O notation for Average case in Linear search
Awarded Oct 5 at 13:26
Big O notation for Average case in Linear search
Awarded Oct 5 at 13:26
A voting scheme where votes are scriptable
Awarded Oct 5 at 6:12
Minimum-average-cost subtree that is not necessarily spanning
Awarded Oct 3 at 13:27
Unifiers modulo commutativity in terms of syntactic unifiers and $\approx_{C}$-class
Awarded Oct 2 at 22:19
Is the Tomasi-Kanade factorization still commonly used as a modern computer vision technique?
Awarded Sep 30 at 6:19
What does it mean that B-tree leaves carry no information?
Awarded Sep 29 at 9:42
1
2 3 4 5
…
86