Computer Science

Excavator

 Excavator
Edit first post that was inactive for 6 months.
Awarded 585 times.
Does PETSc really give speedup?
Awarded Dec 1 at 4:41
Proof that median of an array is the number that minimizes the sum of manhattan distance to all points
Awarded Dec 1 at 4:41
Data Structure for Set Intersection?
Awarded Dec 1 at 4:41
Show that any monotone Boolean function is computable by a circuit containing only AND and OR gates
Awarded Nov 28 at 16:23
What would be the practical consequences of ZPP=exptime
Awarded Nov 5 at 4:16
Maximum sub-matrix sum
Awarded Oct 25 at 4:08
BIT: What is the intuition behind a binary indexed tree and how was it thought about?
Awarded Oct 25 at 4:08
Complexity class of Matrix Inversion
Awarded Oct 25 at 4:08
Are there any algorithms that decide if a PDA (pushdown automaton) accepts a sentence?
Awarded Oct 5 at 4:58
The meaning of discount factor on reinforcement learning
Awarded Sep 7 at 4:35
Are all irregular languages infinite?
Awarded Sep 3 at 4:11
Confused about Turing Recognizability
Awarded Sep 1 at 5:35
Calculate shortest cycle that contains node $s$
Awarded Aug 26 at 5:45
Having trouble calculating the asymptotic running time of MAX-HEAPIFY
Awarded Aug 12 at 6:31
Why doesn't the Needleman-Wunsch algorithm find solutions that begin with a gap?
Awarded Aug 10 at 19:05
Algorithm to find diameter of a tree using BFS/DFS. Why does it work?
Awarded Aug 4 at 6:03
Do all computers use parity checking? When does it happen?
Awarded Jul 27 at 5:09
Why do Karnaugh maps work?
Awarded Jul 27 at 5:09
Initial temperature in simulated annealing algorithm
Awarded Jul 27 at 5:09
Algorithm Asymptotic Analysis
Awarded Jul 27 at 5:09
Finding the runtime out of a recursion formula when using divide-and-conquer
Awarded Jul 27 at 5:09
Single queue instruction issuing in computer architecture
Awarded Jul 27 at 5:09
Interval Scheduling Problem with more than One Resource
Awarded Jul 27 at 5:09
Double Hashing with Strings as key
Awarded Jul 19 at 4:46
Context Sensitive Grammar for the language $\{a^nb^nc^n\mid n≥1\}$
Awarded Jul 14 at 8:33
Asymptotic Relationship between $\frac{1}{n}$ and $\frac{1}{2^n}$
Awarded Jun 23 at 5:31
Relationship between NP and CoNP
Awarded Jun 22 at 5:41
What does it mean to "strengthen the precondition and weaken the postcondition" in Hoare logic?
Awarded Jun 22 at 5:41
Is $B=\{a^n b^m \mid n \not= 2m\}$ a context free grammar
Awarded Jun 4 at 4:26
Turing Machines: What is the difference between recognizing, deciding, total, accepting, rejecting?
Awarded May 30 at 5:55
show for any Languages $L_1$ and $L_2$ exists a Language $L$ with $L_1 \leq_{log} L$ and $L_2 \leq_{log} L$
Awarded May 20 at 4:17
Proof: is the language $L_1=\{\langle M\rangle\mid\emptyset \subseteq L(M)\}$ (un)-decidable?
Awarded May 18 at 4:08
Are there lossless data compression techniques that do not exploit repetitive patterns?
Awarded Apr 19 at 4:15
why does ${a^nb^n}$ fit the pumping lemma for context-free languages?
Awarded Mar 1 at 6:27
How to cover given entries in a matrix with minimum number of rows and columns?
Awarded Feb 22 at 2:03
Counter automata with a bound on the counters?
Awarded Feb 19 at 4:07
What defines how many lookahead a lexer has?
Awarded Feb 15 at 4:36
Is the halting problem theorem really proven
Awarded Feb 15 at 4:36
Proving that the shortest simple path problem between two vertices $s$ and $t$ in a graph is NP-complete
Awarded Feb 9 at 5:07
Why product type is a dependent SUM?
Awarded Feb 7 at 4:35
Time complexity of a 2-heap question
Awarded Jan 20 at 5:28
Finding the frequency of each unique value of an attribute in a relation (RELATIONAL ALGEBRA)
Awarded Jan 20 at 5:28
Proof of linear search?
Awarded Jan 7 at 4:03
Lambda Calculus: How do evaluation contexts "work"
Awarded Dec 26, 2022 at 4:42
Why does Lamport clocks increment on both message received and sent?
Awarded Dec 17, 2022 at 4:12
Demonstrating that for every monotonic grammar there is an equivalent context-sensitive grammar
Awarded Dec 17, 2022 at 4:12
Matrix-vector multiplication using only lower triangular of matrix
Awarded Dec 6, 2022 at 8:21
Do theorem provers demonstrate their own correctness?
Awarded Dec 1, 2022 at 4:34
Is there any horn formula equisatisfiable to the clause that is a disjunction of two literals? Does an equivalent also exist?
Awarded Dec 1, 2022 at 4:34
$\Phi_1=1$ or $\Phi_1=2$ for the dynamic $\text{Table-Insert}$ , where $\Phi_i$ is the potential function after $i$ th operation, as per CLRS
Awarded Nov 29, 2022 at 6:27
Dynamic Programming vs Memoization
Awarded Nov 28, 2022 at 4:12
Bounded waiting and starvation free in critical section problem
Awarded Nov 14, 2022 at 4:17
Why did MIPS include shamt and distinguish funct/opcode?
Awarded Oct 11, 2022 at 4:45
Calculate the size of Logical and Physical Address
Awarded Oct 10, 2022 at 4:10
Proving Big Omega of a polynomial without limits
Awarded Oct 10, 2022 at 4:10
Find Optimal Permutation/Positioning to Minimize the Total Distance for a Given Path
Awarded Oct 10, 2022 at 4:10
Looking for a dictionary of math/CS notation
Awarded Oct 6, 2022 at 6:50
The complement of coNP with oracle
Awarded Oct 3, 2022 at 5:18
Are NP-Complete languages closed under any regular operations?
Awarded Oct 3, 2022 at 5:18
In what sense are dataflow architectures non-deterministic?
Awarded Oct 3, 2022 at 5:18
1
2 3 4 5
…
10

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.