README

从https://github.com/uestla/Simplex-Calculator分支而来

关于

使用对偶单纯形算法解决线性规划问题的PHP库。

注意：未实现基循环检测。

使用bcsub从小数计算分数，以避免浮点数问题。

安装

推荐使用Composer

composer require uestla/simplex-calculator

您也可以下载最新的发布版本作为ZIP文件。

约定

请将所有输入变量命名为x<n>，其中<n>是自然数（详细示例见下文）。

用法

加载库

// using Composer
require_once __DIR__ . '/vendor/autoload.php';

// using manual download
require_once __DIR__ . '/Simplex/simplex.php';

定义和求解单纯形任务

// define task: Maximize x1 + 2x2
$task = new Simplex\Task(new Simplex\Func(array(
	'x1' => 1,
	'x2' => 2,
)));

// add constraints

// 3x1 + 2x2 <= 24
$task->addRestriction(new Simplex\Restriction(array(
	'x1' => 3,
	'x2' => 2,

), Simplex\Restriction::TYPE_LOE, 24));

// -2x1 - 4x2 >= -32
$task->addRestriction(new Simplex\Restriction(array(
	'x1' => -2,
	'x2' => -4,

), Simplex\Restriction::TYPE_GOE, -32));

// create solver
$solver = new Simplex\Solver($task);

// get solutions
$solution = $solver->getSolution(); // array('x1' => 0, 'x2' => 8, 'x3' => 8, 'x4' => 0)
$alternativeSolutions = $solver->getAlternativeSolution(); // array(array('x1' => 4, 'x2' => 6, 'x3' => 0, 'x4' => 0))

// get optimal value
$optimum = $solver->getSolutionValue($solution); // 16

// print solutions
$printer = new Simplex\Printer;
$printer->printSolution($solver);

// or print the whole solution process
$printer->printSolver($solver);

解

$solver->getSolutions()返回主最优解。值可以是三种类型之一

• array - 每个输入变量的最优系数向量
• false - 最优解不存在
• null - 步骤不足，无法找到解

默认情况下，求解器在执行16个单纯形表后停止计算。您可以通过第二个参数增加最大步骤限制

$solver = new Simplex\Solver($task, 32);

$solver->getAlternativeSolutions()返回已找到的其他最优解数组。它可能返回

• array - 包含替代最优解向量的数组
• null - 未找到替代最优解