Fájl:Boolean satisfiability vs true literal counts.png
Nem érhető el nagyobb felbontású változat.
Boolean_satisfiability_vs_true_literal_counts.png (454 × 469 képpont, fájlméret: 2 KB, MIME-típus: image/png)
|
Ez a fájl a Wikimedia Commonsból származik. Az alább látható leírás az ottani dokumentációjának másolata. A Commons projekt szabad licencű kép- és multimédiatár. Segíts te is az építésében! |
Összefoglaló
| Leírás |
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. |
| Dátum | |
| Forrás | A feltöltő saját munkája |
| Szerző | Jochen Burghardt |
|
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é:
Ez a fájl a Creative Commons Nevezd meg! – Így add tovább! 3.0 Unported licenc alapján használható fel.
- A következőket teheted a művel:
- 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ó. |
A mű a fenti licencek bármelyike szerint felhasználható.
Eredeti feltöltési napló
| Dátum/idő | Felbontás | Feltöltő | Megjegyzés |
|---|---|---|---|
| 2013. szeptember 27., 12:54:49 | 454 × 469 (6622 bytes) | Jochen Burghardt (vitalap · szerkesztései) | {{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... |
Fájltörténet
Kattints egy időpontra, hogy a fájl akkori állapotát láthasd.
| Dátum/idő | Bélyegkép | Felbontás | Feltöltő | Megjegyzés | |
|---|---|---|---|---|---|
| aktuális | 2014. augusztus 24., 21:52 | | 454 × 469 (2 KB) | GifTagger | Bot: Converting file to superior PNG file. (Source: Boolean_satisfiability_vs_true_literal_counts.gif). This GIF was problematic due to non-greyscale color table. |
Fájlhasználat
Az alábbi lap használja ezt a fájlt:
Globális fájlhasználat
A következő wikik használják ezt a fájlt:
- Használata itt: en.wikipedia.org
