A Choice-Point Library for Backtrack Programming
نویسنده
چکیده
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend the C language to efficiently handle choice point management. Originally, these two functions were designed to compile the ELAN strategy language. However, they can be used by programmers for general programming in C. We illustrate their use by presenting the classical 8-queens problem and giving some experimental results. Algorithms and implementation techniques are sufficiently detailed to be easily modified and re-implemented.
منابع مشابه
A Heuristic Approach for Solving LIP with the Optional Feasible or Infeasible Initial Solution Points
An interactive heuristic approach can offer a practical solution to the problem of linear integer programming (LIP) by combining an optimization technique with the Decision Maker’s (DM) judgment and technical supervision. This is made possible using the concept of bicriterion linear programming (BLP) problem in an integer environment. This model proposes two bicriterion linear programs for iden...
متن کاملCLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration
Product configuration is a successful application area of constraint programming. CLab [1, 2] is an open source C++ library for building fast backtrack-free interactive product configurators. It contains functions that support a two-phase approach to interactive product configuration described by Hadzic et al. [3]. In the first phase, a Binary Decision Diagram (BDD) representing the set of vali...
متن کاملA Linear-Logic Semantics for Constraint Handling Rules With Disjunction
We motivate and develop a linear logic declarative semantics for CHR∨, an extension of the CHR programming language that integrates concurrent committed choice with backtrack search and a predefined underlying constraint handler. We show that our semantics maps each of these aspects of the language to a distinct aspect of linear logic. We show how we can use this semantics to reason about deriv...
متن کاملTeaching the Backtracking Method using Intelligent Games
Teaching programming techniques has always been a challenge. We exhibit an innovative way of teaching the backtracking programming strategy using educational games, in particular Sudoku. Compared to traditional ways of teaching backtracking, we used a new pseudocode that corresponds to the solution tree of the educational game. Most of the current textbooks present the traditional way to teach ...
متن کاملA Robust Frank-Wolfe Method for MAP Inference
Finding maximum a posterior (MAP) estimation is common problem in computer vision, such as the inference in Markov random fields. However, it is in general intractable, and one has to resort to approximate solutions, e.g. quadratic programming. In this paper, we propose a robust Frank-Wolfe method [6] to do the MAP inference. Our algorithm optimizes the quadratic programming problem by alternat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998