标签：联通 环上 bl 编号 DCC POJ2942 Table 奇环 Knights
正解:图论
解题报告:
一道,综合性比较强的题(我是萌新刚学$OI$我只是想练下$tarjan$,,,$QAQ$
考虑先建个补图,然后现在就变成只有相互连边的点不能做邻居.所以如果有$K$个数能依题目要求坐一张长桌上,就一定是这$K$个数在图上是一个奇环.
所以现在题目就转化成了求所有不在任何一个奇环的点的数量.
引理一.若两个点属于两个不同的$v-DCC$,则他们不可能在一个环上.
考虑反证法,若$x$在编号$bl_x$的$v-DCC$中,$y$在编号为$bl_y$的$v-DCC$中,且$bl_x\not=bl_y$,$xy$在一个环上.
则由$v-DCC$的性质可得,除去图上任意一点$x$与编号为$bl_x$的$v-DCC$中的点依然联通,$y$与编号为$bl_y$的$v-DCC$中的点依然联通.再由环的性质得,出去图上任意一点$xy$依然联通.
所以有出去图上任意一点编号为$bl_x$的$v-DCC$与编号为$bl_y$的$v-DCC$整体都联通.
所以这两个就可以再合并为一个$v-DCC$.这就不满足$v-DCC$的极大性了.所以$xy$不可能在一个环上.
证毕.
引理二.若一个$v-DCC$中存在奇环,则整个$v-DCC$中的所有点都在奇环上.
这不随便证下就完事.因为奇环的长度为奇数,所以一定是由两条奇偶性不同的路径组成.所以不属于奇环的那一段无论奇偶性如何一定可以构造出一个基环.
证毕.
所以只要$tarjan$求个$v-DCC$,然后判下是否有奇环就成.
判奇环可以二分图染色,$QwQ$
$over$
标签：联通,环上,bl,编号,DCC,POJ2942,Table,奇环,Knights 来源： https://www.cnblogs.com/lqsukida/p/11803012.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。