Computer Science Club

City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Доказательство PCP теоремы (продолжение)
Probabilistically checkable proofs

Повышение зазора: сведение к d-регулярному экспандеру. Описание основного сведения.