Konbu Check Wiki

Linear constraint feasibility check and get program.

Status: Inactive

Brought to you by: bitsofcotton

Home

Welcome to Konbu Check Homepage!

Konbu Check aims to check feasibility and get feasible point from a multiple set of linear constraints.
You may need this program for collision detecting of linear inequality pairs.
And this program is for dense and small dimension problems, to solve sparse or large dimension problems, no advantages from proceeding algorithms (so slow or too large accuracy needed.).
This program gains inner vector in O(3mn^2) arithmetic and O(mn) elementary function (cos, sqrt and so on) operation time for m constraints n variables.

Freezed.

More user-friendly user interface or software needed.
For latest information, please visit https://github.com/bitsofcotton/conv_check .
Web demo is @ https://services.limpid-intensity.info/
Konbu Check is BSD or LGPL licensed.

Tips

It has a chance that we slips feasible point, if then, please extend accuracy or the parameter threshold_loop.

Bug

Version 1.01-stable has a bug. please use 1.01-stable2 or 1.00-stable.
Version 1.00-stable and before have a bug that orthogonality slighty not saves. This is fixed in the Version 1.01. -> re calculated, it's ok. Because we fix it each loop, so returned result may have fixed calculated vector.
Version 1.00-alpha and before have a bug that O(mn^2L) operations needed. This is fixed in Version 1.00-rc.
Version 0.11 also have a bug that can't solve large diameters.
Version 0.10-release3 have a little configured parameter, so this is good for gaining inner points. But in optimizing, edge misses often occures.
Veresion 0.10-release2 gains edges properly but not gains good vector. please wait next release (sorry but it will be late)
Please use 0.08-stable5 or later to gain proper vectors in proper time.
**Veresions that have steps function can't optimize well but is able to get inner points. (either version 0.10) **
Version 0.08-stable2 now configured that large box constraints that err_upper_step is tiny.
Version 0.08-stable4 now compatible with latest Eigen library (before them, tan and atan2 function is not defined in internal namescope.).
Version 0.08-stable4 and before have O(mn^2L) bug for fixing.
If original problem have hyper planes far enough from origin point depends on err_upper_step, Konbu Check cannot gain solvee (accuracy depending).
around 0.03-stable, changing PC environment causes hdd filesystem crash so files are recovered from backup CD, file permissions are improper.

Reference:

Project Admins:
- Bits of cotton