什么是函数名
让是一种语言，˚F ：＆Sigma; ⋆ × ＆Sigma; ⋆ →交通＆Sigma; ⋆与属性上的两个参数的函数，对于所有X和ÿ，˚F返回的元素大号当且仅当两个X和ÿ是元素大号：大号LLF：Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starXxxÿyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . 问题这样的功能在文献中有名字吗？ 以下是一些有趣的观察。这些函数，我将其称为“合取约简 ”，可以针对各种复杂度类别的完整问题进行构造。例如，对于，取函数˚F （ψ ，φ ）= ψ ∧ φ。类似地，我们可以考虑“ 析取的减少 ”，使克（ψ ，φ ）= ψ ∨ φ是在分离性减少小号甲ŤL=SATL=SATL=SATf(ψ,ϕ)=ψ∧ϕf(ψ,ϕ)=ψ∧ϕf(\psi, \phi)=\psi\wedge\phig(ψ,ϕ)=ψ∨ϕg(ψ,ϕ)=ψ∨ϕg(\psi,\phi)=\psi\vee\phiSATSATSAT。这两个化简也优于量化的布尔公式，因此它们也适用于多项式层次结构的所有级别以及PSPACE。 构造L和NL完全语言DSTCON和USTCON的合取和析取约简很容易：给定两个图和两对顶点（u ，v ），（x ，y ），构造一个新的图形通过采取不相交并ģ ∪ ħ，添加两个节点小号，吨并添加边缘（小号，Û ），（v ，X ），（Ý ，吨）G,HG,HG, H(u,v),(x,y)(u,v),(x,y)(u,v), (x,y)G∪HG∪HG\cup Hs,ts,ts,t(s,u),(v,x),(y,t)(s,u),(v,x),(y,t)(s,u),(v,x),(y,t)。析取归纳法将这两个图并行而不是串联。 …