Magic: Buluşma Turing tamamlandı mı?

Çok özel bir soru, farkındayım ve bunun Magic'in kurallarına aşina olmayan biri tarafından cevaplanacağından şüpheliyim. Draw3Cards için çapraz gönderildi . İşte Buluşması: Oyun Magic kapsamlı kurallar . Tüm Sihirli Kartların bir listesi için bu soruya bakın . Sorum şu - Turing Tamamlandı mı?

Daha fazla ayrıntı için lütfen Draw3Cards adresindeki yazıya bakın .

Alex Churchill (@AlexC) etmeyen bir çözüm gönderdi değil oyuncular arasında işbirliğini gerektirir, ancak iki devlet ve 18 bant sembolleriyle evrensel Turing makinesinin yerine modelleri tam yürütme. Ayrıntılar için, bkz. Https://www.toothycat.net/~hologram/Turing/ [ arşiv ].

Tamam, karşılaştığım mana yanması sorununu önleyen bir çözümüm var. Bu bir tür hack, çünkü oyuncuların kurallarla ilgilenmediğini düşündüğüm belirli toprakları tanımlayabildiği varsayımını yapmam gerekiyor. Uygulamada bu durum söz konusudur, çünkü oynandıkları sıraya göre sıraya dizilebilirler.

İlk önce, sorunun Draw3Cards sitesinden tam açıklaması:

Olumlu bir cevap bu bileşenlerden oluşacaktır:

1. Turing Machines'ten Magic destelere (kütüphanenin sırasının önemli olduğu) sipariş edilen hesaplanabilir bir fonksiyon
2. Magic (güverteye bağlı olmayan) oynamak için iyi tanımlanmış deterministik ve hesaplanabilir iki strateji. Onlara Strateji TS (Turing Strateji) ve Strateji IS (Giriş Stratejisi) diyelim.
3. Herhangi bir sıfır dizesini ve bir Magic Input deck'i kodlamak için hesaplanabilir bir yöntem. Bu yollardan biri, ipin Gödel numarasını almak ve Giriş güvertesine çok sayıda ada koymak olacaktır.

Yerine getirilmesi gereken ek koşul şudur: Bir Turing Machines TM göz önüne alındığında, kütüphaneler ne zaman güverte fI (I) ile oynayan TI stratejisine karşı güverte fM (TM) ile oynanan TS stratejisi arasındaki Sihirli oyunun sonucunu düşünelim. Oyun başlamadan önce karıştırılmaz. Bu oyun ilk oyuncu tarafından kazanılmalı ve sadece TM (I) = true ise.

Yani burada fikir. 2 oyuncumuz var, A ve B B girişi sağlayacak, A ise doğrudan bir Turing makinesi uygulayacak. Güverte neredeyse tamamen topraktan oluşacak, aynı zamanda mana yanmasını geçersiz kılmak için Gemstone Array kartı. Bir 3 tip arazi olacaktır: Adalar, Dağlar ve Ormanlar. Temel fikir, 1'i temsil etmek için dokunulmuş araziyi ve 0'ı temsil etmek için çekilmemiş araziyi kullanmaktır. Adalar, bantın durumunu temsil etmek için kullanılacaktır, bantlar arasındaki mevcut konumu indekslemek için Dağlar ve 24'ün iç durumunu temsil etmek için Ormanlar state 2 symbol Turing makinesi (Rogozhin'den dolayı evrensel bir tane olduğuna inanıyorum).

$2^5 = 32 > 24$$2^{m+1}$

$2^5 = 32 > 24$$2^{m+1}$

Strateji: Hem A hem de B, çekiliş sırasına göre bir arsa döndürür. Her biri 4 orman çizdiğinde, Gemstone Artefaktını oynuyorlar. Not A önce gelir, B zaten ilk giriş kartını çalarken, zaten bir Ada vardır.

A ve B, kartlarını Ovaları ve Bataklıklarını tüketene ve ilk Adalarını çalıncaya kadar sırayla yerleştirmeye devam eder. Bir sonraki seferinde, A, herkes için onu adaya çevirirdi. Giriş Arazi bir bataklıktı. İlk orman ve dağına dokunarak turing makinesini başlatır. Tek bir kart sayısına dokunursa, ekstra forrest'e dokunur ve tüm bu manaları Gemstone Array'e jeton eklemek için kullanır. Bundan sonra oyun şu şekilde ilerler: B sırayla A manasının durumunu yansıtmak için sırasını kullanır. B, A'nın girildiği A giriş arazisinin ucunu A girer. Benzer şekilde B, A ormanındaki (Dağ) bulunan Orman (Dağ) 'a dokunur. A, her zaman eşit sayıda karta dokunduğunda, B de olur ve mana, Gemstone Dizisine belirteçler eklemek için kullanılır.

A'nın dönüşünde, A'nın tüm manaları kullanılmaz hale gelir, bu nedenle A, B'nin mana durumuna bakar, önceki sırada A'nın mana durumunu gösterir. A, evrensel (24,2) makineye göre geçiş kuralını yeni halini almak için B'nin durumuna uygular.

Turing makinesi duruncaya kadar oyun bu şekilde ilerler. Bu noktada, A dağlarını ayrılmış “bitmiş” duruma (tümü ele geçirilmemiş duruma) koyar. Turing makinesi kabul edilebilir bir durumda durursa, B, A'nın dağlarının durumunu kopyalar, ancak Gemstone dizisini kullanmayı ihmal ederek kalan tüm arazilerini kullanarak, mana yakması ile intihar sürecine başlar. A'nın dönüşünde, B'nin dağları "bitmiş" durumdaysa ve tüm B'nin diğer toprakları çekildiyse, A basitçe hiçbir şey yapmaz (dağlarının otomatik olarak "bitmiş" durumunda olduğunu unutmayın). A'nın dağları bitmiş durumdaysa, ancak başka hiçbir şey kullanılmazsa, B mana yanması nedeniyle intihar etmeye devam eder. B ölünceye kadar bu tekrar edilir.

Bununla birlikte, makine reddetme durumunda biterse, B tüm kartlarını çıkarmadan bırakır. Eğer bütün B kartları çekilmemişse, A bütün kartlarına dokunur ve aynı intihara mana yakmasıyla başlar. Eğer A'nın Dağ olmayan kartlarına dokunulursa ve dağlara dokunulmazsa, B tüm kartlarını dokunmadan bırakır. Bu, A'nın oyunu kaybedinceye kadar mananın intiharına devam etmesini sağlar.

Bu, soruda istenen kriterleri karşılamalıdır ve bu sıralamaya izin verildiğinde, oyunun soruda anlatılan anlamda tam olarak tamamlandığına inanıyorum.

Alex Churchill, Stella Biderman ve Austin Herrick , Magic'in Turing'in Tamamlandığını gösteren bu makaleyi yayınladılar.

Özet — Büyü: Buluşma, büyülü dövüşlerle ilgili popüler ve ünlü bir ticari kart oyunudur. Bu yazıda gerçek dünyadaki en iyi oyun sihrinin en azından Halting Problemi kadar zor olduğunu ve on yıldan beri açık olan bir problemin çözüldüğünü gösterdik [1], [10]. Bunu yapmak için, isteğe bağlı bir Turing makinesini Magic oyununa yerleştirmek için bir metodoloji sunuyoruz, öyle ki ilk oyuncunun sadece Turing makinesi durursa oyunu kazanması garanti edilir. Elde ettiğimiz sonuç gerçek Magic'in nasıl oynandığı, standart büyüklükteki turnuva-yasal desteleri kullanılarak elde edilebildiği ve stokastik veya gizli bilgilere dayanmadığı için geçerli. Sonucumuz, her iki oyuncunun tüm hareketlerinin inşaatta zorlanmasından dolayı da olağandışıdır. Bu, hiçbir oyuncunun, oyunun geri kalanı için alması gereken önemsiz bir karar almadığı bir oyunu kimin kazanacağının tanınmasının bile kabul edilemez olduğunu gösterir. Birleşik bir bilgisayar oyunları teorisi için çıkarımların tartışılması ve böyle bir kurulun bir turnuva ortamındaki oynanabilirliği ile ilgili açıklamalar ile sonuçlanır.