content/zettel/1c2a3.md


1
2
3
4
5
6
7
8
9
10
11
12

+++
title = "Solving system of difference constraints"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["1c2a2"]
forwardlinks = ["1c2a4"]
zettelid = "1c2a3"
+++

The main idea is that if there are no negative cycles, then the system
of difference constraints is solvable.