POJ 刷题系列:3295. Tautology

题意:

给出二元变量 p,q,r,s,t以及运算符K,A,N,E,C,求所给运算符和变量的集合是否符合永真,若永真输出tautology,否则输出not。

思路: 首先构造出p,q,r,s,t可能的组合,因为只有5个变量,所以总共有2^5种状态,对这些状态逐一测试,看是否存在表达式为false的情况。采用dfs来递归地计算表达式。比如当遇到A时,它为二元,所以先递归计算第一个变量,它返回后正好是第二个变量。这种情况是唯一的,所以可以采用tot来统一计数。具体看代码:

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.Arrays;
import java.util.Map;
import java.util.StringTokenizer;

public class Main{

    String INPUT = "./data/judge/201712/P3295.txt";

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

    int tot = 0;
    boolean dfs(char[] cs, int p, int q, int r, int s, int t) {
        char c = cs[tot++];
        switch (c) {
        case 'K':
            boolean a = dfs(cs, p, q, r, s, t);
            boolean b = dfs(cs, p, q, r, s, t);
            if (a && b) return true;
            return false;
        case 'A':
            a = dfs(cs, p, q, r, s, t);
            b = dfs(cs, p, q, r, s, t);
            if (!a && !b) return false;
            else return true;
        case 'N':
            boolean not = dfs(cs, p, q, r, s, t);
            return !not;
        case 'C':
            a = dfs(cs, p, q, r, s, t);
            b = dfs(cs, p, q, r, s, t);
            if (a && !b) return false;
            else return true;
        case 'E':
            a = dfs(cs, p, q, r, s, t);
            b = dfs(cs, p, q, r, s, t);
            if (a && b || !a && !b) return true;
            return false;
        case 'p':
            return p == 1;
        case 'q':
            return q == 1;
        case 'r':
            return r == 1;
        case 's':
            return s == 1;
        case 't':
            return t == 1;
        }
        return true;
    }

    void read() {
        while (true) {
            String data = ns();
            if (data.equals("0")) break;
            boolean judge = true;
            for (int p = 0; p < 2 && judge; ++p) {
                for (int q = 0; q < 2 && judge; ++q) {
                    for (int r = 0; r < 2 && judge; ++r) {
                        for (int s = 0; s < 2 && judge; ++s) {
                            for (int t = 0; t < 2 && judge; ++t) {
                                tot = 0;
                                if (!dfs(data.toCharArray(), p, q, r, s, t)) {
                                    judge = false;
                                    break;
                                }
                            }
                        }
                    }
                }
            }
            if (judge) out.println("tautology");
            else out.println("not");
        }
    }

    FastScanner in;
    PrintWriter out;

    void run() throws IOException {
        boolean oj;
        try {
            oj = ! System.getProperty("user.dir").equals("F:\\oxygen_workspace\\Algorithm");
        } 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 条评论
登录 后参与评论

相关文章

来自专栏待你如初见

Day08

1173
来自专栏学海无涯

12.Any、AnyObject与类型转化

1354
来自专栏软件开发 -- 分享 互助 成长

java中的==和equals

一、使用==判断两个变量是否相等 (1)对于基本类型的变量,值相等则返回true (2)对于引用类型的变量,只有指向同一个对象时才返回true。 ==不可以比较...

1876
来自专栏程序员互动联盟

【编程基础第十二讲】web开发编程基础--回调函数

存在问题: 我们都知道C语言存在回调函数,那么JavaScript中的回调函数是如何实现的? 如何实施: a.非参数回调函数 这类回调函数大多比较简单,往往传一...

2405
来自专栏用户3030674的专栏

java构造代码块,构造函数和普通函数的区别和调用时间

在这里我们谈论一下构造代码块,构造函数和普通函数的区别和调用时间。 构造代码块:最早运行,比构造函数运行的时间好要提前,和构造函数一样,只在对象初始化的时候运行...

732
来自专栏鸿的学习笔记

有趣的Scala模式匹配

它被称为模式匹配,模式匹配包含了一系列以case关键字开头的分支,每一个分支包含一个模式或者是多个表达式。模式有很多种,例如常量模式('*',1),变量模式(可...

724
来自专栏java学习

Java每日一练(2017/6/16)

题目要求 本期题目:(注解练习) 1.自定义一个可以用来接收用户登录信息的注解,将用户名和密码设置到验证的方法中, 例如: @LoginInfo(name="张...

27913
来自专栏Petrichor的专栏

python: dict(字典) 操作

删除字典给定键 key 所对应的值,返回值为被删除的值。key值必须给出。 否则,返回default值。

1142
来自专栏行者常至

final、abstract、interface

【包含抽象方法的类一定是抽象类;抽象类中可包括非抽象方法(具体的方法)。抽象类无法实例化,不能创建对象,只能通过子类继承,然后通过方法覆盖。如果不覆盖抽象方法,...

681
来自专栏跟着阿笨一起玩NET

C#基础知识之方法重载总结

方法重载是指在同一个类中方法同名,参数不同,调用时根据实参的形式,选择与他匹配的方法执行操作的一种技术。

772

扫码关注云+社区