挑战程序竞赛系列(79):4.3 2-SAT(3)

挑战程序竞赛系列(79):4.3 2-SAT(3)

传送门:POJ 2723: Get Luffy Out

题意:

题目意思有点坑,实际上给出每一对钥匙,如(0,3),如果选择了钥匙0,那么后续的门只能用钥匙0开,而不能再选择3,意味着每对钥匙是可以开多扇门的。

思路: 二分+2-SAT,每一扇门有两把锁,一扇门能推出一对矛盾关系,如OJ上提供的数据:

3 6
0 3
1 2
4 5
0 1
0 2
4 1
4 2
3 5
2 2
0 0

第一扇门为:(0,1)
那么对应的钥匙串有(0,3)和(1,2)

开任意一把锁都能通过该层,如下:
钥匙串A 钥匙串B  门
0      1       通过
0      2       通过
3      1       通过
3      2       未通过

所以此处矛盾关系为3和2,即钥匙串1和钥匙串2不能同时选择3和2。
有了矛盾关系就可以根据2-SAT模型去解了。

二分:
显然,矛盾关系越多(每扇门一个约束条件),符合条件的钥匙串选择就越少,符合单调性,加快搜索。

代码如下:

import java.io.BufferedReader;
import java.io.File;
import java.io.FileInputStream;
import java.io.IOException;
import java.io.InputStream;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;
import java.util.Map;
import java.util.StringTokenizer;

public class Main{

    String INPUT = "./data/judge/201709/P2723.txt";

    public static void main(String[] args) throws IOException {
        new Main().run();
    }

    int[][] doors;
    int[] keys;
    int N, M;

    class SCC {
        int V;
        List<Integer>[] g;
        List<Integer>[] rg;
        List<Integer> po;
        boolean[] used;
        int[] cmp;

        SCC(int V){
            this.V = V;
            g  = new List[V];
            rg = new List[V];
            po = new ArrayList<Integer>();
            used = new boolean[V];
            cmp  = new int[V];
            for (int i = 0; i < V; ++i) g[i]  = new ArrayList<Integer>();
            for (int i = 0; i < V; ++i) rg[i] = new ArrayList<Integer>();
        }

        void add(int from, int to) {
            g[from].add(to);
            rg[to].add(from);
        }

        void dfs(int v) {
            used[v] = true;
            for (int u : g[v]) {
                if (!used[u]) dfs(u);
            }
            po.add(v);
        }

        void rdfs(int v, int k) {
            used[v] = true;
            cmp[v]  = k;
            for (int u : rg[v]) {
                if (!used[u]) rdfs(u, k);
            }
        }

        int kosarajuSCC() {
            for (int i = 0; i < V; ++i) {
                if (!used[i]) dfs(i);
            }
            Arrays.fill(used, false);
            int k = 0;
            for (int i = po.size() - 1; i >= 0; --i) {
                int v = po.get(i);
                if (!used[v]) rdfs(v, k++);
            }
            return k;
        }
    }

    void read() {
        while (true) {
            N = ni();
            M = ni();
            if (N + M == 0) break;

            keys = new int[2 * N];
            for (int i = 0; i < N; ++i) {
                int A = ni();
                int B = ni();
                keys[A] = B;
                keys[B] = A;
            }

            doors = new int[M][2];
            for (int i = 0; i < M; ++i) {
                doors[i] = new int[] {ni(), ni()};
            }

            solve();
        }
    }

    void solve() {
        int lf = 0, rt = M;
        while (lf < rt) {
            int mid = lf + (rt - lf + 1) / 2;
            if (!valid(mid)) {
                rt = mid - 1;
            }
            else {
                lf = mid;
            }
        }
        out.println(lf);
    }

    boolean valid(int m) {
        SCC scc = new SCC(2 * N);
        for (int i = 0; i < m; ++i) {
            scc.add(keys[doors[i][0]], doors[i][1]);
            scc.add(keys[doors[i][1]], doors[i][0]);
        }

        scc.kosarajuSCC();
        for (int i = 0; i < scc.V; ++i) {
            if (scc.cmp[i] == scc.cmp[keys[i]]) {
                return false;
            }
        }
        return true;
    }

    FastScanner in;
    PrintWriter out;

    void run() throws IOException {
        boolean oj;
        try {
            oj = ! System.getProperty("user.dir").equals("F:\\java_workspace\\leetcode");
        } catch (Exception e) {
            oj = System.getProperty("ONLINE_JUDGE") != null;
        }

        InputStream is = oj ? System.in : new FileInputStream(new File(INPUT));
        in = new FastScanner(is);
        out = new PrintWriter(System.out);
        long s = System.currentTimeMillis();
        read();
        out.flush();
        if (!oj){
            System.out.println("[" + (System.currentTimeMillis() - s) + "ms]");
        }
    }

    public boolean more(){
        return in.hasNext();
    }

    public int ni(){
        return in.nextInt();
    }

    public long nl(){
        return in.nextLong();
    }

    public double nd(){
        return in.nextDouble();
    }

    public String ns(){
        return in.nextString();
    }

    public char nc(){
        return in.nextChar();
    }

    class FastScanner {
        BufferedReader br;
        StringTokenizer st;
        boolean hasNext;

        public FastScanner(InputStream is) throws IOException {
            br = new BufferedReader(new InputStreamReader(is));
            hasNext = true;
        }

        public String nextToken() {
            while (st == null || !st.hasMoreTokens()) {
                try {
                    st = new StringTokenizer(br.readLine());
                } catch (Exception e) {
                    hasNext = false;
                    return "##";
                }
            }
            return st.nextToken();
        }

        String next = null;
        public boolean hasNext(){
            next = nextToken();
            return hasNext;
        }

        public int nextInt() {
            if (next == null){
                hasNext();
            }
            String more = next;
            next = null;
            return Integer.parseInt(more);
        }

        public long nextLong() {
            if (next == null){
                hasNext();
            }
            String more = next;
            next = null;
            return Long.parseLong(more);
        }

        public double nextDouble() {
            if (next == null){
                hasNext();
            }
            String more = next;
            next = null;
            return Double.parseDouble(more);
        }

        public String nextString(){
            if (next == null){
                hasNext();
            }
            String more = next;
            next = null;
            return more;
        }

        public char nextChar(){
            if (next == null){
                hasNext();
            }
            String more = next;
            next = null;
            return more.charAt(0);
        }
    }

    static class D{

        public static void pp(int[][] board, int row, int col) {
            StringBuilder sb = new StringBuilder();
            for (int i = 0; i < row; ++i) {
                for (int j = 0; j < col; ++j) {
                    sb.append(board[i][j] + (j + 1 == col ? "\n" : " "));
                }
            }
            System.out.println(sb.toString());
        }

        public static void pp(char[][] board, int row, int col) {
            StringBuilder sb = new StringBuilder();
            for (int i = 0; i < row; ++i) {
                for (int j = 0; j < col; ++j) {
                    sb.append(board[i][j] + (j + 1 == col ? "\n" : " "));
                }
            }
            System.out.println(sb.toString());
        }
    }

    static class ArrayUtils {

        public static void fill(int[][] f, int value) {
            for (int i = 0; i < f.length; ++i) {
                Arrays.fill(f[i], value);
            }
        }

        public static void fill(int[][][] f, int value) {
            for (int i = 0; i < f.length; ++i) {
                fill(f[i], value);
            }
        }

        public static void fill(int[][][][] f, int value) {
            for (int i = 0; i < f.length; ++i) {
                fill(f[i], value);
            }
        }
    }

    static class Num{
        public static <K> void inc(Map<K, Integer> mem, K k) {
            if (!mem.containsKey(k)) mem.put(k, 0);
            mem.put(k, mem.get(k) + 1);
        }
    }
}

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏工科狗和生物喵

【我的漫漫跨考路】数据结构之线性表

正文之前 ? 昨天晚上阶段性的完成了一部分数学的复习(一元积分学终于搞定了,后面的貌似没这么难了),所以今天打算撸一撸代码,结合前几天写的链表实现线性存储,今天...

3356
来自专栏专知

【LeetCode 136】 关关的刷题日记34 Intersection of Two Arrays II

关关的刷题日记34 – Leetcode 350. Intersection of Two Arrays II 题目 Given two arrays, wri...

2638
来自专栏C语言及其他语言

【每日一题】问题 1100: 采药

关注我们 题目描述 辰辰是个天资聪颖的孩子,他的梦想是成为世界上最伟大的医师。为此,他想拜附近最有威望的医师为师。医师为了判断他的资质,给他出了...

29112
来自专栏专知

关关的刷题日记89 – Leetcode 168. Excel Sheet Column

关关的刷题日记89 – Leetcode 168. Excel Sheet Column 题目 Given a positive integer, return...

3495
来自专栏aCloudDeveloper

百炼OJ 2972 2973

一、2972相邻数字的基数等比:确定进制      所谓基数等比就是后一个数与前一个数有倍数的关系。如 111 = 1 + 1 * 2(1 + 2 * 1); ...

2028
来自专栏专知

关关的刷题日记84 – Leetcode 231. Power of Two

关关的刷题日记84 – Leetcode 231. Power of Two 题目 Given an integer, write a function to ...

2967
来自专栏数说工作室

提取文本数据,分析师小王初上手!| 【SAS Says·扩展篇】正则表达式

文本分析很有用,数说君自己也玩过,炒鸡有意思,从论坛、网页上爬取网友的舆情数据,然后整理、统计、画图,就可以知道舆论的风暴是什么,可以知道网友最热议的话题、最想...

3446
来自专栏专注研发

poj-1008-玛雅历

上周末,M.A. Ya教授对古老的玛雅有了一个重大发现。从一个古老的节绳(玛雅人用于记事的工具)中,教授发现玛雅人使用了一个一年有365天的叫做Haab的历法...

1203
来自专栏数据结构与算法

P1967 货车运输

题目描述 A 国有 n 座城市,编号从 1 到 n,城市之间有 m 条双向道路。每一条道路对车辆都有重量限制,简称限重。现在有 q 辆货车在运输货物, 司机们想...

3179
来自专栏专知

关关的刷题日记88 – Leetcode 367.Valid Perfect Square

关关的刷题日记88 – Leetcode 367.Valid Perfect Square 题目 Given a positive integer num, w...

2699

扫码关注云+社区