Statements (26)
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
|
https://www.w3.org/2000/01/rdf-schema#label |
AC-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
gptkb:Dolby_Digital |
gptkbp:bfsLayer |
5
|