Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algorithm
|
| gptkbp:application |
resource allocation
scheduling puzzle solving |
| gptkbp:author |
gptkb:Alan_K._Mackworth
|
| gptkbp:complexity |
O(e d^3)
|
| gptkbp:field |
gptkb:artificial_intelligence
constraint satisfaction problems |
| gptkbp:fullName |
gptkb:Arc_Consistency_Algorithm_3
|
| gptkbp:input |
binary constraint network
|
| gptkbp:introducedIn |
1977
|
| gptkbp:output |
arc consistent network
|
| gptkbp:relatedTo |
gptkb:AC-4
gptkb:CSP gptkb:AC-1 gptkb:AC-2001 |
| gptkbp:step |
if domain revised, add related arcs to queue
initialize queue with all arcs remove arc from queue repeat until queue is empty revise domain of variable |
| gptkbp:usedFor |
enforcing arc consistency
|
| gptkbp:bfsParent |
gptkb:Dolby_Digital_5.1
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
AC-3
|