问题标签 [theory]

我刚刚发现了 Stack Overflow，我只是在检查是否有关于我与一些朋友在项目中遇到的约束的想法，尽管这更像是我一直试图找到的一个理论问题一段时间的答案。

我对密码学的了解不多，但如果我不够清楚，我会尝试编辑/评论以澄清任何问题。

简而言之，环境是这样的：

• 前端用作访问加密/解密密钥而后端仅用于存储和查询的应用程序。

• 拥有一个您无法访问几个字段的数据库，例如让我们说“地址”，它像往常一样是 text/varchar。

• 您无权访问用于解密信息的密钥，并且所有信息到达已加密的数据库。

主要问题是这样的，如何始终如一地对数据库进行查询，不可能做“像'%F§YU/'~#JKSks23%'这样的地址”之类的东西。（如果有人对此有答案，请随意拍摄）。

但是可以where address='±!NNsj3~^º-:'吗？或者它也会完全吃掉数据库？

另一个可能适用的限制是前端没有太多可用的处理能力，因此加密/解密信息已经开始将其推向极限。（这样说只是为了避免诸如“将表的连接导出到前端并在那里查询”之类的回复。）

有人可以指出我继续思考的方向吗？

非常感谢凌晨 4 点这么快的回复，第一次使用我对这个社区印象深刻。（或者也许我只是针对不同的时区）

只是提供一些信息：

主要问题是部分匹配。大多数数据库中的一项强制性要求是允许部分匹配。主要限制实际上是不允许数据库所有者查看数据库内部的信息。在过去的 10 分钟里，我想出了一个可能的解决方案，它再次扩展到可能的数据库问题，我将在这里添加：

允许半部分匹配的可能解决方案：

• 密码+用户的几个公共字段实际上是加密的关键。对于身份验证，想法是加密一个静态值并在数据库中进行比较。
• 创建一组新的表，其中信息以解析的方式存储，这意味着：“4th Street”将变成 2 个加密行（一个用于“4th”，另一个用于“Street”）。这已经允许半部分匹配，因为已经可以在单独的表上执行搜索。

新问题：

• 这可能会再次占用数据库服务器，还是有人认为这是解决部分匹配问题的可行解决方案？

Post Scriptum：我不接受 Cade Roux 的回答，只是为了进一步讨论，特别是对新问题的可能答案。

我有一个值，我知道它的单位是

米^mn/md * kg ^kn/kd * s ^sn/sd * K ^Kn/Kd * A ^An/Ad

注：指数为有理数，m ^0.5为单位有效

问题是如何选择如何将单位分解成更紧凑的东西

例如，如果

我可以使用 N/m

我怀疑这是离散优化问题的某个子集。

什么是NP完全问题？为什么它在计算机科学中如此重要？

参考透明度一词是什么意思？我听说它被描述为“这意味着你可以用 equals 替换 equals”，但这似乎是一个不充分的解释。

在课堂上，我们学习了停机问题，图灵机，归约等。很多同学说这些都是抽象无用的概念，了解它们没有任何意义（即，一旦课程结束就可以忘记它们）结束并且不会丢失任何东西）。

为什么理论有用？您是否曾经在日常编码中使用它？

您什么时候亲自遇到过该领域的停顿问题？这可能是当同事/老板提出一个违反计算基本限制的解决方案时，或者当你意识到你试图解决的问题实际上是不可能解决的。

我最近一次想到它是在学习类型检查器时。我们班意识到不可能编写一个完美的类型检查器（一个接受所有运行时没有类型错误的程序，并拒绝所有运行时出现类型错误的程序），因为这实际上可以解决停机问题. 另一个是当我们意识到，在同一个类中，在类型检查阶段不可能确定除以零是否会发生，因为在运行时检查一个数字是否为零也是停止问题的一个版本。

什么是图灵机，为什么人们一直提到它？我只需要我的 IBM PC 来进行计算！为什么有人关心这些机器？

例如，假设在 C# 4 中包含一个“删除”关键字。由于基于引用的系统，是否可以保证您永远不会有野指针，但仍然能够依赖垃圾收集器?

我可以看到它可能发生的唯一方法是，如果不是对内存位置的引用，而是对指向实际对象的指针表的索引。但是，我确信在某些情况下会破坏，并且有可能破坏类型安全/具有悬空指针。

编辑：我说的不是.net。我只是以 C# 为例。

假设您得到如下记录集：

你想要：

你可以使用类似的东西：

现在，当 Foo、Bar 和 Red 是 VARCHAR 时，您如何完成类似的操作？

到：

目前主要使用 SQL Server 2000；但可以访问 2005 服务器。

我听说有些事情作为计算机程序员是不能做的，但我不知道它们是什么。我最近想到的一件事是：有一个类可以复制它运行的程序的源代码，修改该程序并向它所在的类添加一个方法，然后运行，这不是很好吗？程序的副本并自行终止。代码可以写代码吗？