625 lines
13 KiB
JSON
Generated
625 lines
13 KiB
JSON
Generated
{
|
|
"name": "",
|
|
"isFolderOnly": false,
|
|
"fontFamily": "SourceSansPro",
|
|
"shapes": [
|
|
{
|
|
"id": "a",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 12,
|
|
"y": 224
|
|
},
|
|
"width": 382,
|
|
"height": 101,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "N1",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "\\\\Huge{\\\\frac{\\\\alpha g^2}{\\\\omega^5} e^{[ -0.74\\\\bigl\\\\{\\\\frac{\\\\omega U_\\\\omega 19.5}{g}\\\\bigr\\\\}^{\\\\!-4}\\\\,]}}",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "latex",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 382,
|
|
"labelHeight": 101,
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "b",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 414,
|
|
"y": 265
|
|
},
|
|
"width": 65,
|
|
"height": 18,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "N1",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "e = mc^2",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "latex",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 65,
|
|
"labelHeight": 18,
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "z",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 235,
|
|
"y": 93
|
|
},
|
|
"width": 179,
|
|
"height": 51,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "N1",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "gibberish\\\\; math:\\\\sum_{i=0}^\\\\infty i^2",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "latex",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 179,
|
|
"labelHeight": 51,
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "c",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 315,
|
|
"y": 455
|
|
},
|
|
"width": 154,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B6",
|
|
"stroke": "B1",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "mixed together",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 109,
|
|
"labelHeight": 21,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "sugar",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 499,
|
|
"y": 259
|
|
},
|
|
"width": 86,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B6",
|
|
"stroke": "B1",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "sugar",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 41,
|
|
"labelHeight": 21,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "solution",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 340,
|
|
"y": 682
|
|
},
|
|
"width": 104,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B6",
|
|
"stroke": "B1",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "solution",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 59,
|
|
"labelHeight": 21,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "Linear program",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 434,
|
|
"y": 12
|
|
},
|
|
"width": 223,
|
|
"height": 132,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B4",
|
|
"stroke": "B1",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "Linear program",
|
|
"fontSize": 28,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 178,
|
|
"labelHeight": 36,
|
|
"labelPosition": "INSIDE_TOP_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "Linear program.formula",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 514,
|
|
"y": 62
|
|
},
|
|
"width": 62,
|
|
"height": 32,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "N1",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "\\\\min_{ \\\\mathclap{\\\\substack{ x \\\\in \\\\mathbb{R}^n \\\\ x \\\\geq 0 \\\\ Ax \\\\leq b }}} c^T x",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "latex",
|
|
"color": "N1",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 62,
|
|
"labelHeight": 32,
|
|
"zIndex": 0,
|
|
"level": 2
|
|
}
|
|
],
|
|
"connections": [
|
|
{
|
|
"id": "(z -> a)[0]",
|
|
"src": "z",
|
|
"srcArrow": "none",
|
|
"dst": "a",
|
|
"dstArrow": "triangle",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "B1",
|
|
"borderRadius": 10,
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N2",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 294.9159851074219,
|
|
"y": 144
|
|
},
|
|
{
|
|
"x": 294.9159851074219,
|
|
"y": 224
|
|
}
|
|
],
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(z -> b)[0]",
|
|
"src": "z",
|
|
"srcArrow": "none",
|
|
"dst": "b",
|
|
"dstArrow": "triangle",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "B1",
|
|
"borderRadius": 10,
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N2",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 354.5830078125,
|
|
"y": 144
|
|
},
|
|
{
|
|
"x": 354.5830078125,
|
|
"y": 184
|
|
},
|
|
{
|
|
"x": 446.5,
|
|
"y": 184
|
|
},
|
|
{
|
|
"x": 446.5,
|
|
"y": 266
|
|
}
|
|
],
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(a -> c)[0]",
|
|
"src": "a",
|
|
"srcArrow": "none",
|
|
"dst": "c",
|
|
"dstArrow": "triangle",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "B1",
|
|
"borderRadius": 10,
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N2",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 354.4159851074219,
|
|
"y": 325
|
|
},
|
|
{
|
|
"x": 354.4159851074219,
|
|
"y": 455
|
|
}
|
|
],
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(b -> c)[0]",
|
|
"src": "b",
|
|
"srcArrow": "none",
|
|
"dst": "c",
|
|
"dstArrow": "triangle",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "B1",
|
|
"borderRadius": 10,
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N2",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 446.5,
|
|
"y": 283
|
|
},
|
|
{
|
|
"x": 446.5,
|
|
"y": 365
|
|
},
|
|
{
|
|
"x": 392.9159851074219,
|
|
"y": 365
|
|
},
|
|
{
|
|
"x": 392.9159851074219,
|
|
"y": 455
|
|
}
|
|
],
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(sugar -> c)[0]",
|
|
"src": "sugar",
|
|
"srcArrow": "none",
|
|
"dst": "c",
|
|
"dstArrow": "triangle",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "B1",
|
|
"borderRadius": 10,
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N2",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 542,
|
|
"y": 325
|
|
},
|
|
{
|
|
"x": 542,
|
|
"y": 415
|
|
},
|
|
{
|
|
"x": 431.4159851074219,
|
|
"y": 415
|
|
},
|
|
{
|
|
"x": 431.4159851074219,
|
|
"y": 455
|
|
}
|
|
],
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(c -> solution)[0]",
|
|
"src": "c",
|
|
"srcArrow": "none",
|
|
"dst": "solution",
|
|
"dstArrow": "triangle",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "B1",
|
|
"borderRadius": 10,
|
|
"label": "we get",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "N2",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 44,
|
|
"labelHeight": 21,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 392.9159851074219,
|
|
"y": 521
|
|
},
|
|
{
|
|
"x": 392.9159851074219,
|
|
"y": 682
|
|
}
|
|
],
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
}
|
|
],
|
|
"root": {
|
|
"id": "",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 0,
|
|
"y": 0
|
|
},
|
|
"width": 0,
|
|
"height": 0,
|
|
"opacity": 0,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 0,
|
|
"borderRadius": 0,
|
|
"fill": "N7",
|
|
"stroke": "",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "",
|
|
"fontSize": 0,
|
|
"fontFamily": "",
|
|
"language": "",
|
|
"color": "",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"zIndex": 0,
|
|
"level": 0
|
|
}
|
|
}
|