Certificates for the common-center graph property

ID: certificates-for-the-common-center-graph-property

For , a full star graph requires every nonincident edge to be certified absent, and fixing those bits suffices. Rejection is certified by at most three present edges with empty common intersection; a triangle needs all three. Hence query certificate complexity is for this property.

New to topics? Read the docs here!