Finite-Support Periodic Highways of Langton's Ant: Necessary Conditions, Transverse Exclusions, and Exact Search
تضع هذه الورقة شروطاً ضرورية وكافية قابلة للتقرير لوجود طرق سريعة دورية ذات دعم محدود في "نملة لانغتون"، حيث تثبت أن الانجرافات القطرية تتطلب عرضاً أدنى قدره ستة، وتستبعد جميع الدورات حتى 48 من خلال مزيج من نظريات الصلابة النظرية والتحقق بمساعدة الحاسوب.