给定一个由输入/输出对组成的数据集，如何找到与数据一致的小 DNF？这个问题称为 DNF 最小化，在计算机科学史上以各种形式出现。在这篇由两部分组成的博客文章中，我将调查一些关于这个问题的复杂性的结果以及与学习 DNF 的一些联系。历史和动机。几十年来，DNF 最小化一直是逻辑综合界的核心问题。在这个领域，这个问题被称为“两级逻辑综合”。它有着悠久的历史，可以追溯到 1952 年奎因写的一篇名为“简化真值函数的问题”的论文。奎因的论文在某种程度上是对香农硕士论文“继电器和开关电路的符号分析”的回应，该论文将布尔代数引入了电路设计的研究。奎因对以下问题感兴趣。给定一个布尔函数（作为真值表），找到
Wonderful Women in STEM – Mary Anning
我的“STEM 领域中的神奇女性”系列中的下一位科学家是先驱者玛丽·安宁！玛丽·安宁被皇家学会评为科学史上最具影响力的 10 位英国女性之一。玛丽是她那个时代的先驱者，尽管没有受过正规教育，并且是……阅读更多文章“STEM 领域中的神奇女性 – 玛丽·安宁”首先出现在儿童科学实验中。
The Seed Treasure Map [UPDATE!]
在我们 2021 年报道的历史性 Beal Seed 实验中，有多少种子发芽了？在我们最喜欢的春季剧集之一的更新版本中找出答案！我们跟随科学家在夜幕的掩护下，按照秘密地图执行任务，寻找宝藏。这都是科学史上持续时间最长、最具传奇色彩的实验之一！我们跟随植物生物学家 David Lowry 和他的团队进行这项秘密的科学家-间谍-寻宝活动，每 20 年才发生一次。但事情并没有按计划进行。了解这场史诗般的科学探索中发生了什么。要了解有关 Beal Seed 实验的更多信息，请收听我们对 David 的额外采访剧集。它可供在 patreon.com/tumblepodcast 上承诺每月仅 1 美元或更
#268 – Robert Proctor: Nazi Science and Ideology
罗伯特·普罗克特 (Robert Proctor) 是斯坦福大学的科学史学家。请查看我们的赞助商来支持此播客：- Theragun：https://therabody.com/lex 获得 30 天试用版- BetterHelp：https://betterhelp.com/lex 获得 10% 折扣- Indeed：https://indeed.com/lex 获得 75 美元信用额度- Grammarly：https://grammarly.com/lex 获得 20% 的高级折扣- Eight Sleep：https://www.eightsleep.com/lex 并使用代码 LEX
Dinopoop Series Part 2 [ENCORE]
全新 Tumble 片段将于 1 月 21 日回归！我们迫不及待地想分享我们准备的内容。今天，我们将分享两部分恐龙粪便系列“粪石女王”的激动人心的结局。 19 世纪，玛丽·安宁被誉为英国最出色的化石猎人。她有许多伟大的发现，包括恐龙粪便。在我们的朋友 Kidosaurus 和儿童科学史学家 Melanie Keene 的帮助下，我们深入研究了玛丽·安宁的故事以及她在女性科学史上的地位。请在我们的网站 sciencepodcastforkids.com 上查看有关此集的博客。
一颗种子能存活多久？为了找到答案，科学家们在夜幕的掩护下，沿着一张秘密地图执行任务，寻找宝藏。这都是科学史上持续时间最长、最具传奇色彩的实验之一！我们跟随植物生物学家 David Lowry 和他的团队进行这项秘密的科学家-间谍-寻宝活动，这项活动每 20 年才发生一次。但事情并没有按计划进行。了解这场史诗般的科学探索中会发生什么，种子在地下埋藏 141 年后是否会发芽，以及一只聪明的古代兔子与这一切有什么关系。想了解更多关于大卫和比尔种子实验的信息吗？在 Patreon 上收听我们的额外采访节目！适用于支持 Tumble 的赞助人，级别为 1 美元/级或更高！在 patreon.com/tu
Research: A key part of the university experience
进入大学后，我对“做研究”的含义有了更深刻、更细致的理解。在成长过程中，我在各种情况下都听到过“研究”这个词：在讨论科学发现时，在回顾历史事件时，甚至在创作艺术作品时。然而，我从未理解过细节，也从未欣赏过高质量研究的严谨性。研究是信封上的蜡封，标志着内容完整和真实。研究是利用科学作为有效性的证明。归根结底，研究是收集、组织和使用数据来证实或反驳前提的过程。大学作业让我瞥见了研究过程可能涉及的内容，并教会我以批判的眼光看待声称有研究支持的资料来源。例如，我最近为我的科学史课写了一篇关于 X 射线和 X 射线技术的发现和实施的论文。当我第一次为我的论文制定大纲时，我意识到有多少不同的来源为我的主题
#111 – Richard Karp: Algorithms and Computational Complexity
理查德·卡普是伯克利大学的教授，也是理论计算机科学史上最重要的人物之一。1985 年，他因在算法理论方面的研究而获得图灵奖，包括开发用于解决网络最大流问题的 Edmonds-Karp 算法、用于在二分图中查找最大基数匹配的 Hopcroft-Karp 算法，以及他在复杂性理论方面的里程碑式论文《组合问题的可约性》，他在论文中证明了 21 个问题是 NP 完全的。这篇论文可能是 NP 完全性和 P vs NP 问题研究兴趣激增的最重要催化剂。通过支持我们的赞助商来支持此播客：- Eight Sleep：https://eightsleep.com/lex- Cash App – 使用代码“Lex
Dinosaur Poop Part 2: The Coprolite Queen
这是恐龙粪化石系列的第二期，又称粪便化石！19 世纪，玛丽·安宁被称为英国最出色的化石猎人。她发现了许多伟大的化石，包括恐龙粪便。在我们的朋友 Kidosaurus 和儿童科学史学家 Melanie Keene 的帮助下，我们深入研究了玛丽·安宁的故事以及她在女性科学史上的地位。收听完本期节目后，请访问我们的博客 sciencepodcastforkids.com/blog，查看有关玛丽·安宁的书籍，以及一个很棒的网站，您可以在此探索其他先驱女性古生物学家的故事。找到新的最爱，并告诉我们她为什么很棒，请发送邮件至 tumblepodcast@gmail.com！请务必收听本系列的第一期节目“谁
