Commit 9fe0696
fixed typos (aimacode#1118)
* changed queue to set in AC3
Changed queue to set in AC3 (as in the pseudocode of the original algorithm) to reduce the number of consistency-check due to the redundancy of the same arcs in queue. For example, on the harder1 configuration of the Sudoku CSP the number consistency-check has been reduced from 40464 to 12562!
* re-added test commented by mistake
* added the mentioned AC4 algorithm for constraint propagation
AC3 algorithm has non-optimal worst case time-complexity O(cd^3 ), while AC4 algorithm runs in O(cd^2) worst case time
* added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference
* removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py
* added map coloring SAT problems
* fixed typo errors and removed unnecessary brackets
* reformulated the map coloring problem
* Revert "reformulated the map coloring problem"
This reverts commit 20ab0e5.
* Revert "fixed typo errors and removed unnecessary brackets"
This reverts commit f743146.
* Revert "added map coloring SAT problems"
This reverts commit 9e0fa55.
* Revert "removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py"
This reverts commit b3cd24c.
* Revert "added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference"
This reverts commit 6986247.
* Revert "added the mentioned AC4 algorithm for constraint propagation"
This reverts commit 03551fb.
* added map coloring SAT problem
* fixed build error
* Revert "added map coloring SAT problem"
This reverts commit 93af259.
* Revert "fixed build error"
This reverts commit 6641c2c.
* added map coloring SAT problem
* removed redundant parentheses
* added Viterbi algorithm
* added monkey & bananas planning problem
* simplified condition in search.py
* added tests for monkey & bananas planning problem
* removed monkey & bananas planning problem
* Revert "removed monkey & bananas planning problem"
This reverts commit 9d37ae0.
* Revert "added tests for monkey & bananas planning problem"
This reverts commit 24041e9.
* Revert "simplified condition in search.py"
This reverts commit 6d229ce.
* Revert "added monkey & bananas planning problem"
This reverts commit c74933a.
* defined the PlanningProblem as a specialization of a search.Problem & fixed typo errors
* fixed doctest in logic.py
* fixed doctest for cascade_distribution
* added ForwardPlanner and tests
* added __lt__ implementation for Expr
* added more tests
* renamed forward planner
* Revert "renamed forward planner"
This reverts commit c4139e5.
* renamed forward planner class & added doc
* added backward planner and tests
* fixed mdp4e.py doctests
* removed ignore_delete_lists_heuristic flag
* fixed heuristic for forward and backward planners
* added SATPlan and tests
* fixed ignore delete lists heuristic in forward and backward planners
* fixed backward planner and added tests
* updated doc
* added nary csp definition and examples
* added CSPlan and tests
* fixed CSPlan
* added book's cryptarithmetic puzzle example
* fixed typo errors in test_csp
* fixed aimacode#1111
* added sortedcontainers to yml and doc to CSPlan
* added tests for n-ary csp
* fixed utils.extend
* updated test_probability.py
* converted static methods to functions
* added AC3b and AC4 with heuristic and tests
* added conflict-driven clause learning sat solver
* added tests for cdcl and heuristics
* fixed probability.py
* fixed import
* fixed kakuro
* added Martelli and Montanari rule-based unification algorithm
* removed duplicate standardize_variables
* renamed variables known as built-in functions
* fixed typos in learning.py
* renamed some files and fixed typos
* fixed typos
* fixed typos
* fixed tests
* removed unify_mm
* remove unnecessary brackets
* fixed tests
* moved utility functions to utils.py1 parent 255a160 commit 9fe0696
50 files changed
Lines changed: 1856 additions & 1613 deletions
File tree
- tests
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
113 | 113 | | |
114 | 114 | | |
115 | 115 | | |
| 116 | + | |
116 | 117 | | |
117 | 118 | | |
118 | 119 | | |
| 120 | + | |
119 | 121 | | |
120 | 122 | | |
121 | 123 | | |
| |||
130 | 132 | | |
131 | 133 | | |
132 | 134 | | |
| 135 | + | |
133 | 136 | | |
134 | 137 | | |
135 | 138 | | |
| |||
146 | 149 | | |
147 | 150 | | |
148 | 151 | | |
| 152 | + | |
149 | 153 | | |
150 | 154 | | |
151 | 155 | | |
152 | 156 | | |
153 | 157 | | |
| 158 | + | |
154 | 159 | | |
155 | 160 | | |
156 | 161 | | |
157 | 162 | | |
158 | 163 | | |
| 164 | + | |
159 | 165 | | |
160 | 166 | | |
161 | 167 | | |
162 | 168 | | |
163 | 169 | | |
| 170 | + | |
164 | 171 | | |
165 | 172 | | |
166 | 173 | | |
167 | 174 | | |
168 | 175 | | |
| 176 | + | |
169 | 177 | | |
170 | 178 | | |
171 | 179 | | |
| |||
176 | 184 | | |
177 | 185 | | |
178 | 186 | | |
| 187 | + | |
179 | 188 | | |
180 | 189 | | |
181 | 190 | | |
| |||
205 | 214 | | |
206 | 215 | | |
207 | 216 | | |
208 | | - | |
209 | | - | |
| 217 | + | |
210 | 218 | | |
211 | 219 | | |
212 | 220 | | |
| |||
219 | 227 | | |
220 | 228 | | |
221 | 229 | | |
| 230 | + | |
222 | 231 | | |
223 | 232 | | |
224 | 233 | | |
| |||
227 | 236 | | |
228 | 237 | | |
229 | 238 | | |
| 239 | + | |
230 | 240 | | |
231 | 241 | | |
232 | 242 | | |
| |||
253 | 263 | | |
254 | 264 | | |
255 | 265 | | |
| 266 | + | |
256 | 267 | | |
257 | 268 | | |
| 269 | + | |
258 | 270 | | |
259 | 271 | | |
260 | 272 | | |
| |||
392 | 404 | | |
393 | 405 | | |
394 | 406 | | |
395 | | - | |
| 407 | + | |
396 | 408 | | |
397 | 409 | | |
398 | 410 | | |
399 | 411 | | |
400 | | - | |
| 412 | + | |
401 | 413 | | |
402 | 414 | | |
403 | 415 | | |
404 | 416 | | |
405 | | - | |
| 417 | + | |
406 | 418 | | |
407 | 419 | | |
408 | 420 | | |
409 | 421 | | |
410 | | - | |
| 422 | + | |
411 | 423 | | |
412 | 424 | | |
413 | 425 | | |
| |||
462 | 474 | | |
463 | 475 | | |
464 | 476 | | |
465 | | - | |
| 477 | + | |
466 | 478 | | |
467 | 479 | | |
468 | 480 | | |
| |||
476 | 488 | | |
477 | 489 | | |
478 | 490 | | |
479 | | - | |
480 | | - | |
481 | | - | |
482 | | - | |
483 | | - | |
| 491 | + | |
| 492 | + | |
| 493 | + | |
| 494 | + | |
| 495 | + | |
484 | 496 | | |
485 | 497 | | |
486 | 498 | | |
| |||
505 | 517 | | |
506 | 518 | | |
507 | 519 | | |
508 | | - | |
| 520 | + | |
509 | 521 | | |
510 | 522 | | |
511 | 523 | | |
| |||
521 | 533 | | |
522 | 534 | | |
523 | 535 | | |
524 | | - | |
| 536 | + | |
525 | 537 | | |
526 | 538 | | |
527 | 539 | | |
| |||
543 | 555 | | |
544 | 556 | | |
545 | 557 | | |
546 | | - | |
| 558 | + | |
547 | 559 | | |
548 | 560 | | |
549 | 561 | | |
| |||
574 | 586 | | |
575 | 587 | | |
576 | 588 | | |
| 589 | + | |
577 | 590 | | |
578 | 591 | | |
579 | 592 | | |
| |||
682 | 695 | | |
683 | 696 | | |
684 | 697 | | |
| 698 | + | |
685 | 699 | | |
686 | 700 | | |
687 | 701 | | |
| |||
691 | 705 | | |
692 | 706 | | |
693 | 707 | | |
694 | | - | |
695 | 708 | | |
696 | 709 | | |
697 | 710 | | |
| |||
710 | 723 | | |
711 | 724 | | |
712 | 725 | | |
713 | | - | |
| 726 | + | |
714 | 727 | | |
715 | 728 | | |
716 | 729 | | |
| |||
729 | 742 | | |
730 | 743 | | |
731 | 744 | | |
732 | | - | |
733 | 745 | | |
734 | 746 | | |
735 | 747 | | |
| |||
766 | 778 | | |
767 | 779 | | |
768 | 780 | | |
| 781 | + | |
769 | 782 | | |
770 | 783 | | |
771 | 784 | | |
| |||
775 | 788 | | |
776 | 789 | | |
777 | 790 | | |
| 791 | + | |
778 | 792 | | |
779 | 793 | | |
780 | 794 | | |
| |||
824 | 838 | | |
825 | 839 | | |
826 | 840 | | |
| 841 | + | |
827 | 842 | | |
828 | 843 | | |
829 | 844 | | |
| |||
949 | 964 | | |
950 | 965 | | |
951 | 966 | | |
952 | | - | |
| 967 | + | |
953 | 968 | | |
954 | 969 | | |
955 | 970 | | |
| |||
979 | 994 | | |
980 | 995 | | |
981 | 996 | | |
982 | | - | |
983 | | - | |
| 997 | + | |
| 998 | + | |
984 | 999 | | |
985 | 1000 | | |
986 | | - | |
987 | 1001 | | |
| 1002 | + | |
| 1003 | + | |
988 | 1004 | | |
989 | 1005 | | |
990 | 1006 | | |
| |||
1016 | 1032 | | |
1017 | 1033 | | |
1018 | 1034 | | |
| 1035 | + | |
1019 | 1036 | | |
1020 | 1037 | | |
1021 | 1038 | | |
1022 | 1039 | | |
1023 | 1040 | | |
| 1041 | + | |
1024 | 1042 | | |
1025 | 1043 | | |
| 1044 | + | |
1026 | 1045 | | |
1027 | 1046 | | |
1028 | 1047 | | |
| |||
0 commit comments