# Application of Combinatorics, Logic and computability theory in physical science: Tiling of Wang Tile with proportionality [closed]

The original problem of Domino Tiling and Wang Tile has great theoretical interest on computability theory... However, the great emerging problem on application of Wang Tile in material science and physics requires the tiling to satisfy one more condition:

The tiling should satisfy some proportionality, say, Tile 1 should appear with frequency 1/16, Tile 2 with frequency 9/16, Tile 3 with 6/16, Tile 4 with frequency 0...

The most important decision problem is the following: Could a given set of Tile tile a grid of size NxN satisfying the frequency constraint within a error of +-epsilon.

For example: could the set {Tile 1, Tile 2, Tile 3, Tile 4} tile the NxN grid with frequency 1/16+-0.01, 9/16+-0.01, 6/16+-0.01, 0+-0.01 respectively....

From one of my previous post:

Algorithms for NP complete problem

I realize the decision problem of tiling without such constraint could be modeled by SAT... With this constraint the problem becomes ridiculously difficult and I eagerly seek for solutions towards this finite decidable problem.... (we could forget epsilon for a moment if the problem with epsilon is too hard)...

So here is the question: how do we model this problem in MIP or SAT or any other optimization algorithm?

For more detail why this problem is practical in material science and physics, see my previous post:

coloring in lattice

reference for wang tile

Computational approach deciding whether a set of Wang Tile could tile the space up to some size

P.S. this is a bounty question from mathoverflow without yet a applicable solution...

Application of Combinatorics, Logic and computability theory in physical science: Tiling of Wang Tile with proportionality

• So what's your question? I can't find a question in your post. – D.W. Apr 11 '14 at 5:18
• That, and it's formatted horribly. Please use LaTeX for maths and markdown to e.g. make links nicer. – Raphael Apr 11 '14 at 6:41
• I edited the format and added the explicit question, could i remove my hold? – user40780 Apr 11 '14 at 12:26
• Your edit says that this is a cross-post from another Stack Exchange site, where the question has a bounty attached to it. Cross-posting is explicitly against our site policy, because it wastes people's time when they answer questions that already have answers elsewhere, and it fragments answers. So, no, this should stay closed. – David Richerby Apr 11 '14 at 17:49
• the problem why i need to cross post is that no practical solution is achieved in MO for a long time and here I believe better answer could be achieved... – user40780 Apr 11 '14 at 19:27