Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange


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.

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