चित्र:BDD simple.svg

पृष्ठ की सामग्री दूसरी भाषाओं में उपलब्ध नहीं है।
मुक्त ज्ञानकोश विकिपीडिया से

मूल चित्र ‎(SVG फ़ाइल, साधारणतः 189 × 241 पिक्सेल, फ़ाइल का आकार: 5 KB)

विकिमीडिया कॉमन्स का लोगो यह फ़ाइल विकिमेडिया कॉमन्स से है। वहाँ पर इसका विवरण पृष्ठ निम्नोक्त है।
कॉमन्स मुक्त लाइसेंसों के अंतर्गत उपलब्ध मीडिया फ़ाइलों का संग्रह है। आप भी इसमें मदद कर सकते हैं।

सारांश

विवरण BDD graph for the Boolean formula -x1 * -x2 * -x3 + x1 * x2 + x2 * x3
दिनांक
स्रोत self-made using CrocoPat, a tool for relational programming, and GraphViz dot, a tool for graph layout
लेखक Dirk Beyer
अनुमति
(इस चित्र का पुनः उपयोग करना)		 GFDL and cc-by-sa-2.5
दूसरे संस्करण From [1]; PNG version at image:BDD simple.png

सारांश

Other BDD pictures:

  • BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering
    BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering
  • BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering
    BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering
  • Visualization of the BDD for the Boolean formula x1 * x2 + x3 * x4 + ... + x19 * x20 using a bad variable ordering
    Visualization of the BDD for the Boolean formula x1 * x2 + x3 * x4 + ... + x19 * x20 using a bad variable ordering

The following is the RML (Relational Manipulation Language) code that I fed to CrocoPat to produce the GraphViz dot files: 

// RML program to generate a BDD graph for the formula
// !x1 & !x2 & !x3  |  x1 & x2  |  x2 & x3,
// using the variable ordering <x1, x2, x3>.
// "crocopat -e BDD_simple.rml" generates a file in dot format.
// "dot -Tsvg BDD_simple.dot -o BDD_Variable_Ordering_Bad.svg"
// generates a file in SVG format from the file in dot format.

// There are two ('Boolean') values for the variables x1, x2, x3.
DOM("0");
DOM("1");

// F is the name of the Boolean formula.
F(x1,x2,x3) :=  (x1="0" & x2="0" & x3="0") 
              | (x1="1" & x2="1")
              | (x2="1" & x3="1");

// Prints the BDD as graph in GraphViz dot format.
PRINT GRAPH( F(x1,x2,x3) ) TO "BDD_simple.dot";

लाइसेंस

मैं, इस कार्य का/की कॉपीराइट धारक, इसे निम्न लाइसेंसों के अंतर्गत प्रकाशित करता/करती हूँ:
GNU head इस दस्तावेज़ को Free Software Foundation द्वारा प्रकाशित GNU मुक्त प्रलेख लाइसेंस के संस्करण 1.2 या नए (बिना किसी अपरिवर्तनीय अनुभागों और अगले या पिछले आवरण के टेक्स्ट के) के अंतर्गत प्रतिलिपि बनाने, बाँटने और/या बदलने की अनुमति प्रदान की जाती है। इस लाइसेंस की एक प्रतिलिपि GNU मुक्त प्रलेख लाइसेंस नामक अनुभाग में शामिल है।
w:hi:क्रिएटिव कॉमन्स
श्रेय समानसांझा 		इस फ़ाइल को क्रिएटिव कॉमन्स श्रेय-समानसांझा 3.0 अनरिपोर्टेड लाइसेंस के अंतर्गत लाइसेंस किया गया है।
आप खुलकर:
  • बाँट सकते हैं – रचना की प्रतिलिपि बना सकते हैं, बाँँट सकते हैं और संचारित कर सकते हैं
  • रीमिक्स कर सकते हैं – कार्य को अनुकूलित कर सकते हैं
निम्नलिखित शर्तों के अंतर्गत:
  • श्रेय – यह अनिवार्य है कि आप यथोचित श्रेय प्रदान करें, लाइसेंस की कड़ी प्रदान करें, और अगर कोई बदलाव हुए हों तो उन्हें इंगित करें। आप ऐसा किसी भी उचित तरीके से कर सकते हैं, लेकिन किसी भी तरह उससे यह नहीं संकेत नहीं किया जाना चाहिए कि लाइसेंसधारी द्वारा आपको अथवा आपके इस प्रयोग का समर्थन किया जा रहा हो।
  • समानसांझा – अगर आप इस रचना में कोई बदलाव करते हैं या इसपर आधारित कुछ रचित करते हैं तो आप अपने योगदान को सिर्फ इसी या इसके सामान किसी लाइसेंस के अंतर्गत बाँट सकते हैं।
This licensing tag was added to this file as part of the GFDL licensing update.
w:hi:क्रिएटिव कॉमन्स
श्रेय समानसांझा
इस फ़ाइल को क्रिएटिव कॉमन्स श्रेय-समानसांझा 2.5 साधारण लाइसेंस के अंतर्गत लाइसेंस किया गया है।
आप खुलकर:
  • बाँट सकते हैं – रचना की प्रतिलिपि बना सकते हैं, बाँँट सकते हैं और संचारित कर सकते हैं
  • रीमिक्स कर सकते हैं – कार्य को अनुकूलित कर सकते हैं
निम्नलिखित शर्तों के अंतर्गत:
  • श्रेय – यह अनिवार्य है कि आप यथोचित श्रेय प्रदान करें, लाइसेंस की कड़ी प्रदान करें, और अगर कोई बदलाव हुए हों तो उन्हें इंगित करें। आप ऐसा किसी भी उचित तरीके से कर सकते हैं, लेकिन किसी भी तरह उससे यह नहीं संकेत नहीं किया जाना चाहिए कि लाइसेंसधारी द्वारा आपको अथवा आपके इस प्रयोग का समर्थन किया जा रहा हो।
  • समानसांझा – अगर आप इस रचना में कोई बदलाव करते हैं या इसपर आधारित कुछ रचित करते हैं तो आप अपने योगदान को सिर्फ इसी या इसके सामान किसी लाइसेंस के अंतर्गत बाँट सकते हैं।
आप अपना पसंद का लाइसेंस चुन सकते हैं।

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

चित्रण

निर्माण की तिथि

२० अक्टूबर 2005

media type अंग्रेज़ी

image/svg+xml

checksum अंग्रेज़ी

62b8026324ba92ad0d9d2fc38d598714df6d404a

निर्धारण विधि: SHA-1 अंग्रेज़ी

data size अंग्रेज़ी

५,५१३ बाइट

ऊँचाई

२४१ पिक्सल

width अंग्रेज़ी

१८९ पिक्सल

चित्र का इतिहास

फ़ाइलका पुराना अवतरण देखने के लिये दिनांक/समय पर क्लिक करें।

दिनांक/समयथंबनेलआकारसदस्यप्रतिक्रिया
वर्तमान18:35, 5 मार्च 200718:35, 5 मार्च 2007 के संस्करण का थंबनेल संस्करण189 × 241 (5 KB)Brighterorange
18:18, 5 मार्च 200718:18, 5 मार्च 2007 के संस्करण का थंबनेल संस्करण512 × 564 (5 KB)Brighterorange{{Information| |Description = BDD graph for the Boolean formula -x1 * -x2 * -x3 + x1 * x2 + x2 * x3 |Source = self-made using [http://directory.fsf.org/math/CrocoPat.html CrocoPat], a tool for relational programming, and GraphViz dot, a tool for graph

निम्नलिखित पन्ने इस चित्र से जुडते हैं :

चित्र का वैश्विक उपयोग

इस चित्र का उपयोग इन दूसरे विकियों में किया जाता है:

"https://hi.wikipedia.org/wiki/चित्र:BDD_simple.svg" से प्राप्त