«first-order-logic» etiketlenmiş sorular

Çok spesifik olmak istiyorum. Aşağıdaki önermenin kanıtını veya kanıtını bilen var mı? ∃ p ∈ Z [ x ] , n , k , C∈ N ,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀ G , H∈ STR UC[ Σgr a p h] ( m i n ( …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

Karar Sorununun Monadic Sınıfı olarak da bilinen Monadic Birinci Dereceden Mantık, tüm tahminlerin bir argüman aldığı yerdir. Ackermann tarafından karar verilebilir ve NEXPTIME-tamamlandı . Bununla birlikte, SAT ve SMT gibi problemlerin teorik sınırlara rağmen, bunları çözmek için hızlı algoritmaları vardır. Merak ediyorum, monadik birinci dereceden mantık için SAT / SMT'ye …

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic