2-sat

最新推荐文章于 2022-10-24 15:47:22 发布
最新推荐文章于 2022-10-24 15:47:22 发布
阅读量167 收藏
点赞数
分类专栏： ACM--图论
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/m0_49959202/article/details/108721039
版权

文章目录

2-sat

1.算法分析

    有 n 个变量x[1…n]，每个变量的可能取值为1或0（或称i和~i必取到其中1个）。
    给定 m 个约束条件，每个约束条件形如：

若 x[i] 取 i（或者~i），则 x[j] 必取 j（或者~j）

    判定是否存在对每个变量的合法赋值，使所有约束都被满足

判定方法：

  1. 建立 2N 个点有向图，i 和 ~i 一般设为 i 和 i+N
  2. 对于每个约束条件连2条有向边（原命题以及其逆否命题），例如 i->j，则同时连 (~j) -> (~i)
  3. Tarjan算法求出有向图的scc
        对于存在某个变量x[i]，i 和 ~i 属于同一个scc（即 i 和 ~i 可以相互导出）则必然无解，否则有解。
  4. 如果要求出路径，那么把每个点的scc[i]和scc[opp(i)]进行比较，如果scc[i] < scc[opp(i)]， 那么输出1; 否则，输出0

本质：
    2-sat的本质就是判断一个xi的属性，因为xi只能是0或1，因此如果xi既是0也是1那么就是非法状态(scc[xi] == scc[~xi])。2-sat和扩展域并查集的本质相同，不同的在于适用条件不同，2-sat只需要一个条件能够推导出2个命题即可(原命题、逆否命题)，而扩展域并查集则需要一个条件能够推导出4个命题(原命题、逆否命题、否命题、逆命题)。异或能够导出4个命题，与/或能导出2个命题。2-sat建立的是有向边，所以使用tarjan算法处理；扩展域并查集使用无向边，所以使用并查集处理。

建边技巧：
    建边的原则就是建边时一定要考虑原命题和它的逆否命题，建边分两种情况:

  1. 第一种:已经告诉i和j有连边，且已知他们之间的关系,&、|、 ^ , 然后按照给定的关系进行建边，&建2条边，|建2条边，^建4条边。
  2. 没有告诉i和j连边，那么只能N^2去枚举i和j，判断它两之间是否能够建边，然后根据判断的结果建边。比如i和j之间不能建边，那就说明i->~j, j->~i。同时，可能存在特殊情况，需要去枚举M^2,那么一般来说M都必须规约到N的数量级才行。注意枚举的时候要判断i==j->continue

2. 板子

// 属于已知边关系建边
#include<bits/stdc++.h>

using namespace std;

int const N = 2e6 + 10, M = 2e6 + 10;
// dfn记录每个点的时间戳,low记录每个点的回溯值，scc[i]=x表示i在标号为x的强连通分量里，stk维护一个栈,sccnum记录强连通分量的个数
int dfn[N], low[N], scc[N], stk[N], sccnum, top, timestamp;  
int h[N], e[M], ne[M], idx;
int n, m;

// a->b有一条边
void add(int a, int b) {
    e[idx] = b, ne[idx] = h[a], h[a] = idx++;
}

// tarjan算法求强连通分量
void tarjan(int root) {
    if (dfn[root]) return;  // 时间戳不为0，返回
    dfn[root] = low[root] = ++timestamp;  // 记录当前点的时间戳和回溯值，初始化二者相同，而后dfn[root]>=low[root]
    stk[++top] = root;  // 把根放入栈内
    for (int i = h[root]; i != -1; i = ne[i]) {// 遍历每一个与根节点相邻的点
        int j = e[i];  // 与i相邻的点为j
        if (!dfn[j]) {// j点没有访问过
            tarjan(j);  // 继续dfs，得到所有以j点为根的子树内所有的low和dfn
            low[root] = min(low[root], low[j]);  // 根的low是其子树中low最小的那个
        }
        else if (!scc[j]) {// 如果j这个点还在栈内(在栈内的话不属于任何一个scc),同时一个栈内的点在一个scc内
            low[root] = min(low[root], dfn[j]);  // low代表所能到达的最小的时间戳
        }
    }
    
    // 如果root的后代不能找到更浅的节点(更小的时间戳)
    if (low[root] == dfn[root]) {  // 只有某个强连通分量的根节点的low和dfn才会相同
        sccnum++;
        while (1) { // 出栈直到等于root
            int x = stk[top--];
            scc[x] = sccnum;
            if (x == root) break;
        }
    }
}

int opp(int x) {
    if (x > n) return x - n;
    else return x + n;
}

int main() {
    cin >> n >> m;
    memset(h, -1, sizeof h);
    for (int i = 1, a, b, c, d; i <= m; ++i) {
        scanf("%d %d %d %d", &a, &b, &c, &d);
        if (!b) a = opp(a);
        if (!d) c = opp(c);

        // a|c=1 => ~a->c, ~c->a 
        add(opp(a), c), add(opp(c), a);
    }

    // tarjan求scc
    for (int i = 1; i <= n * 2; ++i)
        if (!dfn[i]) tarjan(i);
        
    // 判断是否满足条件
    for (int i = 1; i <= n; ++i) {
        if (scc[i] == scc[opp(i)]) {
            cout << "IMPOSSIBLE\n";
            return 0;
        }
    }

    // 打印路径
    cout << "POSSIBLE\n";
    for (int i = 1; i <= n; ++i) {
        if (scc[i] < scc[opp(i)]) cout << "1 ";
        else cout << "0 ";
    }
    return 0;
}

3. 典型例题

3.1 已知点与点关系

acwing370卡图难题
题意： 有N个变量X0~XN−1，每个变量的可能取值为0或1。给定M个算式，每个算式形如 Xa op Xb=c，其中 a,b 是变量编号，c 是数字0或1，op 是 and，or，xor 三个位运算之一。求是否存在对每个变量的合法赋值，使所有算式都成立。
题解： 本题的建边需要好好牢记，&、|能够推出2个命题，^能够推出4个命题
代码：

#include<bits/stdc++.h>

using namespace std;

int const N = 1e3 + 10, M = 4e6 + 10;
// dfn记录每个点的时间戳,low记录每个点的回溯值，scc[i]=x表示i在标号为x的强连通分量里，stk维护一个栈,sccnum记录强连通分量的个数。该题属于已知边关系建边。
int dfn[N], low[N], scc[N], stk[N], sccnum, top, timestamp;  
int h[N], e[M], ne[M], idx;
int n, m;
char op[10];

// a->b有一条边
void add(int a, int b) {
    e[idx] = b, ne[idx] = h[a], h[a] = idx++;
}

// tarjan算法求强连通分量
void tarjan(int root) {
    if (dfn[root]) return;  // 时间戳不为0，返回
    dfn[root] = low[root] = ++timestamp;  // 记录当前点的时间戳和回溯值，初始化二者相同，而后dfn[root]>=low[root]
    stk[++top] = root;  // 把根放入栈内
    for (int i = h[root]; i != -1; i = ne[i]) {  // 遍历每一个与根节点相邻的点
        int j = e[i];  // 与i相邻的点为j
        if (!dfn[j]) {  // j点没有访问过
            tarjan(j);  // 继续dfs，得到所有以j点为根的子树内所有的low和dfn
            low[root] = min(low[root], low[j]);  // 根的low是其子树中low最小的那个
        }
        else if (!scc[j]) {  // 如果j这个点还在栈内(在栈内的话不属于任何一个scc),同时一个栈内的点在一个scc内
            low[root] = min(low[root], dfn[j]);  // low代表所能到达的最小的时间戳
        }
    }
    
    // 如果root的后代不能找到更浅的节点(更小的时间戳)
    if (low[root] == dfn[root]) {  // 只有某个强连通分量的根节点的low和dfn才会相同
        sccnum++;
        while (1) {  // 出栈直到等于root
            int x = stk[top--];
            scc[x] = sccnum;
            if (x == root) break;
        }
    }
}

int main() {
    cin >> n >> m;
    memset(h, -1, sizeof h);
    for (int i = 1, a, b, c; i <= m; ++i) {
        scanf("%d%d%d%s", &a, &b, &c, op);
        getchar();
        if(op[0]=='A' && c==0){//a&b = 0, a->~b, b->~a
            add(a, b + n);
            add(b, a + n);
        }
        if(op[0]=='A' && c==1){//a&b = 1, ~a->a, ~b->b
            add(a + n, a);
            add(b + n, b);
        }

        if(op[0]=='O' && c==0){//a|b = 0, a->~a, b->~b
            add(a, a + n);
            add(b, b + n);
        }
        if(op[0]=='O' && c==1){//a|b = 1, ~a->b, ~b->a
            add(a + n, b);
            add(b + n, a);
        }

        if(op[0]=='X' && c==0){//a^b = 0, a->b, ~a->~b, b->a, ~b->~a
            add(a, b);
            add(a + n, b + n);
            add(b, a);
            add(b + n, a + n);
        }

        if(op[0]=='X' && c==1){//a^b = 1, a->~b, ~a->b, b->~a, ~b->a
            add(a, b + n);
            add(a + n, b);
            add(b, a + n);
            add(b + n, a);
        }
    }

    // tarjan求scc
    for (int i = 1; i <= n * 2; ++i)
        if (!dfn[i]) tarjan(i);
        
    // 判断是否满足条件
    for (int i = 1; i <= n; ++i) {
        if (scc[i] == scc[i + n]) {
            cout << "NO";
            return 0;
        }
    }
    cout << "YES";
    return 0;
}

3.2 未知点与点关系

acwing371牧师约翰最忙碌的一天
题意： 9月1日这天牧师需要忙碌婚礼的事情，有 N 对情侣在这天准备结婚，每对情侣都预先计划好了婚礼举办的时间，其中第 i 对情侣的婚礼从时刻 Si 开始，到时刻 Ti 结束。第 i 对情侣需要 Di 分钟完成这个仪式，即必须选择 Si~Si+Di 或 Ti−Di~Ti 两个时间段之一。现在给定时间可选时间段，求出是否存在合法方案，并打印路径
题解： 本题没有给出边的关系，但点的数目很少，直接枚举建边。属于边未知关系，枚举建边
代码：

#include<bits/stdc++.h>

using namespace std;

int const N = 2e3 + 10, M = N * N;

// dfn记录每个点的时间戳,low记录每个点的回溯值，scc[i]=x表示i在标号为x的强连通分量里，stk维护一个栈,sccnum记录强连通分量的个数
int dfn[N], low[N], scc[N], stk[N], sccnum, top, timestamp;  
int h[N], e[M], ne[M], idx, d[N], n, m, t[N][2];

// a->b有一条边
void add(int a, int b) {
    e[idx] = b, ne[idx] = h[a], h[a] = idx++;
}

// tarjan算法求强连通分量
void tarjan(int root) {
    if (dfn[root]) return;  // 时间戳不为0，返回
    dfn[root] = low[root] = ++timestamp;  // 记录当前点的时间戳和回溯值，初始化二者相同，而后dfn[root]>=low[root]
    stk[++top] = root;  // 把根放入栈内
    for (int i = h[root]; i != -1; i = ne[i]) {  // 遍历每一个与根节点相邻的点
        int j = e[i];  // 与i相邻的点为j
        if (!dfn[j]) { // j点没有访问过
            tarjan(j);  // 继续dfs，得到所有以j点为根的子树内所有的low和dfn
            low[root] = min(low[root], low[j]);  // 根的low是其子树中low最小的那个
        }
        else if (!scc[j]) {  // 如果j这个点还在栈内(在栈内的话不属于任何一个scc),同时一个栈内的点在一个scc内
            low[root] = min(low[root], dfn[j]);  // low代表所能到达的最小的时间戳
        }
    }
    
    // 如果root的后代不能找到更浅的节点(更小的时间戳)
    if (low[root] == dfn[root]) {  // 只有某个强连通分量的根节点的low和dfn才会相同
        sccnum++;
        while (1) { // 出栈直到等于root
            int x = stk[top--];
            scc[x] = sccnum;
            if (x == root) break;
        }
    }
}

// 判断是否矛盾
bool isx(int i, int fi, int j, int fj){
    if(t[i][fi] >= t[j][fj]+d[j]) return 0;
    if(t[i][fi]+d[i] <= t[j][fj]) return 0;
    return 1;
}

int str2int(string s){
    int x = 0;
    x = (s[0]-'0')*10 + (s[1]-'0');
    x *= 60;
    x += (s[3]-'0')*10 + (s[4]-'0');
    return x;
}

string int2str(int x){
    string s = "00:00";
    int h = x/60, m = x%60;
    s[0] = '0' + h/10; s[1] = '0' + h%10;
    s[3] = '0' + m/10; s[4] = '0' + m%10;
    return s;
}

int main() {
    cin >> n;
    memset(h, -1, sizeof h);
    
    // 读入并进行时间转换
    for (int i = 1; i <= n; ++i) {
        string start, end;
        cin >> start >> end >> d[i];
        t[i][0] = str2int(start);
        t[i][1] = str2int(end) - d[i];
    }
    
    // 枚举建边
    for (int i = 1; i <= n; ++i) {
        for (int j = 1; j <= n; ++j) {
            if (i == j) continue;
            
            // isx函数判断是否矛盾
            if (isx(i, 0, j, 0)) add(i, j + n), add(j, i + n);  // i[0]和j[0]矛盾，那么i[0],j[1] 或 i[1],j[0]
            if (isx(i, 1, j, 0)) add(i + n, j + n), add(j, i);
            if (isx(i, 0, j, 1)) add(i, j), add(j + n, i + n);
            if (isx(i, 1, j, 1)) add(i + n, j), add(j + n, i);
        }
    }

    // tarjan求scc
    for (int i = 1; i <= n * 2; ++i)
        if (!dfn[i]) tarjan(i);
        
    // 判断是否满足条件
    for (int i = 1; i <= n; ++i) {
        if (scc[i] == scc[i + n]) {
            cout << "NO\n";
            return 0;
        }
    }

    // 打印路径
    cout << "YES\n";
    for (int i = 1; i <= n; ++i) {
        if (scc[i] < scc[i + n]) cout << int2str(t[i][0]) << " " << int2str(t[i][0] + d[i]) << endl;
        else cout << int2str(t[i][1]) << " " << int2str(t[i][1] + d[i]) << endl;
    }
    return 0;
}
「已注销」
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
AcWing 371. 牧师约翰最忙碌的一天
Hardy_Lee的博客
10-25 124
2-sat
欧拉回路
m0_49959202的博客
01-06 1461
文章目录欧拉回路1.算法分析2.模板2.1 记录点的情形2.2 记录边的情形3.典型例题3.1 欧拉回路判定3.2 欧拉路记录边的情景3.3 欧拉路记录点的情景 欧拉回路 1.算法分析 几个概念： 1.欧拉路： 给定一张无向图，若存在一条从节点S到节点T的路径，恰好不重不漏地经过每条边一次（可以重复经过图中的节点），则称该路径为S到T的欧拉路 2.欧拉回路： 若存在一条从S出发的路径，恰好不重不漏地经过每条边一次（可以重复经过图中的节点），最终回到起点S，则称该路径为欧拉回路 3.欧拉图： 存在欧拉回路的无
2-SAT图解法
07-18
有2-SAT图的介绍与解法，有详细的例题讲解。仙人掌图的判断方法与其3个性质，最后还附上模板。
UESTC 1586 可以说是非常豹笑了 2-SAT+并查集
ProLights的博客
05-16 1752
题意：n个数，m个关系，每个关系表示T==1则a、b两数相同，T == 0则a、b两数不同。 要求判断关系是否没有矛盾。 2-SAT+并查集 有一个大小为2*n的并查集， 如果a、b天相同，则把a和b，以及a+n和b+n，合并， 如果a、b天不同，则把a和b+n，以及a+n和b，合并， 然后i= 1 ~ n，扫一遍，如果 a和a+n在同一颗树中，则相矛盾， 因为不可能那天表情即一样又不一样，答案为NO, 反正为 YES 复杂度 O(2*n)
POJ-1733Parity game（并查集+2-SAT）
sancpp的博客
05-26 95
传送门 1.题意 小 A 和小 B 在玩一个游戏。 首先，小 A 写了一个由 0 和 1 组成的序列 S，长度为 N。 然后，小 B 向小 A 提出了 M 个问题。 在每个问题中，小 B 指定两个数 l 和 r，小 A 回答 S[l∼r] 中有奇数个 1 还是偶数个 1。 机智的小 B 发现小 A 有可能在撒谎。 例如，小 A 曾经回答过 S[1∼3] 中有奇数个 1，S[4∼6] 中有偶数个 1，现在又回答 S[1∼6] 中有偶数个 1，显然这是自相矛盾的。 请你帮助小 B 检查这 M 个答案，并指出在至
2.20 扩展域并查集与2-SAT（扩增）
又菜又爱玩
02-20 339
并查集的专题涉及的知识差不多了，字典树的0/1字典树、AC自动机、可持久化还不行。 并查集一般维护传递的关系。这个扩展域并查集现在还不是很明白，有点和2-SAT类问题混了，目前理解是2-SAT中如果p-&gt;q和非p-&gt;非q一定同时出现，是可以用2倍并查集代替tarjan直接在线判断方案合法性的，然后扩展域并查集还有其他类似的更多元的题型（如食物链的3倍）。 POJ32...
牧师约翰最忙碌的一天 2-SAT
qq_64128135的博客
10-24 189
2-sat 运用
acwing-371. 牧师约翰最忙碌的一天(2-SAT)
m0_46656833的博客
05-06 165
牧师约翰在 9 月 1 日这天非常的忙碌。 有 N 对情侣在这天准备结婚，每对情侣都预先计划好了婚礼举办的时间，其中第 i 对情侣的婚礼从时刻 Si 开始，到时刻 Ti 结束。 婚礼有一个必须的仪式：站在牧师面前聆听上帝的祝福。 这个仪式要么在婚礼开始时举行，要么在结束时举行。 第 i 对情侣需要 Di 分钟完成这个仪式，即必须选择 Si∼Si+Di 或 Ti−Di∼Ti 两个时间段之一。 牧师想知道他能否满足每场婚礼的要求，即给每对情侣安排Si∼Si+Di 或 Ti−Di∼Ti，使得这些仪式的时
2-sat总结
weixin_30408739的博客
03-28 64
算法 构造一个有向图G，每个变量xi拆成两个点2i和2i+1 分别表示xi为假，xi为真 那么对于“xi为真或xj为假”这样的条件 我们就需要连接两条边 2*i —>2*j(表示如果i为假，那么j必须是假) 2*j+1—>2*i+1(表示如果j为真，那么i必须是真) 这就有点像推导的过程 实际上每一个限制条件都会对应两条“对称”的边 接下来逐考...
Tarjan及2-SAT讲课PPT
最新发布
10-20
信息学竞赛，图论算法，Tarjan，缩点，2-SAT 寒假期间的集训讲课 PPT，主要详细讲解了 Tarjan 算法的思想及应用，同时对于 Tarjan 算法的一个扩展——2-SAT 问题进行了详细的讲解，是图论讲课非常好的课件和资料。
2-SAT学习资料
09-07
非原创,仅供学习交流用。 2-sat不是NPC的！
2-SAT.rar_2sat
09-20
现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x] AND A[y]=0、A[x] OR A[y] OR A[z]=1等，要确定A[0..N-1]的值，...这个称为SAT问题，特别的，若每种限制关系中最多只对两个元素进行限制，称为2-SAT问题
2-sat.rar_2sat
09-21
所为2-sat问题，就是2判断问题。该算法是用拆点的方式建图，用找强连通子图的方法推出矛盾，用以判断2-sat是否可行。经典实现，
斯坦纳树
m0_49959202的博客
10-30 1404
文章目录斯坦纳树1.算法分析1.1 斯坦纳树1.2 斯坦纳森林2. 算法模板2.1 斯坦纳树2.2 斯坦纳森林3. 典型例题3.1 求斯坦纳树3.2 求斯坦纳森林 斯坦纳树 1.算法分析 算法描述： 在一个图中，有若干个关键点，将这几个关键点连在一起的最小花费，就是斯坦纳树问题 不同的题目会有不同的限制，比如求 斯坦纳树 ，比如求 斯坦纳森林（需要对斯坦纳树在进行一次状压） 1.1 斯坦纳树 状态表示： f[i][state]f[i][state]f[i][state]表示以i为根的，关键点状态为state
匹配问题
m0_49959202的博客
09-21 941
文章目录二分匹配1. 算法分析1.1 几个重要概念1.2 二分图判定1.3 二分图点覆盖、独立集和最小路径点覆盖1.3.1 二分图的点覆盖1.3.2 二分图的独立集1.3.3 DAG的最小路径点覆盖1.3.4 DAG的最小路径可重复点覆盖2. 模板2.1 染色法判断是否为二分图2.2 匈牙利算法找最大匹配3. 典型例题3.1 染色问题3.2 二分匹配问题3.3 二分图的点覆盖集3.4 二分图的点独立集3.5 DAG的最小路径覆盖 二分匹配 1. 算法分析 1.1 几个重要概念 1.交替路：从一个未匹配点出发
有向图强连通分量
m0_49959202的博客
09-23 663
文章目录有向图强连通分量1 基本概念1.1 名词解释1.2 重要性质1.3 结论2. 板子3. 例题3.1 tarjan + 缩点 + 度3.2 tarjan + 缩点 + dp3.2.1 求最长链、求方案数3.2.2 求解差分约束3.2.3 求解必经点问题 有向图强连通分量 1 基本概念 1.1 名词解释 强连通分量：如果有向图中任意两点都有互相可达的路径，则此图为强连通图。有向图G的极大强连通子图称为G的强连通分量(SCC)（单点肯定都是scc，但要使scc尽可能大，所以能大尽量大） dfn[x]数组:
Prufer编码
m0_49959202的博客
02-21 661
文章目录Prufer编码1.算法分析1.1 prufer序列的构建1.2 prufer序列重建树1.3 Cayley公式1.4 图连通方案数2.模板3.典型例题 Prufer编码 1.算法分析 Prufer 序列 (Prufer code)，是一种将带标号的树用一个唯一的整数序列表示的方法。Prufer 序列可以将一个带标号 n 个结点的树用 [1, n] 中的 n - 2个整数表示，也可以理解为完全图的生成树与数列之间的双射。Prufer一般不用于维护树结构，常用于组合计数问题。 1.1 prufer序列
找环
m0_49959202的博客
03-02 641
文章目录找环1.算法分析1.1 判断是否存在环1.2 找出所有环上的所有点1.3 类拓扑排序找出与度数有关的点集->退化到度数为2的环1.4 找到以s为源点的最小环1.5 floyd找到有向图/无向图的最小环2.模板2.1 判断是否存在环2.2 找出所有环上的所有点2.3 类拓扑排序找出与度数有关的点集->退化到度数为2的环2.4 找到以s为源点的最小环2.5 floyd找最小环3.典型例题3.1 类拓扑排序找出与度数有关的点集->退化到度数为2的环3.2 找到以s为源点的最小环3.3 f
请证明3-CNF-SAT问题是NPC问题
05-30
要证明3-CNF-SAT问题是NPC问题，需要证明两个方面：1）3-CNF-SAT问题是NP问题；2）任何NP问题都可以多项式时间归约到3-CNF-SAT问题。 1）3-CNF-SAT问题是NP问题： 首先，我们可以在多项式时间内验证一个解是否正确，因为对于一个给定的布尔公式，我们可以在多项式时间内计算其结果并与给定的解进行比较。因此，3-CNF-SAT问题是NP问题。 2）任何NP问题都可以多项式时间归约到3-CNF-SAT问题：假设我们有一个NP问题X，我们需要将其转化为3-CNF-SAT问题。我们可以将X问题的任意实例转化为一个布尔公式，使得该公式是3-CNF形式，然后我们可以将该公式作为3-CNF-SAT问题的输入。这个转化过程可以在多项式时间内完成。因此，任何NP问题都可以多项式时间归约到3-CNF-SAT问题。 综上所述，我们证明了3-CNF-SAT问题是NP问题并且任何NP问题都可以多项式时间归约到3-CNF-SAT问题，因此3-CNF-SAT问题是NPC问题。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值