Archiv článků: algoritmy

David Gamarnik z MITu popsal novou metodiku, jak by se dalo přistupovat k problému P vs. NP, tedy otázce spadající do výpočetní složitosti, obou někde mezi informatikou a čistou matematikou. Otázka, zda P se může rovnat NP, patří mezi největší problémy současné matematiky, za jejich řešení vypsal Clayův matematický ústav …

Jazyk logiky prvního řádu má větší vyjadřovací sílu než Booleovy logiky. Když sledujeme inteligentního aktéra zvenčí, hraje roli tok činností, které vytváří z toku vstupů. Zevnitř musí být tyto činnosti vybírány programem aktéra. Lze říci, že lidé se rodí s jedním programem aktéra a tento program se během času učí …

Kdy jsou předpovědi expertů přesnější než jednoduché algoritmy? Skoro nikdy. Paul Meehl z Minnesotské univerzity otestoval úspěšnost expertů v celé řadě oborů z hlediska jejich schopnosti předvídat na základě svých odborných znalostí, „intuice“ / „zkušenosti“. Ukázalo se, že většinu expertů dokázaly překonat jednoduché algoritmy. Na základě průměrných známek na nižším …

Na záběrech z dronu z roku 2016 byl v americkém státě Utah zachycen neznámý, rychle letící objekt a řada lidí od té doby žila v domnění, že jde o UFO. Pět let poté, 4. června tohoto roku, se podařilo prokázat, že šlo ve skutečnosti o sokolovitého ptáka raroha velkého. K …

Už prostý fakt, že neumíme naprogramovat „gödelizaci“, by v nás měl vzbudit jisté pochyby, zda ji za všech okolností zvládneme my sami. Možnost trucovitě opakovat Gödelův argument posloužila mnoha lidem jako zbraň při prosazování názoru, že lidské myšlení zahrnuje určité prchavé a těžko pochopitelné prvky, které počítače nedokážou napodobit. Významným …

Fermiho-Hubbardův model hraje roli ve fyzice pevných látek, popisuje tzv. silně korelované materiály a má vztah i k hledání vysokoteplotní supravodivosti. V rámci souvisejících výpočtů je často potřeba najít tzv. základní stav modelu. Nová studie ukazuje, že tento výpočet dokáže lépe provést kvantový než klasický algoritmus. Jedná o již o …

Na první pohled nemá využití umělé inteligence a souvisejících technologií (strojové/hluboké učení, neuronové sítě…) na Rubikově kostce smysl, když řešení známe. Na rozdíl od šachů existuje určitý optimální postup z nějaké pozice a po jeho nalezení se už není co učit dál a jak se zdokonalovat – například tím, že …

Autonomní systémy se postupně stávají součástí našeho každodenního života od robotických vysavačů až po samořiditelné automobily. Vývoj autonomních systémů neobešel ani velmi populární oblast dronů. Tvorba algoritmů pro drony přináší řadu výzev, se kterými se musí jejich autoři vypořádat. Podporu jim poskytují současné simulační a vizualizační nástroje, bez kterých by …

K prokázání takzvané kvantové nadvlády kvantového počítače založeného na fotonech využili čínští vědci řešení výpočtového problému formulovaného na Fakultě jaderné a fyzikálně inženýrské ČVUT v Praze (FJFI). Konkrétně jde o protokol Gaussova vzorkování bosonů (Gaussian Boson Sampling), se kterým přišel Craig Hamilton a Igor Jex z FJFI a jejich partneři, …

Tentokrát jde o něco jiného než o demonstraci rychlosti řešení konkrétního problému, jak loni tvrdil Google v menším sporu s IBM. Nyní tu máme mít formální důkaz. Vše ovšem vyžaduje trochu vysvětlování: to, že kvantové počítač využívá superpozici a nachází se během výpočtu „v mnoha stavech současně“, samo o sobě …