3SAT redukcija į CLIQUE
3CNF formulėje su m klauzulių kiekvienam literalo pasirodymui sukurkite viršūnę.
Esminės žinios
3CNF formulėje su m klauzulių kiekvienam literalo pasirodymui sukurkite viršūnę. Sujunkite pasirodymus iš skirtingų klauzulių, jeigu jų literalai nėra vienas kito neiginiai. Formulė yra patenkinama tada ir tik tada, kai grafas turi m dydžio kliką: iš kiekvienos klauzulės pasirinkite vieną teisingą literalo pasirodymą; atvirkščiai, klikos suderinamus literalus galima išplėsti iki kintamųjų reikšmių priskyrimo.
Sąlygos ir taikymo ribos
- Tos pačios klauzulės literalų pasirodymų briaunos nejungia, todėl m-klika parenka po vieną iš kiekvienos klauzulės.
- Konstrukcija yra polinominė; CLIQUE priklausymą NP klasei rodo visų briaunų tarp pasiūlytų viršūnių patikra. NP-sunkumas remiasi nustatytu 3SAT NP-pilnumu.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
CS2112 grafų pratybų skaidrės 15–17: uždavinių apibrėžimai ir grafo konstrukcija; abi implikacijos kryptys patikrintos tiesiogiai.
2026-10-10 · Nepriklausoma AI redakcinė peržiūra: Perskaityti visi241 glausti teiginiai, prielaidos, pateiktos lygtys ir konvencijos bei visos596 iš šių įrašų išeinančios semantinės sąsajos; peržiūrėta visa autoriaus tikslių šaltinių patikros matrica, turinti241 įrašą, ir deklaruoti apribojimai. Siekiant aprėpti visą inventorių, perskaityti ankstesni105 faktiškai paveldėti matematikos ir informacijos įrašai. Toliau išvardyti tiksliniai nepriklausomai perskaityti pirminių šaltinių skyriai; tai NEREIŠKIA, kad nepriklausomai iš naujo perskaitytas kiekvienas cituotas šaltinio tekstas ar kiekvienas įrodymas. Tai AI atliekama informacinio turinio peržiūra, o ne žmogaus atliekamas dalykinis sertifikavimas, išsamus vadovėlio atkūrimas ar eksperimentų pakartojimas. Peržiūros dokumentas: mathematics-information-independent-content-review.1.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- info-three-sat-clique-reduction
- Versija
- university-core.1
- Struktūruotas žinyno įrašas
- Universitetinių pagrindų plėtra