Aussagenlogik #14 - Von SAT zu 3SAT: Effiziente Umwandlung erklärt 🔍
Lernen Sie, wie man eine beliebige aussagenlogische Formel effizient in eine erfüllbarkeitsäquivalente 3-CNF-Form umwandelt. Perfekt für Einsteiger und Fortgeschrittene!
NLogSpace
7.3K views • Nov 4, 2020
About this video
https://iltis.cs.tu-dortmund.de/nlogspace/#/a14
Wir zeigen, wie man eine beliebige aussagenlogische Formel effizient in eine erfüllbarkeitsäquivalente Formel in 3KNF umformen kann. Daher ist SAT nicht schwieriger als 3SAT. Man nennt diesen Prozess auch eine Reduktion von SAT auf 3SAT.
Wir zeigen, wie man eine beliebige aussagenlogische Formel effizient in eine erfüllbarkeitsäquivalente Formel in 3KNF umformen kann. Daher ist SAT nicht schwieriger als 3SAT. Man nennt diesen Prozess auch eine Reduktion von SAT auf 3SAT.
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
7.3K
Likes
106
Duration
13:37
Published
Nov 4, 2020
User Reviews
4.5
(1) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now