Skip to main content
Computer Science

Scholar

 Scholar
Ask a question and accept an answer.
Awarded 11758 times.
Why is ot returning TRUE in first case and FALSE in the second?
Awarded 20 hours ago
Why can one define a Turing Machine by its "description"?
Awarded yesterday
Proving that $T(n)=16T\left(\frac{n}{4}\right)+n! \in \Theta(n!)$
Awarded yesterday
Clique Covering - Does it help knowing a graph can be partitioned into equal-sized cliques with known representatives?
Awarded yesterday
Stuck reading "Optimal Biweighted Binary Trees and the Complexity of Maintaining Partial Sums"
Awarded Jul 17 at 16:47
Binary search tree with height of max 1.44 * log(n) is AVL tree or it's not an iff
Awarded Jul 15 at 13:58
Proof for Gas Refills on Circular Route Problem
Awarded Jul 14 at 15:21
Is 3, 3 satisfiability trivial after all?
Awarded Jul 10 at 15:07
An algorithm for generating a permutation of N numbers ranging from 1 to N with the maximum of smallest neighbouring differences
Awarded Jul 8 at 21:18
Algorithm for finding the minimum factorization of a tensor product expression
Awarded Jul 8 at 20:15
Given that A linear-time reduces to B, what is the solvable relation?
Awarded Jul 8 at 8:48
Fit data to a lookup table
Awarded Jul 8 at 7:54
Splitting strings in pumping lemma for regular language
Awarded Jul 7 at 18:46
Classification of efficient and inefficient algorithms and the scientific reasoning behind them
Awarded Jul 6 at 22:18
I1 writing back to memory, while I2 currently executing on value depended on I1. How is result coherency maintained?
Awarded Jul 6 at 0:20
Understanding Polynomial Rolling Hash Function by Modular Arithmetic
Awarded Jul 5 at 13:18
Is this "binary submatrix sum equation" problem NP-hard?
Awarded Jun 30 at 23:06
1-in-k-SAT problem restricted to only positive literals and at most two occurrences of a variable
Awarded Jun 30 at 17:06
$O(|V||E|)$ algorithm for finding all the cut vertices in a connected graph
Awarded Jun 30 at 8:56
Why $\models (F \rightarrow G)$ when $F$ and $G$ share no atomic formulas implies that either $F$ is unsatisfiable or $G$ is a tautology?
Awarded Jun 30 at 6:16
Is it possible to have intersection of L1 and L2 DFA contain states with no input edge?
Awarded Jun 27 at 22:05
How to determine whether two recursive data types overlap
Awarded Jun 27 at 20:35
Extract dominant value per column with single value per row in a matrix
Awarded Jun 27 at 3:48
Exception handling: 'catch' without explicit 'try'
Awarded Jun 26 at 19:27
Are Context-Free languages closed under XOR?
Awarded Jun 26 at 10:11
Does modifying input space change space complexity?
Awarded Jun 26 at 9:46
Should a PDA reject words not in language?
Awarded Jun 26 at 9:11
Finding maximal elements of a partially ordered set
Awarded Jun 26 at 8:28
Poly Time Algorithm for (0/1) Basic Feasible Solution
Awarded Jun 26 at 4:33
File format for SAT competitions
Awarded Jun 25 at 3:19
What is b-bit precision?
Awarded Jun 24 at 7:26
How does paging avoid external fragmentation with different page sizes across processes?
Awarded Jun 23 at 9:11
How to formally prove that any regular expression can be written as a finite combination of base cases and operations?
Awarded Jun 23 at 7:41
Is the language {a^m b^n a^n b^m | m, n >= 1} context free?
Awarded Jun 23 at 6:20
Lower bound states for NFAs: seeking examples and methods
Awarded Jun 22 at 15:40
Quickly converting a regex into a minimized DFA
Awarded Jun 21 at 13:57
Is there a "leader election" algorithm for communication via shared disks?
Awarded Jun 21 at 13:11
Sorting rational numbers in linear time
Awarded Jun 20 at 15:19
How to write a Y-combinator implementation in javascript that does not exceed maximum stack size
Awarded Jun 19 at 15:40
Data structure that allows accessing elements by index and delete them in O(logn)
Awarded Jun 19 at 11:57
What happens if CRC fails and errors are not detected?
Awarded Jun 19 at 8:19
Determining whether there's a permutation that satisfies a linear equation
Awarded Jun 18 at 10:21
What is the optimal solution for the following "Largest lexicographical string with <= K consecutive elements" problem? Why is my answer wrong?
Awarded Jun 17 at 23:02
Question about a grammar who generates $(0+1)^*$
Awarded Jun 17 at 13:26
What is the name of a DFA where all long enough words are synchronizing words?
Awarded Jun 17 at 4:06
Prove that the L1 distance between two arrays is minimized when both are sorted
Awarded Jun 16 at 11:58
Benjamin Pierce Types and Programming Languages 6.1.5 Clarification
Awarded Jun 15 at 9:15
PDA for $\{a^i b^j c^k : i \neq j \}$
Awarded Jun 14 at 9:41
Find the transitive closure but with a twist
Awarded Jun 13 at 8:56
NP-hardness of solving systems of *homogeneous* polynomial equations
Awarded Jun 13 at 6:42
Are my ideas good enough to be hired by programming design groups?
Awarded Jun 11 at 11:52
Discard all ambiguity from given CFG
Awarded Jun 10 at 13:27
Find the largest caterpillar subtree
Awarded Jun 10 at 10:09
Is there a formal methodology for determining time complexity of an implementation of an algorithm?
Awarded Jun 7 at 10:11
Termination of standard encoding of CFG as PDA for words not in the language
Awarded Jun 6 at 7:37
If Halting is not recursive, then why is it that not every set of the form $\{M: \text{M is a Turing machine that does XXX}\}$ is not recursive?
Awarded Jun 5 at 19:16
How do computer scientists finds a minimum of a tuple?
Awarded Jun 4 at 12:00
Why there is no definition of cut vertex in directed graph?
Awarded Jun 2 at 22:18
Does P=BPP implies we can construct a Boolean circuit for a fair coin flip?
Awarded Jun 2 at 6:35
RAM architecture vs. CPU architecture
Awarded Jun 2 at 5:18
1
2 3 4 5
…
196