Yapılandırılabilir işlev - Constructible function

İçinde karmaşıklık teorisi, bir zamanla yapılandırılabilir işlev bir işlev f itibaren doğal sayılar özelliği ile doğal sayılara f(n) inşa edilebilir n tarafından Turing makinesi sipariş zamanında f(n). Böyle bir tanımlamanın amacı, bazı Turing makinelerinin çalışma süresinde bir üst sınır sağlamayan işlevleri hariç tutmaktır.[1]

Zamanla yapılandırılabilir tanımlar

Zamanla yapılandırılabilen bir işlevin iki farklı tanımı vardır. İlk tanımda bir fonksiyon f denir zamanla inşa edilebilir pozitif bir tam sayı varsa n0 ve Turing makinesi M hangi dize 1 verildiğinden oluşan n olanlar, tam olarak sonra durur f(n) herkes için adımlar nn0. İkinci tanımda, bir işlev f denir zamanla inşa edilebilir Turing makinesi varsa M hangi dize 1 verildiğinden, ikili gösteriminin çıktılarını verir f(n) içinde Ö (f(n)) zaman (bunun yerine tekli bir gösterim kullanılabilir, çünkü ikisi içinde dönüştürülebilir Ö(f(n)) zaman).[1]

Tamamen zamanla yapılandırılabilir bir işlev kavramı da vardır. Bir işlev f denir tamamen inşa edilebilir Turing makinesi varsa M hangi dize 1 verildiğinden oluşan n olanlar, tam olarak sonra durur f(n) adımlar. Bu tanım, ilk ikisinden biraz daha az geneldir, ancak çoğu uygulama için her iki tanım da kullanılabilir[kaynak belirtilmeli ].

Uzayda inşa edilebilir tanımlar

Benzer şekilde, bir işlev f dır-dir uzayda inşa edilebilir pozitif bir tam sayı varsa n0 ve bir Turing makinesi M hangi dize 1 verildiğinden oluşan n tam olarak kullandıktan sonra durur f(n) tümü için hücreler nn0. Eşdeğer olarak, bir işlev f dır-dir uzayda inşa edilebilir Turing makinesi varsa M hangi dize 1 verildiğinden oluşan n birler, ikili (veya tekli) gösterimini çıkarır f(n), yalnızca kullanırken Ö (f(n)) Uzay.[1]

Ayrıca bir işlev f dır-dir tamamen uzayda inşa edilebilir Turing makinesi varsa M hangi dize 1 verildiğinden oluşan n tam olarak kullandıktan sonra durur f(n) hücreler[kaynak belirtilmeli ].

Örnekler

Yaygın olarak kullanılan tüm işlevler f(n) (gibi n, nk, 2n) zaman ve mekanda inşa edilebilir, f(n) en azından cn sürekli c > 0. İşlev yok Ö (n), tüm girdiyi okumak için yeterli zaman olmadığından, sonunda sabit olmadıkça, zaman-yapılandırılabilir olabilir. Ancak, uzayda yapılandırılabilen bir işlevdir.

Başvurular

Zamanla yapılandırılabilir fonksiyonlar, karmaşıklık teorisinin sonuçlarında kullanılır. zaman hiyerarşi teoremi. Onlar önemlidir çünkü zaman hiyerarşi teoremi, belirlemesi gereken Turing makinelerine dayanır. Ö (f(n)) bir algoritmanın, f(n) adımlar. Elbette bu, hesaplayamadan imkansızdır. f(n) o zamanda. Bu tür sonuçlar tipik olarak tüm doğal işlevler için doğrudur f ancak yapay olarak inşa edilenler için mutlaka doğru değildir f. Bunları tam olarak formüle etmek için, kesin bir tanıma sahip olmak gerekir. doğal bir işlev f teoremin doğru olduğu. Zamanla yapılandırılabilen işlevler genellikle böyle bir tanım sağlamak için kullanılır.

Uzayda inşa edilebilir işlevler benzer şekilde kullanılır, örneğin uzay hiyerarşi teoremi.

Bu makale, inşa edilebilir malzemeden PlanetMath altında lisanslı olan Creative Commons Atıf / Benzer Paylaşım Lisansı.

Referanslar

  1. ^ a b c Goldreich, Oded (2008). Hesaplamalı Karmaşıklık: Kavramsal Bir Perspektif. Cambridge University Press. s. 130, 139. ISBN  978-0-521-88473-0.