A komplexitás egy olyan jellemző, amely egy rendszer vagy rendszerelem megértésének, létrehozásának és ellenőrzésének nehézségi fokát tükrözi [1] ; a problémák , feladatok megértésének és megoldásának nehézségi foka . Egy rendszer vagy rendszerelem komplexitása kifejezhető a megfelelő problémák összetettségében, valamint a megértési, létrehozási és ellenőrzési feladatokban.
Az Encyclopedia Britannica szerint a komplexitás tudományos elmélete egyes rendszerek olyan viselkedési jelenségeinek tanulmányozására irányul, amelyek nem magyarázhatók meg e rendszerek elemeinek elemzésével. A "komplexitást" általában a rendszerek kialakuló viselkedésének jellemzésére használják [2] . Ugyanakkor a rendszer viselkedésének komplexitása jelentősen, polinomiálisan nagy vagy annál nagyobb mértékben meghaladhatja a rendszerben szereplő elemek viselkedésének komplexitásának összegét [3] .
2010-től számos megközelítést alkalmaznak a komplexitás fogalmának jellemzésére [4] . Neil Johnson amellett érvel, hogy "még a tudósok körében sincs egységes definíció a komplexitásnak – és ezt a tudományos fogalmat hagyományosan konkrét példákkal magyarázzák". Végső soron Johnson elfogadja a "komplexitás tudományának" definícióját, mint olyan tudományt, amely " a tárgyak halmazának kölcsönhatása eredményeként létrejövő jelenségeket tanulmányozza " [5] .
1948-ban Warren Weaver a komplexitás két formáját különböztette meg: a rendezetlen komplexitást és a rendezett komplexitást [6] . A rendezetlen komplexitás jelenségeivel a valószínűségszámítás és a statisztikai mechanika , míg a rendezett komplexitás olyan jelenségekkel foglalkozik, amelyek jelentős számú tényező egyidejű figyelembevételét igénylik, egymással összefüggő, koherens egésszé. Weaver 1948-as munkája befolyásolta a későbbi komplexitáskutatást [7] .
A komplexitás kérdésének kezelésében az egyik probléma az, hogy formalizáljuk a nagyszámú véletlenszerű kölcsönhatást mutató rendszerek és a rendszerek közötti intuitív különbségtételt, amelyekben az interakciók száma bár nagy, de maguk az interakciók bizonyos korlátozások között fordulnak elő, és egy az elemek közötti korreláció. Weaver úgy oldotta meg ezt a problémát, hogy különbséget tett a rendezetlen és a rendezett komplexitás között.
Weaver szerint a rendezetlen komplexitás abból fakad, hogy egy adott rendszernek nagyon sok része van. Bár a részek kölcsönhatásai egy rendezetlen komplexitású helyzetben nagyrészt véletlenszerűnek tekinthetők, a rendszer egészének tulajdonságait valószínűségi és statisztikai módszerekkel is meg lehet érteni.
A rendezetlen komplexitás kiváló példája a gázmolekulák egy tartályban. Egyesek azt sugallják, hogy egy rendezetlen komplexitású rendszer összehasonlítható a bolygópályák (relatív) egyszerűségével – ez utóbbi Newton mozgástörvényeinek alkalmazásával megjósolható . Természetesen a legtöbb valós rendszer, beleértve a bolygópályákat is, végül elméletileg kiszámíthatatlanná válik még a newtoni dinamika használatával is, amint azt a modern káoszelmélet fedezte fel .
A rendezett komplexitás Weaver nézete szerint a részek közötti nem véletlenszerű vagy korrelált kölcsönhatás. Ezek a korrelált kölcsönhatások olyan koordinált struktúrát hoznak létre, amely rendszerként kölcsönhatásba léphet más rendszerekkel. Egy koordinált rendszer olyan tulajdonságokat mutat, amelyek nem jellemzőek a részeire. Elmondható, hogy ennek a rendszernek a rendezett aspektusa „vezető kéz” nélkül „felbukkan”.
Az alkatrészek számának nem kell nagyon nagynak lennie ahhoz, hogy egy adott rendszer felbukkanó tulajdonságokkal rendelkezzen. Egy rendezett komplexitású rendszert a tulajdonságai (viselkedése) alapján lehet megérteni modellezéssel és szimulációval , különösen számítógépes szimulációval . A rendezett összetettségre példa a várostömb, mint élő mechanizmus, lakói pedig egy rendszer részei [8] .
Általában vannak olyan elvek, amelyekkel meg lehet magyarázni a komplexitás eredetét egy adott rendszerben.
A rendezetlen komplexitás forrása a rendszerben lévő alkatrészek nagy száma és az elemei közötti korreláció hiánya.
Az önszerveződő élőrendszerek esetében a hasznos rendezett komplexitás abból adódik, hogy a mutáns élőlényeket eltérő szaporodási képességük, vagy legalábbis a kevésbé rendezett összetett szervezetekkel szembeni előnyök miatt a környezetük a túlélésre választja ki [9] .
Egy objektum vagy rendszer összetettsége relatív tulajdonság. Például számos funkció (feladat) esetében a számítási bonyolultság, például a számítási idő kisebb többszalagos Turing-gépek használatakor, mint egyszalagos Turing-gépek használatakor. A véletlen memóriaelérésű gépek tovább csökkenthetik az időbonyolultságot (Greenlaw és Hoover 1998: 226), míg a Turing induktív gépek akár egy függvény, nyelv vagy halmaz összetettségi osztályát is csökkenthetik (Burgin 2005). Ez azt mutatja, hogy a tevékenységi eszközök fontos tényezői lehetnek a komplexitásnak.
A tudomány különböző területein a komplexitás speciális, szűkebb definícióit használják:
Más tudományterületek a komplexitás kevésbé pontosan meghatározott fogalmait vezetik be:
A komplexitás mindig is része volt környezetünknek, ezért számos tudományterület foglalkozik összetett rendszerekkel és jelenségekkel. Egyrészt a kutatás során talált eredmények ismeretében egy kissé nehézkes - a variáció véletlenszerűség nélküli megjelenítése - az érdekes.
A "komplex" kifejezést gyakran összekeverik a "zavaró" kifejezéssel. A rendszerelméletben a bonyolult és az összetett közötti különbség a számtalan összekötő "mozgás" és a hatékony "integrált" megoldás közötti különbség, azaz a "komplex" a "független", a "összegabalyodott" pedig az "egyszerű" ellentéte.
Bár egyes tudományterületeken a komplexitás konkrét definícióit javasolták, a közelmúltban mozgalom indult el a különböző területekről származó megfigyelések átcsoportosítására , hogy a komplexitást egyetlen jelenségként tanulmányozzák, legyen szó hangyabolyról , emberi agyról , tőzsdékről vagy társadalmi rendszerekről [16]. ] . Az egyik ilyen interdiszciplináris területcsoport a relációs rendelmélet .
Gyakran mondják, hogy egy komplex rendszer viselkedése a megjelenéssel és az önszerveződéssel függ össze . A káoszelmélet a rendszerek kezdeti feltételek változásaira való érzékenységét tárta fel, mint a komplex viselkedés egyik oka.
A mesterséges élet , az evolúciós számítástechnika és a genetikai algoritmusok legújabb fejlesztései a komplexitásra és az összetett adaptív rendszerekre való összpontosításhoz vezettek .
A társadalomtudományokban a makrotulajdonságok mikrotulajdonokból való kialakulásának tanulmányozása, a szociológiában makro-mikrovízióként is ismert . Ezt a témát általában társadalmi komplexitásnak nevezik , amelyet gyakran társítanak számítógépes szimulációk használatához a társadalomtudományokban, például a számítási szociológiában .
A rendszerelmélet régóta foglalkozik a komplex rendszerek vizsgálatával (újabban a komplexitáselmélet és a komplex rendszerek is a terület neve). Ezeket a rendszereket számos tudományág kutatásában használják, beleértve a biológiát , a közgazdaságtant , a társadalomtudományokat és a technológiát . Az utóbbi időben a komplexitás a valós társadalmi-kognitív rendszerek és az új rendszertani kutatások érdeklődésének természetes tárgyává vált . Az összetett rendszerek általában sok dimenzióval rendelkeznek, nem lineárisak és nehezen modellezhetők. Bizonyos körülmények között alacsony dimenziójú viselkedést mutathatnak.
Az információelméletben az algoritmikus információelmélet az adatsorok összetettségével foglalkozik.
Az összetett húrokat nehezebb tömöríteni. Bár az intuíció azt mondja nekünk, hogy ez függhet a karakterlánc tömörítésére használt kodektől (a kodek elméletileg bármilyen tetszőleges nyelven elkészíthető, beleértve azt is, amelyben egy nagyon kicsi "X" parancs hatására a számítógép egy nagyon összetett karakterláncot, például "18995316") bármely két Turing-teljes nyelv megvalósítható egymásban, ami azt jelenti, hogy két különböző nyelvű kódolás hossza legfeljebb a "fordítási nyelv" hosszával fog eltérni, ami végül kellően hosszú adatsorok esetén elhanyagolható.
Ezek az algoritmikus komplexitásmérők általában magas értékeket rendelnek a véletlenszerű zajhoz . Azok azonban, akik komplex rendszereket tanulmányoznak, nem tekintik a véletlenszerűséget komplexitásnak.
Az információs entrópiát néha az információelméletben is használják a komplexitás mértékeként, de az entrópia akkor is magas, ha nem bonyolultságról, hanem véletlenszerűségről van szó. Az információelméletben a véletlenszerűséget nem tekintik egyfajta komplexitásnak, és a komplexitás meghatározása számos alkalmazásban hasznos.
A gépi tanulással kapcsolatos közelmúltbeli munka feltárta az adatok összetettségét, mivel az befolyásolja a felügyelt osztályozási algoritmusok teljesítményét. Ho és Basu komplexitási mérőszámokat mutat be bináris osztályozási problémákra [17] .
A komplexitási intézkedések általában a következőkre terjednek ki:
A példánykeménység - elemzés egy új megközelítés, amely elsősorban az esetlegesen rosszul besorolt esetek azonosítására irányul (vagy más szóval a legnehezebb esetek azonosítására) . Az esetlegesen rosszul besorolt esetek jellemzőit ezután „nehézségi pontszámok” alapján mérik. A „nehézségi fokok” több felügyelt tanulási módszeren alapulnak, mint például az inkompatibilis szomszédok számának mérése, vagy egy osztálycímke helyes hozzárendelésének valószínűsége adott bemeneti jellemzőkkel. A nehézségi mérőszámok által szolgáltatott információkat feltárják a meta -learningben való felhasználás céljából annak meghatározására, hogy mely adatkészletek szűrése (vagy a gyanús zajos esetek eltávolítása a betanítási halmazból) a legígéretesebb [19] , és más területekre is kiterjeszthető. .
Egy nemrégiben végzett molekuláris modellezésen és megfelelési állandókon alapuló tanulmány a molekuláris felismerést szervezeti jelenségként írja le [20] . Még a kis molekulák, például a szénhidrátok esetében sem lehet megjósolni vagy megtervezni a felismerési folyamatot, beleértve azt a feltételezést is, hogy az egyes hidrogénkötések erőssége pontosan ismert.
A számítási komplexitás elmélete a problémák megoldásának komplexitásának vizsgálatával foglalkozik . A számítási komplexitás különböző szempontok szerint közelíthető meg. A probléma összetettsége a megoldáshoz szükséges idő, memória vagy egyéb erőforrások mennyiségével mérhető. Az idő és a tér a két legfontosabb és leggyakrabban használt paraméter a komplexitási problémák elemzésében.
A problémákat nehézségi osztályokba soroljuk az alapján, hogy mennyi időbe telik egy algoritmusnak – általában egy számítógépes programnak – a megoldásához a probléma mérete alapján. Egyes problémákat nehéz megoldani, másokat könnyű. Tehát vannak olyan feladatok, amelyek megoldása az algoritmus szerint a feladat nagyságától függő exponenciálisnál rövidebb idő alatt nem fejezhető be. Ilyen probléma például az utazó eladó probléma , amely időben megoldódik (ahol n a meglátogatandó hálózat mérete - azon városok száma, amelyeket az eladónak pontosan egyszer meg kell látogatnia). A hálózat méretének növekedésével az útvonal megtalálásához szükséges idő (több mint) exponenciálisan növekszik.
Bár elméletben a probléma megoldható számítások segítségével, azonban a túlzottan nagy idő- vagy térigények miatt a megoldása gyakorlatilag lehetetlenné válik. Az ilyen problémákat gyakorlatilag megoldhatatlannak nevezzük .
A komplexitásnak van egy másik formája is, az úgynevezett hierarchikus . A komplexitásnak ez a formája a rendszerek, feladatok és problémák hierarchikus aspektusát tükrözi, és ortogonális a komplexitás korábban tárgyalt formáira, amelyeket ennek megfelelően a komplexitás horizontális formáinak nevezhetünk.