Overview

In the following sections, we will go through the essential basics for working with mathematical optimization problems in JijModeling. We will also introduce the Plain API and the Decorator API side by side when it is helpful, as mentioned in the Introduction section. Before moving on, it helps to skim at least one of the quickstarts (SCIP or OpenJij versions) to get a feel for the overall workflow.

See also

For a general introduction to mathematical optimization, see other references such as JijZept’s “Basics of Mathematical Optimization”.

This section covers the following topics:

1. Declaring a mathematical model: In JijModeling, variables and constraints are always registered into a specific mathematical model. We start with how to declare a model.

2. Defining variables: We discuss decision variables and placeholders (parameters that are substituted with instance data), along with their families and how to declare them.

3. Constructing Expressions: How to build expressions in JijModeling, used for objectives, constraints, and variable shapes.

4. Mathematical Model Formulation: How to set objectives and constraints using the elements above.

5. Instance Generation: How to provide instance data and generate instances, with a brief note on the configuration of constraint detection.

Terminology

Throughout this document, “natural numbers” mean non-negative integers including \(0\). We also use “scalar” to collectively refer to natural numbers, integers, and real numbers. A constant expression that represents a concrete numeric value without any variables, such as \(1, 2, 3\) or \(5.2\), is called a “constant literal”.