PofoliaPofolia ile paylaşıldı

Archive for Mathematical Logic· 2026Q1

McCreight-Meyer Birleşme Teoreminin Bir İyileştirmesi

A refinement of the McCreight-Meyer union theorem

Matthew Fox, Chaitanya Karamchedu

Kısa özet

Toplam hesaplanabilir ve artmayan yeni bir fonksiyon olan t_poly, PSPACE ve BPP dahil olmak üzere çok sayıda karmaşıklık sınıfı için zaman sınırlarını kesin olarak karakterize etmektedir.

Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.

Ana noktalar

  • Blum karmaşıklık ölçümlerinin özelliklerini kullanarak yeni bir t_poly fonksiyonu tanımlanmıştır.
  • t_poly toplam hesaplanabilir ve artmayan bir fonksiyondur.
  • Fonksiyon, PSPACE, BPP, RP, UP, PP ve Mod_k P gibi karmaşıklık sınıfları için kesin zaman sınırları belirler.
  • Örneğin, PSPACE'in DSPACE(t_poly)'ye eşdeğer olduğu gösterilmiştir.

Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.

Özet (abstract)

Abstract Using properties of Blum complexity measures and certain complexity class operators, we exhibit a total computable and non-decreasing function $$t_\textsf{poly}$$ t poly such that for all k , $$\Sigma _k\textsf{P}= \Sigma _k\textsf{TIME}(t_\textsf{poly})$$ Σ k P = Σ k TIME ( t poly ) , $$\textsf{BPP}= \textsf{BPTIME}(t_\textsf{poly})$$ BPP = BPTIME ( t poly ) , $$\textsf{RP}= \textsf{RTIME}(t_\textsf{poly})$$ RP = RTIME ( t poly ) , $$\textsf{UP}= \textsf{UTIME}(t_\textsf{poly})$$ UP = UTIME ( t poly ) , $$\textsf{PP}= \textsf{PTIME}(t_\textsf{poly})$$ PP = PTIME ( t poly ) , $$\textsf{Mod}_k\textsf{P}= \textsf{Mod}_k\textsf{TIME}(t_\textsf{poly})$$ Mod k P = Mod k TIME ( t poly ) , $$\textsf{PSPACE}= \textsf{DSPACE}(t_\textsf{poly})$$ PSPACE = DSPACE ( t poly ) , and so forth. A similar statement holds for any collection of language classes, provided that each class is definable by applying a certain complexity class operator to some Blum complexity class.

Yazarların özeti; kaynağından alınmıştır. Archive for Mathematical Logic, 2026 · DOI ↗

ÇıkarımlarPremium
Makaleye SorÜcretsiz hesapla

Ücretsiz hesapla devam et

Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.

Web'de ücretsiz devam et

Google ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.

Telefonda:

Google Play'den indir App Store'dan indir

Alan: Hesaplamalı Kuram ve Matematik

Computational Theory and MathematicsComputer Science