Reduced Binary Circuits - Versionsgeschichte

Saure: /* Einleitung */

2022-11-29T08:28:32Z

Einleitung

← Nächstältere Version		Version vom 29. November 2022, 10:28 Uhr
Zeile 1:		Zeile 1:
	'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig [[Overhead (EDV)\|Overhead]] kompakt zu repräsentieren. Resultat ist ein [[Graph_%28Graphentheorie%29#Gerichteter_azyklischer_Graph\|gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.		'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Integrierter Schaltkreis\|Schaltkreise]] mit wenig [[Overhead (EDV)\|Overhead]] kompakt zu repräsentieren. Resultat ist ein [[Graph_%28Graphentheorie%29#Gerichteter_azyklischer_Graph\|gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.

	Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolescher Variablen darstellt.		Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolescher Variablen darstellt.

G8w: Rechtschreibung

2013-03-30T20:23:43Z

Rechtschreibung

← Nächstältere Version		Version vom 30. März 2013, 22:23 Uhr
Zeile 5:		Zeile 5:
	Kanten enthalten ein sign-Attribut, das Negierung des Targets, des Zielknotens abgibt.		Kanten enthalten ein sign-Attribut, das Negierung des Targets, des Zielknotens abgibt.

	Kompression wird dabei erreicht, indem zum ~~Einen~~ [[Isomorphismus\|isomorphe]] (identische) Teilstrukturen mittels einer [[Hash-Funktion]] erfasst und nur einmal explizit in der Datenstruktur repräsentiert werden, zum ~~Anderen~~ werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.		Kompression wird dabei erreicht, indem zum einen [[Isomorphismus\|isomorphe]] (identische) Teilstrukturen mittels einer [[Hash-Funktion]] erfasst und nur einmal explizit in der Datenstruktur repräsentiert werden, zum anderen werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.

	== Quellen ==		== Quellen ==

Trg: LInk auf BKL aufgelöst

2009-04-18T16:25:27Z

LInk auf BKL aufgelöst

← Nächstältere Version		Version vom 18. April 2009, 18:25 Uhr
Zeile 1:		Zeile 1:
	'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig [[Overhead]] kompakt zu repräsentieren. Resultat ist ein [[Graph_%28Graphentheorie%29#Gerichteter_azyklischer_Graph\|gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.		'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig [[Overhead (EDV)\|Overhead]] kompakt zu repräsentieren. Resultat ist ein [[Graph_%28Graphentheorie%29#Gerichteter_azyklischer_Graph\|gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.

	Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolescher Variablen darstellt.		Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolescher Variablen darstellt.

Xario: linkfix

2007-12-19T00:26:42Z

linkfix

← Nächstältere Version		Version vom 19. Dezember 2007, 02:26 Uhr
Zeile 1:		Zeile 1:
	'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig [[Overhead]] kompakt zu repräsentieren. Resultat ist ein [[gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.		'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig [[Overhead]] kompakt zu repräsentieren. Resultat ist ein [[Graph_%28Graphentheorie%29#Gerichteter_azyklischer_Graph\|gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.

	Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolescher Variablen darstellt.		Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolescher Variablen darstellt.

Wasserseele: Typo

2007-05-11T19:30:35Z

Typo

← Nächstältere Version		Version vom 11. Mai 2007, 21:30 Uhr
Zeile 1:		Zeile 1:
	'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig [[Overhead]] kompakt zu repräsentieren. Resultat ist ein [[gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.		'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig [[Overhead]] kompakt zu repräsentieren. Resultat ist ein [[gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.

	Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge ~~boolscher~~ Variablen darstellt.		Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolescher Variablen darstellt.

	Kanten enthalten ein sign-~~Attibut~~, das Negierung des Targets, des Zielknotens abgibt.		Kanten enthalten ein sign-Attribut, das Negierung des Targets, des Zielknotens abgibt.

	Kompression wird dabei erreicht, indem zum Einen [[Isomorphismus\|isomorphe]] (identische) Teilstrukturen mittels einer [[Hash-Funktion]] erfasst und nur einmal explizit in der Datenstruktur repräsentiert werden, zum Anderen werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.		Kompression wird dabei erreicht, indem zum Einen [[Isomorphismus\|isomorphe]] (identische) Teilstrukturen mittels einer [[Hash-Funktion]] erfasst und nur einmal explizit in der Datenstruktur repräsentiert werden, zum Anderen werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.

Pajz: Änderungen von 80.134.104.82 rückgängig gemacht und letzte Version von Benutzer:Rax wiederhergestellt. Grund: kein Deutsch

2007-02-05T16:09:04Z

Änderungen von 80.134.104.82 rückgängig gemacht und letzte Version von Benutzer:Rax wiederhergestellt. Grund: kein Deutsch

← Nächstältere Version		Version vom 5. Februar 2007, 18:09 Uhr
Zeile 2:		Zeile 2:

	Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolscher Variablen darstellt.		Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolscher Variablen darstellt.

⚫	Datenstruktur repräsentiert werden, zum Anderen werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.
			Kanten enthalten ein sign-Attibut, das Negierung des Targets, des Zielknotens abgibt.

		⚫	Kompression wird dabei erreicht, indem zum Einen [[Isomorphismus\|isomorphe]] (identische) Teilstrukturen mittels einer [[Hash-Funktion]] erfasst und nur einmal explizit in der Datenstruktur repräsentiert werden, zum Anderen werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.

	== Quellen ==		== Quellen ==

80.134.104.82 am 5. Februar 2007 um 16:08 Uhr

2007-02-05T16:08:12Z

← Nächstältere Version		Version vom 5. Februar 2007, 18:08 Uhr
Zeile 2:		Zeile 2:

	Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolscher Variablen darstellt.		Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolscher Variablen darstellt.
		⚫	Datenstruktur repräsentiert werden, zum Anderen werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.

	Kanten enthalten ein sign-Attibut, das Negierung des Targets, des Zielknotens abgibt.

⚫	~~Kompression wird dabei erreicht, indem zum Einen [[Isomorphismus\|isomorphe]] (identische) Teilstrukturen mittels einer [[Hash-Funktion]] erfasst und nur einmal explizit in der~~ Datenstruktur repräsentiert werden, zum Anderen werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.

	== Quellen ==		== Quellen ==

Rax: --LA

2006-09-12T19:03:42Z

--LA

← Nächstältere Version		Version vom 12. September 2006, 21:03 Uhr
Zeile 1:		Zeile 1:
	<noinclude>
	{{Löschantragstext\|tag=3\|jahr=2006\|monat=September}} {{{1\|}}}</noinclude>
	Das Familienleben der internen Knoten mag ja interessant sein, aber was dies in einer Enzyklopädie soll bleibt rätselhaft - so rätselhaft wie der Inhalt dieses Beitrages. [[Benutzer:Weissbier\|Weissbier]] 17:57, 3. Sep 2006 (CEST)
	----
	{{Unverständlich}}

	'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig [[Overhead]] kompakt zu repräsentieren. Resultat ist ein [[gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.		'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig [[Overhead]] kompakt zu repräsentieren. Resultat ist ein [[gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.

32X: "HASHING" sieht einfach nicht schön aus, "Hashing" auch nicht so richtig.

2006-09-04T17:47:09Z

"HASHING" sieht einfach nicht schön aus, "Hashing" auch nicht so richtig.

← Nächstältere Version		Version vom 4. September 2006, 19:47 Uhr
Zeile 11:		Zeile 11:
	Kanten enthalten ein sign-Attibut, das Negierung des Targets, des Zielknotens abgibt.		Kanten enthalten ein sign-Attibut, das Negierung des Targets, des Zielknotens abgibt.

	Kompression wird dabei erreicht, indem zum Einen [[Isomorphismus\|isomorphe]] (identische) Teilstrukturen mittels [[Hash-Funktion~~\|HASHING~~]] erfasst und nur einmal explizit in der Datenstruktur repräsentiert werden, zum Anderen werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.		Kompression wird dabei erreicht, indem zum Einen [[Isomorphismus\|isomorphe]] (identische) Teilstrukturen mittels einer [[Hash-Funktion]] erfasst und nur einmal explizit in der Datenstruktur repräsentiert werden, zum Anderen werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.

	== Quellen ==		== Quellen ==

APPER am 3. September 2006 um 21:13 Uhr

2006-09-03T21:13:43Z

← Nächstältere Version		Version vom 3. September 2006, 23:13 Uhr
Zeile 5:		Zeile 5:
	{{Unverständlich}}		{{Unverständlich}}

		⚫	'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig [[Overhead]] kompakt zu repräsentieren. Resultat ist ein [[gerichteter azyklischer Graph]] ''G'' bestehend aus Knoten und Kanten.
	==Reduced Binary Circuits==
⚫	'''Reduced Binary Circuit''' stellen eine Möglichkeit dar, digitale [[Schaltkreis]]e mit wenig ~~overhead~~ kompakt zu repräsentieren. Resultat ist ein [[gerichteter azyklischer Graph]] G bestehend aus Knoten und Kanten.

	Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils 2 Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben, oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolscher Variablen darstellt.		Interne Knoten repräsentieren einen binären Operator aus der Menge {<math> \land , \lor, \Leftrightarrow </math>} und besitzen jeweils zwei Kinder. Blätter hingegen werden mit konstanten [[Wahrheitswert]]en {TRUE,FALSE} beschrieben oder durch eine Variable v <math> \epsilon </math> VAR, wobei VAR eine beliebige Menge boolscher Variablen darstellt.

	Kanten enthalten ein sign-Attibut, das Negierung des Targets, des Zielknotens abgibt.		Kanten enthalten ein sign-Attibut, das Negierung des Targets, des Zielknotens abgibt.

	Kompression wird dabei erreicht, indem zum Einen isomorphe (identische) Teilstrukturen mittels [[Hash-Funktion\|HASHING]] erfasst und nur einmal explizit in der Datenstruktur repräsentiert werden, zum ~~Andern~~ werden konstante Werte, erfasst und ~~"gekürzt"~~, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.		Kompression wird dabei erreicht, indem zum Einen [[Isomorphismus\|isomorphe]] (identische) Teilstrukturen mittels [[Hash-Funktion\|HASHING]] erfasst und nur einmal explizit in der Datenstruktur repräsentiert werden, zum Anderen werden konstante Werte erfasst und „gekürzt“, beispielsweise wird (b <math> \wedge </math>TRUE) dargestellt als b.

	== Quellen ==		== Quellen ==