Concept
Backtracking
Related lectures (13)
Distributed Multiagent Systems: Coordination and Learning
Explores coordination and learning in distributed multiagent systems, covering social laws, task exchange, constraint satisfaction, and coordination algorithms.
Choosing a Step SizeMOOC: Introduction to optimization on smooth manifolds: first order methods
Explores choosing a step size in optimization on manifolds, including backtracking line-search and the Armijo method.
Propositional Resolution and SAT Solvers
Covers the transformation of formulas into conjunctive normal form and the efficiency of algorithms for checking satisfiability.
Rule Systems, Simulations, and Parallel Worlds
Delves into rule systems, simulations, and parallel worlds, exploring Prolog, backtracking algorithms, logic complexity, the Game of Life simulation, and the concept of Simulats.
Linear Programming: Extreme Points
Explores extreme points in linear programming and the role of constraints in finding optimal solutions.
Test of VLSI Systems: ATPG and Fault Coverage
Explores test vector generation, ATPG algorithms, fault coverage, and path sensitization in VLSI systems.
Test of VLSI Systems: Combinational and Sequential ATPG
Covers the generation of test vector patterns, fault modeling, structural vs. functional tests, and the implementation of time-frame expansion.
Linear Programming Basics
Introduces linear programming basics, including optimization problems, cost functions, simplex algorithm, geometry of linear programs, extreme points, and degeneracy.
Logistic Regression: Statistical Inference and Machine Learning
Covers logistic regression, likelihood function, Newton's method, and classification error estimation.
Constraint Satisfaction: Formulation and Algorithms
Covers the formulation of constraint satisfaction problems and systematic algorithms for solving them efficiently.