brain

tamnd's digital brain — notes, problems, research

43815 notes

TAOCP 7.2.2.1 Exercise 403

Working

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 402

The exercise refers to a $12\times12$ KenKen puzzle whose cage layout is given in a figure.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 401

Working

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 400

The statement of Exercise 7.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 40

Edit Let the database after rows (1,\ldots,k-1) have been processed contain entries [ (s_j,c_j).

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 399

Algorithm C can be applied after converting the KenKen puzzle into an exact cover problem.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 398

I can write the complete solution, but the data needed to solve it is missing: Figure 398, which defines the three KenKen puzzles (a), (b), and (c), is not included in the prompt.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 397

Let the grid cells be indexed by $(r,c)$, where $1\le r,c\le n$.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 396

A $9\times9$ futoshiki solution is a Latin square on the symbols ${1,2,\ldots,9}$, together with the required strong and weak clues.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 395

Consider the Latin square L= \begin{pmatrix} 1&3&2&5&4\\ 4&1&3&2&5\\

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 394

Working

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 393

A complete correction requires an exhaustive enumeration.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 392

I cannot produce a mathematically valid corrected solution with the requested numerical table and examples from the information available here.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 391

The corrected solution is given below.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 390

Edit Let the entries of an (n\times n) futoshiki puzzle be (x_{r,c}), where [ 1\le r,c\le n,\qquad x_{r,c}\in{1,\ldots,n}.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 39

Let $m$ be the number of options and let $n$ be the number of items.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 389

Let the entries of an $n\times n$ futoshiki puzzle be denoted by $x_{r,c}$, with every entry satisfying $1\le x_{r,c}\le n.$ Each row and column contains each of the values $1,\ldots,n$ exactly once.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 388

The three futoshiki instances in Figure 388 are required in order to produce the worked solutions.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 387

A polycube has a symmetry group consisting of those rotations of space that preserve the set of cubes.

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 386

A symmetry of a polyiamond or a polyhex is an element of the symmetry group of the triangular lattice or hexagonal lattice.

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 385

The statement is not presently proved.

taocpmathematicsalgorithmsvolume-4math-project
TAOCP 7.2.2.1 Exercise 384

The corrected solution must include both the exact-cover construction and the actual enumeration for the case $l=m=n=7$.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 383

A complete solution to Exercise 7.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 382

The construction cannot be recovered from the information supplied in the exercise statement alone.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 381

Place coordinates on the $12 \times n$ rectangle, with rows numbered $1,2,\ldots,12$ and columns numbered $1,2,\ldots,n$.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 380

Edit Let (Y) denote the pentomino consisting of a column of four cells with one additional cell attached to the second cell of the column.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 38

Let $g_n$ denote the lexicographically smallest solution of the $\infty$ queens problem.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 379

The empty submission gives no information, so the solution must begin by determining the finite basis of packable rectangles for the $Q$-pentomino.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 378

Edit Let a rectangular shape be denoted by $h\times w$, where $h,w\in\mathbb N$.

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 377

A rectangle $h\times w$ will always mean a rectangle with positive integer side lengths.

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 376

\textbf{Solution.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 375

A complete corrected solution cannot be written from the information supplied in the prompt.

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 374

Edit Let the rectangles of an incomparable dissection be (R_i), with dimensions (h_i\times w_i).

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 373

Understood.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 372

Edit Let (r \ge r') denote reachability through a chain of horizontal walls, with each step going from a room to the room immediately below it.

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 371

R=[a\ldots b)\times[c\ldots d) denotes a rectangle whose horizontal interval is $[a\ldots b)$ and whose vertical interval is $[c\ldots d)$.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 370

Please provide the proposed solution and the reviewer feedback (paste the text or upload the files).

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 37

Let $\langle g_n\rangle$ denote the lexicographically smallest solution to the $\infty$ queens problem.

taocpmathematicsalgorithmsvolume-4math-research
TAOCP 7.2.2.1 Exercise 369

The data supplied do not contain enough information to produce a valid complete solution with the numerical maxima.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 368

Let the $m\times n$ rectangle be divided into $t$ subrectangles.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 367

Let a motley dissection of an $m\times n$ rectangle be represented by the closed coordinate intervals of its subrectangles.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 366

Edit Let the construction of Exercise 363 be regarded as a rooted search tree.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 363

A decomposition of an $m \times n$ rectangle into grid-aligned subrectangles can be represented as an exact cover problem.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 361

Edit The minimum number of subrectangles in a reduced (m\times n) pattern is [ \boxed{m+n-1}.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 360

Let the coordinates of the reduced $m \times n$ rectangle be 0,1,\ldots,m in the vertical direction and

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 36

Let $z_k=\operatorname{TOP}(x_k)$ denote the item chosen at level $k$ of Algorithm X.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 358

Represent the centers of the spheres by coordinates in the hexagonal stacking, using two-dimensional triangular coordinates inside each layer and a layer index.

taocpmathematicsalgorithmsvolume-4hm-simple
TAOCP 7.2.2.1 Exercise 357

A truncated octahedron has $6$ square faces and $8$ hexagonal faces, so a polysplatt is determined by a connected set of cells in the truncated-octahedral honeycomb.

taocpmathematicsalgorithmsvolume-4math-immediate
TAOCP 7.2.2.1 Exercise 356

Please provide the proposed solution and the reviewer feedback (paste the text or upload the files).

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 355

Solution to TAOCP 7.2.2.1 Exercise 355.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 354

I can write the requested rigorous solution, but the exercise is long and has several parts requiring derivations of specific matrices and proofs of the symmetry group statement.

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 353

Corrected solution: Edit A weak polycube of size (3) is a connected set of three unit cubes whose centers are lattice points in (\mathbb Z^3).

taocpmathematicsalgorithmsvolume-4project
TAOCP 7.2.2.1 Exercise 352

Each pentomino is regarded as a flat $5$-cell polycube embedded in the $2 \times 2 \times 3 \times 5$ hyperbox.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 350

The proposed slab argument is a valid reduction, but the rectangle packing used in the previous solution is not.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 35

A mathematically correct solution cannot be written from the information provided because the exercise statement is incomplete.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 349

Let s=a+b+c, and consider the cube

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 348

The reviewer’s principal objection is based on a misinterpretation of the exercise.

taocpmathematicsalgorithmsvolume-4math-project
TAOCP 7.2.2.1 Exercise 347

Let the cells of the $l \times m \times n$ box have coordinates $(x,y,z)$, where $0\le x<l,\qquad 0\le y<m,\qquad 0\le z<n.$ Let $\omega$ be a primitive $k$th root of unity.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 346

A fully corrected solution cannot be produced reliably from the information available in the prompt alone.

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 345

The corrected solution is: Edit The supplied statement does not contain the defining data needed to determine the U-shaped dodecacube or the meaning of a forbidden cross.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 344

\textbf{Solution.

taocpmathematicsalgorithmsvolume-4simple
TAOCP 7.2.2.1 Exercise 343

Solution to TAOCP 7.2.2.1 Exercise 343.

taocpmathematicsalgorithmsvolume-4simple
TAOCP 7.2.2.1 Exercise 342

Solution to TAOCP 7.2.2.1 Exercise 342.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 341

A complete solution to this exercise must exhibit actual packings.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 340

\textbf{Solution.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 34

\textbf{Construction.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 339

Let $O$ be a free octomino, and let $P(O)$ be the $4$-level prism obtained by stacking four copies of $O$.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 338

The statement refers to six target shapes shown in Figure 338, but the figure itself is not included in the supplied material.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 337

Use coordinates $(x,y,z)$ for the unit cubes of the large cube, where $0\le x,y,z<3$.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 336

The statement supplied for exercise 336 is incomplete because the defining figure for the L-bert Hall piece is missing.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 335

I cannot produce a mathematically valid corrected solution from the information supplied.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 334

A complete solution to Exercise 7.

taocpmathematicsalgorithmsvolume-4math-hard
TAOCP 7.2.2.1 Exercise 333

The previous solution had the right mechanical idea but treated the crucial verifications as if they were already done.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 332

I cannot produce a correct enumeration for this exercise from the information provided, because the defining figure for the three target shapes is not available in the conversation.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 331

Let a _Soma shape_ mean a connected set of $27$ unit cubes that can be tiled by the seven fixed Soma pieces, with congruent shapes identified under the symmetries of the cube.

taocpmathematicsalgorithmsvolume-4math-project
TAOCP 7.2.2.1 Exercise 330

A complete enumeration is most naturally done by reducing the question to a finite exact-cover computation.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 33

Let the columns of $A$ correspond to the item set $U$, and let the rows of $A$ be the options of the original exact cover problem.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 329

Let the coordinates of the box be B=\{(x,y,z):1\le x\le 3,\ 1\le y\le 4,\ 1\le z\le 3\}.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 328

The statement of the exercise in the prompt contains a dimensional error.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 327

Solution to TAOCP 7.2.2.1 Exercise 327.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 326

Assign coordinates $(x,y,z)$ to the cubies of Fig.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 325

Let $V$ be the set of $240$ equivalence classes of solutions of the Soma cube problem.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 324

A base placement is a placement of a Soma piece in the $3\times3\times3$ cube.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 323

A skewed pixel diagram can be drawn by replacing the ordinary square grid with the checkerboard tiling formed by unit squares and unit rhombuses.

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 322

Exercise 265 extends Algorithm X to packing problems by making each possible placement of a piece into the container an option, with items representing the conditions that must be satisfied exactly on...

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 321

A rigorous solution would have to: 1.

taocpmathematicsalgorithmsvolume-4project
TAOCP 7.2.2.1 Exercise 320

The corrected solution is given below in a textbook style, with the enumeration and verification steps made explicit.

taocpmathematicsalgorithmsvolume-4math-project
TAOCP 7.2.2.1 Exercise 32

Edit **Solution.

taocpmathematicsalgorithmsvolume-4
TAOCP 7.2.2.1 Exercise 319

T(x,y)=(x+y,x-y).

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 318

Use the coordinate system of Exercise 124 for the triangular grid.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 317

I cannot produce a mathematically valid corrected solution for this exercise from the information available here.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 316

Analyzing

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 315

Let the coordinates of the cells of a polyhex be given by the coordinate system of the infinite hexagonal grid in the exercise.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 314

Let the four pentiamonds be $P_1,P_2,P_3,P_4$.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 313

I cannot give a corrected numerical solution to this exercise without performing the actual enumeration.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 312

I cannot produce a correct solution to Exercise 7.

taocpmathematicsalgorithmsvolume-4medium
TAOCP 7.2.2.1 Exercise 311

In particular, a correct solution must contain all of the following concrete items: 1.

taocpmathematicsalgorithmsvolume-4hard
TAOCP 7.2.2.1 Exercise 310

Solution to TAOCP 7.2.2.1 Exercise 310.

taocpmathematicsalgorithmsvolume-4
TAOCP 7.2.2.1 Exercise 31

The two requested randomizations can be obtained by adding random choices before the deterministic parts of Algorithm X begin and by replacing the deterministic minimum selection in step X3 by a rando...

taocpmathematicsalgorithmsvolume-4math-medium
TAOCP 7.2.2.1 Exercise 309

The twelve hexiamonds have the following numbers of base placements.

taocpmathematicsalgorithmsvolume-4