什么是约束编程(Constraint Programming)？

约束编程是一种声明式编程，它使用数学约束来定义程序中变量之间的关系。这些类型的编程技术通常与其他类型的编程技术相互作用，例如逻辑和命令技术。这些逻辑和命令技术正是约束编程所避免的，通过计算语句和执行更改进行...

约束编程是一种声明式编程，它使用数学约束来定义程序中变量之间的关系。这些类型的编程技术通常与其他类型的编程技术相互作用，例如逻辑和命令技术。这些逻辑和命令技术正是约束编程所避免的，通过计算语句和执行更改进行逻辑前进。约束编程通常与逻辑编程相结合，形成约束逻辑编程，它是逻辑程序设计的扩展版本。逻辑程序设计包括文字要求和变量比较，约束逻辑程序设计将其扩展到包括约束。约束编程是一种声明性编程，它使用数学约束来定义程序中变量之间的关系。约束是一个高级数学术语，但它本质上是一个必须满足的条件一个决定。这是一个简单化的定义，当用户对数学有了扎实的理解时，编程范式才是最容易理解的。当看到与约束编程相关的约束时，约束映射出程序中变量之间的相互关系。声明式编程是一种编程范式，它不涉及说明程序的每个单独步骤是如何执行或执行的。这些类型的语言不是专注于步骤，而是指定或声明计算关系。约束程序设计是一种声明式编程，因为逻辑是被表达和解释的，而不是一步一步地系统地执行。在计算机程序设计中，变量的定义可能与它们的数学定义稍有不同。除非计算机程序定义了它的含义，否则变量可以是任何意思乍一看，当有人说约束编程使用约束来定义变量之间的相互关系时，这听起来可能不足以编写一个完整的计算机程序。实际上，因为计算机编程变量可以包含无限量的数据，定义它们必须如何关联的细节彼此都有很高的编程能力。约束编程是一种编程范式，也就是说，它阐述了基本事物的基本概念，与其他编程范式相比，基本事物有着根本的不同。不同的范式实际上可以用不同的方式做任何事情。一种语言可以使用顺序逻辑，而另一个可能没有。不同的范例通常使用不同的基本资讯区块和关系来表示指令。许多其他程式设计范例的基本要素，例如逻辑上连续执行许多行，在约束程式设计中不使用

发表于 2020-08-06 08:47
阅读 ( 2080 )
分类：电脑网络

什么是约束编程(Constraint Programming)？

你可能感兴趣的文章

相关问题

0 条评论

作家榜 »

推荐文章