Skip to main content
Computer Science

Cleanup

 Cleanup
First rollback.
Awarded 144 times.
Turing Machine transition table for checking a palindrome
Awarded May 16 at 13:41
How can I reduce the complexity of an inverse DFT where I have a uniform frequency series being evaluated at non-uniform target points?
Awarded Mar 16 at 19:09
Returning $k^{th}$ smallest number in $m$ sorted arrays
Awarded Feb 21 at 11:56
number of edges that appeared at least in one shortest path
Awarded Dec 8, 2023 at 13:28
Algorithmic Complexity of Recognizing Claw-Free Graphs
Awarded Oct 31, 2023 at 18:34
Do proofs of $HALT$'s undecidability make it clear that it's practically relevant?
Awarded Oct 16, 2023 at 11:06
Relationship between inductive families and type-returning functions
Awarded Jun 28, 2023 at 6:25
Complexity of this variant of $⊕2SAT$?
Awarded Mar 17, 2023 at 7:21
What is the point of Bloom's filter if its false positive rate is so high?
Awarded Oct 16, 2022 at 22:57
compute cache miss rate by given code
Awarded Aug 16, 2022 at 18:46
Help with two-tape Turing Machine for $L = \{ a^{n^2} | n \ge 0 \}$ - clarification needed
Awarded Jun 18, 2022 at 15:47
Are deterministic Büchi automata omega-closed?
Awarded Apr 28, 2022 at 16:27
Finding all combinations of length k that has at least one of the pairs of T is in it
Awarded Mar 18, 2022 at 18:57
most cost-effective route w.r.t. gas in a labelled graph
Awarded Feb 28, 2022 at 8:07
Does finding a reversal of a regular expression by automata need automata to be a DFA?
Awarded Feb 18, 2022 at 20:56
(post deleted or otherwise unavailable)
Awarded Feb 14, 2022 at 2:42
Boolean formula for graph 3COL
Awarded Oct 19, 2021 at 14:00
How can we get upper bound in terms of Big Oh notation using Master theorem?
Awarded Sep 27, 2021 at 11:21
Must a partial halt decider be a pure function of its inputs?
Awarded Sep 24, 2021 at 21:02
Which case of the master theorem is this recurrence?
Awarded Sep 21, 2021 at 7:16
Making use of one function to recursively find n/3 of another
Awarded Sep 2, 2021 at 1:16
pushdown automata question
Awarded Jun 3, 2021 at 7:08
Proving that recursively enumerable languages are closed against taking prefixes
Awarded May 14, 2021 at 23:19
Augment the tree data structure for disjoint sets to implement the PRINT operation
Awarded May 1, 2021 at 13:07
(post deleted or otherwise unavailable)
Awarded Apr 23, 2021 at 14:41
Is the language of DFAs that accept at some string in $\{b, c\}^*$ decidable?
Awarded Apr 14, 2021 at 13:59
Language of decimal encodings of cubes is not regular
Awarded Apr 4, 2021 at 18:27
Does this data structure already exist?
Awarded Mar 26, 2021 at 0:04
(post deleted or otherwise unavailable)
Awarded Mar 20, 2021 at 6:16
Understanding lemma found in proof of quotient construction for DFAs
Awarded Mar 20, 2021 at 1:02
(post deleted or otherwise unavailable)
Awarded Mar 15, 2021 at 20:10
number of ways evaluation of expression such that value not changed [closed]
Awarded Jan 20, 2021 at 18:03
Where to put the state in a two-stack push down automaton?
Awarded Jan 13, 2021 at 17:12
How to apply Arden's theory to determine a regular expression
Awarded Sep 7, 2020 at 12:06
Is checking if regular languages are equivalent decidable? [duplicate]
Awarded Jul 20, 2020 at 0:55
The buckets of water problem
Awarded Jul 14, 2020 at 22:26
How many different (full/complete) in-order binary-trees do exist?
Awarded Jun 4, 2020 at 11:48
Is a language regular if a word is in a regular language but the reverse is not?
Awarded Mar 20, 2020 at 22:15
(post deleted or otherwise unavailable)
Awarded Feb 18, 2020 at 15:30
Finding minimum in PRAM model
Awarded Nov 20, 2019 at 0:50
How shall I understand the undesirable consequences of dynamic scoping?
Awarded Nov 6, 2019 at 1:10
Does topological sort exist for any complete directed acyclic graph?
Awarded Oct 21, 2019 at 10:55
State true or false --> x = Θ(n⁴), y = Θ(n²) therefore x/y = Θ(n²)
Awarded Aug 3, 2019 at 8:30
Range of each building in array
Awarded Aug 2, 2019 at 13:00
Number of equivalence classes in $P$
Awarded Jun 16, 2019 at 13:40
Randomized algorithm to compute cover radius?
Awarded May 28, 2019 at 1:50
When will SLR(1) parser fail but CLR(1) will not
Awarded May 26, 2019 at 15:25
How can I prove the linear time search algorithm takes O(n) time? [duplicate]
Awarded Apr 30, 2019 at 3:45
Example of a parsing/rewriting system?
Awarded Mar 18, 2019 at 2:20
Implicit nil checks in algorithms
Awarded Mar 14, 2019 at 16:20
Prove PSPACE is closed under complement? [duplicate]
Awarded Mar 8, 2019 at 3:00
What is the time complexity of enqueue and dequeue of a queue implemented with a singly linked list?
Awarded Mar 2, 2019 at 21:15
Random observations of a total ordering, how much they tell us?
Awarded Feb 25, 2019 at 19:55
How to generate an LL(2) parse table?
Awarded Feb 11, 2019 at 23:55
DFA for $L = \{y \in (a+b)^* \mid ||y|_a - |y|_b| \leq 10 \}$
Awarded Feb 11, 2019 at 23:45
Automata that is Turing complete if you add a nondeterminism
Awarded Feb 2, 2019 at 10:00
Can QBF encode #QBF?
Awarded Nov 28, 2018 at 3:45
Is there a name for this graph search strategy?
Awarded Nov 1, 2018 at 17:00
Minimize sum of squares of rows in matrix when sum of columns have some constraint
Awarded Oct 13, 2018 at 15:30
Why cannot match $ Bool \equiv Bool $ with $ refl $ while $1 \equiv 1$ can?
Awarded Oct 12, 2018 at 18:15
1
2 3