678 lines
14 KiB
JSON
Generated
678 lines
14 KiB
JSON
Generated
{
|
|
"name": "",
|
|
"config": {
|
|
"sketch": false,
|
|
"themeID": 0,
|
|
"darkThemeID": null,
|
|
"pad": null,
|
|
"center": null,
|
|
"layoutEngine": null
|
|
},
|
|
"isFolderOnly": false,
|
|
"fontFamily": "SourceSansPro",
|
|
"shapes": [
|
|
{
|
|
"id": "a",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 26,
|
|
"y": 251
|
|
},
|
|
"width": 382,
|
|
"height": 101,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "N1",
|
|
"animated": false,
|
|
"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": 468,
|
|
"y": 293
|
|
},
|
|
"width": 65,
|
|
"height": 18,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "N1",
|
|
"animated": false,
|
|
"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": 269,
|
|
"y": 50
|
|
},
|
|
"width": 179,
|
|
"height": 51,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "N1",
|
|
"animated": false,
|
|
"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": 423,
|
|
"y": 452
|
|
},
|
|
"width": 154,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B6",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"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": 593,
|
|
"y": 269
|
|
},
|
|
"width": 86,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B6",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"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": 448,
|
|
"y": 639
|
|
},
|
|
"width": 104,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B6",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"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": 10,
|
|
"y": 30
|
|
},
|
|
"width": 122,
|
|
"height": 92,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "B4",
|
|
"stroke": "B1",
|
|
"animated": false,
|
|
"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": "OUTSIDE_TOP_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "Linear program.formula",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 40,
|
|
"y": 60
|
|
},
|
|
"width": 62,
|
|
"height": 32,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "N1",
|
|
"animated": false,
|
|
"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,
|
|
"link": "",
|
|
"route": [
|
|
{
|
|
"x": 310.75,
|
|
"y": 101
|
|
},
|
|
{
|
|
"x": 235.5500030517578,
|
|
"y": 141
|
|
},
|
|
{
|
|
"x": 216.75,
|
|
"y": 211
|
|
},
|
|
{
|
|
"x": 216.75,
|
|
"y": 251
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"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,
|
|
"link": "",
|
|
"route": [
|
|
{
|
|
"x": 406.25,
|
|
"y": 101
|
|
},
|
|
{
|
|
"x": 481.45001220703125,
|
|
"y": 141
|
|
},
|
|
{
|
|
"x": 500.25,
|
|
"y": 219.3000030517578
|
|
},
|
|
{
|
|
"x": 500.25,
|
|
"y": 292.5
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"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,
|
|
"link": "",
|
|
"route": [
|
|
{
|
|
"x": 216.75,
|
|
"y": 352
|
|
},
|
|
{
|
|
"x": 216.75,
|
|
"y": 392
|
|
},
|
|
{
|
|
"x": 257.95001220703125,
|
|
"y": 414
|
|
},
|
|
{
|
|
"x": 422.75,
|
|
"y": 462
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"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,
|
|
"link": "",
|
|
"route": [
|
|
{
|
|
"x": 500.25,
|
|
"y": 311.5
|
|
},
|
|
{
|
|
"x": 500.25,
|
|
"y": 383.8999938964844
|
|
},
|
|
{
|
|
"x": 500.25,
|
|
"y": 412
|
|
},
|
|
{
|
|
"x": 500.25,
|
|
"y": 452
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"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,
|
|
"link": "",
|
|
"route": [
|
|
{
|
|
"x": 635.75,
|
|
"y": 335.5
|
|
},
|
|
{
|
|
"x": 635.75,
|
|
"y": 388.70001220703125
|
|
},
|
|
{
|
|
"x": 619.3499755859375,
|
|
"y": 412
|
|
},
|
|
{
|
|
"x": 553.75,
|
|
"y": 452
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"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,
|
|
"link": "",
|
|
"route": [
|
|
{
|
|
"x": 500.25,
|
|
"y": 517.5
|
|
},
|
|
{
|
|
"x": 500.25,
|
|
"y": 566.2999877929688
|
|
},
|
|
{
|
|
"x": 500.25,
|
|
"y": 590.7000122070312
|
|
},
|
|
{
|
|
"x": 500.25,
|
|
"y": 639.5
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"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": "",
|
|
"animated": false,
|
|
"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
|
|
}
|
|
}
|