Bu EXPSPACE-complete olmalıdır. Herhangi bir EXPSPACE-complete problemini azaltmadan üstel sayıda alternatifin nasıl elde edileceğini tasvir edeceğim, ancak buradan bitirmek basit olmalı.
Sonra oracle kelime Ifade t ile mermi At yani başlangıçta, A0=∅ . Tarafından sorgulanan kelime Ifade MAt ile Qt . Ana gözlem ile kaybediyor kim olduğunu At , bir şeyler eklemek için kabul edilebilir Qt için A . Bunun nedeni, bu oyunda her hamlenin paraya mal olması, mümkün olduğunca az hareket etmek istiyoruz; kazanana kadar harekete geçmenin bir anlamı yok. Ama bu da biz kaybediyoruz eğer dışarıdan bir şey ekleyerek anlamı yok ima Qt .
Basitlik varsayalım M için tam olarak çalışan 2n adımlarda ve adım de 2i ve 2i+1 tam olarak uzunluğunun bir kelime sorguları i . Maliyet fonksiyonu f basitçe olacak 2−i uzunlukta kelimeleri i . Oyun, Alice'in her zaman tek uzunlukta kelimeler eklemesi ve Bob'un A her zaman çift uzunluklu kelimeler eklemesi gerektiği şekilde olacaktır . Diyelim ki n tuhaf ve başlangıçta Alice kaybediyor.
mA ve mB bütçeleri , A'ya eklenecek olan M A 0 tarafından sorgulanan uzunluktaki n kelimeden birini tam olarak seçebilecek şekilde ayarlanacaktır . Oyun öyle olacak ki, bu onu kazanan yapar, bu yüzden Bob hareket etmek zorunda kalacaktır. Yine bütçe kısıtlamaları nedeniyle, o uzunluğun tam olarak bir seçim yapmak zorunda kalacak n - 1 tarafından sorgulanan kelimeler M A 1 eklenecek A . Bunlardan herhangi eklendikten sonra, M A 2 iki yeni uzunluğunu sorgular n bakılmaksızın Bob eklenen kelimesinin ne sözlerini (aynı olanlar,MA0An−1MA1AMA2nA ) ve Bob kazanacak. Alicekazanmasını sağlamak içinbu yeni uzunluktakin kelimeden biriniA eklemek zorunda kalacak.
Oyun derinliği tam bir ikili ağacın dallarını şu şekilde hayal edilebilir Bu şekilde, olup biten n olsa marka ihtiyacı (düğümün derinliği parite ile belirlenir) oyuncuların her dallanma düğüm birinde, A hangi kelimenin ekleneceği hakkında bir seçim . Ağaca girdikten sonra bütçelerinden tükenecekler. Eğer bunlardan oyun birinin herhangi bir aşaması kısadır bazı kelime (eklemeye karar Araç, örneğin Alice uzunluk k<n kelime Q0ilk adımda), o zaman diğer oyuncu (bizim örneğimizde Bob) her zaman ikili ağaçta yapabileceği en uzun kelimeyi çalarsa, sonunda biraz para kalır ve oyunu bunu yapabilmesi için yaparız kazanmak. (Alice'in de biraz parası olabileceğini, ancak Bob'un daha fazlasına sahip olacağını unutmayın, bu yüzden oyunun birinde daha fazla para varsa, o oyuncu kazanabilir.)
Bu şekilde Alice, birçok çift tek uzunlukta kelime için karar verir ve Bob, her bir çiftten birinin A gittiği üstel olarak birçok çift uzunlukta kelime hakkında karar verir ve bu seçenekleri alternatif bir şekilde yaparlar.