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.
Given a program and the input for it, does it halt or run forever?
an application program that helps humans construct machine-checked proofs.
said to be Hamiltonian if it visits each vertex exactly once.
Questions about Software/Programs/Applications used by TCS researchers
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…
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.