# Dattorro Convex Optimization of Eternity II

(Difference between revisions)
 Revision as of 02:15, 15 February 2011 (edit)← Previous diff Revision as of 01:48, 23 February 2011 (edit) (undo)Next diff → Line 4: Line 4: *$\tau\!\in\!\mathbb{R}^{11077}$ and $\,E\!\in\!\mathbb{R}^{11077\times262144}$ is the million column Eternity II matrix having redundant rows and columns removed analytically, *$\tau\!\in\!\mathbb{R}^{11077}$ and $\,E\!\in\!\mathbb{R}^{11077\times262144}$ is the million column Eternity II matrix having redundant rows and columns removed analytically, *$\tilde{\tau}\!\in\!\mathbb{R}^{10054}$ and $\,\tilde{E}\!\in\!\mathbb{R}^{10054\times204304}$ has columns removed corresponding to known zero variables (removal produced dependent rows), *$\tilde{\tau}\!\in\!\mathbb{R}^{10054}$ and $\,\tilde{E}\!\in\!\mathbb{R}^{10054\times204304}$ has columns removed corresponding to known zero variables (removal produced dependent rows), - *$b\!\in\!\mathbb{R}^{7362}$   and $A\!\in\!\mathbb{R}^{7362\times150638}$  has columns removed not in smallest face (containing $\tilde{\tau}$) of polyhedral cone $\mathcal{K}\triangleq\{\tilde{E}^{}x~|~x\!\succeq\!0\}$, + *$b\!\in\!\mathbb{R}^{7362}$   and $A\!\in\!\mathbb{R}^{7362\times150638}$  has columns removed not in smallest face (containing $\tilde{\tau}$) of polyhedral cone $\mathcal{K}\triangleq\{\tilde{E}^{}x~|~x\!\succeq\!0\}$. - *'''zero_varbs''': row-vector identifying 57,840 columns removed from $\,E$ to make $\tilde{E}$ + - *'''zero_varbs_cone''': row-vector identifying 53,666 more columns removed from $\,E$ to make $\,A$;
''i.e.'', those columns not belonging to smallest face of $\mathcal{K}$ containing $\tilde{\tau}$. + The following linear program is a very difficult problem that remains unsolved: The following linear program is a very difficult problem that remains unsolved:

## Revision as of 01:48, 23 February 2011

An Eternity II puzzle problem formulation $LaTeX: A_{}x\!=\!b\,$ is discussed thoroughly in section 4.6.0.0.15 of the book Convex Optimization & Euclidean Distance Geometry which is freely available. That $LaTeX: A\,$ matrix is obtained by presolving a sparse 864,593 $LaTeX: \!\times\!$ 1,048,576 system. This Matlab binary contains three successive reductions, each equivalent to that larger system:

• $LaTeX: \tau\!\in\!\mathbb{R}^{11077}$ and $LaTeX: \,E\!\in\!\mathbb{R}^{11077\times262144}$ is the million column Eternity II matrix having redundant rows and columns removed analytically,
• $LaTeX: \tilde{\tau}\!\in\!\mathbb{R}^{10054}$ and $LaTeX: \,\tilde{E}\!\in\!\mathbb{R}^{10054\times204304}$ has columns removed corresponding to known zero variables (removal produced dependent rows),
• $LaTeX: b\!\in\!\mathbb{R}^{7362}$   and $LaTeX: A\!\in\!\mathbb{R}^{7362\times150638}$  has columns removed not in smallest face (containing $LaTeX: \tilde{\tau}$) of polyhedral cone $LaTeX: \mathcal{K}\triangleq\{\tilde{E}^{}x~|~x\!\succeq\!0\}$.

The following linear program is a very difficult problem that remains unsolved:

$LaTeX: \begin{array}{cl}\mbox{minimize}_x&c^{\rm T}x\\ \mbox{subject to}&A\,x=b\\ &x\succeq_{}\mathbf{0}\end{array}$

Matrix $LaTeX: A\!\in\!\mathbb{R}^{7362\times150638}$ is sparse having only 782,087 nonzeros. All entries of $LaTeX: A\,$ are integers from the set $LaTeX: \{{-1},0,1\}\,$.

Vector $LaTeX: b_{\!}\in\!\{0,1\}^{7362}$ has only 358 nonzeros.

Vector $LaTeX: c\,$ is left unspecified because it is varied later in a Convex Iteration to find a minimal cardinality solution $LaTeX: x\,$.  Constraints $LaTeX: A_{}x\!=\!b\,$ bound the variable from above by $LaTeX: \mathbf{1}$. Any minimal cardinality solution is binary and solves the Eternity II puzzle. Minimal cardinality of this Eternity II problem is equal to number of puzzle pieces, 256.

Comment: The technique, convex iteration, requires no modification (and works very well) when applied instead to mixed integer programming (MIP, not discussed in book). There is no modification to the linear program statement here except 256 variables are declared binary.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 20, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.6793864369392395, "perplexity": 2204.7900831006536}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2021-43/segments/1634323585837.82/warc/CC-MAIN-20211024015104-20211024045104-00350.warc.gz"}