Екілік шешім - Binary decision - Wikipedia

A екілік шешім бұл екі альтернатива арасындағы таңдау, мысалы, белгілі бір әрекетті жасау немесе оны қолданбау.^[1]

Екілік шешімдер көптеген салалар үшін негізгі болып табылады. Мысалдарға мыналар жатады:

Ақиқат мәндері математикалық логикада және сәйкесінше Логикалық мәліметтер типі информатикада шын немесе жалған болып таңдалуы мүмкін мәнді білдіреді.^[2]
Шартты мәлімдемелер (if-then or if-then-else) информатикада келесі кодты орындау үшін екілік шешімдер.^[3]
Шешім ағаштары және екілік шешім схемалары, екілік шешімдердің бірізділігі үшін ұсыныстар.^[4]
Екілік таңдау, екілік шешімнің статистикалық моделі.^[5]

Екілік шешім схемалары

A екілік шешім схемасы (BDD) - бұл логикалық функцияны визуалды түрде көрсету тәсілі. BDD-дің бір қолданылуы - АЖЖ бағдарламалық жасақтамасында және цифрлық тізбекті талдауда, олар логикалық функцияларды ұсынудың және басқарудың тиімді әдісі.^[6]

Логикалық функцияға арналған реттелген екілік шешім диаграммасы

{ displaystyle f}

Логикалық функцияның мәнін терминалға дейінгі BDD жолымен жүру арқылы анықтауға болады, егер түйіндегі айнымалының мәні шын болса және нүктелік сызық болса, онда тұтас сызық жүретін әр түйінде екілік шешім қабылдайды. бұл жалған. Егер тексерілген айнымалылардың реті бекітілген болса, BDD «тапсырыс» деп аталады. Егер келесі екі шарт дұрыс болса, BDD «азаяды» деп аталады:

Әр түйіннің әрбір ізбасары ерекшеленеді.
Бірдей айнымалының бірдей ізбасарлары бар екі нақты түйін жоқ.^[7]^[8]

Реттелген және қысқартылған BDD-ді қысқартылған реттік екілік шешім диаграммасы (ROBDD) деп атауға болады. ROBDD мысалы ретінде функцияны бейнелейтін оң жақтағы фигура келтірілген ${ displaystyle f (x_ {1}, x_ {2}, x_ {3}) = { bar {x}} _ {1} { bar {x}} _ {2} { bar {x}} _ {3} + x_ {1} x_ {2} + x_ {2} x_ {3}}$ . Кез келген жол бойындағы айнымалылардың реті әрқашан ${ displaystyle x_ {1}}$ , ${ displaystyle x_ {2}}$ , содан кейін ${ displaystyle x_ {3}}$ , барлық түйіндердің жеке ізбасарлары болады, және бірдей айнымалы және бірдей ізбасарлардың екі түйіні болмайды.

Шартты мәлімдемелер

Информатикада, шартты мәлімдемелер екілік шешімдер қабылдау үшін қолданылады.^[9] Бағдарлама белгілі бір логикалық мәннің шын немесе жалған екендігіне байланысты әр түрлі есептеулерді немесе әрекеттерді орындай алады.

The егер олай болса салу - бұл басқару ағыны туралы есеп ол логикалық өрнектің мәніне байланысты екі кодтық блоктың бірін басқарады және оның құрылымы келесідей:

егер шарт болса, онда кодтық блок 1және басқа блоктар блогы 2end

Пайдалануды бейнелейтін блок-схема басқаша болса

Шартты өрнек жағдай, ал егер бұл шын болса, онда код блогы 1 орындалады, әйтпесе код блогы 2 орындалды. Сондай-ақ, бірнеше шарттарды else-if құрылымымен біріктіруге болады:

егер 1-шарт болса, онда 1-блок код, егер 2-шарт болса, 2-блок-код, 3-блок блогы

Мұны оң жақта орналасқан диаграмма арқылы көрсетуге болады. Егер бір шарттың дұрыс екендігі анықталса, қалғандары өткізіп жіберіледі, сондықтан үшеуінің біреуі ғана код блоктары жоғарыда орындалуы мүмкін.

A while цикл бұл логикалық өрнек жалған болғанға дейін код блогын бірнеше рет орындайтын және әр цикл алдында қайталауды жалғастыру туралы шешім қабылдайтын басқару ағынының операторы. Бұл if-then құрылымына ұқсас, бірақ ол кодтық блокты бірнеше рет орындай алады.

Сондай-ақ қараңыз

Рыцарь туры

Әдебиеттер тізімі

^ Қар, Роберта М .; Филлипс, Пол Х. (2007), Сыни шешімдер қабылдау: коммерциялық емес ұйымдарға арналған практикалық нұсқаулық, Джон Вили және ұлдары, б. 44, ISBN 9780470185032.
^ Dixit, J. B. (2009), Компьютерлік негіздер және бағдарламалау, Firewall медиасы, б. 61, ISBN 9788170088820.
^ Джердон, Эдвард (1975 ж. 19 наурыз), «Айқын ойлау өмірлік маңызды: ішкі қателіктер бағдарламалық қателіктерге әкелетін жаман жоспар емес», Computerworld: 15.
^ Кларк, Э.М .; Грумберг, Орна; Пелед, Дорон (1999), Үлгіні тексеру, MIT Press, б. 51, ISBN 9780262032704.
^ Бен-Акива, Моше Е .; Лерман, Стивен Р. (1985), Дискретті таңдау талдауы: Саяхатқа сұраныстың теориясы мен қолданылуы, Көліктік зерттеулер, 9, MIT Press, б. 59, ISBN 9780262022170.
^ Кукреджа, Джоти. «Цифрлық схеманы талдау кезінде екілік шешім диаграммасын қолдану». S2CID 13980719. Журналға сілтеме жасау қажет | журнал = (Көмектесіңдер)
^ Пфеннинг, Франк (28 қазан 2010). «Шешімдердің екілік диаграммалары туралы дәріс жазбалары» (PDF). Карнеги Меллон атындағы компьютерлік ғылымдар мектебі. Алынған 26 мамыр 2020.
^ «Екілік шешім диаграммалары» (PDF). Деп. Информатика - Верона университеті. Алынған 26 мамыр 2020.
^ «Бағдарламалау - шартты шарттар». www.cs.utah.edu. Алынған 2020-05-26.

Бұл есептеуіш мақала бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.

Бұл математикалық логика - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.

Бұл алгебра - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.

Бұл логика - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.

[1] Қар, Роберта М .; Филлипс, Пол Х. (2007), Сыни шешімдер қабылдау: коммерциялық емес ұйымдарға арналған практикалық нұсқаулық, Джон Вили және ұлдары, б. 44, ISBN 9780470185032.

[2] Dixit, J. B. (2009), Компьютерлік негіздер және бағдарламалау, Firewall медиасы, б. 61, ISBN 9788170088820.

[3] Джердон, Эдвард (1975 ж. 19 наурыз), «Айқын ойлау өмірлік маңызды: ішкі қателіктер бағдарламалық қателіктерге әкелетін жаман жоспар емес», Computerworld: 15.

[4] Кларк, Э.М .; Грумберг, Орна; Пелед, Дорон (1999), Үлгіні тексеру, MIT Press, б. 51, ISBN 9780262032704.

[5] Бен-Акива, Моше Е .; Лерман, Стивен Р. (1985), Дискретті таңдау талдауы: Саяхатқа сұраныстың теориясы мен қолданылуы, Көліктік зерттеулер, 9, MIT Press, б. 59, ISBN 9780262022170.

[6] Кукреджа, Джоти. «Цифрлық схеманы талдау кезінде екілік шешім диаграммасын қолдану». S2CID 13980719. Журналға сілтеме жасау қажет | журнал = (Көмектесіңдер)

[7] Пфеннинг, Франк (28 қазан 2010). «Шешімдердің екілік диаграммалары туралы дәріс жазбалары» (PDF). Карнеги Меллон атындағы компьютерлік ғылымдар мектебі. Алынған 26 мамыр 2020.

[8] «Екілік шешім диаграммалары» (PDF). Деп. Информатика - Верона университеті. Алынған 26 мамыр 2020.

[9] «Бағдарламалау - шартты шарттар». www.cs.utah.edu. Алынған 2020-05-26.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]