如何在 julia 中使用通用量化和存在量化？

Question

我想在 Julia 中编写控制定义代码。 x dom y。 x , y 是 2 个向量。

b=all(x<=y) && any(x<y)

你能帮帮我吗？我如何在 Julia 中编写这个概念？

谢谢

Answer 1

最简单的方法几乎就像您指定的那样：

dom(x, y) = all(x .<= y) && any(x .< y)

您也可以使用循环，例如像这样：

function dom(x::AbstractVector, y::AbstractVector)
    @assert length(x) == length(y)
    wasless = false
    for (xi, yi) in zip(x, y)
        if xi < yi
            wasless = true
        elseif xi > yi
            return false
        end
    end
    return wasless
end