ماشین تورینگ احتمالی

در نظریهٔ محاسبه پذیری، یک ماشین تورینگ احتمالی (به انگلیسی: Probabilistic turing machines) یک ماشین تورینگ غیر قطعی است که بین انتقال‌های موجود در هر نقطه بوسیلهٔ برخی از توزیع‌های احتمال به صورت تصادفی یکی را انتخاب می‌کند.

در مورد احتمال‌های برابر برای انتقال‌ها، می‌توان آن را به عنوان یک تورینگ ماشین قطعی در نظر گرفت که دارای یک حوزهٔ اضافی «نوشتن» است که در آن ارزش «نوشتن» به صورت یکنواخت روی الفبای ماشین تورینگ توزیع شده است. (به طور کلی، احتمال مساوی برای نوشتن '۱ 'یا' ۰ ' روی نوار). یکی دیگر از فرمول بندی‌های رایج یک ماشین تورینگ قطعی با یک نوار اضافی که شامل بیت‌های تصادفی است که نوار تصادفی نامیده می‌شود.

به عنوان یک نتیجه، یک ماشین تورینگ احتمالی (بر خلاف یک ماشین تورینگ قطعی) می‌تواند نتایج تصادفی داشته باشد؛ با یک ورودی معین و قرار گرفتن در یک وضعیت از ماشین، ممکن است زمان اجراهای مختلف بدست اورد یا ممکن است ماشین اصلاً متوقف نشود. به علاوه، ممکن است ورودی در یک اجرا پذیرش و همان ورودی در اجرای دیگر رد شود.

بنابراین مفهوم پذیرش یک رشته توسط یک ماشین تورینگ احتمالی را می‌توان به روش‌های مختلف تعریف کرد. کلاس‌های پیچیدگی زمانی متفاوتی که برای تعاریف مختلف پذیرش وجود دارند شامل RP, Co-RP, BPP و ZPP هستند. اگر ماشین به جای زمان چندجمله‌ای به فضای لگاریتمی محدود شود کلاس‌های مشابهRL,Co-RL, BPL, ZPL نیز بدی می ایند. با اجرای هر دو محدودیت RLP ،Co-RLP، BPLP، و ZPLP بدست می ایند.

همچنان محاسبه پذیری احتمالی برای تعریف اکثر کلاس‌های سیستم‌های اثبات تعاملی(interactive proof systems)، حیاتی است.

یکی از سوالات اصلی نظریه پیچیدگی این است که آیا تصادفی بودن قدرت را اضافه می‌کند؟ یعنی ایا مسئله‌ای وجود دارد که بتواند در زمان چندجمله‌ای توسط یک ماشین تورینگ احتمالی حل شود ولی توسط یک ماشین تورینگ قطعی نه؟ یا ماشین‌های تورینگ قطعی می‌توانند تمام ماشین‌های تورینگ احتمالی با حداکثر کاهش سرعت چندجمله‌ای را به صورت موثری شبیه‌سازی کنند؟ در حال حاضر محققان معتقدند که سؤال دوم هم ارز مفهوم P = BPP است. تصور درستی همان سؤال برای فضای لگاریتمی به جای زمان چندجمله‌ای (ایا L = BPLP است ؟) به طور گسترده‌تری مورد باور محققان است. از سوی دیگر، قدرتی که تصادفی بودن به سیستم اثبات تعاملی می‌دهد، مانند الگوریتم‌های ساده است برای مسایل سخت، که نشان می‌دهد تصادفی بودن ممکن است قدرت را اضافه کند.

جستارهای وابسته

ماشین تورینگ

منابع

NIST website on probabilistic Turing machines

Read other articles:

Sebuah benteng pengintai Inggris yang dibuat pada masa Perang Dunia II. Sebuah benteng pengintai (Bahasa Inggris: pillbox) adalah sejenis blockhouse, atau pos penjaga beton yang digali, biasanya dilengkapi dengan celah untuk menembakkan senjata. Benteng pengintai pada dasarnya adalah suatu tempat menembak pada parit yang diperkuat dengan beton untuk melindungi dari tembakan senjata kecil dan granat, dan dinaikkan untuk meningkatkan medan tembak. Etimologi Asal usul nama pillbox masih diperdeb...

 

اضغط هنا للاطلاع على كيفية قراءة التصنيف تنام مقنع حالة الحفظ أنواع مهددة بالانقراض (خطر انقراض أدنى) المرتبة التصنيفية نوع[1][2]  التصنيف العلمي النطاق: حقيقيات النوى المملكة: الحيوانات الشعبة: حبليات Chordata الشعيبة: فقاريات Vertebrata الطائفة: طيور Aves الطويئفة: طيور حد...

 

Soekarno pada masa Demokrasi Terpimpin pernah diberi julukan Padoeka Jang Moelia Padoeka Jang Moelia, Jang Moelia, atau Padoeka Toean (ejaan baru Paduka Yang Mulia, Yang Mulia, atau Paduka Tuan) adalah sebuah julukan yang pernah diberikan untuk mantan Presiden Indonesia Soekarno pada masa Demokrasi Terpimpin (1959-1965). Julukan ini sering digunakan untuk menyebut Presiden Soekarno pada acara-acara resmi pemerintahan. Tidak seperti gelar Pemimpin Besar Revolusi yang disahkan melalui Ketetapan...

Paraguay6.º puesto Titular Alternativa Datos generales Asociación APF Confederación Conmebol Seudónimo Albirroja Ranking FIFA 35.º lugar (abril de 2021) Participación 38.ª Mejor resultado Campeón (2 veces) Entrenador Eduardo Berizzo Estadísticas Partidos 2 Goles anotados 5 (1.67 por partido) Goles recibidos 2 (0.67 por partido) Goleador Ángel Romero (2 goles) Cronología Anterior Brasil 2019 Siguiente Estados Unidos 2024 La selección de Paraguay fue uno de los 10 equipos participan...

 

SantoYakobus SadikIkon Yakobus langgam NeobizantinRasul[1] dan Martir, AdelfoteosLahirAwal abad pertamaMeninggalTahun 69 M[2] atau 62 M[3][4]YerusalemKanonisasiPrakongregasiPestaSetiap tanggal 3 Mei (Katolik), 1 Mei (Anglikan), 23 Oktober (Lutheran), 26 Desember (Ortodoks Timur)AtributMartir Merah, tongkat penggilas cucian, pria membawa bukuKontroversiAda berbagai pendapat mengenai hakikat kekerabatan Yakobus dengan Yesus.[a] Menurut Perjanjian Baru, Ya...

 

Polish serial killer and pedophile This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Kazimierz Polus – news · newspapers · books · scholar · JSTOR (October 2...

Kōraku-en, taman bergaya kaiyū di Okayama. Taman batu Jepang di Ryōan-ji, Kyoto. Taman Jepang (日本庭園code: ja is deprecated , Nihon teien) adalah taman yang dibangun dengan gaya tradisional Jepang. Prinsip dasar taman Jepang adalah miniaturisasi dari lanskap atau pemandangan alam empat musim di Jepang. Elemen dasar seperti batu-batu dan kolam dipakai untuk melambangkan lanskap alam berukuran besar. Selain taman Jepang yang dibuka untuk umum, taman Jepang dibangun di hotel, kuil Buddh...

 

Stasiun Tomoe友江駅Stasiun Tomoe pada November 2005Lokasi1-221 Tomoe-cho, Ōgaki-shi, Gifu-ken 503-0955JepangKoordinat35°19′36″N 136°36′03″E / 35.3266°N 136.6009°E / 35.3266; 136.6009Koordinat: 35°19′36″N 136°36′03″E / 35.3266°N 136.6009°E / 35.3266; 136.6009Pengelola Yōrō RailwayJalur■ Yōrō LineLetak dari pangkal37.4 km dari KuwanaJumlah peron1 peron samping + 1 peron pulauJumlah jalur2Informasi lainStatusTanpa ...

 

Katedral Surat ThaniGereja Katedral Santo Rafael di Surat Thanibahasa Thai: อาสนวิหารอัครเทวดาราฟาเอลKatedral Surat Thani (katedral saat ini)9°08′58″N 99°20′03″E / 9.1495°N 99.3343°E / 9.1495; 99.3343Koordinat: 9°08′58″N 99°20′03″E / 9.1495°N 99.3343°E / 9.1495; 99.3343LokasiSurat ThaniNegara ThailandDenominasiGereja Katolik RomaArsitekturStatusKatedralStatus fung...

American politician and lawyer Chris Coleman54th Mayor of Saint PaulIn officeJanuary 3, 2006 – January 2, 2018Preceded byRandy KellySucceeded byMelvin CarterMember of the Saint Paul City Council for Ward 2In office1997 – January 2003 Personal detailsBorn (1961-09-01) September 1, 1961 (age 62)Saint Paul, Minnesota, U.S.Political partyDemocraticSpouseConnie ColemanEducationUniversity of Minnesota (BA, JD) Christopher B. Coleman (born September 1, 1961) is an American...

 

14th Commissioner of the New York City Department of Parks & Recreation Adrian BenepeBenepe in 2022Parks Commissioner of New York CityIn officeFebruary 4, 2002 – August 29, 2012Appointed byMichael BloombergPreceded byHenry SternSucceeded byVeronica M. White Personal detailsBorn (1957-03-08) March 8, 1957 (age 66)NationalityAmericanSpouseCharlotte GlasserChildren2Residence(s)New York, New York, U.S.Alma materMiddlebury CollegeColumbia UniversityOccupationSenior Vice Preside...

 

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: List of rail accidents in Thailand – news · newspapers · books · scholar · JSTOR (July 2012) (Learn how and when to remove this template message) This is a list of notable rail accidents in Thailand. This list is incomplete; you can help by adding missing items...

Human settlement in ScotlandKintoreScottish Gaelic: Ceann TòrrKintore Town House located in The SquareKintoreLocation within AberdeenshirePopulation4,700 (mid-2020 est.)[1]OS grid referenceNJ793163Council areaAberdeenshireLieutenancy areaAberdeenshireCountryScotlandSovereign stateUnited KingdomPost townINVERURIEPostcode districtAB51Dialling code01467PoliceScotlandFireScottishAmbulanceScottish UK ParliamentGordonScottish Parliamen...

 

Ґамора ІсторіяВидавець Marvel ComicsДебют Strange Tales #180 (червень 1975)Автор(и) Джим СтарлінХарактеристикиСправжнє ім'я Ґамора Зен Вобері Бен ТитанПозиція доброЗріст 183 смВага 77 кгКолір волосся зеленийПсевдоніми Реквієм, Найнебезпечніша жінка у всесвітіМісце проживання Зен-Вобер...

 

Binary star in the constellation Scorpius AK Scorpii The star system AK Scorpii imaged by ALMA. The Binary star orbit was added for clarity.Credit: ALMA (ESO/NAOJ/NRAO), I. Czekala and G. Kennedy; NRAO/AUI/NSF, S. Dagnello Observation dataEpoch J2000.0      Equinox J2000.0 Constellation Scorpius Right ascension 16h 54m 44.8498s[1] Declination −36° 53′ 18.561″[1] Apparent magnitude (V) 9.00 Characteristics Spe...

American television series HondoTaeger as Hondo Lane.GenreWesternDeveloped byAndrew J. FenadyWritten by Andrew J. Fenady Frank Chase Stanley Adams George F. Slavin Directed by Lee H. Katzin Michael Moore William Witney Harry Harris Starring Ralph Taeger Kathie Browne Noah Beery Gary Clarke Michael Pate William Bryant Buddy Foster Theme music composerRichard MarkowitzComposersRichard MarkowitzVic Mizzy (one episode)Country of originUnited StatesOriginal languageEnglishNo. of seasons1No. of epi...

 

Josh Donaldson Datos personalesNacimiento Pensacola, Florida,  Estados Unidos8 de diciembre de 1985 (38 años)Nacionalidad(es) EstadounidenseCarrera deportivaDeporte BéisbolClub profesionalDebut deportivo 30 de abril de 2010(Oakland Athletics)Promedio de bateo .269Jonrones 251Carreras impulsadas 728Club Agente LibrePosición Tercera baseDorsal(es) 20, 24, 28Bateo / Lanz. Derecha / DerechaTrayectoria Oakland Athletics (2010, 2012-2014) Toronto Blue Jays (2015-2018) Clevela...

 

Benedictine monastery in Crespin, Nord, France Crespin Abbaye Crespin Abbey (French: Abbaye de Crespin) was a Benedictine monastery in the commune of Crespin in the department of Nord, France, founded around 648 by the reformed brigand Landelin of Crespin, also the first abbot, and dissolved in 1802. Foundation Landelin was born of a noble family, but became the leader of a band of brigands.[1] After his conversion to Christianity he became active as a missionary in the north of Franc...

Place in Šumadija, SerbiaVelika SugubinaVelika SugubinaLocation in SerbiaCoordinates: 43°56′59″N 21°2′30″E / 43.94972°N 21.04167°E / 43.94972; 21.04167Country SerbiaRegionŠumadijaDistrictŠumadija DistrictCity districtKragujevacMunicipalityPivaraArea[1] • Total7.85 sq mi (20.34 km2)Population • Total234 Velika Sugubina (Serbian: Велика Сугубина) is a village in Pivara municipality in Kraguj...

 

DTrace DTrace — фреймворк динамической трассировки, созданный компанией Sun Microsystems, предназначенный для отладки ядра и приложений в реальном времени. Изначально DTrace был создан для Solaris, затем был открыт под лицензией Common Development and Distribution Licence (CDDL) и портирован на ряд Unix-подобны...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!