İki Horn formülüm olduğunu varsayalım $\phi_1, \phi_2$. Horn formülleri CNF formülleridir, böylece her cümlenin en fazla bir doğrulanmamış değişmez değeri vardır. Örneğin:
$x_1 \wedge (\neg x_1 \vee \neg x_2 \vee x_3 )\wedge (x_3 \vee \neg x_4)$
Karar vermek istiyorum $\phi_1,\phi_2$ mantıksal olarak eşdeğerdir, yani $\phi_1 \leftrightarrow \phi_2$. Aynı şekilde, test etmek istiyorum$F=(\phi_1 \vee \neg\phi_2)\wedge (\neg \phi_1 \vee \phi_2)$ tüm atamalar için geçerlidir $x_1,\dots,x_n$.
Bu sorun çözülebilir mi?
Evet, polinom zamandaki denkliği kontrol edebilirsiniz (aslında, ikinci dereceden zamanda).
Önceki sorunuza verdiğim cevaba benzer mantıkla , tatmin edilebilirliği test etmek yeterlidir.$\phi_1 \land \neg c$ nerede $c$ cümleciklerinin üzerinde değişir $\phi_2$. Bunlardan herhangi biri tatmin edici ise, o zaman$\phi_1,\phi_2$eşitsizdir. Aksi takdirde, hepsi tatmin edici değilse ve$\phi_2 \land \neg c'$ nerede $c'$ tüm maddeleri üzerinde değişir $\phi_1$, sonra $\phi_1,\phi_2$ eşdeğerdir.
Öyleyse, tatmin edilebilirliğin nasıl test edileceğini inceleyelim. $\phi_1 \land \neg c$ nerede $c$ bir fıkra $\phi_2$. Varsayımla,$c$ bir Horn cümlesidir, bu nedenle $\neg x_1 \lor \dots \lor \neg x_k \lor x_{k+1}$. Yani,$\phi_1 \land \neg c$ forma sahip
$$\phi_1 \land x_1 \land \dots \land x_k \land \neg x_{k+1}.$$
Bunun bir Horn formülü olduğu ortaya çıkar, böylece Horn formülünün tatminini test etmek için standart algoritma ile tatmin edilebilirliğini test edebilirsiniz . Bu, cümle başına doğrusal zaman alır ve doğrusal olarak birçok cümle vardır, bu nedenle toplam çalışma süresi ikinci dereceden olur.
'The Handmaid's Tale' yazarı Eric Tuchman Entertainment Weekly ile yaptığı röportajda, Nick'in Haziran'dan kalma alyansını neden sakladığını açıkladı.
Nico Tortorella, Josh karakterini 7 sezon sonra 'Younger'dan tamamladı ancak 'Mr. Büyük an.
Eski 'The Challenge' şampiyonu Ashley Kelsey ve NFL geri koşuyor Kerryon Johnson birlikte ilk bebeği, kızı Snoh Marie'yi karşılıyor.
HBO Max, 'Genera+ion' Sezon 1: Bölüm 2'nin prömiyer tarihini doğruladı ve dizinin hayranları fragmana tepki gösteriyor.
Bilim adamları bir asırdan fazla bir süredir bilmelerine rağmen, Güney Okyanusu nihayet resmen tanındı.
Katılmalarına izin verilen Polonyalı subaylar için oyunlar, ölüm ve yıkım zamanında insanlığın bir kutlamasıydı. Ancak bu oyunlar - bugüne kadar - sporun müthiş iyileştirici gücünü gösteriyor.
Orijinal alçı modelden dökülen 9 metrelik bronz bir Özgürlük Heykeli Amerika'ya geliyor. Fransa ve Amerika arasındaki uzun süreli dostluğun şerefine ve New York City'nin Bağımsızlık Günü kutlamalarının en önemli anlarından biri olacak.
Mohs sertlik ölçeği, jeologlar ve gemologlar tarafından bir sertlik testi kullanarak mineralleri tanımlamaya yardımcı olmanın bir yolu olarak kullanılır. O nasıl çalışır?
Kocam ve ben yeni bir ev aldık. Bu yaz çeşitli yarış pistlerine bir aylık bir gezi yapmayı planlamıştık bile.
Denver Nuggets böyle çıkamaz. Nuggets, Batı Konferansı Yarı Finallerinde Suns'a 3-0 mağlup olmakla kalmıyor, görünüşe göre taraftarları da yenilgi alıyor.
Hiç Boston gibi bir şehirde dolaşıp, Fort Worth, Texas gibi bir şehirde olduğundan daha iyi hissettirdiğini merak ettiniz mi? Bir şehir senin için yapıldı, bir yaya. Diğeri senin araban için yapıldı.
O gerçekten iyi, ama ah. Tenis tarihini tartışırken, insanların zevkleri her zaman kimin ne olduğu ve tuttukları yerler hakkındaki tartışmaları etkileyecek ve bulandıracaktır.
Hollywood'dan New York'a ve aradaki her yere, en sevdiğiniz yıldızların neler yaptığını görün
Pekingese köpeği Wasabi, tacı 2020 Westminster Kennel Club Köpek Şovu kazananı Siba the Standard Fino köpeğinden alıyor.
Beyoncé web sitesinde ikizleri Rumi ve Sir'e 4. yaş gününü kutlayarak "1 hediyeden daha iyi ne olabilir... 2" yazdı.
"Şimdiye kadar söylediğim en kolay EVET oldu!" Taryn Manning TMZ'ye anlattı
Cheugy kelimesini ilk duyduğumda gözlerimi devirmeden duramadım. O noktada uydurulan terim TikTok'ta viral bir sansasyona dönüştü, ateşli tartışmalara yol açtı ve bin yıllık Z Kuşağı kültür savaşını yeniden alevlendirdi.
Az önce yeni bir bilgisayar satın aldım (ki bu başlı başına korkunç derecede zorlu bir süreçti) ve ne kadar çok şeyin değiştiğine inanamıyorum. Masaüstümün cam bir paneli var ve gökkuşağının tüm renklerini parlıyor (klavye ve fare aynı şeyi yapıyor).
Otelin bize verdiği haritayı takip etmekte zorlandık. Bize söylenen kasabaya giden bir kısayoldu.
Ve ölene kadar aklında kalacak. Benim gibiyseniz, kendi kendine yardım türü hakkında şüpheleriniz var ve kurmaca için fazla gözünüz yok.