b"\n_START_ARTICLE_\nSavitch teoremi\n_START_SECTION_\nTeorem\n_START_PARAGRAPH_\nHerhangi bir  fonksiyonu i\xc3\xa7in,  gereksinimi kar\xc5\x9f\xc4\xb1lamak ko\xc5\x9fuluyla, _NEWLINE_ dir.\n_START_SECTION_\n\xc4\xb0spat Fikri\n_START_PARAGRAPH_\nuzay kullanan bir  simule ederken, akla ilk gelen yol 'nin t\xc3\xbcm kollar\xc4\xb1n\xc4\xb1 tek tek hesaplayarak, i\xc5\x9flemi ilerletmektir. Bu yolu kullan\xc4\xb1rken, i\xc5\x9flenen kola ait bilgilerin tutulmas\xc4\xb1 gerekmektedir.  uzay kullanan bir kol,  en k\xc3\xb6t\xc3\xbc ihtimalle  ad\xc4\xb1mda, hesaplanabilir. B\xc3\xbct\xc3\xbcn kollar\xc4\xb1n s\xc4\xb1rayla hesaplanmas\xc4\xb1 ise, hepsinin kay\xc4\xb1t alt\xc4\xb1nda tutulmas\xc4\xb1 manas\xc4\xb1na gelir ki bu  uzay gerektirir. \xc3\x9cssel bir ili\xc5\x9fki kuran bu y\xc3\xb6ntem, Savicth teoreminin iddia etti\xc4\x9fi uzaydan \xc3\xa7ok daha fazla uzay gerektirmi\xc5\x9f olur._NEWLINE_Bunun yerine, \xc3\xa7\xc3\xb6z\xc3\xbcm\xc3\xbc yinelemeli bir algoritma olan, yieldability probleminin y\xc3\xb6ntemi uygulanm\xc4\xb1\xc5\x9ft\xc4\xb1r. 'i ba\xc5\x9flang\xc4\xb1\xc3\xa7, 'yi kabul konfigurasyonu ve t'yi 'nin kullanabilece\xc4\x9fi maksimum ad\xc4\xb1m say\xc4\xb1s\xc4\xb1 olarak kabul edersek, yieldability probleminin \xc3\xa7\xc3\xb6z\xc3\xbcm\xc3\xbc, 'nin verilen katar\xc4\xb1 kabul edip etmedi\xc4\x9fine karar verebilir."