<?
require('phplib/phplib.php');
require('common.php');

ini_set('memory_limit', '128M');
ini_set('max_execution_time', 300);
check_personeel();

/*
$toetsen = get_toetsen_from_csv(
	'export1415-1.csv',
	array('5H.schk/TP1', '6V.wisD/TP1'),
	array(
		'6V.wisAC/TP1' => array('6V.wisA/TP1', '6V.wisC/TP1'),
		'5H.kualg/TP1' => array('5H.kumu/TP1', '5H.kubv/TP1'))
);
	//array('5H.schk/TP1', '6V.wisD/TP1'),
 */
$db = mdb2_open($dsn);


$herinfo = get_better_herinfo($db, $_GET);

//if (isset($_GET['period_id'])) {
//	$herinfo = get_herinfo($db, $_GET['period_id']);
//} else {
//	$herinfo = get_herinfo($db);
//}

$period_id = $herinfo['period_id'];

//$buiten_beschouwing = array(
//	'5H.netl/TP2 ST lit',
//	'6V.netl/TP2 ST literatuur',
//);
$buiten_beschouwing = get_buiten_beschouwing($db, $period_id);

$samenvoegen = get_samenvoegen($db, $herinfo['period_id']);
//$samenvoegen = array(
//	'5V.wisAC/TP2 ST1' => array('5V.wisA/TP2 ST1', '5V.wisC/TP2 ST1'),
//	'6V.wisAC/TP2 ST3' => array('6V.wisA/TP2 ST3', '6V.wisC/TP2 ST3'),
//);

if (isset($_GET['limit']))
$toetsen = get_toetsen_from_db($db, $period_id, $buiten_beschouwing, $samenvoegen, $_GET['limit']);
else $toetsen = get_toetsen_from_db($db, $period_id, $buiten_beschouwing, $samenvoegen);

function set_graph_id(&$toets, $id) {
	global $toetsen, $collections;
	assert(!$toets['graph']);
	$toets['graph'] = $id;
	foreach ($toets['neighbors'] as $naam => $aantal) {
		if ($toetsen[$naam]['graph'] === NULL) { 
			$collections[$id]['list'][] = $naam;
			set_graph_id($toetsen[$naam], $id);
		}
	}
}
$graph_id = 0;
$collections = array();

foreach ($toetsen as $naam => &$value) {
	if ($value['graph'] !== NULL) continue;
	$collections[$graph_id] = array('list' => array($naam));
	set_graph_id($value, $graph_id++);
}
unset($value);

//echo("aantal onafhankelijke sets: $graph_id\n");

function get_bad_colors(&$toetsen, &$c, $no, $max_colors, $add_undefined = false) {
	$bad_colors = array();
	for ($i = 0; $i < $max_colors; $i++) $bad_colors[] = 0;
	if ($add_undefined) $bad_colors[NULL] = 0;

	// alle vertices met een lagere index zijn al gekleurd
	// en alle vertices met een hogere index zijn niet gekleurd
	//
	// visit all colored neighbors
	foreach ($toetsen[$c['list'][$no]]['neighbors'] as $neighbor => $count) {
		if ($c['indices'][$neighbor] > $no  && !$add_undefined) break;
		$bad_colors[$toetsen[$neighbor]['color']]++;
	}

	return $bad_colors;
}

function beschouw(&$c, $no, $used_colors, $max_colors) {
	static $ret; 
	global $toetsen;
	if ($no == 0) {
		$ret = array('colors' => array(), 'solutions' => array());
		for ($i = 0; $i < count($c['list']); $i++) {
			$ret['colors'][$i] = array();
			for ($j = 0; $j < $max_colors; $j++) $ret['colors'][$i][$j] = 0;
		}
	}

	if ((count($toetsen[$c['list'][$no]]['neighbors']) < $max_colors) || $no == count($c['list'])) {
		for ($i = $no; $i < count($c['list']); $i++) {
			$bad_colors = get_bad_colors($toetsen, $c, $i, $max_colors, true);
			if ($bad_colors[NULL]) continue; // er zijn onbekende buren, dan kunnen we niks
			$toetsen[$c['list'][$i]]['color'] = array();
			for ($j = 0; $j < $max_colors; $j++) 
				if (!$bad_colors[$j]) $toetsen[$c['list'][$i]]['color'][] = $j + 1;
		}
		//dot($c['list'], "out".sprintf("%04d", $counter++).".dot");

		$solution = array();
		for ($i = 0; $i < count($c['list'])/*$no*/; $i++) {
			if ($toetsen[$c['list'][$i]]['color'] === NULL) {
				$solution[] = '*';
			} else if (!is_array($toetsen[$c['list'][$i]]['color'])) {
		       		$ret['colors'][$i][$toetsen[$c['list'][$i]]['color']]++;
				$solution[] = $toetsen[$c['list'][$i]]['color'];
			} else {
				if (count($toetsen[$c['list'][$i]]['color']) == 1) {
		       			$ret['colors'][$i][$toetsen[$c['list'][$i]]['color'][0] - 1]++;
					$solution[] = $toetsen[$c['list'][$i]]['color'][0] - 1;
				} else {
					$temp = array();
					for ($j = 0; $j < count($toetsen[$c['list'][$i]]['color']); $j++) {
		       				$ret['colors'][$i][$toetsen[$c['list'][$i]]['color'][$j] - 1]++;
						$temp[] = $toetsen[$c['list'][$i]]['color'][$j] - 1;
					} 
					$solution[] = $temp;
				}
			}
		}
		if (count($ret['solutions']) < 10) $ret['solutions'][] = $solution;
		for ($i = $no; $i < count($c['list']); $i++) {
			$toetsen[$c['list'][$i]]['color'] = NULL;
		}
	} else {
		$bad_colors = get_bad_colors($toetsen, $c, $no, $max_colors);
	
		foreach ($bad_colors as $color => $badness) {
			if ($badness > 0) continue;
			$toetsen[$c['list'][$no]]['color'] = $color;
			if ($color < $used_colors) {
				beschouw($c, $no + 1, $used_colors, $max_colors);
			} else if ($color == $used_colors) {
				// if a color never has been used before, mark it used
				beschouw($c, $no + 1, $used_colors + 1, $max_colors);
			} // else: do nothing
		}

		$toetsen[$c['list'][$no]]['color'] = NULL;
	}

	if ($no == 0) return $ret;
}

$max_max_colors = 1;

foreach ($collections as &$collection) {
	usort($collection['list'], function ($a, $b) use (&$toetsen) {
		return count($toetsen[$a]['neighbors']) < count($toetsen[$b]['neighbors']);
	});

	$collection['indices'] = array();
	for ($i = 0; $i < count($collection['list']); $i++) {
		$collection['indices'][$collection['list'][$i]] = $i;
	}

	foreach ($collection['list'] as $toets) {
		uksort($toetsen[$toets]['neighbors'], function ($a, $b) use (&$collection) {
			return $collection['indices'][$a] > $collection['indices'][$b];
		});
	}

	$dot = dot($collection['list'], $toetsen);

	$collection['filename'] = $svg_filename = $datadir.md5($dot).'.svg';
	if (!file_exists($svg_filename)) {
		$dot_filename = tempnam(sys_get_temp_dir(), 'her');
		//if (file_put_contents($datadir.md5($dot).'.dot', $dot) === FALSE) error_system('unable to write .dot file');
		if (file_put_contents($dot_filename, $dot) === FALSE) error_system('unable to write .dot file');
		$out = system("dot -Tsvg -o$svg_filename $dot_filename", $ret);
		if ($ret != 0) error_system("error $ret creating .svg from .dot: $out");
		unlink($dot_filename);
	}

	$max_colors = 0;
	do {
		$max_colors++;
		$collection['max_colors'] = $max_colors;
		$collection['solver'] = beschouw($collection, 0, 0, $max_colors);
		$no_solutions = count($collection['solver']['solutions']);
	} while (!$no_solutions);
	if ($max_colors > $max_max_colors) $max_max_colors = $max_colors;

	/*
	echo("<pre>");
	echo("required colors: $max_colors, no_solutions=$no_solutions\n");

	foreach ($ret['solutions'] as $solution) {
		foreach ($solution as $color) echo($color);
		echo("\n");
	}

	foreach ($collection['list'] as $toets) {
		echo($toets.' '."{$toetsen[$toets]['color']}\n");
	}
	echo("</pre>");
 */
} 
unset($collection);

$colors = array("#fbb4ae", "#b3cde3", "#ccebc5", "#decbe4", "#fed9a6", "#ffffcc", "#e5d8bd", "#fddaec", "#f2f2f2");

$colors['*'] = "#ffffff";
$colors['?'] = "#ffffff";


$gradients = array();
foreach ($collections as &$collection) {
	for ($i = 0; $i < count($collection['solver']['solutions']); $i++) {

	$colorset = '';
	foreach ($collection['indices'] as $idx) {
		//echo("$idx\n");
		//echo($toetsen[$collection['list'][$idx]]['id'].' color: '.$collection['solver']['solutions'][0][$idx]."\n");
		$color = $collection['solver']['solutions'][$i][$idx];
		if (!is_array($color) && $colors[$color]) $colorset .= "\$('#n".$toetsen[$collection['list'][$idx]]['id']." > polygon').attr('fill', '".$colors[$color]."');\n"; 
		else if (is_array($color) && count($color) > 1) {
			$gradname = 'grad'.implode('', $color);
			$colorset .= "\$('#n".$toetsen[$collection['list'][$idx]]['id']." > polygon').attr('fill', 'url(#$gradname)');\n";
			if (!isset($gradients[$gradname])) {
				$grad = '<linearGradient id="'.$gradname.'">'."\n";
				for ($j = 0; $j < count($color); $j++) {
					$grad .= '<stop offset="'.($j/count($color)).'" stop-color="'.$colors[$color[$j]].'"/><!-- '.$j.' '.$color[$j].' -->'."\n";
					$grad .= '<stop offset="'.(($j+1)/count($color)).'" stop-color="'.$colors[$color[$j]].'"/>'."\n";
				}
				$grad .= '</linearGradient>'."\n";
				//echo("test $gradname ->$grad<-\n");
				$gradients[$gradname] = $grad; 
			}
		}
	}
	$collection['solver']['scripts'][] = $colorset;

	}
	
	//print_r($collection['solver']['solutions'][0]);
}
unset($collection); // disallow freak behavior in php with foreach and &

html_start(<<<EOS
$(function() {
});
EOS
);
?><p>ST's die buiten beschouwing zijn gelaten: <pre>
<? print_r($buiten_beschouwing); ?>
</pre>
<p>ST's die gekoppeld zijn: <pre>
<? print_r($samenvoegen); ?>
</pre>
<h1>De roostergraaf gaat ervan uit dat elke toetsduur bij elke kleur kan worden afgenomen</h1>
<svg>
<?
foreach ($gradients as $grad) {
	echo($grad);
}
?>
</svg>
<svg width="600pt" height="44pt"
 viewBox="0.00 0.00 600.15 44.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 40)">
<title>test</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-40 596.15,-40 596.15,4 -4,4"/>
<!-- node_A -->
<g id="node1" class="node">
<title>node_A</title>
<polygon fill="none" stroke="black" points="86,-36 0,-36 0,0 86,0 86,-36"/>
<text text-anchor="middle" x="43" y="-14.3" font-family="Times,serif" font-size="14.00">100 minuten</text>
</g>
<!-- node_B -->
<g id="node2" class="node">
<title>node_B</title>
<polygon fill="none" stroke="black" points="177.5,-36 104.5,-36 104.5,0 183.5,0 183.5,-30 177.5,-36"/>
<polyline fill="none" stroke="black" points="177.5,-36 177.5,-30 "/>
<polyline fill="none" stroke="black" points="183.5,-30 177.5,-30 "/>
<text text-anchor="middle" x="144" y="-14.3" font-family="Times,serif" font-size="14.00">50 minuten</text>
</g>
<!-- node_C -->
<g id="node3" class="node">
<title>node_C</title>
<polygon fill="none" stroke="black" points="280.5,-36 277.5,-40 256.5,-40 253.5,-36 201.5,-36 201.5,0 280.5,0 280.5,-36"/>
<text text-anchor="middle" x="241" y="-14.3" font-family="Times,serif" font-size="14.00">80 minuten</text>
</g>
<!-- node_D -->
<g id="node4" class="node">
<title>node_D</title>
<polygon fill="none" stroke="black" points="377.5,-36 310.5,-36 310.5,-40 298.5,-40 298.5,0 377.5,0 377.5,-36"/>
<polyline fill="none" stroke="black" points="298.5,-36 310.5,-36 "/>
<text text-anchor="middle" x="338" y="-14.3" font-family="Times,serif" font-size="14.00">40 minuten</text>
</g>
<!-- node_E -->
<g id="node5" class="node">
<title>node_E</title>
<polygon fill="none" stroke="black" points="482,-36 396,-36 396,-32 392,-32 392,-28 396,-28 396,-8 392,-8 392,-4 396,-4 396,0 482,0 482,-36"/>
<polyline fill="none" stroke="black" points="396,-32 400,-32 400,-28 396,-28 "/>
<polyline fill="none" stroke="black" points="396,-8 400,-8 400,-4 396,-4 "/>
<text text-anchor="middle" x="439" y="-14.3" font-family="Times,serif" font-size="14.00">150 minuten</text>
</g>
<!-- node_F -->
<g id="node6" class="node">
<title>node_F</title>
<ellipse fill="none" stroke="black" cx="546" cy="-18" rx="46.29" ry="18"/>
<text text-anchor="middle" x="546" y="-14.3" font-family="Times,serif" font-size="14.00">? minuten</text>
</g>
</g>
</svg>
<? foreach ($collections as $collection) {
	echo("<h3>Toetsgroep</h3>\n");
	?>Oplossing(en): <?
	$i = 0;
	foreach ($collection['solver']['scripts'] as $script) {
		$i++;
		echo(' <a href="javascript:void();" onclick="'.$script.'">'.$i.'</a>');
	}
	echo(', benodigd aantal kleuren '.$collection['max_colors'].'.');
?>
		<div style="max-width: 100%"><?
	readfile($collection['filename']);
	?></div><?
}
html_end();
?>