Tags

A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.

5 questions
Questions about algorithms that deals with changing input data. Given a class of input objects, find efficient algorithms and data structures to answer a certain query about a set of input objects eac…
5 questions
4 questions
4 questions
4 questions
4 questions
Proof-of-work is a system where one can show an easily verifiable witness that they computed some amount of work, useful or not.
4 questions
TLA+ (tlaplus) is a formal specification language developed by Leslie Lamport. TLA stands for "Temporal Logic of Actions."
4 questions
4 questions
4 questions
4 questions
4 questions
4 questions
3 questions
A precedence graph or conflict graph or serializability graph is a graph of conflicts between transactions in a database.
3 questions
3 questions
Questions about changing input graphs or finding efficient algorithms and data structures to answer a certain query about the graph each time the input graph is modified
3 questions
Analyzing the asymptotic complexity of problems already known to be polynomial time solvable. Often, conditional lower bounds are used to show that a specific algorithm is asymptotically optimal.
3 questions
3 questions
3 questions
2 questions
2 questions
Any question that asks whether SAT with the following constraints is NP-complete or not
2 questions