Computer Science

Enlightened

 Enlightened
First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.
Awarded 1105 times.
NP-completeness: Reduce to or reduce from?
Awarded yesterday
What is the difference between a R-tree and a BVH?
Awarded Mar 16 at 10:17
Strictness in both arguments but not in each individually
Awarded Mar 16 at 10:17
Can we transfer every DFA to DFAs with start state having no in edge?
Awarded Mar 14 at 19:05
Is there a "Standard Algorithm" language, as used in academic papers?
Awarded Mar 14 at 15:45
Absorption Law Proof by Algebra
Awarded Mar 13 at 18:47
Given computable function, what are conditions for computability of inverse function?
Awarded Mar 12 at 12:47
Ackermann Function without Recursion or Stack
Awarded Feb 28 at 19:04
What is the difference between the Mogensen-Scott and the Boehm-Berarducci encoding for ADTs on the Lambda Calculus?
Awarded Feb 28 at 2:37
What are the hardest problems that are in P if and only if P=NP?
Awarded Feb 16 at 4:18
Difference between diameter of a graph vs longest path of the graph
Awarded Feb 10 at 14:33
Detecting if three Turing Machines halt given a magic oracle that is only used twice
Awarded Feb 1 at 17:08
How does the linker know where to look for a function implementation in C++?
Awarded Jan 31 at 22:56
Normalized measure from dynamic time warping
Awarded Jan 27 at 2:05
Does an algorithm's space complexity include input?
Awarded Jan 25 at 11:30
Algorithm to search substring in a circular string?
Awarded Jan 19 at 11:32
In algorithms for matrix multiplication (eg Strassen), why do we say n is equal to the number of rows and not the number of elements in both matrices?
Awarded Jan 17 at 23:32
Correctness of FIPS 186-4 square test algorithm
Awarded Jan 17 at 19:52
No Naive Set Theoretic Models of Polymorphic Lambda Calculus?
Awarded Jan 16 at 20:57
What if a formal grammar cannot be terminated?
Awarded Jan 16 at 9:07
In a directed acyclic graph, what do you call the nodes with in-degree zero?
Awarded Jan 10 at 9:34
Does spectral graph theory say anything about graph isomorphism
Awarded Jan 9 at 12:48
Paint a Cube by rolling it (Puzzle Algorithm)
Awarded Dec 30, 2022 at 15:30
Can we prove that any set of finite strings without substrings is finite?
Awarded Dec 27, 2022 at 19:57
Lambda Calculus: How do evaluation contexts "work"
Awarded Dec 25, 2022 at 21:42
What is a partially computable function?
Awarded Dec 21, 2022 at 9:10
A monad is just a monoid in the category of endofunctors, what's the enlightenment?
Awarded Dec 13, 2022 at 13:32
lambda calculus as a type theory
Awarded Dec 12, 2022 at 6:20
What is a CPU clock physically?
Awarded Dec 11, 2022 at 10:26
Proof that for 2n nodes of +1 and -1 position doesn't count
Awarded Nov 29, 2022 at 23:01
Count number of non-contiguous occurrences in string
Awarded Nov 22, 2022 at 23:43
Why is static recompilation not possible?
Awarded Nov 18, 2022 at 16:27
Why is ZPP = RP ∩ co-RP?
Awarded Nov 8, 2022 at 20:52
Why is proving something is NP-complete useful, and where can I use it?
Awarded Nov 2, 2022 at 23:47
What is the complexity of the emptiness problem for 2-way DFAs?
Awarded Oct 25, 2022 at 12:48
Given two heuristic values how do I tell which one is admissible?
Awarded Oct 20, 2022 at 12:55
Is SAT an existential question?
Awarded Oct 17, 2022 at 21:15
FFT-less $O(n\log n)$ algorithm for pairwise sums
Awarded Oct 14, 2022 at 15:15
Looking for a dictionary of math/CS notation
Awarded Oct 6, 2022 at 14:46
Why does the order of the nested loops matter when solving the Coin Change problem?
Awarded Oct 3, 2022 at 11:00
Is there a faster than O(n^2) way to compute a vector of length n from another vector and an n by n matrix?
Awarded Sep 29, 2022 at 0:42
Non-regular language whose prefix language is regular but not the whole set of words
Awarded Sep 17, 2022 at 22:35
Showing that Bayes classifier is optimal
Awarded Sep 8, 2022 at 16:33
Boolean algebraic expression vs Propositional logic expression
Awarded Aug 27, 2022 at 9:28
From Guido's essays, how does this function avoid quadratic behavior in a string concatenation algorithm?
Awarded Aug 23, 2022 at 14:43
Regular languages that seem irregular
Awarded Aug 22, 2022 at 18:12
A pumping lemma for deterministic context-free languages?
Awarded Aug 8, 2022 at 22:28
Is there a PRNG that visits every number exactly once, in a non-trivial bitspace, without repetition, without large memory usage, before it cycles?
Awarded Jul 22, 2022 at 22:28
Planarity conditions for Planar 1-in-3 SAT
Awarded Jul 18, 2022 at 14:15
How to prove that a language is not recursively enumerable
Awarded Jul 7, 2022 at 13:26
Array access is O(1) implies a fixed index size, which implies O(1) array traversal?
Awarded Jun 24, 2022 at 11:41
Algorithm for merging arrays while keeping their order
Awarded Jun 23, 2022 at 3:57
How can I show that the Cook-Levin theorem does not relativize?
Awarded Jun 19, 2022 at 23:50
Is $L_{half} = \{w : \text{for some } z \in L, x \in \Sigma^*, z = wx \wedge |w| = |x| \} $ regular?
Awarded Jun 17, 2022 at 23:17
Is it provably true/false that for a program, there exists a proof whether it halts or not?
Awarded Jun 7, 2022 at 4:11
A median of an AVL. How to take advantage of the AVL?
Awarded Jun 2, 2022 at 12:16
Finding all edges on any shortest path between two nodes
Awarded May 23, 2022 at 10:47
Is infinitely fast computer fundamentally impossible even theoretically?
Awarded May 17, 2022 at 9:35
Why rectangle packing is NP-hard but maybe not in NP?
Awarded May 13, 2022 at 0:00
Why does the program counter increment before an instruction is completed?
Awarded May 11, 2022 at 10:52
1
2 3 4 5
…
19

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.