Вольфрам С комбинаторы

Бер кагыйдә барысын яңадан язганда: Вольфрам S комбинаторы чакыруы

2023 азагында, Стивен Вольфрам исәпләү математика җәмгыятенә алдаучы гади сорау бирде: бер комбинатор - S комбинаторы - универсаль исәпләүгә тулысынча үзеннән-үзе ирешә алуы исбатлана аламы? Аннан соң криптографлар, логиклар һәм программа инженерларын теоретик информатика фәненең иң зәвыклы куян тишекләренә тарттылар. S x y z = x z (y z) кагыйдәсе белән билгеләнгән S комбинаторы көлке минималь диярлек. Ләкин шул яңадан язу кагыйдәсенә кертелгән теләсә нинди исәпләүне охшату потенциалы бар. Бу математика турында хикәя генә түгел - ул катлаулылыкны аның кире кагылгысыз үзәгенә төшереп, гадилек, рекурсив рәвештә кулланыла, чиксез көчкә әверелгәч нәрсә булачагы турында хикәя.

S комбинаторы: супер көч буларак гадилек

Комбинатор логика 1920-нче елда Муса Шөнфинкель тарафыннан мөстәкыйль уйлап табылган һәм 1930-нчы елларда Хаскелл Карри ламбда калькулусына альтернатива буларак - исәпләүләрне үзгәрүләрсез сурәтләү ысулы. S комбинаторы - Тюрингның тулылыгы өчен кирәк булган ике төп кисәкнең берсе (К комбинаторы белән бергә). К кайда гына сайлый һәм ташлый, S тагын да кызыклырак нәрсә эшли: ул берьюлы ике функция буенча аргумент тарата, универсаль исәпләү мөмкинлеген бирә торган рекурсив үз-үзеңне куллану мөмкинлеген бирә.

Вольфрамның проблемасы S берүзе - хәтта K юлдашсыз - кайбер кодлау астында Тюрингны тулыландыру өчен җитәрлек катлаулылык тудыра аламы-юкмы дип сорады. Тикшеренүләр һәм формаль дәлилләр ярдәмендә җәмгыять катнашучылары тарафыннан расланган җавап нуанцияләнде: S гына өстәмә примитивсыз тулы Тюринг тулылыгына ирешә алмый, ләкин эзләү процессы үзе минималь системалар эшли алырлык гаҗәеп тирәнлекне ачты. S кушымтасыннан төзелгән терминнар үз-үзләрен тотышка киңәйттеләр, беркем дә башлангыч кагыйдәдән алдан әйтә алмый.

Бу - техник күзаллау гына түгел, фәлсәфи яктан тирән эчтәлекле үзәк аңлау. Системаның билгеләмәсе һәм аның тәртибе арасындагы аерма астрономик яктан киң булырга мөмкин. Вольфрам бу күренешне "исәпләү ирексезлеге" дип атады - күпчелек системалар өчен адым саен йөгерүдән башка нәрсә эшләвен белү өчен кыска юл юк дигән идея.

Комбинатор фикерләү һәм ни өчен академиядән тыш мөһим?

S комбинаторы проблемасы математиклар өчен күнегү генә түгел. Бу система дизайны, оештыру архитектурасы, бизнес операцияләре өчен тирән тәэсиргә ия булган уйлау ысулын кристаллаштыра. Комбинатор фәлсәфәсе сорый: атом операцияләренең минималь җыелмасы нинди, аннан барлык кирәкле тәртипләр төзелә ала? Бу сорау - инженерлар программалаштыру телләрен төзегәндә бирәләр, бөек архитекторлар микросервислар эшләгәндә сорыйлар, һәм зур бизнес-операторлар үзләренең оператив стекларын төзегәндә сорарга тиешләр.

Күпчелек оешмалар киресен эшли. Алар чатырларның җиһаз туплау ысулы белән кораллар туплыйлар - берьюлы бер кисәк, һәрберсе билгеле бер проблеманы чишә, бөтен өлешләре суммасыннан авыррак булганчы. Сату коллективы CRM кабул итә. Финанс фактура платформасын ала. Кадрлар хезмәт хакы коралын сатып ала. Флот белән идарә итү үз ассортиментын ала. Eachәрбер корал җирле оптималь. Бергәләп, алар операцияләрне тикшерүчеләр "интеграция бурычы" дип атыйлар - композицион булмаган системаларның бер-берсе белән сөйләшүенең яшерен бәясе.

S комбинаторы башка психик модель тәкъдим итә. "Бу проблеманы нинди корал чишә?" - дип сорау урынына, комбинатор уйлаучы "миңа нинди примитив операцияләр кирәк, һәм мин очраткан проблеманы чишү өчен алар ничек ясалырга мөмкин?" Бу яңарту - чишелеш өеме төзү һәм платформа төзү арасындагы аерма.

Универсаль исәпләү безгә бизнес модульләре турында нәрсә өйрәтә

Информатика фәненең тулылыгы системаның бүтән исәпләү системасын симуляцияли алуын аңлата. Эшкуарлык ягыннан, аналогик концепция - оператив тулылык - платформаның бизнесның теләсә нинди эш процессын эшкәртү сәләте, үсә барган функцияләр исемлеге аша түгел, ә нигез дәрәҗәсендә мәгълүмат, шәхес, логика белән уртаклашучы чын композицион модульләр аша.

"Иң көчле системалар иң үзенчәлекләре булган системалар түгел - алар үзенчәлекләр туплаган системалар. Гади, яхшы эшләнгән примитивлардан барлыкка килгән катлаулылык баштан ук эшләнгән катлаулылыкка караганда көчлерәк."

Бу аерма практикада бик мөһим. Модульләр чынлап та ясалган платформа, сезнең CRM мәгълүматлары сезнең фактура системасына табигый рәвештә керә, бу сезнең аналитика тактасын тукландыра, сезнең кадрлар планы турында хәбәр итә. Мәгълүматны экспортлау, үзгәртү һәм яңадан кертү кирәк түгел. Клиентның шәхесе - сату модулыннан, броньлау системасыннан яки хезмәт хакы кәгазеннән карасаң да, бер үк объект. Бу композицион дизайн - һәм ул чын бизнес операцион системасын программа тәэминаты белән аера.

Мевайз нәкъ шул принцип тирәсендә төзелгән. CRM эчендә 207 модуль, фактура, хезмәт хакы, кадрлар, флот белән идарә итү, аналитика, био кораллар, һәм бронь системалары ярдәмендә платформа бөтен дөнья буенча 138,000 кулланучыга хезмәт күрсәтә, иң төп функцияләрне тәкъдим итмичә, ләкин бу функцияләр уртак примитивлардан эшләвен тәэмин итә - бердәм мәгълүмат модельләре, эзлекле шәхесләр белән идарә итү, һәм Mewayzда беркем дә эшләмәгән эш процессларын булдырырга мөмкинлек бирә торган композицион автоматлаштыру катламнары.

Дәлилләү проблемасы: Ни өчен катлаулылык эшләргә кирәк

Wolfram S Combinator Challenge-ның иң гыйбрәтле аспектларының берсе - гади кебек тоелган таләпләрне тикшерү ничек авыр булганы. Иҗтимагый катнашучылар автоматлаштырылган теорема проверсларын, тулы терминнарны санауны һәм романны яңадан язу стратегияләрен кулландылар. Перспективалы булып күренгән күпчелек алымнар дөрес булмаган. Бу югары композицион системаларга хас: аларның масштабтагы тәртибен кагыйдәләреннән алдан әйтү авыр.

Бизнес өчен бу карталар таныш авырту ноктасына: интеграция тесты. Сездә ун система булганда, аларның һәрберсе дөрес эшли, сез аларның үзара бәйләнеше дөрес булыр дип уйлый алмыйсыз. Newәр яңа интеграция ноктасы көтелмәгән тәртип өчен потенциалны арттыра. Шуңа күрә типик предприятия программаларындагы интеграцияләр саны кораллар саны белән квадрат рәвештә үсә - һәм ни өчен интеграция чыгымнары эре оешмаларда лицензияләү чыгымнарыннан артып китә.

Комбинатор проблемаларын чишү чишелеше интеграция катламында күбрәк сынау түгел, ә азрак интеграция өслеге. Модульләр уртак субстратны бүлешкәндә, аларның үзара бәйләнеше шәхси тәртип белән идарә итүче шул ук кагыйдәләр белән идарә ителә. Ялгышу өчен тәрҗемә катламнары юк, бозу өчен API контрактлары юк, такта презентациясе алдыннан иртәнге 2дә схема туры килми.

Практик нәтиҗәләр: Композицион примитивларга үз бизнесыгызны төзү

Бизнес практикада комбинатор фикерен ничек куллана? Оператив стратегиягә тәрҗемә ителгәндә S комбинатор проблемасыннан барлыкка килгән төп принциплар:

• Башта примитивыгызны ачыклагыз. Кораллар сайлаганчы, төп мәгълүмат объектларыгызны - клиентларны, операцияләрне, хезмәткәрләрне, активларны, вакытны картага китерегез - һәм сез кабул иткән теләсә нинди платформа аларны модуль-җирле язмалар түгел, ә беренче класс, уртак оешмалар кебек кабул итүне тәэмин итегез.
• Иртә коралландыруда киңлеккә караганда тирәнлекне өстен күрегез. Уртак фондтан ун әйберне яхшы эшли торган платформа егерме махсус коралдан кыйммәтрәк, алар һәрберсе бер нәрсә эшли, ләкин бер-берсенең мәгълүматларын күрә алмый.
• Функцияләр генә түгел, композиционлыкны сынау. Бизнес программаларын бәяләгәндә, "А модулында X үзенчәлеге бармы?" ләкин "мин А һәм В модульләрен бергә кулланганда, система берүзеннән яхшырак эш итәме?"
• Автоматизацияне композиция кебек тотыгыз.
• барлыкка килү өчен бюджет. Композицион системалар сез планлаштырмаганны эшләячәк - һәм бу үзенчәлек, хата түгел. Платформа эшли торган, ләкин беркем дә ачык эшләмәгән эш процессларын табу өчен операцияләрегездә урын калдырыгыз.