約束滿足問題
約束滿足問題（Constraint satisfaction problem，CSPs）是種數學的問題，其定義為一組物件（object），而這些物件需要滿足一些限制或條件。CSPs將其問題中的單元（entities）表示成在變數上有限條件的一組同質（homogeneous）的集合，這類問題透過「約束滿足方法」來解決。CSPs是人工智慧和運籌學的熱門主題，因為它們公式中的規律，提供了共同基礎來分析、解決很多看似不相關的問題。通常，需要同時…
标签：#宣告式編程
共 2 篇文章
宣告式編程
宣告式編程（）或译为声明式编程，是對與指令式編程不同的編程範型的一種合稱。它们建造计算机程序的结构和元素，表达计算的逻辑而不用描述它的控制流程。 概述 常見的宣告式語言包括：資料庫查詢語言如SQL的查询子集和，正则表达式，配置管理系统如Puppet管理配置语言。歸入這種範型的很多語言，描述内目標的性質，讓電腦明白目標，而非流程，从而尝试极小化有关的副作用。而指令式编程则需要用来明确的指出每一步该怎么做。 可归入声明式编程范型的领域专属语…