每次提交后感到不满意

我是一所“前20名”大学的三年级研究生，他从事细粒度的复杂性研究（大量使用3-SUM，OV和通常流行的硬度猜想）。在过去一年左右的时间里，我的工作效率很高，有3篇被接受的论文和2篇提交的论文。所有这些都说明我是一个经验丰富的研究生，而我要描述的并不是轶事。

每次提交都给我带来的不满多于满意。在我开始处理问题之前，我和我的顾问会确定一系列需要回答的具体问题。经过深思熟虑，我们得到了一些非常不错的非平凡结果，这给了我很多幸福和满足感。当我们开始写下所有结果时，不可避免地会出现一些更有趣的变体，但是很难取得进展。经过最初的欣快感之后，我觉得一切似乎都在下坡。有很多变体也需要解决，显然在当前问题的范围内，但是我不能。当我们提交论文时，我感到非常沮丧，以至于论文的结果似乎微不足道。也许这只是隧道视野，但我可以

这每次都发生过，我想知道这是否是一种普遍的感觉。理论界的其他人也有同样的感觉吗？我不确定这是否是学术界广泛的感觉。每次提交后，我来自其他地区的研究生就满月了（但这只是轶事）。

编辑-我看到头版上还有另一个软问题。很抱歉再增加一个。在假期里，（喝杯酒后）（只是？），人们开始思考这些事情！

是的，这很常见。一旦我们花了几个月的时间思考问题，我们就会开始看到很好的关系，以至于解决方案对我们来说似乎微不足道。它不是专门针对学术界的，一旦我们解决了一个问题，它就会使问题看起来更像是真正的问题，所有阻止我们看到它的乌云都消失了。

如何处理这种感觉？我还没有弄清楚自己，但是一些观察可能会有所帮助：

提醒自己，对您来说显而易见的东西对很多人而言并不多。您广域中有多少人事先看到了解决方案？

对于大多数结果（大多数结果不是突破性结果），我认为在这种情况下，我们领域的其他人也足够聪明。这也产生了一种效果，我们觉得我们毕竟并不那么特别。好吧，我们不是！一旦我们接受了其他一些人足够聪明，他们会处理我们的自我并变得谦卑，我们往往会从我们的贡献中获得更高的满意度。是的，X，Y和Z也可以这样做。但是我们是努力做到这一点的人。

另一个是要更加注意我们决定要解决的问题。要非常清楚自己为什么要解决问题。不要仅仅因为它看起来有趣或困难，或者别人说它有趣而这样做。知道问题的解决方案将如何影响我们的理解和世界？如果我们清楚这一点，那么解决问题的方法看起来很简单的事实将不会打扰我们，反而会让我们感到高兴。尽管这对于学生而言可能很困难，但是您必须选择一个有意义且可解决的问题。在较纯净的区域比施加的侧面更难。通常，我们并没有最终解决真正有意义的问题，而是朝着这个问题取得了一些有意义的进步。请记住，这也很有价值。如果我们可以与他人分享从中获得的见解，那么即使是我们的失败也可能是宝贵的。

还有其他人如何评价我们的贡献。众所周知，某些理论领域存在着对技术繁重工作的重视，而不仅仅是一些有意义的贡献。不要让他们灰心。从长远来看，大多数技术上的繁重工作将被遗忘，不要让立面阻碍您解决有意义的问题。

许多年轻的研究人员专注于证明自己。相反，应专注于与他人建立良好而有意义的合作，以解决有意义的问题。从长远来看，这更为重要。运气好的话，您将获得重大的有意义的贡献。

您并不孤单，它在理论CS，甚至数学，甚至这个千年中也不是唯一的。

乔uc（Chaucer）在禽鸟议会中感叹：

 The lif so short, the craft so long to lerne,
 Th’assay so sharp, so hard the conqueringe,
 The dredful joye alway that slit so yerne

 The life so short, the craft so long to learn
 The effort so sharp, so hard the mastery,
 The difficult joy always slips away so quickly

希波克拉底（是的，那是希波克拉底）更明确地说：

Ὁ βίος βραχύς,
ἡ δὲ τέχνη μακρή,
ὁ δὲ καιρὸς ὀξύς,
ἡ δὲ πεῖρα σφαλερή,
ἡ δὲ κρίσις χαλεπή.

Life is short,
and art long,
opportunity fleeting,
experimentations perilous,
and judgment difficult.

作为B理论人，复杂性理论的经验总是令我感到震惊，因为其特征与从语义学或类型论中获得的经验有所不同。

对我来说，似乎每个复杂的问题都需要一个真实的想法，因此，即使您稍微修改一下问题，也就需要一个完全不同的新想法。相反，在语义上，希望是通过识别正在使用的代数结构来解决问题，以使解决方案变得显而易见-不可能不解决它。（本杰明·皮尔斯曾说过，当所有证明无聊时，您都知道自己的打字系统很好。）

因此，当事情进展顺利时，复杂性就好像您正在与数学本身进行创造性的对话一样—您尝试一些事情，这为您提出了一个新的想法，而您对此的回应又为您提供了更多的想法。但是，当事情进展不顺利时，您会感到被困住，就像您在做一系列无穷无尽的难题一样，而这些难题对其他任何事情都不具有洞察力。

当语义方面的事情进展顺利时，您会感觉到您正在触摸世界的体系结构，就像X射线向您展示了数学的本质一样。但是，当事情进展不佳时，您也会感到被困住，就像您试图填写世界上最无聊的税收表格一样。

我的建议是找到一些业余时间来研究一些抽象代数。它应该满足您的一般性要求，学习它几乎可以肯定对您的研究有益。

By the time we submit the paper, 
I am so dismayed that results in 
the paper seem almost trivial.

我认为，如果完成后看起来不那么琐碎，您将无法解决问题！

科学的本质是（新颖）真理的产生。真理的实质是任何人都必须可以复制它。

过去，“任何人”的典型例子都是柏拉图的《梅诺》（1）中的奴隶男孩。如今，最严格的标准要求说服机械证明助手（2）证明我们的解决方案是可派生的（来自所选的数学基础）。证明助手正在拟人化一点，真的很愚蠢。在当代数学和理论CS中，我们将人类同行评审作为机械可验证性（即真相）的代理，但是致力于进行更多机械验证检查，请参见例如（3，4，5）。（的确，我怀疑您是否可以在无需花费多年工作的情况下就可以将自己的工作正式化为证明助手。）

如果解决方案的每一步都不是琐碎的事情，那么您将无法成功地进行严格的科学研究。

当然，这对于消除您的烦恼不是特别有帮助，所以也许您不再问自己工作是否值得。相反，请问别人！尤其要问自己：有多少其他人试图解决相同的问题却失败了。大概，您的CS子字段列出了著名的未解决问题，为什么不去解决其中一个问题呢？（警告：追逐著名的开放性问题是博士失败的好方法...，因此，如果您想走这条路，我建议与您的主管讨论。）

 me and my advisor identify a list of concrete 
 questions that need to be answered.

您的主管可能会仔细考虑您所处理的问题是否足够简单，以使博士生可以花几个月的时间来解决这些问题（但很难出版）。

1. https://zh.wikipedia.org/wiki/梅诺％27s_slave

2. https://zh.wikipedia.org/wiki/Proof_assistant

3. https://www.quantamagazine.org/univalent-foundations-redefines-mathematics-20150519/

4. https://zh.wikipedia.org/wiki/QED_manifesto

5. https://zh.wikipedia.org/wiki/POPLmark_challenge