击中二部图的所有极大独立集
Hitting all Maximal Independent Sets of a Bipartite Graph
摘要：
我们证明了：给定一个顶点集为V的二部图G和一个整数k，判定是否存在一个大小为k的子集V击中G的所有极大独立集对于类Sigma_2^P是完全的.
英文摘要：
We prove that given a bipartite graph G with vertex set V and an integer k, deciding whether there exists a subset of V of size k hitting all maximal independent sets of G is complete for the class Sigma_2^P.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
