A eşleme B'ye indirgenebilirse, A kompleman B eşlemesine indirgenebilir eşlenir

11

Hesaplama teorisinde finalimi inceliyorum ve bu ifadenin yanlış için doğru olup olmadığını doğru bir şekilde cevaplamaya çalışıyorum.

By tanımı içinde biz aşağıdaki ifadeyi oluşturabilirsiniz≤m

w∈A⟺f(w)∈B→w∉A⟺f(w)∉B

Burada sıkıştığım yer, söylemek istediğim, gibi böylesine hesaplanabilir bir fonksiyona sahip olduğumuzdan, eğer bize sadece A'dan B'ye eşleme vereceğim, aksi takdirde alışmaz.f

Bunu doğru şekilde nasıl ifade edeceğimi bilmiyorum, hatta doğru yolda olup olmadığımı bile bilmiyorum.

complexity-theory  computability  reductions 
— trigoman
kaynak
Bu tamamen mantığa, yani mantıksal olarak ¬ B'ye eşittirA⟹B . ¬B⟹¬A
— Dave Clarke
1
Bağlam sağlamalı ve gösterimi tanımlamalısınız ( , → , ≤ m ). Ancak ortak gösterimler kullanıyorsanız ( ⇔ mantıksal denklik, → ima ve ayar klasik mantık) o zaman Dave'in yorumu ve Kaveh'ün cevabı doğrudur. ⇔→≤m⇔→
— Gilles 'SO- kötü olmayı bırak'

Yanıtlar:

18

Dave'in dediği gibi, basit bir mantıksal eşdeğerlikten kaynaklanır: , ¬ p ↔ ¬ q ile aynıdır . Şimdi p = w ∈ A ve q = f ( w ) ∈ B koyun .p↔q¬p↔¬qp=w∈Aq=f(w)∈B

aracı bir toplam hesaplanabilir vardır f tüm st w ,A≤mBfw

.w∈A↔f(w)∈B

Yukarıdaki argümanla, bu aynı

.w∉A↔f(w)∉B

Veya eşdeğer olarak

.w∈A¯↔f(w)∈B¯

Ve bu nedenle, aynı o Şekil ˉ A ≤ m ˉ B .fA¯≤mB¯

— Kaveh
kaynak
-1

değil implie yapar ağırlık ∈ bir ↔ f ( wA≤mBw∈A↔f(w)∈Bw∈A↔f(w)∈BA≤mB

— Garfield
kaynak
Neden öyle diyorsun? AFAIK, olduğu belirlenen bir Turing hesaplanabilir toplam fonksiyonu vardır" olarak f şekildedirA≤MBfw∈A⟺f(w)∈B
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.