LeírásBoolean satisfiability vs true literal counts.png
English: Assuming a boolean formula consisting of 2 clauses á 3 literals, there are 4*4 possibilities of how many literals of the 1st and 2nd clause are made true by a variable assignment. The image shows for each combination (m,n) of true-literal counts whether the formula is unsatisfied (red), 3-satisfied (green), xor-3-satisfied (blue), or/and 1-in-3-satisfied (yellow). The relation 1-in-3-sat ⇒ xor-3-sat ⇒ 3-sat generalizes to formulas of arbitrarily many clauses á 3 literals.
Ezt a képet el kellene készíteni vektorgrafika használatával SVG fájlként. A formátumnak számos előnye van; lásd a Commons:Media for cleanup lapot a további információkért. Ha a képnek már elérhető SVG-formátumú változata, töltsd fel. Az SVG feltöltése után cseréld le ezt a sablont a következőre: {{vector version available|új kép neve.svg}}.
Licenc
Én, e mű szerzője a művemet az alábbi licencek alatt teszem közzé:
megoszthatod – szabadon másolhatod, terjesztheted, bemutathatod és előadhatod a művet
feldolgozhatod – származékos műveket hozhatsz létre
Az alábbi feltételekkel:
Nevezd meg! – A szerzőt megfelelően fel kell tüntetned, hivatkozást kell létrehoznod a licencre és jelezned kell, ha a művön változtatást hajtottál végre. Ezt bármilyen észszerű módon megteheted, kivéve oly módon, ami azt sugallná hogy a jogosult támogat téged vagy a felhasználásod körülményeit.
Így add tovább! – Ha megváltoztatod, átalakítod, feldolgozod ezt a művet, a közreműködésedet csak az eredetivel megegyező vagy hasonló licenc alatt terjesztheted.
Ez a fájl szabadon másolható, terjeszthető és/vagy módosítható a GNU Szabad Dokumentációs Licenc feltételei alapján, az 1.2 vagy későbbi, a Free Software Foundation által publikált Nem Változtatható szakaszok, Címlapszövegek és Hátlapszövegek nélküli változat szerint. E licenc egy példánya a GNU Szabad Dokumentációs Licenc című fejezetben olvasható.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue
A mű a fenti licencek bármelyike szerint felhasználható.
{{Information
|Description ={{en|1=Assuming a boolean formula consisting of 2 clauses á 3 literals, there are 4*4 possibilities of how many literals of the 1st and 2nd clause are made true by a variable assignment. The image shows for each combina...
Képaláírások
Adj meg egy egysoros magyarázatot arról, hogy mit mutat be ez a fájl