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.

× 39
Questions about set theory
× 39
Given a specification, does a program satisfy it?
× 38
Questions about advice and nonuniformity
× 36
said to be Hamiltonian if it visits each vertex exactly once.
× 35
Given a program and the input for it, does it halt or run forever?
× 35
an application program that helps humans construct machine-checked proofs.
× 34
Questions about Software/Programs/Applications used by TCS researchers
× 34
× 33
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.
× 32
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…