1, 场景介绍 众所周知，我们可以使用tcode SAT方便的跟踪传统dialog程序。但是对于一些非传统dialog应用就不是那么方便了，比如说webdynpro程序或者Fiori应用，本文就介绍一种在debug过程中启动SAT跟踪程序的方法。 举例说明： 在下面这个Fiori应用中，用到了oda ...
分类：
其他好文 时间：
2020-03-20 22:04:39
阅读次数：
46
问题描述 试题编号： 201712-3 试题名称： Crontab 时间限制： 10.0s 内存限制： 256.0MB 问题描述： 样例输入 3 201711170032 2017112223520 7 * * 1,3-5 get_up30 23 * * Sat,Sun go_to_bed15 12 ...
分类：
其他好文 时间：
2020-03-11 19:23:15
阅读次数：
51
2-SAT问题学习+3题：4小时 网课：2小时 复现区域赛：3.5小时 补了昨天cf题：1小时 ...
分类：
其他好文 时间：
2020-03-06 01:33:01
阅读次数：
50
We have several questions regarding the trace functionality in parallel session. Would you please kindly have a look at them when you are free? J We s ...
分类：
其他好文 时间：
2020-02-27 13:29:33
阅读次数：
89
Katu Puzzle（ACwing） Description 有 N 个变量 X0 ~ XN-1，每个变量的可能取值为 0 或 1 。 给定 M 个算式，每个算式形如 Xa op Xb = c，其中 a,b 是变量编号，c 是数字 0 或 1 ，op 是 and，or，xor 三个位运算之一。 求 ...
分类：
其他好文 时间：
2020-02-23 09:24:11
阅读次数：
52
参考 http://www.dyn4j.org/2010/01/sat/ SAT: 用来判断两个Convex是否相交。同时可以找到而者minimum penetration vector。 凹多边形可以拆成多个凸多边形 如果能找到一个Axis，两个convex的投影不交叉，那么这两个convex也不 ...
分类：
其他好文 时间：
2020-02-11 19:16:56
阅读次数：
79
问题今天无意中在Quora上看到有人贴出来一道号称是SAT里最难的一道数学题，一下子勾起了我的兴趣。于是拿起笔来写写画画，花了差不多十五分钟搞定。觉得有点意思，决定把解题过程记下来。原帖的图太小，我用GeoGebra重新画了一遍。没错，我就是强迫症。 为了省事，就把这道题叫做RASBTC。 In t... ...
分类：
其他好文 时间：
2020-02-04 12:17:07
阅读次数：
167
环境说明 Windows10,Oracle 11.2.0.4 单实例 CMD> C:\Users\Thinkpad>sqlplus / as sysdba SQL*Plus: Release 11.2.0.4.0 Production on Sat Feb 1 15:18:45 2020 Copyr ...
分类：
数据库 时间：
2020-02-01 16:43:20
阅读次数：
142
给定两个 2-sat 问题，询问两个问题的解集是否相同。
如果不相同，构造一组解 {xi}，使得这个解是其中一个问题的解同时不是另一个问题的解。 ...
分类：
其他好文 时间：
2020-01-30 23:08:33
阅读次数：
92
考虑 $\texttt{2 SAT}$ 首先每个门 $i$ 都有一个初始状态 $a_i$ 题目条件每个门只被两个开关控制，那么很显然的 $\texttt{2 SAT}$ 用 $b_{i,{0/1}}$记录是第 $1/2$ 个开关 然后就考虑一下门的初始状态 $a_i$ 门本身是开的 你开这个开关为开 ...
分类：
其他好文 时间：
2020-01-30 22:43:55
阅读次数：
61
