什么是函数名

让是一种语言，˚F ：＆Sigma; ⋆ × ＆Sigma; ⋆ →交通＆Sigma; ⋆与属性上的两个参数的函数，对于所有X和ÿ，˚F返回的元素大号当且仅当两个X和ÿ是元素大号：$L$$f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\star$$x$$y$$f$$L$$x$$y$$L$

问题这样的功能在文献中有名字吗？

以下是一些有趣的观察。这些函数，我将其称为“合取约简 ”，可以针对各种复杂度类别的完整问题进行构造。例如，对于，取函数˚F （ψ ，φ ）= ψ ∧ φ。类似地，我们可以考虑“ 析取的减少 ”，使克（ψ ，φ ）= ψ ∨ φ是在分离性减少小号甲$L=SAT$$f(\psi, \phi)=\psi\wedge\phi$$g(\psi,\phi)=\psi\vee\phi$$SAT$。这两个化简也优于量化的布尔公式，因此它们也适用于多项式层次结构的所有级别以及PSPACE。

构造L和NL完全语言DSTCON和USTCON的合取和析取约简很容易：给定两个图和两对顶点（u ，v ），（x ，y ），构造一个新的图形通过采取不相交并ģ ∪ ħ，添加两个节点小号，吨并添加边缘（小号，Û ），（v ，X ），（Ý ，吨$G, H$$(u,v), (x,y)$$G\cup H$$s,t$$(s,u),(v,x),(y,t)$。析取归纳法将这两个图并行而不是串联。

图同构存在合取归约，但不存在合取归约。相反，非平凡图自同构问题存在析取约简，但我找不到析取约简。这让我感到惊讶，因为我认为这些问题在某种程度上是相同的，然后我学到了关于图同构的新知识！

作为一个明显的最后的步骤，可以考虑“ 缀合物的减少 ”，函数使得。找到图同构的这种减少将表明它在coNP中。我无法找到析因的决策版本的合取式，析取式或共轭约简。$f(x)\in L \iff x \not\in L$

它们通常称为“与”功能。（我不是在开玩笑。）确实，这个概念已经被考虑过了，这就是人们所说的。例如，参见Kobler，Schoning和Toran在Graph Iso上的书，他们在其中谈论GI的AND和OR功能。而且，顺便说一下，还有就是对GI的OR功能（同上）。

我相信，针对图自同构的AND函数的问题仍然是:)（如上本书所述）。

根据最后一段，您所讨论的归约类型也可以概括为所谓的“真相表”或“ tt”归约。这些是非自适应的图灵缩减（查询由输入固定，但不能取决于先前查询的答案）。例如，最后一段中的否定减少是1-tt减少（1 =查询数）。