Wikipédia

Fájl:Schaefer's 3-SAT to 1-in-3-SAT reduction.gif

Eredeti fájl ‎(1 159 × 279 képpont, fájlméret: 19 KB, MIME-típus: image/gif)

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!

This GIF image was uploaded in a graphics format such as GIF, PNG, JPEG, or SVG. However, it consists purely or largely of information which is better suited to representation in wikitext (possibly using MediaWiki's special syntax for tables, math, or music). This will make the information easier to edit, as well as make it accessible to users of screen readers and text-based browsers.

If possible, please replace any inclusions of this image in articles (noted under the “File links” header) with properly formatted wikitext. After doing so, please consider nominating this image for deletion.

Deutsch ∙ English ∙ +/−

Összefoglaló

Leírás
English: The left table shows the 1-in-3-SAT clauses Schaefer's reduction maps a 3-SAT clause x∨y∨z to. a,...,f are fresh variables; the result of R is true iff exactly one of its arguments is. All 8 combinations of values for x,y,z are examined, one per line. The reduction is satisfiable iff x∨y∨z is true. The right table shows a simpler reduction with the same properties.
Dátum
Forrás A feltöltő saját munkája
Szerző Jochen Burghardt
Más változatok
Uncolored txt source 
 R(x,a,d) ∧ R(y,b,d) ∧ R(a,b,e) ∧ R(c,d,f) ∧ R(z,c,0)
 ----------------------------------------------------
 R(0,a,d) ∧ R(0,b,d) ∧ R(a,b,e) ∧ R(c,d,f) ∧ R(0,c,0)
 R(0,a,d) ∧ R(0,b,d) ∧ R(a,b,e) ∧ R(c,d,f) ∧ R(1,c,0)
 R(0,a,d) ∧ R(1,b,d) ∧ R(a,b,e) ∧ R(c,d,f) ∧ R(0,c,0)
 R(0,a,d) ∧ R(1,b,d) ∧ R(a,b,e) ∧ R(c,d,f) ∧ R(1,c,0)
 R(1,a,d) ∧ R(0,b,d) ∧ R(a,b,e) ∧ R(c,d,f) ∧ R(0,c,0)
 R(1,a,d) ∧ R(0,b,d) ∧ R(a,b,e) ∧ R(c,d,f) ∧ R(1,c,0)
 R(1,a,d) ∧ R(1,b,d) ∧ R(a,b,e) ∧ R(c,d,f) ∧ R(0,c,0)
 R(1,a,d) ∧ R(1,b,d) ∧ R(a,b,e) ∧ R(c,d,f) ∧ R(1,c,0)

 R(¬x,a,b) ∧ R(b,y,c) ∧ R(c,d,¬z)
 --------------------------------
 R( 1,a,b) ∧ R(b,0,c) ∧ R(c,d, 1)
 R( 1,a,b) ∧ R(b,0,c) ∧ R(c,d, 0)
 R( 1,a,b) ∧ R(b,1,c) ∧ R(c,d, 1)
 R( 1,a,b) ∧ R(b,1,c) ∧ R(c,d, 0)
 R( 0,a,b) ∧ R(b,0,c) ∧ R(c,d, 1)
 R( 0,a,b) ∧ R(b,0,c) ∧ R(c,d, 0)
 R( 0,a,b) ∧ R(b,1,c) ∧ R(c,d, 1)
 R( 0,a,b) ∧ R(b,1,c) ∧ R(c,d, 0)

Licenc

Én, e mű szerzője a művemet az alábbi licencek alatt teszem közzé:
w:hu:Creative Commons
Nevezd meg! Így add tovább!
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.
GNU head 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ó.

Képaláírások

Adj meg egy egysoros magyarázatot arról, hogy mit mutat be ez a fájl

A fájl által ábrázolt elemek

mű tárgya

létrejöttének ideje

20. szeptember 2013

Fájltörténet

Kattints egy időpontra, hogy a fájl akkori állapotát láthasd.

Dátum/időBélyegképFelbontásFeltöltőMegjegyzés
aktuális2013. szeptember 21., 00:31Bélyegkép a 2013. szeptember 21., 00:31-kori változatról1 159 × 279 (19 KB)Jochen Burghardtversion in landscape layout
2013. szeptember 21., 00:15Bélyegkép a 2013. szeptember 21., 00:15-kori változatról643 × 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...

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:

A lap eredeti címe: „https://hu.wikipedia.org/wiki/Fájl:Schaefer%27s_3-SAT_to_1-in-3-SAT_reduction.gif”