Computer Science

Excavator

 Excavator
Edit first post that was inactive for 6 months.
Awarded 415 times.
Maximizing book picked using two stacks
Awarded yesterday
Cache effective access time calculation
Awarded 2 days ago
Are the languages recognized by deterministic one-counter machines equivalent to deterministic context free language?
Awarded May 9 at 4:17
How do I visit all edges incident to a vertex in a DCEL data structure?
Awarded May 5 at 5:10
Why is the halting problem semi-decidable?
Awarded May 5 at 5:10
How to count all integers less than a given integer and having two contigous digits as $y$?
Awarded May 3 at 4:25
Minimize sum of squared error
Awarded May 1 at 5:37
Express boolean logic operations in zero-one integer linear programming (ILP)
Awarded May 1 at 5:37
Reduction from 3-SAT to a graph problem
Awarded Apr 30 at 4:47
What is the definition of P, NP, NP-complete and NP-hard?
Awarded Apr 20 at 4:16
Proving that $S^* = (S^*)^*$
Awarded Apr 19 at 7:56
Proving that $S^* = (S^*)^*$
Awarded Apr 19 at 7:56
$UCYCLE$ is in $L$
Awarded Apr 13 at 4:20
Hash size: Are prime numbers “near” powers of two a poor choice for the modulus?
Awarded Apr 9 at 4:55
Product construction for given two finite automata
Awarded Apr 1 at 4:20
Is it possible to do Dependent Types in Typed Racket?
Awarded Mar 25 at 5:20
Construct Turing Machine which accepts the language $ww$
Awarded Mar 25 at 5:20
Quicksort Partitioning: Hoare vs. Lomuto
Awarded Mar 25 at 5:20
Difference between page table and inverted page table
Awarded Mar 24 at 5:05
Can one show NP-hardness by Turing reductions?
Awarded Mar 23 at 4:20
Floyd's Cycle detection algorithm | Determining the starting point of cycle
Awarded Mar 20 at 4:15
How to use adversary arguments for selection and insertion sort?
Awarded Mar 18 at 4:15
Proof of decidability of determining whether a DFA accepts a string
Awarded Mar 11 at 4:55
Knapsack Greedy Approximation: Worst Case
Awarded Mar 2 at 4:10
When would best first search be worse than breadth first search?
Awarded Mar 1 at 4:10
Algorithm for decomposing a complex (self-intersecting) polygon into simple polygons
Awarded Feb 26 at 4:45
Context free grammar for a palindrome of even length + cc
Awarded Feb 24 at 4:20
Updating the distances matrix after single edge was decreased
Awarded Feb 16 at 4:50
What is an IELR(1)-parser?
Awarded Jan 23 at 6:00
Why is quicksort better than other sorting algorithms in practice?
Awarded Jan 23 at 6:00
Why a separate ALU is needed, since any integer can be represented as floating point numbers?
Awarded Jan 18 at 4:35
Whether TM accepts epsilon?
Awarded Jan 17 at 4:35
Image convolution - image darkens
Awarded Jan 11 at 4:05
Proof of Space Hierarchy Theorem incompatible with Linear Speed Up Theorem for time
Awarded Dec 29 '19 at 4:30
Graph find all vertices that are part of a cycle
Awarded Dec 28 '19 at 5:05
Divide N sticks among M boys as homogeneously as possible (ignoring order)
Awarded Dec 24 '19 at 4:45
Mapping intuitionistic logic to the modal logic S4
Awarded Dec 18 '19 at 5:10
What is the simplest known NP-Complete problem for testing P=NP solutions? [closed]
Awarded Dec 15 '19 at 6:50
Does Thompson's algorithm produce optimal NFAs?
Awarded Dec 15 '19 at 6:50
Is extensionality for coinductive datatypes consistent with Coq's logic?
Awarded Dec 12 '19 at 4:05
Why is abstraction in lambda calculus called abstraction?
Awarded Nov 19 '19 at 4:05
how can i find the Maximum Degree of Concurrency?
Awarded Nov 19 '19 at 4:05
Why not to take the unary representation of numbers in numeric algorithms?
Awarded Nov 18 '19 at 4:55
How to sort $N$ fractions from finite set [closed]
Awarded Nov 16 '19 at 4:05
Show that P is closed against the Kleene star
Awarded Nov 16 '19 at 4:05
“NP-complete” optimization problems
Awarded Nov 12 '19 at 4:45
Sorting functions by asymptotic growth
Awarded Nov 12 '19 at 4:45
What is happening during “table walk”?
Awarded Nov 10 '19 at 4:25
Is Python a context-free language?
Awarded Nov 3 '19 at 7:30
Prove np-hardness of dividing items from the lists
Awarded Oct 27 '19 at 17:35
Master Theorem and rounding up to the nearest integer
Awarded Oct 22 '19 at 4:25
Does the BIOS run on the CPU?
Awarded Oct 8 '19 at 5:25
Star operation in CS theory
Awarded Oct 4 '19 at 5:00
2 approximation algorithm for the single machine scheduling problem
Awarded Sep 30 '19 at 5:05
How to find the optimum solution of Weighted set cover in O(2^n)
Awarded Sep 29 '19 at 4:35
Prove that every two longest paths have at least one vertex in common
Awarded Sep 18 '19 at 4:05
Data Science vs Operations Research
Awarded Sep 17 '19 at 4:25
Scheduling algorithms and quantum time
Awarded Sep 16 '19 at 7:40
How to show that a “reversed” regular language is regular
Awarded Sep 11 '19 at 5:50
Writing pseudocode to be language independent
Awarded Sep 11 '19 at 5:50
1
2 3 4 5
…
7