Fájl:Schaefer's 3-SAT to 1-in-3-SAT reduction.gif
Megjelenés
![Fájl:Schaefer's 3-SAT to 1-in-3-SAT reduction.gif](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9b/Schaefer%27s_3-SAT_to_1-in-3-SAT_reduction.gif/800px-Schaefer%27s_3-SAT_to_1-in-3-SAT_reduction.gif)
Az előnézet mérete: 800 × 193 képpont További felbontások: 320 × 77 képpont | 1 159 × 279 képpont.
Eredeti fájl (1 159 × 279 képpont, fájlméret: 19 KB, MIME-típus: image/gif)
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 | 2013. szeptember 21., 00:31 | ![]() | 1 159 × 279 (19 KB) | Jochen Burghardt | version in landscape layout |
2013. szeptember 21., 00:15 | ![]() | 643 × 565 (19 KB) | Jochen Burghardt | {{Information |Description ={{en|1=The top half shows the 1-in-3-SAT clauses Schaefer's reduction maps a 3-SAT clause x∨y∨z to. a,b,c,d,e,f are fresh variables; R(p,q,r) is true if exactly one of p,q,r is. All 8 cases, depending on the values f... |
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