一般来说答案是 vacuously true，因为有些方案里有可能同一条密文本来就可以被解读为两个不同公钥下的密文，考虑 ElGamal 加密，考虑两个公钥分别是 g^a, g^b，则 h 在 g^a 下的密文 g^c, g^ac * h 也可以理解为 g^((a - b)c) * h 在 g^b 下的密文 g^c, g^bc * g^((a - b)c) * h 。

我觉得楼主的需求似乎不能解决楼主的问题：即使证明了某段密文只能是用 Bob 公钥加密所产生的，也没有证明加密了有意义的消息。

离线问题计算无向图的连通分量即可（比如 BFS ），在线问题用并查集。

https://i.imgur.com/58fgJKb.png

我的 blog 用这个实现英汉术语对照。

@Rache1 #3 我记得一个笑话是说：当你准备用正则来解决一个问题时，你就会有就会有就会有就会有两个问题。

@JerryCha #1 很多程序会自己画非客户区（窗口边框），Office 系列自己画很久了。

@geelaw #3 忘了说，通常来说切换到全屏窗口会导致任务栏被挡住，所以我自动脑补成“最大化”了。

另外关于任务栏之前的最小化设计，见 https://devblogs.microsoft.com/oldnewthing/20041028-00/?p=37453

没有必要保护 A 的隐私，你可以说清楚到底是什么版本的 Windows 和什么版本的哪个浏览器。

如果你使用 Windows 10 version 1909 build 18363.1621 且使用 Edge 91.0.864.48 ，那么问题无法重现。

注意：如果窗口最小化，则它的预览图不再更新，这是因为最小化的窗口不再重绘自己。在上面的例子里，如果你最小化 Edge，则 Edge 的预览图显示最小化之前的截图。如果你在 PowerShell 里运行 1..10000 并在打印完成前最小化之，则它的预览图不再更新，一段时间后向上还原，可以看到输出已经结束。

要理解这个设计可以考虑干掉 explorer.exe 后最小化一个窗口，此时你可以看到最小化的窗口实际上会变得很小，并堆积在屏幕的一角。这来自于任务栏出现之前的设计，那个时候最小化窗口实际上会把它变成图标的样子，最小化的窗口将会绘制自己的图标（而不是通常的窗口内容）。

因为设置的时区是“东部时间”而不是“东部标准时”“东部夏令时”，第一个选项会根据美国法律和日期自动表现为后两个选项之一。

Windows 和 macOS 也都有自动夏令时调整的功能，VPS 上运行的操作系统也有该功能。

@3dwelcome #7 刚看明白，后面那段代码和 Google 没关系。但你对 Google 注释的误读仍然成立，若 a 是 Number，则 JavaScript 表达式 a | 0 对应 C# 表达式

double.IsNaN(a) ? 0.0 : (double)(int)(a)

其中假设 a 在 C# 里具有静态类型 double 。所谓 force into 32 signed bits 是指数值上的截断，不是类型上的改变。

这是对注释的误解。参考 MDN：

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Number

JavaScript 的 Number 等同于 IEEE 754 双精度浮点数。

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Bitwise_OR

JavaScript 的按位或运算先把运算数转换成 32 位整数再运算，得到的是 Number 。

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Unary_plus

JavaScript 的正号运算把运算数变成 Number 。

你写 var y = 1, z = +1, w = 1.0; 都是没有区别的。另外 JavaScript 的引擎的 “内部” 不需要 “用 IEEE 754 双精度浮点数” “表示” 一个 Number，只要执行效果和 IEEE 754 双精度浮点数一致即可。

楼主说的问题是特定于 asm.js 的人肉优化手段。另外 JavaScript 从来都不是“无类型”的。

Tarjan 算法正是你所需要的。

第二个问题很容易解答，有一个明显的 nlogn 算法，但是否可以降低到 n 我就懒得想了，可以试着找找强连通分量的在线算法。

CSS 4 开始可以用 :is，见 https://www.w3.org/TR/selectors-4/#matches

CSS 4 之前只能手工展开，写成 #a h2, #a h3

如果你使用 iOS，需要设置接入点
https://support.google.com/fi/answer/6205096?co=GENIE.Platform%3DiOS&oco=0

谁说时间不会倒流的😅 Windows 有 NTP 时间校准机制，很容易发生时间倒流的情况。当然要确保有生之年生成真·不重复的 GUID 也很容易，人工控制时间戳、使用被毁灭的网卡的 MAC 地址并用 v1 算法即可。

毁灭网卡的例子：
https://devblogs.microsoft.com/oldnewthing/20040211-00/?p=40663