我打个岔。。。你们在说优化？python？

【 在 poocp (慢速随机指标) 的大作中提到: 】
: 那你也不能以某种特定条件下最坏情况是np hard来以偏概全，拿来当结论吧。
: 怎么优化是你的事，我只强调一点，case必然具有等价的if else表达方式。
: 所以case最坏的结果就是等价的if else。
--
FROM 114.87.232.*

你又弄错了，一个问题是否是 np hard 是 intrinsic 的。也就是说，在任何条件下，分析 pattern match 都是 np hard。

你强调的这点，也是错的，因为存在无穷数量的 pattern match 实例，这些实例不存在等价的 if-else 。而编译器的任务是要鉴定当前实例是否可以转换为 if-else ，并针对否定的答案给出合理的出错信息。事实上，给出合理的出错信息比证否更难。

【 在 poocp 的大作中提到: 】
:
: 那你也不能以某种特定条件下最坏情况是np hard来以偏概全，拿来当结论吧。
: 怎么优化是你的事，我只强调一点，case必然具有等价的if else表达方式。
: 所以case最坏的结果就是等价的if else。
:

#发自zSMTH@Moto Z3 Play
--
FROM 37.33.57.*

我做的是 compiler ，不是 interpretation 也不是 virtual machine，所以可以放开手优化。我们这的要求是 target 必须是 optimal ，也就是说，任何算法的实际运行速度必须达到 arch 的理论上限。

【 在 javaboy 的大作中提到: 】
:
: 我打个岔。。。你们在说优化？python？
:
: 【 在 poocp (慢速随机指标) 的大作中提到: 】
: : 那你也不能以某种特定条件下最坏情况是np hard来以偏概全，拿来当结论吧。

#发自zSMTH@Moto Z3 Play
--
FROM 37.33.57.*

那就举几个实例让我学习一下吧。

【 在 philbloo 的大作中提到: 】
: 因为存在无穷数量的 pattern match 实例，这些实例不存在等价的 if-else 。
--
FROM 222.212.168.*

那你肯定没看我最开始给的链接。里面有非常简单的例子。

【 在 poocp 的大作中提到: 】
:
: 那就举几个实例让我学习一下吧。
:
: 【 在 philbloo 的大作中提到: 】
: : 因为存在无穷数量的 pattern match 实例，这些实例不存在等价的 if-else 。

#发自zSMTH@Moto Z3 Play
--
FROM 37.33.57.*