Файл:BDD Variable Ordering Bad.svg

<!DOCTYPE html> <html class="client-nojs" lang="ru" dir="ltr"> <head> <meta charset="UTF-8"> <title>Файл:BDD Variable Ordering Bad.svg — Википедия</title> <script>(function(){var className="client-js";var cookie=document.cookie.match(/(?:^|; )ruwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t."," \t,"],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy","wgMonthNames":["","январь","февраль","март","апрель","май","июнь","июль","август","сентябрь","октябрь","ноябрь","декабрь"],"wgRequestId":"6130540f-e0c1-4163-8921-aadf848c6d59","wgCanonicalNamespace":"File","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":6,"wgPageName":"Файл:BDD_Variable_Ordering_Bad.svg","wgTitle":"BDD Variable Ordering Bad.svg","wgCurRevisionId":0,"wgRevisionId":0,"wgArticleId":0,"wgIsArticle":true, "wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":[],"wgPageViewLanguage":"ru","wgPageContentLanguage":"ru","wgPageContentModel":"wikitext","wgRelevantPageName":"Файл:BDD_Variable_Ordering_Bad.svg","wgRelevantArticleId":0,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionCreate":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":false,"wgFlaggedRevsParams":{"tags":{"accuracy":{"levels":1}}},"wgStableRevisionId":0,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"ru","pageLanguageDir":"ltr","pageVariantFallbacks":"ru"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":false,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":0,"wgRelatedArticlesCompat":[],"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":true, "wgVector2022LanguageInHeader":false,"wgULSisLanguageSelectorEmpty":true,"wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.gadget.common-site":"ready","ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","mediawiki.interface.helpers.styles":"ready","mediawiki.action.view.filepage":"ready","skins.vector.styles.legacy":"ready","filepage":"ready","mediawiki.ui.button":"ready","ext.flaggedRevs.basic":"ready","mediawiki.codex.messagebox.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","codex-search-styles":"ready","ext.uls.interlanguage":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["site", "mediawiki.page.ready","skins.vector.legacy.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.flaggedRevs.advanced","ext.gadget.common-namespace-file","ext.gadget.collapserefs","ext.gadget.directLinkToCommons","ext.gadget.referenceTooltips","ext.gadget.logo","ext.gadget.edittop","ext.gadget.navboxDefaultGadgets","ext.gadget.wikibugs","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.compactlinks","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.checkUser.clientHints","oojs-ui.styles.icons-media","oojs-ui-core.icons"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=ru&modules=codex-search-styles%2Cfilepage%7Cext.flaggedRevs.basic%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cmediawiki.action.view.filepage%7Cmediawiki.codex.messagebox.styles%7Cmediawiki.interface.helpers.styles%7Cmediawiki.ui.button%7Cskins.vector.styles.legacy&only=styles&skin=vector"> <script async="" src="/w/load.php?lang=ru&modules=startup&only=scripts&raw=1&skin=vector"></script> <link rel="stylesheet" href="https://commons.wikimedia.org/w/index.php?title=MediaWiki:Filepage.css&action=raw&ctype=text/css"> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=ru&modules=ext.gadget.common-site&only=styles&skin=vector"> <link rel="stylesheet" href="/w/load.php?lang=ru&modules=site.styles&only=styles&skin=vector"> <noscript><link rel="stylesheet" href="/w/load.php?lang=ru&modules=noscript&only=styles&skin=vector"></noscript> <meta name="generator" content="MediaWiki 1.44.0-wmf.5"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/1200px-BDD_Variable_Ordering_Bad.svg.png"> <meta property="og:image:width" content="1200"> <meta property="og:image:height" content="818"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/800px-BDD_Variable_Ordering_Bad.svg.png"> <meta property="og:image:width" content="800"> <meta property="og:image:height" content="545"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/640px-BDD_Variable_Ordering_Bad.svg.png"> <meta property="og:image:width" content="640"> <meta property="og:image:height" content="436"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Файл:BDD Variable Ordering Bad.svg — Википедия"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//ru.m.wikipedia.org/wiki/%D0%A4%D0%B0%D0%B9%D0%BB:BDD_Variable_Ordering_Bad.svg"> <link rel="alternate" type="application/x-wiki" title="Править" href="/w/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:BDD_Variable_Ordering_Bad.svg&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Википедия (ru)"> <link rel="EditURI" type="application/rsd+xml" href="//ru.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://commons.wikimedia.org/wiki/File:BDD_Variable_Ordering_Bad.svg"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.ru"> <link rel="alternate" type="application/atom+xml" title="Википедия — Atom-лента" href="/w/index.php?title=%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%A1%D0%B2%D0%B5%D0%B6%D0%B8%D0%B5_%D0%BF%D1%80%D0%B0%D0%B2%D0%BA%D0%B8&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin-vector-legacy mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-6 ns-subject mw-editable page-Файл_BDD_Variable_Ordering_Bad_svg rootpage-Файл_BDD_Variable_Ordering_Bad_svg skin-vector action-view"><div id="mw-page-base" class="noprint"></div> <div id="mw-head-base" class="noprint"></div> <div id="content" class="mw-body" role="main"> <a id="top"></a> <div id="siteNotice"></div> <div class="mw-indicators"> <div id="mw-indicator-commons" class="mw-indicator"><span typeof="mw:File"><a href="https://commons.wikimedia.org/wiki/File:BDD_Variable_Ordering_Bad.svg?uselang=ru" title="Перейти на страницу файла на Викискладе"><img alt="Перейти на страницу файла на Викискладе" src="//upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/14px-Commons-logo.svg.png" decoding="async" width="14" height="19" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/21px-Commons-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/28px-Commons-logo.svg.png 2x" data-file-width="1024" data-file-height="1376" /></a></span></div> </div> <h1 id="firstHeading" class="firstHeading mw-first-heading">Файл:BDD Variable Ordering Bad.svg</h1> <div id="bodyContent" class="vector-body"> <div id="siteSub" class="noprint">Материал из Википедии — свободной энциклопедии</div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="contentSub2"></div> <div id="jump-to-nav"></div> <a class="mw-jump-link" href="#mw-head">Перейти к навигации</a> <a class="mw-jump-link" href="#searchInput">Перейти к поиску</a> <div id="mw-content-text" class="mw-body-content"><ul id="filetoc" role="navigation"><li><a href="#file">Файл</a></li> <li><a href="#filehistory">История файла</a></li> <li><a href="#filelinks">Использование файла</a></li> <li><a href="#globalusage">Глобальное использование файла</a></li></ul><div class="fullImageLink" id="file"><a href="//upload.wikimedia.org/wikipedia/commons/2/28/BDD_Variable_Ordering_Bad.svg"><img alt="Файл:BDD Variable Ordering Bad.svg" src="//upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/638px-BDD_Variable_Ordering_Bad.svg.png" decoding="async" width="638" height="435" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/957px-BDD_Variable_Ordering_Bad.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/1276px-BDD_Variable_Ordering_Bad.svg.png 2x" data-file-width="638" data-file-height="435" /></a><div class="mw-filepage-resolutioninfo">Размер этого PNG-превью для исходного SVG-файла: <a href="//upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/638px-BDD_Variable_Ordering_Bad.svg.png" class="mw-thumbnail-link">638 × 435 пкс</a>. <span class="mw-filepage-other-resolutions">Другие разрешения: <a href="//upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/320px-BDD_Variable_Ordering_Bad.svg.png" class="mw-thumbnail-link">320 × 218 пкс</a> | <a href="//upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/640px-BDD_Variable_Ordering_Bad.svg.png" class="mw-thumbnail-link">640 × 436 пкс</a> | <a href="//upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/1024px-BDD_Variable_Ordering_Bad.svg.png" class="mw-thumbnail-link">1024 × 698 пкс</a> | <a href="//upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/1280px-BDD_Variable_Ordering_Bad.svg.png" class="mw-thumbnail-link">1280 × 873 пкс</a> | <a href="//upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/2560px-BDD_Variable_Ordering_Bad.svg.png" class="mw-thumbnail-link">2560 × 1745 пкс</a>.</span></div></div> <div class="mw-content-ltr fullMedia" lang="ru" dir="ltr"><p><bdi dir="ltr"><a href="//upload.wikimedia.org/wikipedia/commons/2/28/BDD_Variable_Ordering_Bad.svg" class="internal" title="BDD Variable Ordering Bad.svg">Исходный файл</a></bdi> <span class="fileInfo">(SVG-файл, номинально 638 × 435 пкс, размер файла: 29 КБ)</span> </p></div><div class="sharedUploadNotice"> <div class="mw-parser-output"><style data-mw-deduplicate="TemplateStyles:r138181849">.mw-parser-output .fmbox{clear:both;margin:0.2em 0;width:100%;border:1px solid var(--border-color-base,#a2a9b1);background-color:var(--background-color-neutral-subtle,#f8f9fa);box-sizing:border-box}.mw-parser-output .fmbox-warning{border:1px solid #bb7070;background-color:#ffdbdb}.mw-parser-output .fmbox-editnotice{background-color:transparent}.mw-parser-output .fmbox .mbox-text{border:none;padding:0.25em 0.9em;width:100%}.mw-parser-output .fmbox .mbox-image{border:none;padding:2px 0 2px 0.9em;text-align:center}.mw-parser-output .fmbox .mbox-imageright{border:none;padding:2px 0.9em 2px 0;text-align:center}.mw-parser-output .fmbox .mbox-invalid-type{text-align:center}.mw-parser-output .fmbox .mbox-textsmall-div{font-size:90%}</style><table class="plainlinks fmbox fmbox-system" role="presentation"><tbody><tr><td class="mbox-image"><span typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/32px-Commons-logo.svg.png" decoding="async" width="32" height="43" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/48px-Commons-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/64px-Commons-logo.svg.png 2x" data-file-width="1024" data-file-height="1376" /></span></span></td><td class="mbox-text"><div class="mbox-text-div"><div><b><a class="external text" href="https://commons.wikimedia.org/wiki/File:BDD_Variable_Ordering_Bad.svg?uselang=ru"><span title="Перейти на страницу файла на Викискладе">Этот файл находится на Викискладе.</span></a></b> Сведения о нём показаны ниже.</div> <div style="font-size:85%; padding:0.1412em 0; margin-bottom:0.5em;">Викисклад — централизованное хранилище для свободных файлов, используемых в проектах Викимедиа.</div> <span class="plainlinks cd-addTopicButton" style=""><a class="external text" href="https://ru.wikipedia.org/w/index.php?title=%D0%92%D0%B8%D0%BA%D0%B8%D0%BF%D0%B5%D0%B4%D0%B8%D1%8F:%D0%A1%D0%BE%D0%BE%D0%B1%D1%89%D0%B5%D0%BD%D0%B8%D1%8F_%D0%BE%D0%B1_%D0%BE%D1%88%D0%B8%D0%B1%D0%BA%D0%B0%D1%85_%D0%B2_%D1%84%D0%B0%D0%B9%D0%BB%D0%B0%D1%85_%D1%81_%D0%92%D0%B8%D0%BA%D0%B8%D1%81%D0%BA%D0%BB%D0%B0%D0%B4%D0%B0&action=edit&section=action=edit&section=new&preloadtitle=%5B%5B:%D0%A4%D0%B0%D0%B9%D0%BB%3ABDD+Variable+Ordering+Bad.svg%5D%5D&preload=Шаблон:Preload/СОО"><span class="plainlinks mw-ui-button" style=""><span class="nowrap">Сообщить об ошибке с файлом</span></span></a></span></div><div class="mbox-textsmall-div hide-when-compact"></div></td></tr></tbody></table></div> </div> <div id="shared-image-desc"><div class="mw-content-ltr mw-parser-output" lang="en" dir="ltr"><div class="mw-heading mw-heading2"><h2 id="Краткое_описание"><span id=".D0.9A.D1.80.D0.B0.D1.82.D0.BA.D0.BE.D0.B5_.D0.BE.D0.BF.D0.B8.D1.81.D0.B0.D0.BD.D0.B8.D0.B5"></span>Краткое описание</h2></div> <div class="hproduct commons-file-information-table"> <table class="fileinfotpl-type-information vevent" dir="ltr"> <tbody><tr> <td id="fileinfotpl_desc" class="fileinfo-paramfield" lang="ru">Описание<span class="summary fn" style="display:none">BDD Variable Ordering Bad.svg</span></td> <td class="description"> BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering</td> </tr> <tr> <td id="fileinfotpl_date" class="fileinfo-paramfield" lang="ru">Дата</td> <td lang="ru"> <time class="dtstart" datetime="2005-09-01" lang="ru" dir="ltr" style="white-space:nowrap">1 сентября 2005</time></td> </tr> <tr> <td id="fileinfotpl_src" class="fileinfo-paramfield" lang="ru">Источник</td> <td> self-made using <a rel="nofollow" class="external text" href="https://www.sosy-lab.org/people/beyer/CrocoPat/">CrocoPat</a>, a tool for relational programming, and <a rel="nofollow" class="external text" href="http://www.graphviz.org/">GraphViz dot</a>, a tool for graph layout</td> </tr> <tr> <td id="fileinfotpl_aut" class="fileinfo-paramfield" lang="ru">Автор</td> <td> <a href="//commons.wikimedia.org/wiki/User:Dirk_Beyer" class="mw-redirect" title="User:Dirk Beyer">Dirk Beyer</a></td> </tr> <tr> <td id="fileinfotpl_perm" class="fileinfo-paramfield" lang="ru">Права<br><small>(<a href="//commons.wikimedia.org/wiki/Commons:%D0%98%D1%81%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_%D1%81%D0%BE%D0%B4%D0%B5%D1%80%D0%B6%D0%B8%D0%BC%D0%BE%D0%B3%D0%BE_%D0%92%D0%B8%D0%BA%D0%B8%D1%81%D0%BA%D0%BB%D0%B0%D0%B4%D0%B0_%D0%B2%D0%BD%D0%B5_%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82%D0%BE%D0%B2_%D0%92%D0%B8%D0%BA%D0%B8%D0%BC%D0%B5%D0%B4%D0%B8%D0%B0" class="mw-redirect" title="Commons:Использование содержимого Викисклада вне проектов Викимедиа">Повторное использование этого файла</a>)</small></td> <td> GFDL and cc-by-sa-2.5</td> </tr> <tr> <td id="fileinfotpl_ver" class="fileinfo-paramfield" lang="ru">Другие версии</td> <td> <p>From <a rel="nofollow" class="external autonumber" href="http://mtc.epfl.ch/~beyer/CrocoPat/BDD-Visualization/BDD_Variable_Ordering_Bad.svg">[1]</a>; </p> PNG version at <a href="//commons.wikimedia.org/wiki/File:BDD_Variable_Ordering_Bad.png" title="File:BDD Variable Ordering Bad.png">image:BDD_Variable_Ordering_Bad.png</a>.</td> </tr> </tbody></table> </div> <p>Other BDD pictures for similar formulas: </p> <ul class="gallery mw-gallery-traditional"> <li class="gallerybox" style="width: 155px"> <div class="thumb" style="width: 150px; height: 150px;"><span typeof="mw:File"><a href="//commons.wikimedia.org/wiki/File:BDD_Variable_Ordering_Good.svg" class="mw-file-description" title="BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering"><img alt="BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering" src="https://upload.wikimedia.org/wikipedia/commons/thumb/4/4b/BDD_Variable_Ordering_Good.svg/43px-BDD_Variable_Ordering_Good.svg.png" decoding="async" width="43" height="120" class="mw-file-element" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/4/4b/BDD_Variable_Ordering_Good.svg/64px-BDD_Variable_Ordering_Good.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/4/4b/BDD_Variable_Ordering_Good.svg/86px-BDD_Variable_Ordering_Good.svg.png 2x" data-file-width="156" data-file-height="435"></a></span></div> <div class="gallerytext">BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering</div> </li> <li class="gallerybox" style="width: 155px"> <div class="thumb" style="width: 150px; height: 150px;"><span typeof="mw:File"><a href="//commons.wikimedia.org/wiki/File:BDD_Variable_Ordering_VisuBDD_Bad.png" class="mw-file-description" title="Visualization of the BDD for the Boolean formula x1 * x2 + x3 * x4 + ... + x19 * x20 using a bad variable ordering"><img alt="Visualization of the BDD for the Boolean formula x1 * x2 + x3 * x4 + ... + x19 * x20 using a bad variable ordering" src="https://upload.wikimedia.org/wikipedia/commons/thumb/c/c9/BDD_Variable_Ordering_VisuBDD_Bad.png/120px-BDD_Variable_Ordering_VisuBDD_Bad.png" decoding="async" width="120" height="7" class="mw-file-element" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/c/c9/BDD_Variable_Ordering_VisuBDD_Bad.png/180px-BDD_Variable_Ordering_VisuBDD_Bad.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/c/c9/BDD_Variable_Ordering_VisuBDD_Bad.png/240px-BDD_Variable_Ordering_VisuBDD_Bad.png 2x" data-file-width="518" data-file-height="32"></a></span></div> <div class="gallerytext">Visualization of the BDD for the Boolean formula x1 * x2 + x3 * x4 + ... + x19 * x20 using a bad variable ordering</div> </li> </ul> <p>The following is the RML (Relational Manipulation Language) code that I fed to CrocoPat to produce the GraphViz dot files: </p> <pre>// RML program to generate BDD graphs for the formula // x1 & x2 | x3 & x4 | x5 & x6 | x7 & x8, // using two different variable orderings. // "crocopat -e BDD_Variable_Ordering.rml" generates two files in dot format. // "dot -Tsvg BDD_Variable_Ordering_Bad.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, ..., x8. DOM("0"); DOM("1"); // F is the name of the Boolean formula. F(x1,x2,x3,x4,x5,x6,x7,x8) := (x1="1" & x2="1") | (x3="1" & x4="1") | (x5="1" & x6="1") | (x7="1" & x8="1"); // Prints the BDD as graph in GraphViz dot format, // using a good variable ordering resulting in linear size of the graph. PRINT GRAPH( F(x1,x2,x3,x4,x5,x6,x7,x8) ) TO "BDD_Variable_Ordering_Good.dot"; // Prints the BDD as graph in GraphViz dot format, // using a bad variable ordering resulting in exponential size of the graph. // The first term of the conjunction sets the variable ordering. PRINT GRAPH( TRUE(x1,x3,x5,x7,x2,x4,x6,x8) & F(x1,x2,x3,x4,x5,x6,x7,x8) ) TO "BDD_Variable_Ordering_Bad.dot";; </pre> <div class="mw-heading mw-heading2"><h2 id="Лицензирование"><span id=".D0.9B.D0.B8.D1.86.D0.B5.D0.BD.D0.B7.D0.B8.D1.80.D0.BE.D0.B2.D0.B0.D0.BD.D0.B8.D0.B5"></span>Лицензирование</h2></div> <div style="clear:both; margin:0.5em auto; background-color:var(--background-color-interactive,#eaecf0); color:inherit; border:2px solid var(--border-color-subtle,#c8ccd1); padding:8px; direction:ltr;" class="licensetpl_wrapper"><div class="center" style="font-weight:bold;"><div lang="ru" dir="ltr" class="description ru" style="display:inline;">Я, владелец авторских прав на это произведение, добровольно публикую его на условиях следующих лицензий:</div></div> <table cellspacing="8" cellpadding="0" style="width:100%; clear:both; margin:0.5em auto; background-color: var(--background-color-neutral-subtle, #f9f9f9); color: var(--color-base, #202122); border: var(--border-subtle, 2px solid #e0e0e0);" dir="ltr" lang="ru" class="layouttemplate licensetpl"> <tbody><tr> <td><span class="noviewer" typeof="mw:File"><span title="GNU head"><img alt="GNU head" src="https://upload.wikimedia.org/wikipedia/commons/thumb/2/22/Heckert_GNU_white.svg/64px-Heckert_GNU_white.svg.png" decoding="async" width="64" height="63" class="mw-file-element" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/2/22/Heckert_GNU_white.svg/96px-Heckert_GNU_white.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/2/22/Heckert_GNU_white.svg/128px-Heckert_GNU_white.svg.png 2x" data-file-width="535" data-file-height="523"></span></span> </td> <td>Разрешается копировать, распространять и/или изменять этот документ в соответствии с условиями <b><a href="https://en.wikipedia.org/wiki/ru:GNU_FDL" class="extiw" title="w:ru:GNU FDL">GNU Free Documentation License</a></b> версии 1.2 или более поздней, опубликованной <a href="https://en.wikipedia.org/wiki/ru:%D0%A4%D0%BE%D0%BD%D0%B4_%D1%81%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BE%D0%B1%D0%B5%D1%81%D0%BF%D0%B5%D1%87%D0%B5%D0%BD%D0%B8%D1%8F" class="extiw" title="w:ru:Фонд свободного программного обеспечения">Фондом свободного программного обеспечения</a>, без неизменяемых разделов, без текстов, помещаемых на первой и последней обложке. Копия лицензии включена в раздел, озаглавленный <i><a href="//commons.wikimedia.org/wiki/Commons:GNU_Free_Documentation_License,_version_1.2" title="Commons:GNU Free Documentation License, version 1.2">GNU Free Documentation License</a></i>.<span class="licensetpl_link" style="display:none;">http://www.gnu.org/copyleft/fdl.html</span><span class="licensetpl_short" style="display:none;">GFDL</span><span class="licensetpl_long" style="display:none;">GNU Free Documentation License</span><span class="licensetpl_link_req" style="display:none;">true</span><span class="licensetpl_attr_req" style="display:none;">true</span> </td></tr></tbody></table> <table style="width:100%; clear:both; text-align:center; margin:0.5em auto; background-color:var(--background-color-neutral-subtle, #f8f9fa); border:var(--border-subtle, 2px solid #c8ccd1); padding: 0; border-spacing: 8px; color:var(--color-base, #202122);" dir="ltr" class="layouttemplate licensetpl" lang="ru"> <tbody><tr> <td style="width:90px;" rowspan="4"><span class="skin-invert" typeof="mw:File"><span title="w:ru:Creative Commons"><img alt="w:ru:Creative Commons" src="https://upload.wikimedia.org/wikipedia/commons/thumb/7/79/CC_some_rights_reserved.svg/90px-CC_some_rights_reserved.svg.png" decoding="async" width="90" height="36" class="mw-file-element" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/7/79/CC_some_rights_reserved.svg/135px-CC_some_rights_reserved.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/7/79/CC_some_rights_reserved.svg/180px-CC_some_rights_reserved.svg.png 2x" data-file-width="744" data-file-height="300"></span></span><br><span class="skin-invert" typeof="mw:File"><span title="атрибуция"><img alt="атрибуция" src="https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Cc-by_new_white.svg/24px-Cc-by_new_white.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Cc-by_new_white.svg/36px-Cc-by_new_white.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Cc-by_new_white.svg/48px-Cc-by_new_white.svg.png 2x" data-file-width="64" data-file-height="64"></span></span> <span class="skin-invert" typeof="mw:File"><span title="распространение на тех же условиях"><img alt="распространение на тех же условиях" src="https://upload.wikimedia.org/wikipedia/commons/thumb/2/29/Cc-sa.svg/24px-Cc-sa.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/2/29/Cc-sa.svg/36px-Cc-sa.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/2/29/Cc-sa.svg/48px-Cc-sa.svg.png 2x" data-file-width="64" data-file-height="64"></span></span> </td> <td>Этот файл доступен по лицензии <a href="https://en.wikipedia.org/wiki/ru:Creative_Commons" class="extiw" title="w:ru:Creative Commons">Creative Commons</a> <a href="//creativecommons.org/licenses/by-sa/3.0/deed.ru" class="extiw" title="creativecommons:by-sa/3.0/deed.ru">Attribution-Share Alike 3.0 Unported</a>. </td> <td style="width:90px;" rowspan="4"> </td></tr> <tr style="text-align:center;"> <td> </td></tr> <tr style="text-align:left;"> <td> <dl><dd>Вы можете свободно: <ul><li><b>делиться произведением</b> – копировать, распространять и передавать данное произведение</li> <li><b>создавать производные</b> – переделывать данное произведение</li></ul></dd> <dd>При соблюдении следующих условий: <ul><li><b>атрибуция</b> – Вы должны указать авторство, предоставить ссылку на лицензию и указать, внёс ли автор какие-либо изменения. Это можно сделать любым разумным способом, но не создавая впечатление, что лицензиат поддерживает вас или использование вами данного произведения.</li> <li><b>распространение на тех же условиях</b> – Если вы изменяете, преобразуете или создаёте иное произведение на основе данного, то обязаны использовать <a href="https://creativecommons.org/share-your-work/licensing-considerations/compatible-licenses" class="extiw" title="ccorg:share-your-work/licensing-considerations/compatible-licenses">лицензию исходного произведения или лицензию, совместимую с исходной</a>.</li></ul></dd></dl> </td></tr> <tr style="text-align:center;"> <td><span style="font-size:90%;">Этот признак лицензирования был добавлен к этому файлу как часть <a href="https://meta.wikimedia.org/wiki/Licensing_update/ru" class="extiw" title="meta:Licensing update/ru">обновления лицензии</a> GFDL.</span><span class="licensetpl_link" style="display:none;">http://creativecommons.org/licenses/by-sa/3.0/</span><span class="licensetpl_short" style="display:none;">CC BY-SA 3.0</span><span class="licensetpl_long" style="display:none;">Creative Commons Attribution-Share Alike 3.0</span><span class="licensetpl_link_req" style="display:none;">true</span><span class="licensetpl_attr_req" style="display:none;">true</span> </td></tr></tbody></table> <style data-mw-deduplicate="TemplateStyles:r890281695">.mw-parser-output .responsive-license-cc{clear:both;text-align:center;box-sizing:border-box;width:100%;justify-content:space-around;align-items:center;margin:0.5em auto;color:var(--color-base,#202122);background-color:var(--background-color-neutral-subtle,#f9f9f9);border-width:2px;border-style:solid;border-top-color:var(--border-color-subtle,#e0e0e0);border-right-color:var(--border-color-subtle,#e0e0e0);border-bottom-color:var(--border-color-subtle,#e0e0e0);border-left-color:var(--border-color-subtle,#e0e0e0);border-spacing:8px;display:flex}.mw-parser-output .responsive-license-cc div{margin:4px}.mw-parser-output .rlicense-text div{margin:0.5em auto}@media screen and (max-width:640px){.mw-parser-output .responsive-license-cc{flex-flow:column}.mw-parser-output .rlicense-text{order:1}}</style><div class="responsive-license-cc layouttemplate licensetpl" dir="ltr" lang="ru"><div class="rlicense-icons"><span class="skin-invert" typeof="mw:File"><span title="w:ru:Creative Commons"><img alt="w:ru:Creative Commons" src="https://upload.wikimedia.org/wikipedia/commons/thumb/7/79/CC_some_rights_reserved.svg/90px-CC_some_rights_reserved.svg.png" decoding="async" width="90" height="36" class="mw-file-element" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/7/79/CC_some_rights_reserved.svg/135px-CC_some_rights_reserved.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/7/79/CC_some_rights_reserved.svg/180px-CC_some_rights_reserved.svg.png 2x" data-file-width="744" data-file-height="300"></span></span><br> <span class="skin-invert" typeof="mw:File"><span title="атрибуция"><img alt="атрибуция" src="https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Cc-by_new_white.svg/24px-Cc-by_new_white.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Cc-by_new_white.svg/36px-Cc-by_new_white.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Cc-by_new_white.svg/48px-Cc-by_new_white.svg.png 2x" data-file-width="64" data-file-height="64"></span></span> <span class="skin-invert" typeof="mw:File"><span title="распространение на тех же условиях"><img alt="распространение на тех же условиях" src="https://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Cc-sa_white.svg/24px-Cc-sa_white.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Cc-sa_white.svg/36px-Cc-sa_white.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Cc-sa_white.svg/48px-Cc-sa_white.svg.png 2x" data-file-width="64" data-file-height="64"></span></span></div><div class="rlicense-text"><div class="rlicense-declaration">Этот файл доступен по лицензии <a href="https://en.wikipedia.org/wiki/ru:Creative_Commons" class="extiw" title="w:ru:Creative Commons">Creative Commons</a> <a href="//creativecommons.org/licenses/by-sa/2.5/deed.ru" class="extiw" title="creativecommons:by-sa/2.5/deed.ru">Attribution-Share Alike 2.5 Generic</a></div><div class="rlicense-desc" style="text-align:start;" lang="ru"> <dl><dd>Вы можете свободно: <ul><li><b>делиться произведением</b> – копировать, распространять и передавать данное произведение</li> <li><b>создавать производные</b> – переделывать данное произведение</li></ul></dd> <dd>При соблюдении следующих условий: <ul><li><b>атрибуция</b> – Вы должны указать авторство, предоставить ссылку на лицензию и указать, внёс ли автор какие-либо изменения. Это можно сделать любым разумным способом, но не создавая впечатление, что лицензиат поддерживает вас или использование вами данного произведения.</li> <li><b>распространение на тех же условиях</b> – Если вы изменяете, преобразуете или создаёте иное произведение на основе данного, то обязаны использовать <a href="https://creativecommons.org/share-your-work/licensing-considerations/compatible-licenses" class="extiw" title="ccorg:share-your-work/licensing-considerations/compatible-licenses">лицензию исходного произведения или лицензию, совместимую с исходной</a>.</li></ul></dd></dl></div><span class="licensetpl_link" style="display:none;">https://creativecommons.org/licenses/by-sa/2.5</span><span class="licensetpl_short" style="display:none;">CC BY-SA 2.5 </span><span class="licensetpl_long" style="display:none;">Creative Commons Attribution-Share Alike 2.5 </span><span class="licensetpl_link_req" style="display:none;">true</span><span class="licensetpl_attr_req" style="display:none;">true</span></div></div> <div class="center"><div lang="ru" dir="ltr" class="description ru" style="display:inline;">Вы можете выбрать любую из этих лицензий.</div></div></div><h1 class="mw-slot-header"><mediainfoslotheader></mediainfoslotheader></h1><mediainfoview style="display: none"><mediainfoviewcaptions><div class="wbmi-entityview-captionsPanel oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><h3 class="wbmi-entityview-captions-header">Краткие подписи</h3><div class="wbmi-entityview-caption oo-ui-layout oo-ui-horizontalLayout"><label class="wbmi-language-label oo-ui-widget oo-ui-widget-enabled oo-ui-labelElement-label oo-ui-labelElement oo-ui-labelWidget">русский</label><div lang="ru" dir="ltr" class="wbmi-caption-value wbmi-entityview-emptyCaption">Добавьте однострочное описание того, что собой представляет этот файл</div></div></div></mediainfoviewcaptions><mediainfoviewstatements><div id="P180" data-property="P180" data-statements="[]" data-formatvalue="[]" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P180 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><div class="wbmi-statements-widget"><div class="wbmi-statement-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h3 class="wbmi-statements-title">Элементы, изображённые на этом файле</h3><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/P180" href="https://www.wikidata.org/wiki/Special:EntityPage/P180">изображённый объект</a></bdi></h4></div></div></div><div class="wbmi-content-items-group"></div></div></div><div id="P170" data-property="P170" data-statements="[{"mainsnak":{"snaktype":"somevalue","property":"P170","hash":"d3550e860f988c6675fff913440993f58f5c40c5"},"type":"statement","qualifiers":{"P2093":[{"snaktype":"value","property":"P2093","hash":"289916612c67136a3f5c068d31bdf533b09b0a8a","datavalue":{"value":"Dirk Beyer","type":"string"}}],"P2699":[{"snaktype":"value","property":"P2699","hash":"f6b5030faa6e0f9352be80d5e50ae8430e5e2b36","datavalue":{"value":"https:\/\/commons.wikimedia.org\/wiki\/user:Dirk_Beyer","type":"string"}}],"P4174":[{"snaktype":"value","property":"P4174","hash":"caaa375be704b64a33bd22178ed1250fec6510de","datavalue":{"value":"Dirk Beyer","type":"string"}}]},"qualifiers-order":["P2093","P2699","P4174"],"id":"M1748132$A9C46586-1295-42A8-B353-8FDF0403155F","rank":"normal"}]" data-formatvalue="{"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":170,\"id\":\"P170\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P170\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P170\">\u0441\u043e\u0437\u0434\u0430\u0442\u0435\u043b\u044c<\/a>"}},"text\/plain":{"ru":{"":"\u0441\u043e\u0437\u0434\u0430\u0442\u0435\u043b\u044c"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":2093,\"id\":\"P2093\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P2093\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P2093\">\u0438\u043c\u044f \u0430\u0432\u0442\u043e\u0440\u0430 (\u0441\u0442\u0440\u043e\u043a\u0430)<\/a>"}},"text\/plain":{"ru":{"":"\u0438\u043c\u044f \u0430\u0432\u0442\u043e\u0440\u0430 (\u0441\u0442\u0440\u043e\u043a\u0430)"}}},"{\"value\":\"Dirk Beyer\",\"type\":\"string\"}":{"text\/html":{"ru":{"P2093":"Dirk Beyer","P4174":"<a target=\"_blank\" class=\"wb-external-id external\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:CentralAuth?target=Dirk%20Beyer\" rel=\"nofollow\">Dirk Beyer<\/a>"}},"text\/plain":{"ru":{"P2093":"Dirk Beyer","P4174":"Dirk Beyer"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":2699,\"id\":\"P2699\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P2699\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P2699\">URL<\/a>"}},"text\/plain":{"ru":{"":"URL"}}},"{\"value\":\"https:\\\/\\\/commons.wikimedia.org\\\/wiki\\\/user:Dirk_Beyer\",\"type\":\"string\"}":{"text\/html":{"ru":{"P2699":"<a target=\"_blank\" rel=\"nofollow\" class=\"external free\" href=\"https:\/\/commons.wikimedia.org\/wiki\/user:Dirk_Beyer\">https:\/\/commons.wikimedia.org\/wiki\/user:Dirk_Beyer<\/a>"}},"text\/plain":{"ru":{"P2699":"https:\/\/commons.wikimedia.org\/wiki\/user:Dirk_Beyer"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":4174,\"id\":\"P4174\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P4174\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P4174\">\u043b\u043e\u0433\u0438\u043d \u0432 \u043f\u0440\u043e\u0435\u043a\u0442\u0430\u0445 \u0412\u0438\u043a\u0438\u043c\u0435\u0434\u0438\u0430<\/a>"}},"text\/plain":{"ru":{"":"\u043b\u043e\u0433\u0438\u043d \u0432 \u043f\u0440\u043e\u0435\u043a\u0442\u0430\u0445 \u0412\u0438\u043a\u0438\u043c\u0435\u0434\u0438\u0430"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P170 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><div class="wbmi-statements-widget"><div class="wbmi-statement-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/P170" href="https://www.wikidata.org/wiki/Special:EntityPage/P170">создатель</a></bdi></h4></div></div></div><div class="wbmi-content-items-group"><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$A9C46586-1295-42A8-B353-8FDF0403155F" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi>У этого свойства есть некоторое значение без элемента в </bdi></h4></div></div></div><div class="wbmi-item-qualifiers"><div class="wbmi-snaklist-container"><div class="wbmi-snaklist-content"><div class="wbmi-snak"><div class="wbmi-snak-value"><a target="_blank" title="d:Special:EntityPage/P2093" href="https://www.wikidata.org/wiki/Special:EntityPage/P2093">имя автора (строка)</a><span class="wbmi-snak-value-separator">: </span><span class="wbmi-snak-value--value">Dirk Beyer</span></div></div><div class="wbmi-snak"><div class="wbmi-snak-value"><a target="_blank" title="d:Special:EntityPage/P2699" href="https://www.wikidata.org/wiki/Special:EntityPage/P2699">URL</a><span class="wbmi-snak-value-separator">: </span><span class="wbmi-snak-value--value"><a target="_blank" rel="nofollow" class="external free" href="https://commons.wikimedia.org/wiki/user:Dirk_Beyer">https://commons.wikimedia.org/wiki/user:Dirk_Beyer</a></span></div></div><div class="wbmi-snak"><div class="wbmi-snak-value"><a target="_blank" title="d:Special:EntityPage/P4174" href="https://www.wikidata.org/wiki/Special:EntityPage/P4174">логин в проектах Викимедиа</a><span class="wbmi-snak-value-separator">: </span><span class="wbmi-snak-value--value"><a target="_blank" class="wb-external-id external" href="https://www.wikidata.org/wiki/Special:CentralAuth?target=Dirk%20Beyer" rel="nofollow">Dirk Beyer</a></span></div></div></div></div></div></div></div></div></div></div><div id="P6216" data-property="P6216" data-statements="[{"mainsnak":{"snaktype":"value","property":"P6216","hash":"5570347fdc76d2a80732f51ea10ee4b144a084e0","datavalue":{"value":{"entity-type":"item","numeric-id":50423863,"id":"Q50423863"},"type":"wikibase-entityid"}},"type":"statement","id":"M1748132$3A36359B-2CB5-4B06-9192-59B98B9EE616","rank":"normal"}]" data-formatvalue="{"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":6216,\"id\":\"P6216\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P6216\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P6216\">\u043f\u0440\u0430\u0432\u043e\u0432\u043e\u0439 \u0441\u0442\u0430\u0442\u0443\u0441<\/a>"}},"text\/plain":{"ru":{"":"\u043f\u0440\u0430\u0432\u043e\u0432\u043e\u0439 \u0441\u0442\u0430\u0442\u0443\u0441"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":50423863,\"id\":\"Q50423863\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"P6216":"<a target=\"_blank\" title=\"d:Special:EntityPage\/Q50423863\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/Q50423863\">\u0437\u0430\u0449\u0438\u0449\u0435\u043d\u043e \u0430\u0432\u0442\u043e\u0440\u0441\u043a\u0438\u043c \u043f\u0440\u0430\u0432\u043e\u043c<\/a>"}},"text\/plain":{"ru":{"P6216":"\u0437\u0430\u0449\u0438\u0449\u0435\u043d\u043e \u0430\u0432\u0442\u043e\u0440\u0441\u043a\u0438\u043c \u043f\u0440\u0430\u0432\u043e\u043c"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P6216 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><div class="wbmi-statements-widget"><div class="wbmi-statement-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/P6216" href="https://www.wikidata.org/wiki/Special:EntityPage/P6216">правовой статус</a></bdi></h4></div></div></div><div class="wbmi-content-items-group"><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$3A36359B-2CB5-4B06-9192-59B98B9EE616" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/Q50423863" href="https://www.wikidata.org/wiki/Special:EntityPage/Q50423863">защищено авторским правом</a></bdi></h4></div></div></div></div></div></div></div></div><div id="P275" data-property="P275" data-statements="[{"mainsnak":{"snaktype":"value","property":"P275","hash":"a35b4558d66c92eacbe2f569697ffb1934e0316e","datavalue":{"value":{"entity-type":"item","numeric-id":14946043,"id":"Q14946043"},"type":"wikibase-entityid"}},"type":"statement","id":"M1748132$F0B2DEBD-3F88-43B5-A3C7-F318F7747B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P275","hash":"c91f907143769398ba86608a845e155827dab71b","datavalue":{"value":{"entity-type":"item","numeric-id":19113751,"id":"Q19113751"},"type":"wikibase-entityid"}},"type":"statement","id":"M1748132$83B20B20-9AFC-4984-A823-47B32DD33504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P275","hash":"4315b8c41a664bcb36dc3783262461e54b0ddf16","datavalue":{"value":{"entity-type":"item","numeric-id":50829104,"id":"Q50829104"},"type":"wikibase-entityid"}},"type":"statement","id":"M1748132$749307A0-1532-4F0F-9146-85C113A5B3CC","rank":"normal"}]" data-formatvalue="{"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":275,\"id\":\"P275\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P275\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P275\">\u043b\u0438\u0446\u0435\u043d\u0437\u0438\u044f<\/a>"}},"text\/plain":{"ru":{"":"\u043b\u0438\u0446\u0435\u043d\u0437\u0438\u044f"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":14946043,\"id\":\"Q14946043\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"P275":"<a target=\"_blank\" title=\"d:Special:EntityPage\/Q14946043\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/Q14946043\">Creative Commons Attribution-ShareAlike 3.0 Unported<\/a>"}},"text\/plain":{"ru":{"P275":"Creative Commons Attribution-ShareAlike 3.0 Unported"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":19113751,\"id\":\"Q19113751\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"P275":"<a target=\"_blank\" title=\"d:Special:EntityPage\/Q19113751\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/Q19113751\">Creative Commons Attribution-ShareAlike 2.5 Generic<\/a>"}},"text\/plain":{"ru":{"P275":"Creative Commons Attribution-ShareAlike 2.5 Generic"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":50829104,\"id\":\"Q50829104\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"P275":"<a target=\"_blank\" title=\"d:Special:EntityPage\/Q50829104\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/Q50829104\" lang=\"en\">GNU Free Documentation License, version 1.2 or later<\/a>\u00a0<sup class=\"wb-language-fallback-indicator\">\u0430\u043d\u0433\u043b\u0438\u0439\u0441\u043a\u0438\u0439<\/sup>"}},"text\/plain":{"ru":{"P275":"GNU Free Documentation License, version 1.2 or later"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P275 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><div class="wbmi-statements-widget"><div class="wbmi-statement-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/P275" href="https://www.wikidata.org/wiki/Special:EntityPage/P275">лицензия</a></bdi></h4></div></div></div><div class="wbmi-content-items-group"><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$F0B2DEBD-3F88-43B5-A3C7-F318F7747B70" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/Q14946043" href="https://www.wikidata.org/wiki/Special:EntityPage/Q14946043">Creative Commons Attribution-ShareAlike 3.0 Unported</a></bdi></h4></div></div></div></div></div><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$83B20B20-9AFC-4984-A823-47B32DD33504" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/Q19113751" href="https://www.wikidata.org/wiki/Special:EntityPage/Q19113751">Creative Commons Attribution-ShareAlike 2.5 Generic</a></bdi></h4></div></div></div></div></div><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$749307A0-1532-4F0F-9146-85C113A5B3CC" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/Q50829104" href="https://www.wikidata.org/wiki/Special:EntityPage/Q50829104" lang="en">GNU Free Documentation License, version 1.2 or later</a> <sup class="wb-language-fallback-indicator">английский</sup></bdi></h4></div></div></div></div></div></div></div></div><div id="P571" data-property="P571" data-statements="[{"mainsnak":{"snaktype":"value","property":"P571","hash":"1c766ac06207f1cfa30627e743b12d36077af935","datavalue":{"value":{"time":"+2005-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http:\/\/www.wikidata.org\/entity\/Q1985727"},"type":"time"}},"type":"statement","id":"M1748132$A589EC6E-B164-465C-9870-04118818FB51","rank":"normal"}]" data-formatvalue="{"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":571,\"id\":\"P571\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P571\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P571\">\u0434\u0430\u0442\u0430 \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0438\u044f, \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f, \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u043e\u0432\u0435\u043d\u0438\u044f<\/a>"}},"text\/plain":{"ru":{"":"\u0434\u0430\u0442\u0430 \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u0438\u044f, \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f, \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u043e\u0432\u0435\u043d\u0438\u044f"}}},"{\"value\":{\"time\":\"+2005-09-01T00:00:00Z\",\"timezone\":0,\"before\":0,\"after\":0,\"precision\":11,\"calendarmodel\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q1985727\"},\"type\":\"time\"}":{"text\/html":{"ru":{"P571":"1 \u0441\u0435\u043d\u0442\u044f\u0431\u0440\u044f 2005"}},"text\/plain":{"ru":{"P571":"1 \u0441\u0435\u043d\u0442\u044f\u0431\u0440\u044f 2005"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P571 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><div class="wbmi-statements-widget"><div class="wbmi-statement-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/P571" href="https://www.wikidata.org/wiki/Special:EntityPage/P571">дата основания, создания, возникновения</a></bdi></h4></div></div></div><div class="wbmi-content-items-group"><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$A589EC6E-B164-465C-9870-04118818FB51" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi>1 сентября 2005</bdi></h4></div></div></div></div></div></div></div></div><div id="P1163" data-property="P1163" data-statements="[{"mainsnak":{"snaktype":"value","property":"P1163","hash":"636199d1806c7cdbae57b4d4298f38fade12d052","datavalue":{"value":"image\/svg+xml","type":"string"}},"type":"statement","id":"M1748132$EE8AC6ED-629F-40EF-8C0B-757FDC68E2F9","rank":"normal"}]" data-formatvalue="{"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":1163,\"id\":\"P1163\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P1163\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P1163\">MIME-\u0442\u0438\u043f<\/a>"}},"text\/plain":{"ru":{"":"MIME-\u0442\u0438\u043f"}}},"{\"value\":\"image\\\/svg+xml\",\"type\":\"string\"}":{"text\/html":{"ru":{"P1163":"image\/svg+xml"}},"text\/plain":{"ru":{"P1163":"image\/svg+xml"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P1163 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><div class="wbmi-statements-widget"><div class="wbmi-statement-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/P1163" href="https://www.wikidata.org/wiki/Special:EntityPage/P1163">MIME-тип</a></bdi></h4></div></div></div><div class="wbmi-content-items-group"><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$EE8AC6ED-629F-40EF-8C0B-757FDC68E2F9" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi>image/svg+xml</bdi></h4></div></div></div></div></div></div></div></div><div id="P4092" data-property="P4092" data-statements="[{"mainsnak":{"snaktype":"value","property":"P4092","hash":"255713fac094a2bf0f1c2b6312d3ae2cfa3f0c41","datavalue":{"value":"94323004ccf3d0a85e8336f82895954c89f05c98","type":"string"}},"type":"statement","qualifiers":{"P459":[{"snaktype":"value","property":"P459","hash":"75dff03c151b13fbab93742164121c16a6aa0de1","datavalue":{"value":{"entity-type":"item","numeric-id":13414952,"id":"Q13414952"},"type":"wikibase-entityid"}}]},"qualifiers-order":["P459"],"id":"M1748132$2EFDC397-49B1-4D1D-9EA2-5E09A0A919D7","rank":"normal"}]" data-formatvalue="{"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":4092,\"id\":\"P4092\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P4092\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P4092\">\u043a\u043e\u043d\u0442\u0440\u043e\u043b\u044c\u043d\u0430\u044f \u0441\u0443\u043c\u043c\u0430<\/a>"}},"text\/plain":{"ru":{"":"\u043a\u043e\u043d\u0442\u0440\u043e\u043b\u044c\u043d\u0430\u044f \u0441\u0443\u043c\u043c\u0430"}}},"{\"value\":\"94323004ccf3d0a85e8336f82895954c89f05c98\",\"type\":\"string\"}":{"text\/html":{"ru":{"P4092":"94323004ccf3d0a85e8336f82895954c89f05c98"}},"text\/plain":{"ru":{"P4092":"94323004ccf3d0a85e8336f82895954c89f05c98"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":459,\"id\":\"P459\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P459\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P459\">\u043c\u0435\u0442\u043e\u0434 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f<\/a>"}},"text\/plain":{"ru":{"":"\u043c\u0435\u0442\u043e\u0434 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":13414952,\"id\":\"Q13414952\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"P459":"<a target=\"_blank\" title=\"d:Special:EntityPage\/Q13414952\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/Q13414952\">SHA-1<\/a>"}},"text\/plain":{"ru":{"P459":"SHA-1"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P4092 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><div class="wbmi-statements-widget"><div class="wbmi-statement-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/P4092" href="https://www.wikidata.org/wiki/Special:EntityPage/P4092">контрольная сумма</a></bdi></h4></div></div></div><div class="wbmi-content-items-group"><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$2EFDC397-49B1-4D1D-9EA2-5E09A0A919D7" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi>94323004ccf3d0a85e8336f82895954c89f05c98</bdi></h4></div></div></div><div class="wbmi-item-qualifiers"><div class="wbmi-snaklist-container"><div class="wbmi-snaklist-content"><div class="wbmi-snak"><div class="wbmi-snak-value"><a target="_blank" title="d:Special:EntityPage/P459" href="https://www.wikidata.org/wiki/Special:EntityPage/P459">метод определения</a><span class="wbmi-snak-value-separator">: </span><span class="wbmi-snak-value--value"><a target="_blank" title="d:Special:EntityPage/Q13414952" href="https://www.wikidata.org/wiki/Special:EntityPage/Q13414952">SHA-1</a></span></div></div></div></div></div></div></div></div></div></div><div id="P3575" data-property="P3575" data-statements="[{"mainsnak":{"snaktype":"value","property":"P3575","hash":"e32d8a930223a63499234c10aba5c05fe6c96bd5","datavalue":{"value":{"amount":"+29583","unit":"http:\/\/www.wikidata.org\/entity\/Q8799"},"type":"quantity"}},"type":"statement","id":"M1748132$5BF39011-A4DF-4767-985C-5C083EE0E510","rank":"normal"}]" data-formatvalue="{"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":3575,\"id\":\"P3575\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P3575\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P3575\">\u0440\u0430\u0437\u043c\u0435\u0440 \u0434\u0430\u043d\u043d\u044b\u0445<\/a>"}},"text\/plain":{"ru":{"":"\u0440\u0430\u0437\u043c\u0435\u0440 \u0434\u0430\u043d\u043d\u044b\u0445"}}},"{\"value\":{\"amount\":\"+29583\",\"unit\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q8799\"},\"type\":\"quantity\"}":{"text\/html":{"ru":{"P3575":"29\u00a0583 <span class=\"wb-unit\">\u0431\u0430\u0439\u0442<\/span>"}},"text\/plain":{"ru":{"P3575":"29\u00a0583 \u0431\u0430\u0439\u0442"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P3575 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><div class="wbmi-statements-widget"><div class="wbmi-statement-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/P3575" href="https://www.wikidata.org/wiki/Special:EntityPage/P3575">размер данных</a></bdi></h4></div></div></div><div class="wbmi-content-items-group"><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$5BF39011-A4DF-4767-985C-5C083EE0E510" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi>29 583 <span class="wb-unit">байт</span></bdi></h4></div></div></div></div></div></div></div></div><div id="P2048" data-property="P2048" data-statements="[{"mainsnak":{"snaktype":"value","property":"P2048","hash":"e0d5954862b8d814a59781225d4638bf61a98ae4","datavalue":{"value":{"amount":"+435","unit":"http:\/\/www.wikidata.org\/entity\/Q355198"},"type":"quantity"}},"type":"statement","id":"M1748132$E76F838F-AEF4-4EFC-8B64-0FEA947C93CD","rank":"normal"}]" data-formatvalue="{"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":2048,\"id\":\"P2048\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P2048\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P2048\">\u0432\u044b\u0441\u043e\u0442\u0430\/\u0440\u043e\u0441\u0442<\/a>"}},"text\/plain":{"ru":{"":"\u0432\u044b\u0441\u043e\u0442\u0430\/\u0440\u043e\u0441\u0442"}}},"{\"value\":{\"amount\":\"+435\",\"unit\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q355198\"},\"type\":\"quantity\"}":{"text\/html":{"ru":{"P2048":"435 <span class=\"wb-unit\">\u043f\u0438\u043a\u0441\u0435\u043b\u044c<\/span>"}},"text\/plain":{"ru":{"P2048":"435 \u043f\u0438\u043a\u0441\u0435\u043b\u044c"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P2048 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><div class="wbmi-statements-widget"><div class="wbmi-statement-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/P2048" href="https://www.wikidata.org/wiki/Special:EntityPage/P2048">высота/рост</a></bdi></h4></div></div></div><div class="wbmi-content-items-group"><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$E76F838F-AEF4-4EFC-8B64-0FEA947C93CD" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi>435 <span class="wb-unit">пиксель</span></bdi></h4></div></div></div></div></div></div></div></div><div id="P2049" data-property="P2049" data-statements="[{"mainsnak":{"snaktype":"value","property":"P2049","hash":"2fb6026c751a2c68a29b971a670f8d23e7cb945c","datavalue":{"value":{"amount":"+638","unit":"http:\/\/www.wikidata.org\/entity\/Q355198"},"type":"quantity"}},"type":"statement","id":"M1748132$0FB90064-E762-4269-A2B7-5E99AC033FFE","rank":"normal"}]" data-formatvalue="{"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":2049,\"id\":\"P2049\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"ru":{"":"<a target=\"_blank\" title=\"d:Special:EntityPage\/P2049\" href=\"https:\/\/www.wikidata.org\/wiki\/Special:EntityPage\/P2049\">\u0448\u0438\u0440\u0438\u043d\u0430<\/a>"}},"text\/plain":{"ru":{"":"\u0448\u0438\u0440\u0438\u043d\u0430"}}},"{\"value\":{\"amount\":\"+638\",\"unit\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q355198\"},\"type\":\"quantity\"}":{"text\/html":{"ru":{"P2049":"638 <span class=\"wb-unit\">\u043f\u0438\u043a\u0441\u0435\u043b\u044c<\/span>"}},"text\/plain":{"ru":{"P2049":"638 \u043f\u0438\u043a\u0441\u0435\u043b\u044c"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P2049 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed"><div class="wbmi-statements-widget"><div class="wbmi-statement-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi><a target="_blank" title="d:Special:EntityPage/P2049" href="https://www.wikidata.org/wiki/Special:EntityPage/P2049">ширина</a></bdi></h4></div></div></div><div class="wbmi-content-items-group"><div class="wbmi-item wbmi-item-read"><div data-guid="M1748132$0FB90064-E762-4269-A2B7-5E99AC033FFE" class="wbmi-item-container"><div class="wbmi-entity-header"><div class="wbmi-entity-data"><div class="wbmi-entity-title"><h4 class="wbmi-entity-label"><bdi>638 <span class="wb-unit">пиксель</span></bdi></h4></div></div></div></div></div></div></div></div></mediainfoviewstatements></mediainfoview>    </div></div> <h2 id="filehistory">История файла</h2> <div id="mw-imagepage-section-filehistory"> <p>Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент. </p> <table class="wikitable filehistory"> <tr><th></th><th>Дата/время</th><th>Миниатюра</th><th>Размеры</th><th>Участник</th><th>Примечание</th></tr> <tr><td>текущий</td><td class="filehistory-selected" style="white-space: nowrap;"><a href="//upload.wikimedia.org/wikipedia/commons/2/28/BDD_Variable_Ordering_Bad.svg">18:34, 5 марта 2007</a></td><td><a href="//upload.wikimedia.org/wikipedia/commons/2/28/BDD_Variable_Ordering_Bad.svg"><img alt="Миниатюра для версии от 18:34, 5 марта 2007" src="//upload.wikimedia.org/wikipedia/commons/thumb/2/28/BDD_Variable_Ordering_Bad.svg/120px-BDD_Variable_Ordering_Bad.svg.png" decoding="async" loading="lazy" width="120" height="82" data-file-width="638" data-file-height="435" /></a></td><td>638 × 435 <span style="white-space: nowrap;">(29 КБ)</span></td><td><a href="/w/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Brighterorange&action=edit&redlink=1" class="new mw-userlink" title="Участник:Brighterorange (страница отсутствует)"><bdi>Brighterorange</bdi></a></td><td dir="ltr"></td></tr> <tr><td></td><td style="white-space: nowrap;"><a href="//upload.wikimedia.org/wikipedia/commons/archive/2/28/20070305183430%21BDD_Variable_Ordering_Bad.svg">18:23, 5 марта 2007</a></td><td><a href="//upload.wikimedia.org/wikipedia/commons/archive/2/28/20070305183430%21BDD_Variable_Ordering_Bad.svg"><img alt="Миниатюра для версии от 18:23, 5 марта 2007" src="//upload.wikimedia.org/wikipedia/commons/thumb/archive/2/28/20070305183430%21BDD_Variable_Ordering_Bad.svg/120px-BDD_Variable_Ordering_Bad.svg.png" decoding="async" loading="lazy" width="120" height="83" data-file-width="512" data-file-height="353" /></a></td><td>512 × 353 <span style="white-space: nowrap;">(29 КБ)</span></td><td><a href="/w/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Brighterorange&action=edit&redlink=1" class="new mw-userlink" title="Участник:Brighterorange (страница отсутствует)"><bdi>Brighterorange</bdi></a></td><td dir="ltr">== Summary == {{Information| |Description = BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering |Source = self-made using CrocoPat, a tool for relational programming, and GraphViz dot, a tool for graph lay</td></tr> </table> </div> <h2 id="filelinks">Использование файла</h2> <div id='mw-imagepage-section-linkstoimage'> <p>Следующая страница использует этот файл: </p><ul class="mw-imagepage-linkstoimage"> <li class="mw-imagepage-linkstoimage-ns0"><a href="/wiki/%D0%91%D0%B8%D0%BD%D0%B0%D1%80%D0%BD%D0%B0%D1%8F_%D0%B4%D0%B8%D0%B0%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B0_%D1%80%D0%B5%D1%88%D0%B5%D0%BD%D0%B8%D0%B9" title="Бинарная диаграмма решений">Бинарная диаграмма решений</a></li> </ul> </div> <h2 id="globalusage">Глобальное использование файла</h2> <div id="mw-imagepage-section-globalusage"><p>Данный файл используется в следующих вики: </p><ul> <li class='mw-gu-onwiki-de_wikipedia_org'>Использование в de.wikipedia.org <ul> <li><a class="external" href="https://de.wikipedia.org/wiki/Bin%C3%A4res_Entscheidungsdiagramm">Binäres Entscheidungsdiagramm</a></li> </ul></li> <li class='mw-gu-onwiki-en_wikipedia_org'>Использование в en.wikipedia.org <ul> <li><a class="external" href="https://en.wikipedia.org/wiki/Binary_decision_diagram">Binary decision diagram</a></li> </ul></li> <li class='mw-gu-onwiki-fr_wikipedia_org'>Использование в fr.wikipedia.org <ul> <li><a class="external" href="https://fr.wikipedia.org/wiki/Diagramme_de_d%C3%A9cision_binaire">Diagramme de décision binaire</a></li> </ul></li> <li class='mw-gu-onwiki-ja_wikipedia_org'>Использование в ja.wikipedia.org <ul> <li><a class="external" href="https://ja.wikipedia.org/wiki/%E4%BA%8C%E5%88%86%E6%B1%BA%E5%AE%9A%E5%9B%B3">二分決定図</a></li> </ul></li> <li class='mw-gu-onwiki-sr_wikipedia_org'>Использование в sr.wikipedia.org <ul> <li><a class="external" href="https://sr.wikipedia.org/wiki/Binarni_dijagrami_odluke">Binarni dijagrami odluke</a></li> </ul></li> <li class='mw-gu-onwiki-uk_wikipedia_org'>Использование в uk.wikipedia.org <ul> <li><a class="external" href="https://uk.wikipedia.org/wiki/%D0%91%D1%96%D0%BD%D0%B0%D1%80%D0%BD%D0%B0_%D0%B4%D1%96%D0%B0%D0%B3%D1%80%D0%B0%D0%BC%D0%B0_%D1%80%D1%96%D1%88%D0%B5%D0%BD%D1%8C">Бінарна діаграма рішень</a></li> </ul></li> </ul> </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1&useformat=desktop" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Источник — <a dir="ltr" href="https://ru.wikipedia.org/wiki/Файл:BDD_Variable_Ordering_Bad.svg">https://ru.wikipedia.org/wiki/Файл:BDD_Variable_Ordering_Bad.svg</a></div></div> <div id="catlinks" class="catlinks catlinks-allhidden" data-mw="interface"></div> </div> </div> <div id="mw-navigation"> <h2>Навигация</h2> <div id="mw-head"> <nav id="p-personal" class="mw-portlet mw-portlet-personal vector-user-menu-legacy vector-menu" aria-labelledby="p-personal-label" > <h3 id="p-personal-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Персональные инструменты</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anonuserpage" class="mw-list-item"><span title="Страница участника для моего IP">Вы не представились системе</span></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%9C%D0%BE%D1%91_%D0%BE%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5" title="Страница обсуждений для моего IP [n]" accesskey="n"><span>Обсуждение</span></a></li><li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%9C%D0%BE%D0%B9_%D0%B2%D0%BA%D0%BB%D0%B0%D0%B4" title="Список правок, сделанных с этого IP-адреса [y]" accesskey="y"><span>Вклад</span></a></li><li id="pt-createaccount" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%A1%D0%BE%D0%B7%D0%B4%D0%B0%D1%82%D1%8C_%D1%83%D1%87%D1%91%D1%82%D0%BD%D1%83%D1%8E_%D0%B7%D0%B0%D0%BF%D0%B8%D1%81%D1%8C&returnto=%D0%A4%D0%B0%D0%B9%D0%BB%3ABDD+Variable+Ordering+Bad.svg" title="Мы предлагаем вам создать учётную запись и войти в систему, хотя это и не обязательно."><span>Создать учётную запись</span></a></li><li id="pt-login" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%92%D1%85%D0%BE%D0%B4&returnto=%D0%A4%D0%B0%D0%B9%D0%BB%3ABDD+Variable+Ordering+Bad.svg" title="Здесь можно зарегистрироваться в системе, но это необязательно. [o]" accesskey="o"><span>Войти</span></a></li> </ul> </div> </nav> <div id="left-navigation"> <nav id="p-namespaces" class="mw-portlet mw-portlet-namespaces vector-menu-tabs vector-menu-tabs-legacy vector-menu" aria-labelledby="p-namespaces-label" > <h3 id="p-namespaces-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Пространства имён</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-image" class="selected mw-list-item"><a href="/wiki/%D0%A4%D0%B0%D0%B9%D0%BB:BDD_Variable_Ordering_Bad.svg" title="Страница файла [c]" accesskey="c"><span>Файл</span></a></li><li id="ca-talk" class="new mw-list-item"><a href="/w/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5_%D1%84%D0%B0%D0%B9%D0%BB%D0%B0:BDD_Variable_Ordering_Bad.svg&action=edit&redlink=1" rel="discussion" class="new" title="Обсуждение основной страницы (страница отсутствует) [t]" accesskey="t"><span>Обсуждение</span></a></li> </ul> </div> </nav> <nav id="p-variants" class="mw-portlet mw-portlet-variants emptyPortlet vector-menu-dropdown vector-menu" aria-labelledby="p-variants-label" > <input type="checkbox" id="p-variants-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-variants" class="vector-menu-checkbox" aria-labelledby="p-variants-label" > <label id="p-variants-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">русский</span> </label> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> </div> <div id="right-navigation"> <nav id="p-views" class="mw-portlet mw-portlet-views vector-menu-tabs vector-menu-tabs-legacy vector-menu" aria-labelledby="p-views-label" > <h3 id="p-views-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Просмотры</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected mw-list-item"><a href="/wiki/%D0%A4%D0%B0%D0%B9%D0%BB:BDD_Variable_Ordering_Bad.svg"><span>Читать</span></a></li><li id="ca-view-foreign" class="mw-list-item"><a href="https://commons.wikimedia.org/wiki/File:BDD_Variable_Ordering_Bad.svg"><span>Посмотреть на Викискладе</span></a></li><li id="ca-ve-edit" class="mw-list-item"><a href="/w/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:BDD_Variable_Ordering_Bad.svg&veaction=edit" title="Create the local description page [v]" accesskey="v"><span>Создать локально</span></a></li><li id="ca-edit" class="collapsible mw-list-item"><a href="/w/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:BDD_Variable_Ordering_Bad.svg&action=edit" title="Create the source code of the local description page [e]" accesskey="e"><span>Создать локально как код</span></a></li> </ul> </div> </nav> <nav id="p-cactions" class="mw-portlet mw-portlet-cactions emptyPortlet vector-menu-dropdown vector-menu" aria-labelledby="p-cactions-label" title="Больше возможностей" > <input type="checkbox" id="p-cactions-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-cactions" class="vector-menu-checkbox" aria-labelledby="p-cactions-label" > <label id="p-cactions-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Ещё</span> </label> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <h3 >Поиск</h3> <form action="/w/index.php" id="searchform" class="vector-search-box-form"> <div id="simpleSearch" class="vector-search-box-inner" data-search-loc="header-navigation"> <input class="vector-search-box-input" type="search" name="search" placeholder="Искать в Википедии" aria-label="Искать в Википедии" autocapitalize="sentences" title="Искать в Википедии [f]" accesskey="f" id="searchInput" > <input type="hidden" name="title" value="Служебная:Поиск"> <input id="mw-searchButton" class="searchButton mw-fallbackSearchButton" type="submit" name="fulltext" title="Найти страницы, содержащие указанный текст" value="Найти"> <input id="searchButton" class="searchButton" type="submit" name="go" title="Перейти к странице, имеющей в точности такое название" value="Перейти"> </div> </form> </div> </div> </div> <div id="mw-panel" class="vector-legacy-sidebar"> <div id="p-logo" role="banner"> <a class="mw-wiki-logo" href="/wiki/%D0%97%D0%B0%D0%B3%D0%BB%D0%B0%D0%B2%D0%BD%D0%B0%D1%8F_%D1%81%D1%82%D1%80%D0%B0%D0%BD%D0%B8%D1%86%D0%B0" title="Перейти на заглавную страницу"></a> </div> <nav id="p-navigation" class="mw-portlet mw-portlet-navigation vector-menu-portal portal vector-menu" aria-labelledby="p-navigation-label" > <h3 id="p-navigation-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Навигация</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/%D0%97%D0%B0%D0%B3%D0%BB%D0%B0%D0%B2%D0%BD%D0%B0%D1%8F_%D1%81%D1%82%D1%80%D0%B0%D0%BD%D0%B8%D1%86%D0%B0" title="Перейти на заглавную страницу [z]" accesskey="z"><span>Заглавная страница</span></a></li><li id="n-content" class="mw-list-item"><a href="/wiki/%D0%92%D0%B8%D0%BA%D0%B8%D0%BF%D0%B5%D0%B4%D0%B8%D1%8F:%D0%A1%D0%BE%D0%B4%D0%B5%D1%80%D0%B6%D0%B0%D0%BD%D0%B8%D0%B5"><span>Содержание</span></a></li><li id="n-featured" class="mw-list-item"><a href="/wiki/%D0%92%D0%B8%D0%BA%D0%B8%D0%BF%D0%B5%D0%B4%D0%B8%D1%8F:%D0%98%D0%B7%D0%B1%D1%80%D0%B0%D0%BD%D0%BD%D1%8B%D0%B5_%D1%81%D1%82%D0%B0%D1%82%D1%8C%D0%B8" title="Статьи, считающиеся лучшими статьями проекта"><span>Избранные статьи</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%A1%D0%BB%D1%83%D1%87%D0%B0%D0%B9%D0%BD%D0%B0%D1%8F_%D1%81%D1%82%D1%80%D0%B0%D0%BD%D0%B8%D1%86%D0%B0" title="Посмотреть случайно выбранную страницу [x]" accesskey="x"><span>Случайная статья</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/%D0%9F%D0%BE%D1%80%D1%82%D0%B0%D0%BB:%D0%A2%D0%B5%D0%BA%D1%83%D1%89%D0%B8%D0%B5_%D1%81%D0%BE%D0%B1%D1%8B%D1%82%D0%B8%D1%8F" title="Статьи о текущих событиях в мире"><span>Текущие события</span></a></li><li id="n-sitesupport" class="mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_ru.wikipedia.org&uselang=ru" title="Поддержите нас"><span>Пожертвовать</span></a></li> </ul> </div> </nav> <nav id="p-participation" class="mw-portlet mw-portlet-participation vector-menu-portal portal vector-menu" aria-labelledby="p-participation-label" > <h3 id="p-participation-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Участие</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-bug_in_article" class="mw-list-item"><a href="/wiki/%D0%92%D0%B8%D0%BA%D0%B8%D0%BF%D0%B5%D0%B4%D0%B8%D1%8F:%D0%A1%D0%BE%D0%BE%D0%B1%D1%89%D0%B5%D0%BD%D0%B8%D1%8F_%D0%BE%D0%B1_%D0%BE%D1%88%D0%B8%D0%B1%D0%BA%D0%B0%D1%85" title="Сообщить об ошибке в этой статье"><span>Сообщить об ошибке</span></a></li><li id="n-introduction" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BF%D1%80%D0%B0%D0%B2%D0%BA%D0%B0:%D0%92%D0%B2%D0%B5%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5"><span>Как править статьи</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/%D0%92%D0%B8%D0%BA%D0%B8%D0%BF%D0%B5%D0%B4%D0%B8%D1%8F:%D0%A1%D0%BE%D0%BE%D0%B1%D1%89%D0%B5%D1%81%D1%82%D0%B2%D0%BE" title="О проекте, о том, чем здесь можно заниматься, а также — где что находится"><span>Сообщество</span></a></li><li id="n-forum" class="mw-list-item"><a href="/wiki/%D0%92%D0%B8%D0%BA%D0%B8%D0%BF%D0%B5%D0%B4%D0%B8%D1%8F:%D0%A4%D0%BE%D1%80%D1%83%D0%BC" title="Форум участников Википедии"><span>Форум</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%A1%D0%B2%D0%B5%D0%B6%D0%B8%D0%B5_%D0%BF%D1%80%D0%B0%D0%B2%D0%BA%D0%B8" title="Список последних изменений [r]" accesskey="r"><span>Свежие правки</span></a></li><li id="n-newpages" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%9D%D0%BE%D0%B2%D1%8B%D0%B5_%D1%81%D1%82%D1%80%D0%B0%D0%BD%D0%B8%D1%86%D1%8B" title="Список недавно созданных страниц"><span>Новые страницы</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/%D0%92%D0%B8%D0%BA%D0%B8%D0%BF%D0%B5%D0%B4%D0%B8%D1%8F:%D0%A1%D0%BF%D1%80%D0%B0%D0%B2%D0%BA%D0%B0" title="Место расположения Справки"><span>Справка</span></a></li> </ul> </div> </nav> <nav id="p-tb" class="mw-portlet mw-portlet-tb vector-menu-portal portal vector-menu" aria-labelledby="p-tb-label" > <h3 id="p-tb-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Инструменты</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%A1%D1%81%D1%8B%D0%BB%D0%BA%D0%B8_%D1%81%D1%8E%D0%B4%D0%B0/%D0%A4%D0%B0%D0%B9%D0%BB:BDD_Variable_Ordering_Bad.svg" title="Список всех страниц, ссылающихся на данную [j]" accesskey="j"><span>Ссылки сюда</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%A1%D0%BF%D0%B5%D1%86%D1%81%D1%82%D1%80%D0%B0%D0%BD%D0%B8%D1%86%D1%8B" title="Список служебных страниц [q]" accesskey="q"><span>Служебные страницы</span></a></li><li id="t-print" class="mw-list-item"><a href="javascript:print();" rel="alternate" title="Версия этой страницы для печати [p]" accesskey="p"><span>Версия для печати</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:BDD_Variable_Ordering_Bad.svg&action=info" title="Подробнее об этой странице"><span>Сведения о странице</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:UrlShortener&url=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%25A4%25D0%25B0%25D0%25B9%25D0%25BB%3ABDD_Variable_Ordering_Bad.svg"><span>Получить короткий URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:QrCode&url=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%25A4%25D0%25B0%25D0%25B9%25D0%25BB%3ABDD_Variable_Ordering_Bad.svg"><span>Скачать QR-код</span></a></li> </ul> </div> </nav> <nav id="p-coll-print_export" class="mw-portlet mw-portlet-coll-print_export emptyPortlet vector-menu-portal portal vector-menu" aria-labelledby="p-coll-print_export-label" > <h3 id="p-coll-print_export-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Печать/экспорт</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> <nav id="p-wikibase-otherprojects" class="mw-portlet mw-portlet-wikibase-otherprojects emptyPortlet vector-menu-portal portal vector-menu" aria-labelledby="p-wikibase-otherprojects-label" > <h3 id="p-wikibase-otherprojects-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">В других проектах</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> <nav id="p-lang" class="mw-portlet mw-portlet-lang vector-menu-portal portal vector-menu" aria-labelledby="p-lang-label" > <h3 id="p-lang-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">На других языках</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> <div class="after-portlet after-portlet-lang"><span class="uls-after-portlet-link"></span></div> </div> </nav> </div> </div> <footer id="footer" class="mw-footer" > <ul id="footer-info"> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/ru">Политика конфиденциальности</a></li> <li id="footer-places-about"><a href="/wiki/%D0%92%D0%B8%D0%BA%D0%B8%D0%BF%D0%B5%D0%B4%D0%B8%D1%8F:%D0%9E%D0%BF%D0%B8%D1%81%D0%B0%D0%BD%D0%B8%D0%B5">Описание Википедии</a></li> <li id="footer-places-disclaimers"><a href="/wiki/%D0%92%D0%B8%D0%BA%D0%B8%D0%BF%D0%B5%D0%B4%D0%B8%D1%8F:%D0%9E%D1%82%D0%BA%D0%B0%D0%B7_%D0%BE%D1%82_%D0%BE%D1%82%D0%B2%D0%B5%D1%82%D1%81%D1%82%D0%B2%D0%B5%D0%BD%D0%BD%D0%BE%D1%81%D1%82%D0%B8">Отказ от ответственности</a></li> <li id="footer-places-contact"><a href="//ru.wikipedia.org/wiki/Википедия:Контакты">Свяжитесь с нами</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Policy:Universal_Code_of_Conduct/ru">Кодекс поведения</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Разработчики</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/ru.wikipedia.org">Статистика</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Заявление о куки</a></li> <li id="footer-places-mobileview"><a href="//ru.m.wikipedia.org/w/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:BDD_Variable_Ordering_Bad.svg&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Мобильная версия</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> <script>(RLQ=window.RLQ||[]).push(function(){mw.log.warn("This page is using the deprecated ResourceLoader module \"mediawiki.ui.button\".\n[1.41] Please use Codex. See migration guidelines: https://www.mediawiki.org/wiki/Codex/Migrating_from_MediaWiki_UI");mw.log.warn("This page is using the deprecated ResourceLoader module \"codex-search-styles\".\n[1.43] Use a CodexModule with codexComponents to set your specific components used: https://www.mediawiki.org/wiki/Codex#Using_a_limited_subset_of_components");mw.config.set({"wgHostname":"mw-web.codfw.main-7fc47fc68d-s8q52","wgBackendResponseTime":328,"wgPageParseReport":{"limitreport":{"cputime":"0.001","walltime":"0.001","ppvisitednodes":{"value":3,"limit":1000000},"postexpandincludesize":{"value":0,"limit":2097152},"templateargumentsize":{"value":0,"limit":2097152},"expansiondepth":{"value":1,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":0,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 0.000 1 -total"]},"cachereport":{"origin":"mw-web.codfw.main-7fc47fc68d-s8q52","timestamp":"20241128172819","ttl":2592000,"transientcontent":false}}});});</script> </body> </html>

CINXE.COM

Файл:BDD Variable Ordering Bad.svg — Википедия