摘要:
### SMT-LIB语言简介 smt-lib是smt solver的输入语言 用来定义"决策问题实例"(decision procedure problem instance) #### SMT-LIB支持的theory QF: for the restriction to quantifier- 阅读全文
摘要:
dfs+visited import java.util.Scanner; public class Main { public static void dfs(int[] a, boolean[] vis, int[] tmp, int start){ int len = a.length; if 阅读全文
摘要:
###LRU缓存 使用双向链表和hashmap构造存储key-value的LRU缓存结构 import java.util.* public class Solution{ //内部结点类 public static class Node{ int key, value; Node pre, nex 阅读全文