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!