向高中理科老师讲解SAT


9

我是一名对计算机科学感兴趣的高二学生。我为#SAT开发了一个很酷的算法,并且正在实施和进行一个科学展览项目。我的顾问是我学校最好的科学老师,也是AP Comp Sci老师,她告诉我,她完全不知道我的项目是什么,我需要简要向她解释为什么#SAT是在5分钟内很重要。我告诉她SAT简化为#SAT,并试图解释SAT为什么重要的原因:我给了她一些NP问题的例子,解释了她NP中的问题如何归结为SAT,并解释了如何通过二分搜索将某些优化问题归结为SAT ,它使您可以折叠蛋白质并建立强大的AI模型。不幸的是,她根本不了解我。你能给我一些建议吗?

PS我的顾问问我,哪些有用的问题减少到#SAT,哪些没有减少到SAT(假设#P中的某些问题比相应的NP版本难一些)。我所能想到的就是找到给定数据集比给定模型更好的模型(假设模型的每个参数小于给定位数)。我在网上寻找其他人,但找不到任何我能理解的东西。还有其他好的应用程序吗?


2
永久变量(即使对于其条目被限制为0或1的矩阵)都是#P完全的,因此,只要这些应用程序要求您计算(或近似)永久变量,该永久变量的任何应用程序也是您算法的应用程序一些矩阵“在实践中”(而不是在纸上)。
Yuval Filmus'2

您选择了一个出色的理论项目,但对于高中却没有相当先进的/抽象的。一个明显的问题是,您如何自己了解#SAT的重要性?可能由于NP完整性而与AP CS课程有一些联系,您是否参加过该课程?它使用什么教科书?如果这是一个好人,那里会有一些联系。建议通过计算机科学聊天中心寻求进一步的建议,一些研究生/博士生在那里闲逛。并也邀请您到美容沙龙做进一步的讨论。
vzn 2015年

如果必须将其解释给非CS /非数学的读者,我将:(1)解释问题所在(您期望某种输入,并希望基于该输入产生输出),( 2)解释要解决的问题意味着什么,(3)解释SAT和#SAT问题,(4)指出这些问题是困难的,并且(5)指出通常为问题找到更快的算法被重视如果您能快速解决SAT问题,那么就有100万美元的奖金。我希望这会有所帮助,即使它不能完全回答您的问题。祝你今天愉快!
Michael Wehar 2015年

维基百科上列出了一些问题(尽管您可能已经看到了)。这是链接:en.wikipedia.org/wiki/Sharp-P
Michael Wehar 2015年

1
@MichaelWehar虽然如果您能快速解决SAT问题,那100万美元对您来说并不值钱!
Elliot Gorokhovsky

Answers:


6

即使限于值的矩阵,该永久变量也是#P完全的。该永久变量可用于计算统计力学中的某些参数,例如,有关二聚体覆盖问题,请参见本文。由于我不是物理学家,所以我无法评论这些理论上的统计力学问题是否真的有用。我怀疑它们不是直接有用的,但是该领域本身可以带来有用的见解。某些情况下,某些参数也可能单独有用,但您必须咨询专家。{0,1}

您的5分钟音调可能是这样的:

统计力学是物理和化学领域美丽而深刻的一部分,它研究大型系统的新兴行为是如何通过作用于单个元素的微观物理定律产生的。它解释了诸如气体定律,磁化以及物质不同相之间的过渡之类的现象。统计力学与概率论,计算机科学,运筹学和数据科学密切相关。

可以将统计力学中的许多重要量表示为#SAT的实例。因此,可以使用精确或近似地求解#SAT的算法来预测物理和化学现象。

这可能有些夸大事实,但这就是推销的方式。


1

这个问题似乎在措词上有点混淆了SAT和#SAT。是的,两者紧密相连。简单地将#SAT定义为与计算SAT问题的解决方案数量相关的复杂度类别,并且普遍认为难度更大,但令人惊讶的是,它尚未得到证明。在大学级别的复杂性理论中,#SAT甚至没有研究太多,它更是一个高级理论研究主题。

激发#SAT重要性的一种方法是通过Toda定理,该定理因其深远的意义而获得了1998年 Gödel奖。从维基百科:

因此,Toda定理表明,对于多项式层次结构中的任何问题,都存在确定性的多项式时间图灵化为计数问题。[1]

同样,由于SAT和#SAT甚至都没有被证明具有不同的复杂性,因此可以合理地理解#SAT的复杂性可能导致对P vs NP问题的一些理解,因为P vs NP问题具有大量的信息和动机


关于P对NP的问题,另请参见Fortnow Golden门票的
事情

SAT的任何应用都是#SAT的应用,我正在寻找两者的应用。
Elliot Gorokhovsky

大声笑,那么你的问题就大不一样了。NP完全问题具有极其广泛的应用,并且已被广泛记录。参见Fortnows的书或例如Garey / Johnson的NP完整性理论。而且,如果AP CS老师不知道什么是NP完整性,则应该解雇他/他。
vzn 2015年

好吧,上课的孩子甚至都不了解二进制搜索之类的简单概念,因此,如果她知道这一点,反正会浪费在学生的耳朵上。
Elliot Gorokhovsky'2

另外,您能解释为什么很难证明户田定理吗?因为既然NP中的每个问题都归结为SAT,则其琐碎地归结为#SAT。PH中有哪些NP中没有的问题?抱歉,我已经从Wikipedia中学到了所有东西,所以我的知识上有很多漏洞。
Elliot Gorokhovsky'2
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.