Belirsiz olmayan kısıtlama mantığı - Nondeterministic constraint logic - Wikipedia

İçinde teorik bilgisayar bilimi, belirleyici olmayan kısıtlama mantığı bir kombinatoryal sistemdir. oryantasyon ağırlıklı kenarlara verilir yönsüz grafik, belirli kısıtlamalara tabidir. Bu yön, aynı kısıtlamalara tabi olarak tek bir kenarın ters çevrildiği adımlarla değiştirilebilir. kısıtlama mantığı sorunu ve varyantlarının olduğu kanıtlanmıştır PSPACE tamamlandı belirli bir kenarı ters çeviren ve çeşitli oyunların ve bulmacaların PSPACE-hard veya PSPACE-complete olduğunu göstermek için çok yararlı olan bir hareket dizisi olup olmadığını belirlemek için.

Bu bir biçimdir tersine çevrilebilir mantık her bir kenar yönü değişikliği dizisi geri alınabilir. Bu problemin sertliği, birçok oyun ve bulmacanın yüksek olduğunu kanıtlamak için kullanılmıştır. oyun karmaşıklığı.

Kısıtlama grafikleri

Kısıtlama mantığında bir AND geçidi. Düğümün minimum derecesi 2 olduğundan, üst kenar Yapabilmek ancak ve ancak iki alt kenar içeride ise dışarıda olun.
Bir kısıtlama grafiği örneği.[1]

Belirsiz olmayan kısıtlama mantığının en basit versiyonunda, yönlendirilmemiş grafiğin her kenarının bir veya iki ağırlığı vardır. (Ağırlıklar aynı zamanda, bir ağırlığın kenarları kırmızı ve iki ağırlığın kenarları mavi olarak çizilerek grafik olarak da gösterilebilir.) Grafiğin bir kübik grafik: her tepe noktası üç kenara ilişkindir ve ek olarak her tepe noktası çift sayıda kırmızı kenara denk gelmelidir.[2]

Kenarların, en az iki ağırlık birimi her bir tepe noktasına doğru yönlendirilecek şekilde yönlendirilmesi gerekir: en az bir gelen mavi kenar veya en az iki gelen kırmızı kenar olmalıdır. Bir yönelim, bu kısıtlamalara uyarak tek bir kenarın ters çevrildiği adımlarla değişebilir.[2]

Belirsiz olmayan kısıtlama mantığının daha genel biçimleri, daha fazla çeşitlilikte kenar ağırlıklarına, tepe başına daha fazla kenara ve her bir tepe noktasının ne kadar gelen ağırlığa sahip olması gerektiğine ilişkin farklı eşiklere izin verir. Kenar ağırlıkları ve köşe eşikleri sistemine sahip bir grafiğe kısıt grafiği. Kenar ağırlıklarının tümünün bir veya iki olduğu, köşelerin iki birim gelen ağırlık gerektirdiği ve köşelerin hepsinin çift sayıda kırmızı kenara sahip üç olay kenarı olduğu kısıtlı durum denir. ve / veya kısıtlama grafikleri.[2]

İsmin nedeni ve / veya kısıtlama grafikleri bir ve / veya kısıt grafiğindeki iki olası köşe türünün, bazı şekillerde bir VE kapısı ve OR kapısı içinde Boole mantığı. İki kırmızı kenarı ve bir mavi kenarı olan bir tepe noktası, mavi kenarın dışarıya bakması için her iki kırmızı kenarın da içe doğru bakmasını gerektirdiğinden, bir AND geçidi gibi davranır. Üç mavi kenarlı bir tepe noktası, çıkış kenarının dışa doğru gösterilmesinden önce en az bir giriş kenarının içe doğru bakması gerektiğinden, iki kenarı giriş olarak ve üçüncüsü bir çıkış olarak belirlenmiş bir OR geçidi gibi davranır.[2]

Tipik olarak, kısıtlama mantığı problemleri, kısıtlama grafiklerinin geçerli konfigürasyonlarını bulma etrafında tanımlanır. Kısıtlama grafikleri, iki tür kenara sahip yönsüz grafiklerdir:

  • ağırlıklı kırmızı kenarlar
  • ağırlıklı mavi kenarlar

Kısıtlama grafiklerini hesaplama modelleri olarak kullanırız, burada tüm grafiği bir makine olarak düşünürüz. Bir konfigürasyon Makinenin bir kısmı, grafikten ve kenarlarının belirli bir yönünden oluşur. Giriş kısıtlamasını karşılıyorsa, bir konfigürasyonu geçerli olarak adlandırırız: her köşe en az gelen ağırlığa sahip olmalıdır. . Başka bir deyişle, belirli bir tepe noktasına giren kenarların ağırlıklarının toplamı en az tepe noktasından çıkan kenarların ağırlıklarının toplamından daha fazla.

Ayrıca bir hareket bir sınırlama grafiğinde, sonuçtaki konfigürasyon hala geçerli olacak şekilde bir kenarın yönünü tersine çevirme eylemi olacaktır.


Kısıtlama mantığı probleminin biçimsel tanımı

Bize bir sınırlama grafiği, bir başlangıç ​​konfigürasyonu ve bir bitiş konfigürasyonu verildiğini varsayalım. Bu sorun, onu başlangıç ​​yapılandırmasından bitiş yapılandırmasına taşıyan bir dizi geçerli hareket olup olmadığını sorar. Bu sorun, 3 normal veya maksimum derece 3 grafikler için PSPACE-Complete'dir.[3] Azaltma aşağıdakilerden gelir QSAT ve aşağıda özetlenmiştir.

Varyantlar

Düzlemsel Belirleyici Olmayan Kısıtlama Mantığı

Yukarıdaki sorun, kısıtlama grafiği olsa bile PSPACE-Complete'dir. düzlemsel yani, hiçbir grafik, iki kenar birbirini kesmeyecek şekilde çizilemez. Bu azalma Düzlemsel QSAT.

Kenar Ters Çevirme

Bu sorun, bir öncekinin özel bir durumudur. Bir kısıtlama grafiği verildiğinde, belirli bir kenarı bir dizi geçerli hareketle ters çevirmenin mümkün olup olmadığını sorar. Bunun, son geçerli hamle istenen kenarı ters çevirdiği sürece bir dizi geçerli hareketle yapılabileceğini unutmayın. Bu sorunun 3 normal veya maksimum derece 3 grafikler için PSPACE-Complete olduğu da kanıtlanmıştır.[3]

Kısıt Grafiği Memnuniyeti

Bu problem, yönsüz bir grafik verilen içeri akış kısıtlamalarını karşılayan bir kenar yönü olup olmadığını sorar. . Bu sorunun NP-Complete olduğu kanıtlanmıştır.[3]

Zor sorunlar

Aşağıdaki problemler, üzerinde ve / veya kısıtlama grafikleri ve yönleri, PSPACE tamdır:[2]

  • Bir yönlendirme ve belirli bir kenar verildiğinde e, belirli bir yönelimden sonunda kenarı ters çeviren bir dizi adım olup olmadığını test etmeke.
  • Bir oryantasyonun bir dizi adımla diğerine değiştirilip değiştirilemeyeceğini test etme.
  • İki kenar verildi e ve f Tüm grafik için iki yön olup olmadığının test edilmesi, biri belirtilen yöne sahip e ve diğeri belirtilen yöne sahip f, bu bir dizi adımla birbirine dönüştürülebilir.

Bu sorunların zor olduğunun kanıtı şunları içerir: indirgeme itibaren ölçülü Boole formülleri, mantıksal yorumlamaya ve / veya kısıtlama grafiklerine dayanır. Ek gerektirir gadget'lar simülasyon için niceleyiciler ve kırmızı kenarlarda taşınan sinyalleri mavi kenarlarda taşınan sinyallere (veya tersi) dönüştürmek için, bunların tümü ve-köşeleri ve veya-köşeleri kombinasyonları ile gerçekleştirilebilir.[2]

Bu sorunlar, oluşan ve / veya kısıtlama grafikleri için bile PSPACE tam olarak kalır. düzlemsel grafikler. Bunun kanıtı, iki bağımsız sinyalin birbirini geçmesine izin veren çapraz aygıtların yapımını içerir. Bu sorunların sertliğini korurken ek bir sınırlama getirmek de mümkündür: üç mavi kenarlı her bir tepe noktasının kırmızı kenarlı bir üçgenin parçası olması gerekebilir. Böyle bir tepe noktasına a denir korumalı veyave (tüm grafiğin herhangi bir geçerli yönünde) üçgendeki mavi kenarların her ikisinin de içe doğru yönlendirilmesinin mümkün olmaması özelliğine sahiptir. Bu kısıtlama, bu köşeleri diğer problemler için sertlik azaltmalarında simüle etmeyi kolaylaştırır.[2] Ek olarak, kısıtlama grafiklerinin sınırlı olması gerekebilir. Bant genişliği ve bunlarla ilgili sorunlar PSPACE tamamlanmış olarak kalmaya devam edecektir.[4]

PSPACE sertliğinin kanıtı

Düşüş, QSAT'den kaynaklanmaktadır. Bir QSAT formülünü gömmek için, kısıtlama grafiğinde AND, OR, NOT, UNIVERSAL, EXISTENTIAL ve Converter (rengi değiştirmek için) gadget'ları oluşturmamız gerekir. Fikir şu şekildedir:

  • AND tepe noktası, iki kırmızı kenar (girişler) ve bir mavi olay kenarı (çıkış) bulunan bir tepe noktasıdır.
  • VEYA tepe noktası, üç olay mavi kenarı (iki giriş, bir çıkış) bulunan bir tepe noktasıdır.

Diğer araçlar da bu şekilde oluşturulabilir. Tam inşaat mevcuttur Eric Demaine web sitesi[5]. Tam yapı da interaktif bir şekilde açıklanmıştır[6].

Başvurular

Belirsiz olmayan kısıtlama mantığının orijinal uygulamaları, onu PSPACE-tamlığını kanıtlamak için kullandı. sürgülü blok bulmacaları gibi Yoğun Saat ve Sokoban. Bunu yapmak için, sadece bu bulmacalarda kenarların ve kenar yönlerinin ve köşelerin ve korunan veya köşelerin nasıl simüle edileceğini göstermesi gerekir.[2]

Belirsiz sınırlama mantığı, aynı zamanda sertliği kanıtlamak için de kullanılmıştır. yeniden yapılandırma dahil olmak üzere klasik grafik optimizasyon problemlerinin versiyonları bağımsız küme, köşe kapağı, ve hakim küme, sınırlı bant genişliğinin düzlemsel grafikleri üzerinde. Bu problemlerde, geri kalan köşelerin her zaman bir çözüm oluşturduğu özelliği korurken, her seferinde bir köşeyi çözüm kümesinin içine veya dışına taşıyarak, verilen problemin bir çözümü diğerine değiştirilmelidir.[4]

Yeniden Yapılandırma 3SAT

Verilen bir 3-CNF formül ve iki tatmin edici atama, bu problem bizi bir atamadan diğerine götüren bir dizi adım bulmanın mümkün olup olmadığını sorar, burada her adımda bir değişkenin değerini çevirmemize izin verilir. Bu problem, deterministik Olmayan Kısıtlama Mantığı probleminden bir azaltma yoluyla PSPACE-tam olarak gösterilebilir.[3]

Kayar Blok Bulmacalar

Bu problem, istenen bir konfigürasyona ulaşıp ulaşamayacağımızı soruyor. sürgülü blok bulmaca blokların ilk konfigürasyonu verilir. Dikdörtgenler domino olsa bile, bu sorun PSPACE tamdır.[7]

Yoğun Saat

Bu sorun, zafer durumuna ulaşıp ulaşamayacağımızı soruyor. yoğun Saat bulmacaya bir başlangıç ​​konfigürasyonu verildi. Bu sorun, blokların boyutu olsa bile, PSPACE tamamlandı .[3]

Dinamik Harita Etiketleme

Statik bir harita verildiğinde, bu problem düzgün bir dinamik etiketlemenin olup olmadığını sorar. Bu sorun aynı zamanda PSPACE-tamamlandı.[8]

Referanslar

  1. ^ "Kısıtlama grafikleri". people.irisa.fr. Alındı 2020-02-13.
  2. ^ a b c d e f g h Hearn, Robert A .; Demaine, Erik D. (2005), "Belirsiz olmayan kısıtlama mantığı hesaplama modeli aracılığıyla kayan blok bulmacalarının ve diğer sorunların PSPACE tamlığı", Teorik Bilgisayar Bilimleri, 343 (1–2): 72–96, arXiv:cs / 0205005, doi:10.1016 / j.tcs.2005.05.008, BAY  2168845.
  3. ^ a b c d e Demaine, Eric. "Belirleyici Olmayan Kısıtlama Mantığı" (PDF).
  4. ^ a b van der Zanden, Tom C. (2015), "Grafik kısıtlama mantığının parametreli karmaşıklığı", 10. Uluslararası Parametreli ve Tam Hesaplama Sempozyumu, LIPIcs. Leibniz Int. Proc. Bilgi vermek., 43, Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, s. 282–293, arXiv:1509.02683, doi:10.4230 / LIPIcs.IPEC.2015.282, BAY  3452428.
  5. ^ Gurram Neil. "Belirleyici Olmayan Kısıtlama Mantığı" (PDF). Erik Demaine.
  6. ^ "Kısıtlama grafikleri (kısıtlama grafiklerini ve QBF'den indirgemeyi açıklayan etkileşimli bir web sitesi). François Schwarzentruber tarafından". people.irisa.fr. Alındı 2020-02-20.
  7. ^ Demaine, Erik D .; Hearn, Robert A. (2002-05-04). "Belirsiz Olmayan Kısıtlama Mantığı Hesaplama Modeli ile Kayan Blok Bulmacalarının ve Diğer Sorunların PSPACE-Tamlığı". arXiv:cs / 0205005. Alıntı dergisi gerektirir | günlük = (Yardım)
  8. ^ Buchin, Kevin; Gerrits, Dirk H.P. (2013). Cai, Leizhen; Cheng, Siu-Wing; Lam, Tak-Wah (editörler). "Dinamik Nokta Etiketleme Kesinlikle PSPACE-Tamamlanmıştır". Algoritmalar ve Hesaplama. Bilgisayar Bilimlerinde Ders Notları. Springer Berlin Heidelberg. 8283: 262–272. doi:10.1007/978-3-642-45030-3_25. ISBN  9783642450303.