Computer Science

Editor

 Editor
First edit.
Awarded 14899 times.
What is region construction in timed automata?
Awarded 17 hours ago
find shortest path from single source to multiple destinations with obstacles which you can move
Awarded 22 hours ago
Time complexity of example algorithm
Awarded yesterday
Is this problem NP-hard ? (about arithmetic progressions)
Awarded yesterday
Infinite loops and the computability of mapping reductions
Awarded yesterday
Can equations be simplified with the help of a given set of equations?
Awarded 2 days ago
What are some approaches / algorithms for reducing size of numerical data of large size with redundancies? [closed]
Awarded Sep 22 at 14:42
(post deleted or otherwise unavailable)
Awarded Sep 22 at 4:58
Skyline problem-Program going into infinite loop for some inputs [closed]
Awarded Sep 22 at 0:16
Time complexity analysis for Searching in a Hash table
Awarded Sep 21 at 9:48
Can you help me confirm this proof is valid for the Sequence Alignment lemma?
Awarded Sep 20 at 21:50
Derive the formula (n-m+1) number of comparisons for worst case Brute-force string matching algorithm
Awarded Sep 20 at 21:19
the sum of probability of words in a sentence to be 1 in ngram [closed]
Awarded Sep 20 at 15:40
Converting hex dump to assembly language [closed]
Awarded Sep 20 at 1:40
Reference request: Time and proofs of a shared past
Awarded Sep 19 at 10:52
How to design a faster sort algorithm? Is there sort of meta-algoritm for it? Or we do not understand how better sort algorithms were discovered?
Awarded Sep 18 at 19:16
Function problem vs decision problem
Awarded Sep 18 at 8:49
Language for the the set of strings with no more than two consecutive a’s [duplicate]
Awarded Sep 18 at 0:43
Combining fork() and algorithms
Awarded Sep 17 at 17:30
How does GHC insert type abstraction/application under the RankNTypes extension
Awarded Sep 17 at 14:50
Average runtime random search without replacement
Awarded Sep 17 at 12:41
Which normal form is it in and How can we change it to 3rd and BC normal form
Awarded Sep 17 at 6:40
(post deleted or otherwise unavailable)
Awarded Sep 16 at 20:57
(post deleted or otherwise unavailable)
Awarded Sep 16 at 20:42
what will be the time complexity of the following procedure?
Awarded Sep 16 at 15:46
Potential Method For Decimal Counter
Awarded Sep 16 at 13:27
Generalizing Fano's Inequality [closed]
Awarded Sep 16 at 2:35
Is Big-Theta a more accurate description of worst case run time than Big-O?
Awarded Sep 15 at 13:18
(post deleted or otherwise unavailable)
Awarded Sep 15 at 11:33
Is it true that everything is a side effect in C?
Awarded Sep 15 at 8:27
Proof for Language: L1 ∪ L2 ⊆ L1L2
Awarded Sep 15 at 7:35
does finite automate have memory?
Awarded Sep 15 at 6:10
Faster Algorithm for sampling a point from the array
Awarded Sep 15 at 4:07
reverse single edge in DAG and keep it a DAG
Awarded Sep 14 at 18:32
Why for loops executed in MEM stage instruction MIPS pipelining
Awarded Sep 14 at 15:08
Minimal-length strings which are substrings of no string in a given CFL
Awarded Sep 14 at 14:37
Looking for a book for learning about circuits & arithmetization
Awarded Sep 14 at 8:04
What is the difference between available expressions analysis and very busy expressions analysis?
Awarded Sep 14 at 6:49
Data structure for tracking ordered sub-sequences of data [duplicate]
Awarded Sep 13 at 4:17
Search for largest element in 1st monotonic subarray with an array consisting of 3 monotonic subarrays
Awarded Sep 12 at 17:40
Generating array such that its lexicographically smallest one
Awarded Sep 12 at 16:47
A 3-regular graph with an even number of vertices is planar?
Awarded Sep 11 at 21:19
Set of Turing machines that accepts at least one input in bounded time
Awarded Sep 11 at 12:41
Running time of SAT and other EXPTIME algorithms
Awarded Sep 10 at 21:26
A problem about min-cut on subgraphs
Awarded Sep 10 at 11:40
(post deleted or otherwise unavailable)
Awarded Sep 10 at 7:07
(post deleted or otherwise unavailable)
Awarded Sep 9 at 17:56
Is assembly macros part of operative system / kernel, or lower down and more seen as hardware?
Awarded Sep 8 at 18:48
Approximate/iterative algorithm for transitive reduction of DAG
Awarded Sep 8 at 16:33
A solution with O(n) time complexity is always slower than a solution with O(nlog(n)) time complexity even though they have the same space complexity
Awarded Sep 8 at 14:26
translating operations per second (OPS) to floating point operations per second (FLOPS)
Awarded Sep 8 at 11:06
A solution with O(n) time complexity is always slower than a solution with O(nlog(n)) time complexity even though they have the same space complexity
Awarded Sep 8 at 8:40
A time complexity question which I'm unsure about
Awarded Sep 6 at 7:36
All finite languages are regular languages, are all regular languages finite?
Awarded Sep 6 at 0:40
(post deleted or otherwise unavailable)
Awarded Sep 5 at 10:32
(post deleted or otherwise unavailable)
Awarded Sep 4 at 12:55
Best data structures to store overlapping intervals?
Awarded Sep 3 at 12:46
(post deleted or otherwise unavailable)
Awarded Sep 1 at 4:42
All possible cycles passing through a vertex "v" containing a particular label
Awarded Sep 1 at 4:35
Is LR(1) closed under concatenation?
Awarded Aug 31 at 16:35
1
2 3 4 5
…
249

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.