Computer Science

Editor

 Editor
First edit.
Awarded 12697 times.
Which of these properties hold for all FO theories? (but not regarding fragments thereof)
Awarded 1 hour ago
Automated API negotiation
Awarded 1 hour ago
Time complexity of $a^{n^b}; a,b>1$
Awarded 2 hours ago
Analysis of updating vertex and one example?
Awarded 3 hours ago
(post deleted or otherwise unavailable)
Awarded yesterday
Relationship between inductive families and type-returning functions
Awarded yesterday
Algorithm for finding shortest set of paths through a weighted DAG (?)
Awarded yesterday
AMBIG_NFA decidability problem
Awarded yesterday
Can you build a solver from a verifier?
Awarded yesterday
Solve the following recurrence-relations: $T(n)=5T(n/3)+T(2n/3)+1,T(n)=2T(\sqrt{n})+\log_2(n)$
Awarded 2 days ago
(post deleted or otherwise unavailable)
Awarded 2 days ago
Ensure a vertex has the highest flow in max-flow algorithm
Awarded 2 days ago
Relationship between dynamic programming and reinforcement learning
Awarded 2 days ago
PDA Explanation
Awarded 2 days ago
Time complexity of a machine which combines Insertion Sort and Quicksort
Awarded 2 days ago
Ensure a vertex has the highest flow in max-flow algorithm
Awarded Nov 24 at 17:49
Is arithmetic turing complete?
Awarded Nov 24 at 17:41
Is the leapfrog automata problem in P?
Awarded Nov 24 at 9:05
Distribution Sort - Split elements
Awarded Nov 24 at 7:11
How do I compress data vectors in broadcast messages?
Awarded Nov 24 at 1:21
Is this set Recursive or Recursively Enumerable?
Awarded Nov 24 at 0:47
(post deleted or otherwise unavailable)
Awarded Nov 23 at 23:26
splitting of people betwen groups with group prioritiy list per person
Awarded Nov 23 at 22:32
Two-Sum Algorithm Design - Pre-sort, Range Allowance, Many Sums
Awarded Nov 23 at 17:38
Prove that $T(n)=\omega(n)$?
Awarded Nov 23 at 12:56
Efficient algorithm for sorting objects by key that values are range from 0 to 100
Awarded Nov 23 at 10:31
How to prove the optimization version problem (whose decision version is NP-complete) can be solved in poly-time iff P=NP?
Awarded Nov 22 at 22:07
reduction from ALLTM to ETM
Awarded Nov 22 at 17:42
How can I make the variance of a multiple sum of set of fixed number of variables minimum?
Awarded Nov 22 at 17:10
Minimum sum of squared Euclidean distance between two arrays
Awarded Nov 22 at 12:56
Difference between present - absent bit and valid - invalid bit in a page table?
Awarded Nov 22 at 11:36
(post deleted or otherwise unavailable)
Awarded Nov 22 at 7:10
How to implement conditional probability distribution on set-valued Random Variables
Awarded Nov 22 at 5:27
How would I calculate the cache hit rate (ratio) percentage?
Awarded Nov 22 at 0:40
(post deleted or otherwise unavailable)
Awarded Nov 21 at 10:42
How does AlphaGo perform when increasing the size of the board?
Awarded Nov 21 at 5:42
Failing to solve a recurrence by induction
Awarded Nov 20 at 21:42
What is loop invariant for this loop?
Awarded Nov 20 at 15:43
Algorithm for locking based on a shared resource (dictionary)
Awarded Nov 20 at 12:40
Proving NP-completeness for a not so cheesy problem
Awarded Nov 19 at 18:55
Finding the Hamiltonian cycle that uses the least amount of straight lines
Awarded Nov 19 at 14:27
Deciding whether complement of context-free language is context-free
Awarded Nov 19 at 8:55
How memory address decoders works?
Awarded Nov 19 at 5:41
Delete edges (to make it oriented) preserving the strongly connected property
Awarded Nov 19 at 5:07
Fastest Algorithm for Computing Expected Value [closed]
Awarded Nov 18 at 23:47
How to convert a string (number representation) to an arbitrary base using custom alphabet?
Awarded Nov 18 at 21:21
Constraint satisfaction problem: solve system, then evaluate whether many additional constraints are satisfied one at a time
Awarded Nov 18 at 14:10
Create an Finite Deterministic Automata for a regular expression
Awarded Nov 18 at 12:48
How do computers really communicate with hard-drives on x86_64?
Awarded Nov 18 at 9:41
Two Vs Dual Port RAM
Awarded Nov 17 at 20:47
$P$-Complete proof
Awarded Nov 17 at 14:56
approaching dynamic programing for problem
Awarded Nov 17 at 14:51
(post deleted or otherwise unavailable)
Awarded Nov 17 at 8:28
Explanation of pseudocode and time complexity analysis
Awarded Nov 17 at 7:56
Design a data structure with constant insertion and sublinear range maximum query
Awarded Nov 16 at 18:41
Graph coloring with fixed-size color classes
Awarded Nov 15 at 21:05
(post deleted or otherwise unavailable)
Awarded Nov 15 at 19:05
Definitions of Computer Architecture and Computer Organization seems confusing
Awarded Nov 15 at 17:30
Can all deterministic non-oblivious Turing machines be simulated by oblivious ones?
Awarded Nov 15 at 17:09
Help understanding main memory to cache block mapping
Awarded Nov 15 at 16:57
1
2 3 4 5
…
212