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.

Questions about advice and nonuniformity
40 questions
Given a specification, does a program satisfy it?
40 questions
39 questions
39 questions
Questions about set theory
39 questions
Given a program and the input for it, does it halt or run forever?
38 questions
an application program that helps humans construct machine-checked proofs.
38 questions
37 questions
36 questions
36 questions
Questions about Software/Programs/Applications used by TCS researchers
36 questions
said to be Hamiltonian if it visits each vertex exactly once.
36 questions
35 questions
Topology the study of objects that can be continuously deformed into other objects without tearing or making holes in the object. It can also mean a family of sets that have the property of a topologi…
34 questions
a cut whose size is at least the size of any other cut. The problem of finding a maximum cut in a graph is known as the max-cut problem.
33 questions
1
3 4
5
6 7
15