无法决定的翻译瓦片只有两个瓦片,或一个非贝利瓦片
Rachel Greenfeld1, Terence Tao1
1UCLA Department of Mathematics, Los Angeles, CA 90095-1555 USA.
概括
这项研究表明,在ZFC中使用的比以前所知道的更少. 它确立了无周期性的存在,其中解决方案存在,但周期性解决方案不存在.
科学领域:
- 集合理论 集合理论
- 离散几何学的离散几何学
- 计算复杂性 计算复杂性
背景情况:
- 问题探讨一个空间是否可以被一组形状完美覆盖.
- 数学中的未决性是指任何算法都无法解决的问题.
- 无周期性地板表现出从未重复的模式,即使在无限空间.
研究的目的:
- 在ZFC (ZermeloFraenkel集合论与选择公理) 中构建一个不可决定的 problem的例子.
- 用最少的数来演示无周期性.
- 探讨在阿贝尔和非阿贝尔群体中对块问题的影响.
主要方法:
- 一个特定的组,子集和集的构造.
- 在一个单一的问题中编码方程.
- 使用函数方程来表示 challenges.
主要成果:
- 使用少量的有限阿贝尔群的不可解决的问题的一个例子.
- 无周期性瓦片的演示,证明存在非周期性解决方案.
- 将结构扩展到非阿贝尔集团,产生单一的不可决定的.
结论:
- 瓦问题的复杂性可以用比以前建立的更少的来证明.
- 在各种组结构中,不可决定的和无周期的块是可能的.
- 题的编码提供了一种强大的技术,用于建立不可决定性.
相关概念视频
Woodward–Hoffmann Selection Rules and Microscopic Reversibility
3.1K
Electrocyclic reactions, cycloadditions, and sigmatropic rearrangements are concerted pericyclic reactions that proceed via a cyclic transition state. These reactions are stereospecific and regioselective. The stereochemistry of the products depends on the symmetry characteristics of the interacting orbitals and the reaction conditions. Accordingly, pericyclic reactions are classified as either symmetry-allowed or symmetry-forbidden. Woodward and Hoffmann presented the selection criteria for...
3.1K
Coordination Number and Geometry
15.8K
For transition metal complexes, the coordination number determines the geometry around the central metal ion. Table 1 compares coordination numbers to molecular geometry. The most common structures of the complexes in coordination compounds are octahedral, tetrahedral, and square planar.
15.8K
Disubstituted Cyclohexanes: cis-trans Isomerism
12.0K
Depending upon the different spatial orientation of the substituents, the disubstituted cycloalkanes exhibit two types of stereoisomers. The cis isomers have the substituents on the same side of the ring, whereas the trans isomers have the substituents on the opposite sides. These stereoisomers exhibit different physical properties and cannot be interconverted without breaking the carbon-carbon bonds.
In cyclohexane, the substituents can occupy different positions generating distinct isomers....
In cyclohexane, the substituents can occupy different positions generating distinct isomers....
12.0K
Collisions in Multiple Dimensions: Problem Solving
4.2K
In multiple dimensions, the conservation of momentum applies in each direction independently. Hence, to solve collisions in multiple dimensions, we should write down the momentum conservation in each direction separately. To help understand collisions in multiple dimensions, consider an example.
A small car of mass 1,200 kg traveling east at 60 km/h collides at an intersection with a truck of mass 3,000 kg traveling due north at 40 km/h. The two vehicles are locked together. What is the...
A small car of mass 1,200 kg traveling east at 60 km/h collides at an intersection with a truck of mass 3,000 kg traveling due north at 40 km/h. The two vehicles are locked together. What is the...
4.2K
Perpendicular-Axis Theorem
3.2K
The perpendicular-axis theorem states that the moment of inertia of a planar object about an axis perpendicular to its plane is equal to the sum of the moments of inertia about two mutually perpendicular concurrent axes lying in the plane of the body.
Consider a circular disc of mass M and radius R lying along an x-y plane. The origin lies at the center of the disc, and the z-axis is perpendicular to the disc's plane. All three axes coincide at the disc's center. The moment of inertia of this...
Consider a circular disc of mass M and radius R lying along an x-y plane. The origin lies at the center of the disc, and the z-axis is perpendicular to the disc's plane. All three axes coincide at the disc's center. The moment of inertia of this...
3.2K
Lattice Centering and Coordination Number
9.6K
The structure of a crystalline solid, whether a metal or not, is best described by considering its simplest repeating unit, which is referred to as its unit cell. The unit cell consists of lattice points that represent the locations of atoms or ions. The entire structure then consists of this unit cell repeating in three dimensions. The three different types of unit cells present in the cubic lattice are illustrated in Figure 1.
Types of Unit Cells
Imagine taking a large number of identical...
Types of Unit Cells
Imagine taking a large number of identical...
9.6K


