Pertanyaan yang diberi tag boolean-formulas

18

Apakah mungkin untuk menguji apakah bilangan yang dihitung rasional atau bilangan bulat?

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan...

computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

15

Rumus Boolean yang terukur dengan pergantian logaritmik

Saya sedang mempelajari masalah yang sulit untuk kelas formula boolean yang dikuantifikasi dengan jumlah logaritmik dari pergantian quantifiers. Masalah di kelas ini akan terlihat seperti: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall...

cc.complexity-theory boolean-formulas

14

Masalah memutuskan apakah CNF monoton menyiratkan DNF monoton

Pertimbangkan masalah keputusan berikut Input : CNF ΦΦ\Phi monoton dan DNF monoton P .ΨΨ\Psi Pertanyaan : Apakah sebuah tautologi?Φ→ΨΦ→Ψ\Phi \to \Psi Tentunya Anda dapat mengatasi masalah ini dalam waktu , di mana adalah jumlah variabel dalam dan adalah panjang input. Di sisi lain, masalah ini...

exp-time-algorithms boolean-formulas fine-grained

11

Apa kompleksitas masalah kesetaraan untuk pohon keputusan baca-sekali?

Pohon keputusan baca-sekali didefinisikan sebagai berikut: dan F a l s e -baca sekali pohon keputusan.Tr u eTrueTrueFa l s eFalseFalse Jika dan B adalah pohon keputusan baca-sekali dan x adalah variabel yang tidak terjadi di A dan B , maka ( x ∧ A ) ∨ ( ˉ x ∧ B ) juga merupakan pohon keputusan...

cc.complexity-theory lo.logic decision-trees boolean-formulas

10

Penyeimbangan rumus Boolean di

Saya mencari referensi tentang kompleksitas masalah penyeimbangan rumus Boolean . Khususnya, Apakah diketahui bahwa rumus Boolean dapat diseimbangkan dalam ?AC0AC0\mathsf{AC^0} Apakah ada bukti sederhana keseimbangan Boolean yang menyeimbangkan berada di ?AC0AC0\mathsf{AC^0} Maksud "sederhana"...

cc.complexity-theory ds.algorithms reference-request lo.logic boolean-formulas

8

Konversi antara k-SAT dan XOR-SAT

Menurut XOR Satisfiability Solver Module untuk Integrasi DPLL oleh Tero Laitinen, kita membutuhkan klausa CNF untuk mengubah klausa XOR-SAT literal jika kita tidak ingin menambah jumlah literal. Jadi, saya mengerti bahwa biaya komputasi untuk mengubah ekspresi XOR-SAT menjadi CNF -SAT adalah...

sat boolean-functions boolean-formulas