Optimal Tests for State-Independent Contextuality

In the previous chapter, we discussed the problem of finding tight inequalities for a given measurement scenario and the computational difficulties associated with it. The design of tests of quantum versus HV theories usually involves as a first step the derivation of tight inequalities, i.e., the optimal inequalities corresponding to the boundaries of the classical set of probabilities, and subsequently the search for a quantum state and observables giving the maximal violation.