Ugrás a tartalomhoz

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

Az oldal más nyelven nem érhető el.
A Wikipédiából, a szabad enciklopédiából

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!

Ö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 20., 23:31Bélyegkép a 2013. szeptember 20., 23:31-kori változatról1 159 × 279 (19 KB)Jochen Burghardtversion in landscape layout
2013. szeptember 20., 23:15Bélyegkép a 2013. szeptember 20., 23: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”