Riddle【2-SAT】

ssl_fuyang

已于 2022-11-03 18:06:34 修改

阅读量144

点赞数

分类专栏： 2-SAT tarjan 文章标签：算法图论 c++

于 2022-11-03 15:18:00 首次发布

本文链接：https://blog.youkuaiyun.com/qq_43010386/article/details/127670929

版权

这篇博客主要探讨了如何解决luogu P6378题目，作者最初尝试用2-SAT的常规方法，但在处理特定条件时遇到时间复杂度问题。为优化解决方案，作者参考了其他博主的建图技巧，通过增加节点数量来减少边的数量，同时提醒注意数组大小的设定，但仍然未能成功。文章提供了解题思路和问题难点。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

>Link

luogu P6378

>Description

在这里插入图片描述

>解题思路

一开始写的时候感觉是2-SAT的板子，结果发现处理“每个部分恰有一个关键点”的时候时间复杂度会爆，后来加了自己写的优化不知道也挂了QAQ
所以看了这个大佬的博客建图，通过增加节点的个数减少边的个数，注意数组要开大QAQ

>代码

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <stack>
#define N 10000010
using namespace std;

stack<int> st;
struct edge
{
   
	int to, nxt;
} e[N];
int n, m, k, cnt, h[N], col[N], dfn[N], low[N], tot, totcol, a[N], x[N], y[N], pre[N][5], sum;
bool ans;

void add (int u, int v)
{
   
	e[++cnt] = (edge){
   v, h[u]};
	h[u] = cnt;
}
void tarjan (int u, int fa)
{
   
	dfn[u

最低0.47元/天解锁文章